软件工程与编程语言
用清晰的约束与合适的工具，提升代码的可维护性、正确性与表达力。
- 软件的表面张力：用“表面张力”比喻软件完整性。类型、约束、纯函数可阻止无意义状态，在秩序与灵活间保持可变而不乱。
- 用 Ruby on Rails 打造 Markdown 编辑器：Rails 8.1 + Commonmarker 实现 Markdown 转 HTML，配合 Turbo/Stimulus 实时预览与图片粘贴上传，快速搭建好用编辑器。
- 将 Closure 用作 Win32 窗口过程：用 JIT trampoline 给 WndProc“加第5参”传递上下文，减少全局状态与样板代码，便于动态绑定回调。
- J 语言的一种实现（1992）：J（ASCII 版 APL）在 C 中的实现说明，涵盖词法/语法、动词与秩、内存与显示等，面向熟悉 J 与 C 的读者。
- Lean 定理证明器 mathlib：社区维护的 Lean4 数学库，提供安装与贡献指南，涵盖代数到分析，支持从 Lean 3 迁移。
安全与隐私
多层防护更可靠：语言级内存安全叠加内核沙箱；个人设备谨慎授权与数据最小化。
- Linux 沙箱与 Fil-C：将 OpenSSH 的 seccomp 沙箱移植到 Fil-C。通过线程锁定与在所有运行时线程同步应用 prctl，防止多线程绕过；内存安全叠加内核沙箱，防护更强。
- 你的震动棒在监视你吗？：部分智能性玩具 App 收集并分享敏感数据。建议查看隐私政策、关闭不必要权限、使用访客模式与可删除云端数据的品牌。
设备与阅读效率
旧设备焕新与理性选购，让阅读与写作更省眼更顺手。
- 在 Linux 下把电子墨水平板当显示器用：用 TigerVNC + AVNC 将安卓电纸板当外接屏。延迟低、清晰度好，适合阅读与写作；可作输入设备，Deskreen 不太合适。
- 2025年最佳Kindle推荐：Paperwhite、Scribe还是Colorsoft？：新款 Scribe/Scribe Colorsoft 功能多但性价比一般，二代 Scribe 更划算。给出配件与入手时机建议。
AI 与语言/认知
模型开始“分析语言”，人类语言独特性被进一步挑战；脑功能假说提供新视角但仍需验证。
- AI 首次在语言分析上媲美人类专家：新测试显示部分大模型（如 o1）能做结构图、歧义解析与递归等任务，接近人类研究生水平，挑战“只会模仿”的看法。
- 如果一个 Meta AI 模型都能读懂全脑信号，那为什么大脑自己反而不行？：提出大脑磁感应与蓝斑调控可能构成反馈回路，压缩表达全脑活动；空气中磁性颗粒或扰动该系统。属推测性观点，尚待实证。
航天与天文影像
近距离观测揭示卫星地貌与气体巨行星的复杂云系。
- Juno 近距飞掠木卫三与木星：朱诺号拍摄木卫三沟壑与陨坑，随后近掠木星，记录北部旋涡、赤道彩带与“珍珠链”白色椭圆云团。
科技向善与硬件创新
面向无电地区的低成本工程，直接改善日常负担。
- 可离网、可折叠平铺的洗衣机：手摇洗衣机 Divya 无需电力，省 75% 时间和一半用水，已覆盖 13 国近 5 万人，计划在印度本地化量产。
科技商业与并购
线上二手车平台向服务链延伸，打通供给与售后。
- 消息称：印度 Spinny 拟筹集 1.6 亿美元收购 GoMechanic：Spinny 估值约 18 亿美元，新募约 9000 万美元，用于收购 GoMechanic。将整合售后服务、扩大车源与客户触点，押注年复合约 10% 增长的印度二手车市场。