AI 编程与开发工具:从“聊天代理”到更安静、更可控的形态
一边是把 LLM 当“新语言/编译器”的乐观叙事;另一边在强调减少打扰、提高可理解性,并补齐安全隔离与本地数据掌控。
- 面向所有人的 Haskell:不止于智能体编程:质疑“代理式编程”提升效率的说法,认为它打断专注、让人更不熟悉代码库。主张用更低打扰的内联提示、项目导航等方式做 AI 辅助。
- LLM:新一代高级语言:提出 LLM 代理会像高级语言一样改变开发方式,未来由多个代理协作完成任务,并提到 MCP 等标准可能打通应用与数据孤岛。
- LLM 作为语言编译器:从 Fortran 借鉴经验,展望编码的未来:拿 FORTRAN 的历史类比自动化编程浪潮:门槛会降低、规模会扩大,但复杂性不会消失,只会换一种形式出现。
- Matchlock:基于 Linux 的 AI agents 沙箱隔离系统:用微型虚拟机把代理隔离运行,默认阻断访问并用代理方式注入密钥,降低“代理跑脚本顺手把敏感信息带走”的风险。
本地优先与开源应用:更透明,也更可持续
一些项目把“隐私/可审计”放在前面;另一些则在治理和交接上做出变化。
- DoNotNotify 现已开源:公开完整源码,强调透明和隐私承诺,邀请社区参与改进。
- Show HN:LocalGPT——用 Rust 打造的本地优先 AI 助手,带持久化记忆:主打本地运行、小体积、可持久化记忆;用 Markdown+SQLite 检索知识,可作为守护进程,数据尽量留在本机。
- 著名开源程序 Anki 开发者将运营权限交由 AnkiHub 托管:Anki 作者因健康与压力逐步交出运营与管理,交由 AnkiHub 承接;强调开源与现有收费模式不变,目标是让项目更稳地走下去。
- 5000小时训练,自动识别日文视频,并翻译中文字幕的开源工具:面向日文音视频的转录与翻译流水线,支持字幕输出与加速,适合批量处理内容。
安卓与系统:ROM 迭代与“更轻”的桌面体验
系统层继续围绕界面与工具打磨;第三方启动器则走极简路线。
- LineageOS 23.2:基于最新 AOSP,更新界面与快捷设置,改进文件管理与默认应用;设备支持继续扩展,并调整维护节奏与贡献方向。
- uLauncher:极简安卓启动器,只保留必要信息,通过手势/按键快速启动应用与常用操作,适合想减少干扰的人。
数据中心与深科技:资源压力与长期投入同时加码
一边担心电、水等资源被数据中心拉高;一边用政策延长深科技“慢热期”。
- 纽约州议员提出法案,拟叫停数据中心开发三年:拟暂停新数据中心许可至少三年多,期间做用水用电用气与价格影响评估,并更新监管规则。
- 印度调整了深科技初创企业的相关规定:把“初创”认定期限延长到 20 年、提高优惠门槛,并设立大额研发创新基金,试图匹配深科技更长的研发与融资周期。
交通与能源:纯电现实落差与“备用方案”的代价
体验层面,充电网络和成本仍是关键;替代燃料方案也各有硬伤。
- 从特斯拉一日自驾,看纯电在日本的实际体验:东京用车尚可,但整体充电设施不足、费用偏高、辅助驾驶体验一般,导致纯电在日本仍难成“无脑选择”,更适合有固定车位可装家充的人。
- 木煤气汽车:把柴火塞进油箱(2010):回顾木气车在战时与高油价背景下的复兴:燃料可再生但设备笨重、使用麻烦;真要规模化还会带来木材与森林压力。
科学与观测:用旧数据看长周期,用新设备抓实时变化
历史资料补足“百年尺度”,现代设备带来“海量实时”,两者拼在一起才更接近真相。
- 现代与古老技术揭示一个活力十足的宇宙:天文玻璃底片能追溯天体百年变化,与鲁宾天文台这类现代巡天数据互补;问题是底片易损,数字化与保护很紧迫。
- 活跃太阳黑子区 4366 横穿太阳:太阳黑子区 AR 4366 体量巨大且耀斑频繁,可能提高极光等空间天气事件概率;未来一周将转到太阳背面。
- 在澳大利亚内陆荒野,我们正在监听核试验:介绍澳洲偏远核监测站用地震与次声监测核试验,既承担国际核查,也推动地球物理研究;在核试风险上升背景下重要性更高。
工程与计算史:把“老东西”拆开看,能学到真功夫
从数据库到 8 位游戏机,很多能力都来自清晰的模块边界与对限制条件的极致利用。
- 开源应用架构(第 1 卷):Berkeley DB:拆解 Berkeley DB 的模块化设计(访问方法、缓冲、锁、日志、事务等)与演进教训,强调接口边界、兼容性与架构长期维护。
- 逆向工程:Atari 2600 版《Raiders of the Lost Ark》:给出完整注释汇编源码,展示银行切换、自修改代码与逐扫描线渲染等技巧,解释在极端硬件限制下如何做出复杂玩法与画面。
媒体与平台:传统媒体的管理层动荡
新闻机构在重组压力下换帅,但新负责人未必来自新闻系统。
- 前 Tumblr 掌门人 Jeff D’Onofrio 出任《华盛顿邮报》临时 CEO:华邮 CEO 辞职后由 CFO、前 Tumblr CEO 临时接任;其新闻业务经验有限,且正处在贝索斯推动的重组背景中。