科技笔记
共 101 篇文章
独立开源浏览器 Ladybird：为什么有人要从零重造一个引擎
当几乎整个互联网都靠少数几个浏览器引擎渲染时，一个人人都能参与、独立开源的浏览器项目，正在回答基础软件该不该被垄断。
AI 正在重写天气预报：从硬算数值到生成式预测
天气预报过去靠超级计算机硬算，如今 AI 模型用近乎零成本的速度重新定义预报，而真正受益的，是农业、能源、航空这些产业。
逆向苹果芯片：一群志愿者让 Linux 跑上 M3
没有任何官方支持，一群社区开发者靠逆向工程，让 Linux 跑进了 Mac Book M3 的芯片里。开放生态与封闭平台之间的对抗，又往前推进了一步。
当 AI 开始「自己研究」：研发加速意味着什么
一家前沿实验室晒出内部数据：研究者每天开的编码智能体越来越多，单位人力跑的实验也在涨。AI 落地最被低估的地方，是把「试错-迭代」的周期压短。
同一个车、两种卖法：CarPlay 之争里的数字体验
两家车企卖了几乎一模一样的车，一款带手机互联、一款不带，销量却差出三分之一到一倍多——消费者在用钱投票，给「软件体验」标了价。
把「云」装进一只瓶子里，让自托管不再只是工程师的副业
个人也能有自己的「云手机」：容器化应用、统一登录、良好体验。自托管该像用智能手机一样简单，而不是一份让人头大的运维副业。
量子计算离「有用」还多远？IBM Nighthawk r2 的一个关键变化
新一代量子处理器用「高速量子比特重置」把吞吐提了 25 倍，让纠错与动态电路向前迈一大步，仍未到取代经典计算机之时。
工具与变革：AI 真正改变企业，靠的不只是模型
大公司里软件成堆、琐事依旧；AI 的革命不是一键换掉一切，而是让「看得见机会的人」把藏在眼前的工作捡起来。
让代码可以被数学证明：形式化验证正在进入工程现场
Verus 用数学规格检查 Rust 代码在所有输入下的行为，补上 unsafe 与并发两处短板，也把错误从实现层挪到规格层。
两周上线一套推理服务：智能体优化系统的门槛不在代码，在反馈
十万张国产加速卡上的推理服务，从跑通到上线不到两周。真正的难点不是写代码，而是把端到端指标拆成可归因、可验证的反馈。