浦明的博客 ·

日常记录

💡 原文中文，约300字，阅读约需1分钟。

📝

内容提要

专业人士会认可顶风发言并承担骂名，敢于分享是获得认可的代价。

🏷️

徐波的公司在塌，可我那个舍友回不来了
文：何白渝一家公司真正的产品，从来都不是它卖的那个东西。这两天刷到一条新闻，多益网络的官方微博被封了，页面上留着一行冷冰冰的话 ... The pos...
本周赛博领鸡蛋（8.28~9.3）：《呼吸边缘》《家族传奇：桌面版》《逃出百慕大》
本周Epic免费游戏包括《呼吸边缘》《家族传奇：桌面版》和《逃出百慕大》，均支持中文。
入蜀记 day459 十年周期
文章记录了作者在校园回忆、秋日观察、读书感悟及与朋友相聚的一天。重点包括对桂花、紫薇等植物的细致观察，对长期投资逻辑的思考，以及与北京朋友在成都芙蓉饭店聚...
入蜀记 day458 Dead Kennedys
文章记录了作者一天的生活与思考，包括早餐时看视频、闻到桂花香、听朋克音乐，以及探讨AI在探矿和律师行业的应用，认为AI将替代人力。午餐吃牛肉，下午开会聊天...
Meta Expands Its Custom Silicon Strategy From Compute Into Networking
Meta has detailed MTIA 300, its first in-house accelerator optimized for trai...
保持AI精简，确保AI正确
Lean语言创始人Leo de Moura讨论如何用Lean证明AI代理的正确性，结合自动推理与概率模型，并利用AI持续优化代码。Lean作为函数式编程语...