➡️
继续阅读
-
本周赛博领鸡蛋(8.28~9.3):《呼吸边缘》《家族传奇:桌面版》《逃出百慕大》
本周Epic免费游戏包括《呼吸边缘》《家族传奇:桌面版》和《逃出百慕大》,均支持中文。
-
入蜀记 day459 十年周期
文章记录了作者在校园回忆、秋日观察、读书感悟及与朋友相聚的一天。重点包括对桂花、紫薇等植物的细致观察,对长期投资逻辑的思考,以及与北京朋友在成都芙蓉饭店聚...
-
入蜀记 day458 Dead Kennedys
文章记录了作者一天的生活与思考,包括早餐时看视频、闻到桂花香、听朋克音乐,以及探讨AI在探矿和律师行业的应用,认为AI将替代人力。午餐吃牛肉,下午开会聊天...
-
保持AI精简,确保AI正确
Lean语言创始人Leo de Moura讨论如何用Lean证明AI代理的正确性,结合自动推理与概率模型,并利用AI持续优化代码。Lean作为函数式编程语...
-
智谱codingplan耐用程度分析:只用 GLM-5.3-Flash 够不够用?
智谱GLM-5.3-Flash的token套餐性价比低,缓存命中率仅8成,实际用量远低于宣传。对比opencode go的15美元额度,智谱lite月费1...
-
Windows 11 一口气更新21项新增功能,但一定先别着急更新
微软发布Windows 11可选更新KB5120998,新增21项功能,包括任务栏位置自定义、开始菜单调整、搜索优化等。但更新存在鼠标指针样式失效、桌面壁...