数学的“工业时代”：当AI让证明不再稀缺
2026年7月24日，菲尔兹奖得主陶哲轩在美国费城举行的国际数学家大会（ICM）上，发表了一场题为《人工智能时
阅读全文 ：数学的“工业时代”：当AI让证明不再稀缺
公众号
架构技术评论
客户端技术架构,服务端技术架构,全栈技术架构,区块链技术架构,元宇宙技术架构,星
这个来源的文章
2026年6-7月 iOS 越狱最新进展总结（截至7月22日）
2026年上半年越狱圈主要围绕商业级 exploit 的重实现（DarkSword）、硬件级 BootROM
阅读全文 ：2026年6-7月 iOS 越狱最新进展总结（截至7月22日）大厂不缺技术强的人，缺的是能把事说进别人心里的人
朋友一直推荐我看这本书《商业表达力》，最近终于抽时间断断续续看完了。也强烈推荐大家有空看一看，尤其是在大厂工作的朋友。
阅读全文 ：大厂不缺技术强的人，缺的是能把事说进别人心里的人周期更迭，适时转身
很多人读《纳瓦尔宝典》，只记住深耕长期，却忽略技术世界藏着清晰的迭代规律。行业浪潮并非二十年一换，大多以7到10年为区间轮回，这不仅是产业变化的节奏，也是普通人重塑人生的关键节点。 PC互联网、移动互联网、区块链、人工智能，每一轮时代风口，都会诞生一批独属于当下的先行者，赛道之间界限分明。倘若能踏准多轮增长周期，在人…
阅读全文 ：周期更迭，适时转身面向 Vibe Coding 的终端 Liney 发布 Windows 试用版本
几个月前，我开发了一个 macOS 上的终端程序。这几个月里，我自己以及很多网友一直在使用，其间我们也进行了很多的 Bug 修复和新功能添加。
阅读全文 ：面向 Vibe Coding 的终端 Liney 发布 Windows 试用版本当 coding 只是工具，比的是握剑的人
当生产工具被彻底平权，价值就不再停留在”会不会用”，而是退回到人本身——你的品味、你的判断、你肯在打磨上花的那份耐心。剑已经发到每个人手里。“剑来”之后，能不能舞出剑气，终究看握剑的人。
阅读全文 ：当 coding 只是工具，比的是握剑的人