科学与计算
以简单清晰的思路回看数学与计算机科学：一个经典猜想的突破、序关系的直观科普，以及一位宗师的谢幕。
- “孤独跑者”问题看似简单，实则不然：计算机辅助方法将证明推进至九、十名跑者，打破停滞二十年的局面；算法成本高，仍难以推广更大规模，但为后续研究带来新动力。
- 范畴论图解——序关系：用直观图解区分全序、偏序、预序，并连接到范畴论中的“薄范畴”；讨论链、上下确界与分配格，展示序结构在数学与计算中的基础地位。
- 迈克尔·拉宾去世了：图灵奖得主、计算复杂性与密码学先驱辞世；其在非确定性自动机、概率算法、米勒-拉宾素性测试与拉宾签名等方面的工作深刻影响现代计算机科学。
软件与 Web 工程
关注实用工具、语言实验与标准细节：更安全的编辑器体验、可表达不确定性的计算、矢量符号管线，以及别忽视的 URL 规则。
- 迈向对 Emacs 的信任：为 Emacs 30 的文件信任机制带来“按需即时授信”；首次访问项目弹窗确认、记忆选择、状态提示，减少误伤功能并保留安全性，已上 MELPA。
- Show HN：我做了一个支持不相交区间集运算的计算器：以区间并集为核心的算术系统，支持含零除法仍返回安全区间；全精度模式规避浮点误差，已开源，计划支持交集与变量。
- Show HN：Sfsym——将 Apple SF 符号导出为矢量 SVG/PDF/PNG：直接调用 macOS 系统渲染器批量导出 SF Symbols，保证路径一致；支持多渲染模式与配色，macOS 13+ 可用，输出须遵守苹果许可。
- Brunost：挪威新挪威语编程语言：以 Nynorsk 语法为核心的解释型函数式语言；解释器用 Zig 编写、可跑 WebAssembly，主打“用清晰自然语言写代码”，功能仍在扩展。
- 在 HTTP URL 路径中“规范化”//是错误的：RFC 3986/9110 明确允许空路径段，“//”与“/”不等价；擅自合并会改变资源标识，实际中曾导致框架与服务端路由问题。
工程与设计
从几何到组织行为：如何构建更平滑的道路曲线，以及为何应警惕“造势替换”的技术决策。
- 任何道路背后的简单几何学：用线段与圆弧、结合三次 Hermite 样条，实现带切线约束的道路轮廓平滑连接；可处理复杂转向与位移，为动态道路生成打基础。
- 开战理由工程学：批判以“替罪羊”叙事推动技术更替的做法（如以攻击“瀑布”来捧“敏捷”）；主张回到因果分析与工程证据，避免政治化决策损害技术基础。
安全与隐私
涵盖从年龄验证到监控与数据泄露的多起事件，折射出现实系统的脆弱与复杂博弈。
- 破解欧盟新版年龄验证App仅需2分钟：安全周报聚焦欧盟年龄验证应用漏洞、场馆面部识别与社媒监控、数据泄露与 DDoS、Telegram 争议平台、AI 安全竞赛等，提示监管与实现间的落差。
数字身份与平台政策
生物识别驶入主流应用场景，便利与隐私的边界再被拉扯。
- Sam Altman的项目World瞄准扩大人类验证帝国，首站锁定Tinder。：以虹膜扫描生成加密 ID，分层验证（含远程与自拍）面向约会、票务、视频会议与电子签名等；在便利、抗机器人与隐私保护间寻求平衡并快速扩张。
产业与观点
一边是金融基础设施的正面交锋，一边是对产业空心化与AI恐慌的反思。
- 曾一度几乎达成收购，Stripe 与 Airwallex 如今反目成仇：Airwallex 拒绝 12 亿美元收购后押注自建全球持牌网络，收入与交易量高速增长，谋求以合规与体验优势缩小与 Stripe 的差距，并布局 AI 财务产品。
- 美国失去了天命：批判外包与产业空心化削弱谈判力，关税或促回流但代价高；质疑对 AI 的管制与恐慌，主张把“赢”的标准回归到人民福祉与社会繁荣。
硬件与创客
AI 助手降低硬件门槛，设备形态与接口体验持续进化。
- Schematik 是硬件领域的“光标”，Anthropic 想参与进来：基于 Claude 的硬件设计助手，按需求生成元件清单与装配指导；完成数百万美元融资，并推动蓝牙 API 能力，当前聚焦低电压、安全可玩设备。
- 华硕TUF Gaming A14（2026）评测：无独立显卡的游戏笔记本：更轻薄的机身与窄边框，手感良好的键盘触控板；双侧 USB‑C/USB4 等丰富接口、165Hz 2560×1600 屏幕，定位从“入门游戏本”走向更均衡的全能本。
天文观测
抓住观测窗口，彗星与行星同框亮相。
- PanSTARRS与行星探索：C/2025 R3 PanSTARRS 近日点在 4/19、4/26 近地；晨曦可与火星、水星、海王星同框，南半球在月末至 5 月初条件更佳。
社群与文化
无线电玩家的理想与规制、复古计算的审美传承、以及游戏与写作的新话题。
- 你好，我是一名「火腿」：世界无线电业余日科普持证、频率与功率分级；考试取证后可合法操作手/车/基台，群体呈两极分化但新手增长、技术与友谊并重。
- “Video Games” 十五年后，Lana Del Rey终于出真·游戏主题曲：Lana Del Rey 与 David Arnold 为《007 First Light》献唱主题曲；作品讲述年轻邦德的起源，并融入潜行玩法。
- Amiga 图形：专门收录与展示 Commodore Amiga 计算机的历史图像作品与赛事，见证早期家用机图形技术与像素艺术的演进。
- 懒散警察：浏览器写作编辑器，识别并标注常见 LLM 套话与结构；接入 Anthropic API 可做更深入分析与自动润色，帮助提升文本质量。