➡️
继续阅读
-
Toots 436 2026 Sep.6 - Sep.12
作者在9月6日至12日的随笔中,围绕城市变迁与个人生活展开:感慨成都县城感消失、市井生态被规划取代,怀念茶馆般的摩擦与自由;思考未来电网与城市规划的相似性...
-
AI 智创简报:《端侧小模型专利成簇,私有化部署的工具生意》
2026年5至8月,Blockchain Labs、微软、奔驰相继公开端侧小模型专利,涉及本地数据签名、边云分层路由和车载模型剪枝,均处于审查阶段。端侧A...
-
SAIR竞赛:安德鲁斯–柯蒂斯猜想挑战赛
陶哲轩等人发起安德鲁斯–柯蒂斯猜想挑战赛,由SAIR基金会与加州理工Math-AI团队合办。该猜想称平凡群的平衡表示可经AC变换化为平凡表示,与低维拓扑及...
-
AI的逗号
作者提出“AI的逗号”观点:大AI时代过度依赖AI,导致人的知识能力难以沉淀,缺乏基础体系与实践经验,难以理解前沿学科,最终人类知识被AI蒸馏,无人真正掌...
-
免费开票工具EasyInvoicePDF:浏览器本地渲染,数据不传服务器
EasyInvoicePDF 是一款免费开源发票生成器,完全在浏览器本地渲染,数据不上传服务器,无需注册。它支持实时预览、多模板、税务计算、多语言货币、二...
-
问题-思维模式-工具
文章以锤子和钉子为喻,说明解决问题前须先弄清真正的问题,工具只是经验的固化。作者认为程序员因掌握编程思维模式,能有效指挥AI Agent,而非程序员多停留...