AI 加速与工具生态
模型推理加速与本地化部署并进，生态与组织形态同步演化
- AdapTive-LeArning Speculator System（ATLAS）：加速LLM推理：自适应推测解码，实时学习与动态调整，无需人工调参；在多款模型上最高提速约2.65倍。
- 小白也能懂的边缘AI入门：系统课程覆盖边缘AI与小型语言模型，从优化到本地部署，强调低延迟与隐私。
- Emacs 智能命令行（由 ACP 驱动）：在 Emacs 内统一接入多家 AI 代理（如 Gemini、Claude Code），基于 ACP 协议实现一站式交互。
- 英伟达的AI帝国：对其顶级初创公司投资的考察：2025 年已参与约 50 笔投资，覆盖大模型、自动驾驶、机器人与基础设施，迅速扩大生态影响力。
- 小团队生存指南：提出“微小团队”范式：少会、高信任、AI 增强、简化技术栈，以更高人效应对“智能体时代”。
- AI热潮退去后，我们还能剩下什么？：AI 投资偏向专有、短寿命硬件与垂直系统；泡沫后可能遗留难复用资产，但算力成本下降与人才经验仍具长期价值。
开源、数字主权与开放硬件
政府与社区推动开源替代与自给自足，开放协议与硬件协同发展
- Wireguard FPGA 加速：用 SystemVerilog 在廉价 Artix7 上实现 WireGuard，基于开源工具链，做可负担的硬件 VPN。
- 石勒苏益格-荷尔斯泰因州全面切换开源邮件系统：3 万名公务员从 Exchange/Outlook 迁至 Open-Xchange/Thunderbird，数千万邮件平稳迁移，迈向数字主权。
- 自由软件还未彻底胜利：开源在固件、设备与家电仍薄弱；呼吁使用 copyleft、支持开源硬件、并施加政策压力。
- 3D打印全自动气象站：以 3D 打印与商用传感器构建 300–500 美元级低成本气象站，扩大观测网络并增强本地维护能力。
- Nostr 与 ATProto（2024）：对比两大去中心化社交协议的身份、数据与信任模型，探讨互操作与桥接前景。
编程语言、编译器与工程实践
轻量可读的配置、极致性能的语言实现与可验证工程的边界
- MAML——新一代配置语言，媲美JSON、YAML和TOML：延续 JSON 简洁性，加入注释、多行字符串、可选逗号与键引号，多语言实现已就位。
- Loko Scheme：极致性能的裸机Scheme编译器：支持 R6RS/R7RS，基于 CML 并发，可交叉到 Linux/NetBSD/裸机 amd64，适合静态并发与系统研究。
- 2025年，BASIC 语言解释器大功告成：为 Mattel ECS BASIC 加入字符串、GC、数学与图形/打印/磁带支持，功能更强且代码更精简，汇编开源。
- 我如何玩转 Helix 编辑器：结合 Tmux、Yazi、Lazygit，定制按键与状态栏、自动保存与彩虹括号，优化远程开发效率。
- 形式化验证代码在实际应用中“翻车”的三种方式：验证仍可能失效于错误规范、无效证明或环境假设不成立，提醒边界与方法论。
- 数据流图速成指南：用数据流图建模循环性能，揭示跨迭代依赖与关键路径，演示展开与并行化如何提升吞吐。
视觉计算与媒体编码
从高效目标画质编码到微距三维重建，兼及复古矢量显示考古
- oavif：更快实现目标画质的图片压缩：以 fssimu2 感知指标与误差收敛建模实现极少迭代（均值约 1.18 次）的 AVIF 目标质量编码，提速显著且稳定。
- 宏观飞溅2025：将高斯泼溅与焦点堆叠结合，克服微距景深短板，生成昆虫高分辨率可自由视角 3D 模型。
- HP1345A与战争游戏（2017）：逆向 HP1345A 矢量显示器与字符 ROM，梳理其在《战争游戏》中的图形生成历史。
科研与生物神经
揭示大脑“补全”机制与动物行为成瘾相似性
- 让我们“脑补”世界的神奇神经元：在小鼠视觉皮层发现“IC-编码器”神经元，并用光遗传学证实其对错觉轮廓的因果作用。
- 玩具控狗狗：极端玩具动力背后的“上瘾”行为：高度爱玩玩具的犬只表现出渴求与自控缺失等成瘾样特征；行为测试与问卷结果相互印证。
航天与大公司动态
重型火箭持续试飞，消费与平台巨头承压监管与法律
- SpaceX将于周一挑战Starship第11次试飞：计划再次释放 8 个模拟星链卫星，测试助推器数据、隔热盾与返场末端机动，部分组件复用。
- 苹果再陷集体诉讼，被指控涉嫌侵犯版权：两位教授起诉苹果疑似用盗版书训练模型，涉及“影子图书馆”与爬虫获取。
- 首批搭载苹果M5芯片的产品或本周亮相：传闻包括新 iPad Pro、改进版 Vision Pro 与入门 MacBook Pro。
- 马斯克大战监管机构：Boring Company 被内华达调查，特斯拉遭加州保险部门与 NHTSA 关注 FSD；同时 GM 重组自动驾驶团队，Joby 融资，Uber/Lyft 司机工会法案落地。
算法与优化·趣味
基础理论突破与实用求解器展示优化威力
- 新算法加速最短路径查找：突破 40 年“排序障碍”，提出不依赖排序且更快的最短路径算法。
- 约束优化：打造最强Minecraft物品组合：用 MiniZinc 建模容量与堆叠差异，自动求解背包与“捆”道具的最优装载方案。