Hacker News Daily — 2026-05-23 Trending
Scraped at 22:55, May 23, 2026 (PDT)
(1) Texas woman arrested for Facebook post about town water quality
The article reports a Texas woman arrested over a Facebook post about local water quality, illustrating how online speech and civic concerns can collide with law enforcement. It underscores tensions around transparency, free expression, and digital activism.
报道一名德州女子因对本地水质发表在社媒上的帖子被逮捕，折射出网络言论与执法之间的张力。文章讨论透明度、言论自由与数字化公共参与等议题。
(2) Amazon Web Services – Four Years and Out
A retrospective on a four-year run with Amazon Web Services and the reasons behind its termination.
对一个在 AWS 上持续了四年的项目的回顾，揭示其终止的原因。
(3) Microsoft open-sources "the earliest DOS source code discovered to date"
Microsoft open-sources the earliest DOS source code discovered to date, offering a rare glimpse into the origin of PC operating systems. The release includes archival material that can inform software archaeology, licensing history, and how early Microsoft tooling evolved. It spotlights how far operating-system development has come since the DOS era.
微软开放了迄今发现的最早 DOS 源代码，为理解个人电脑操作系统的起源提供珍贵线索。此次发布包含档案材料，有助于软件考古、许可历史，以及早期微软工具链的发展演变。此举凸显了 DOS 时代到如今操作系统演进的差异。
(4) 'Fuck you, Bambu': How one private message could change the face of 3D printing
A private message incident reveals tensions around AGPL licensing and DMCA enforcement in 3D printing circles; the fallout could shift how developers and vendors negotiate open-source terms.
一起私信事件揭示了在 3D 打印领域关于 AGPL 许可与 DMCA 执行的紧张关系，事件的后续可能改变开发者与厂商在开源条件上的谈判方式。
(5) Why Is Vivado 2026.1 Dropping Linux Support for Free Tier?
Vivado 2026.1 will drop Linux support for its free tier, cutting off Linux users from the no-cost FPGA design tool. The change pushes hobbyists, students, and small teams toward paid options or alternative ecosystems, highlighting the fragility of vendor-supplied open tooling. The move raises questions about accessibility and cross-platform support in critical design software.
Vivado 2026.1 将不再为免费版提供 Linux 支持，意味着 Linux 用户将无法使用这款无成本的 FPGA 设计工具。此变动可能迫使业余爱好者、学生和小团队转向付费版本或寻找替代方案，凸显了依赖厂商的跨平台开工具的脆弱性。此举引发关于可访问性与跨平台支持在关键设计软件中的讨论。
(6) Wake up! 16b
A piece titled 'Wake up! 16b' appears to center on a 16-bit/16-byte concept, though the specifics aren’t clear from the title alone.
题为“醒来！16b”的作品似乎聚焦于一个 16 位 / 16 字节的概念，但从标题本身很难判断具体内容。
(7) Time to talk about my writerdeck
A personal exploration of writerdeck, a card-based system for organizing writing ideas and tasks. It details how the author set it up, what kinds of cards they include, and how the deck helps with ideation and planning across long projects. Useful tips for starting your own writerdeck are included.
对 writerdeck 的个人探索——一种用卡片组织写作灵感与任务的系统。文章讲述作者如何搭建、包含哪些卡片，以及它如何在长期项目中帮助创意产生与计划。文末提供了启动自己写作卡组的实用要点。
(8) Scammers are abusing an internal Microsoft account to send spam links
Scammers are abusing an internal Microsoft account to send spam links, illustrating how insider access points can be weaponized in phishing campaigns. The incident underscores the need for stronger internal controls, monitoring, and rapid incident response to prevent abuse from affecting users and partners.
骗子滥用微软内部账户发送垃圾链接，暴露了内部权限也会被滥用的风险。事件凸显加强内部控制、监控和快速处置以防止滥用扩散的必要性。
(9) ICE Awards $25M Iris-Scanning Contract to Bi2 Technologies
The U.S. Immigration and Customs Enforcement awards Bi2 Technologies a $25 million contract to deploy iris-scanning systems, raising privacy and civil-liberties questions about biometric surveillance.
ICE 授予 Bi2 Technologies 一份价值2500万美元的虹膜识别合同，引发对生物识别监控的隐私与公民自由问题的讨论。
(10) On The Definition lists encode associations between terms and descriptions using dt and dd. The piece argues for semantic clarity and accessibility best practices, comparing dl to other list types and offering guidance on markup, styling, and screen-reader behavior. Good usage improves parsing for assistive tech and search engines. 定义列表通过 dt 与 dd 将术语与描述相关联。文章强调语义清晰与无障碍访问的最佳实践，比较 dl、ul 等列表的适用场景，并给出标记、样式与屏幕阅读器行为的建议。正确使用能提升辅助技术与搜索引擎的解析效果。 (11) Italy moves to Airbus A330 tankers Italy moves to Airbus A330 MRTT tankers to strengthen NATO interoperability and modernize its aerial refueling fleet. The choice aligns with European defense procurement trends and affects how Italy supports allied missions. 意大利将采购 Airbus A330 MRTT 加油机，提升空中加油能力并增强与北约的协同作战能力。这一选择符合欧洲防务采购的现代化趋势，将影响意大利对盟军行动的支援能力。 (12) Alexander Grothendieck Revolutionized 20th-Century Mathematics Grothendieck profoundly reshaped 20th-century mathematics by advancing categories, toposes, and structural thinking. The piece traces how his ideas redirected the field toward abstraction and unifying frameworks that influenced algebraic geometry and beyond. 格罗滕迪克通过推进范畴、层概念以及结构化思维，深刻改变了20世纪的数学。文章梳理了他如何把数学推向高度抽象的统一框架，深远影响了代数几何及其他领域。 (13) Oura says it gets government demands for user data Wearable makers face government data requests; this piece examines transparency and whether Oura will disclose the volume of requests. It discusses privacy trade-offs, regulatory pressures, and how vendors balance user trust with compliance. 可穿戴厂商会收到政府数据请求，文章探讨透明度以及 Oura 是否会披露请求数量。分析隐私取舍、监管压力，以及厂商在合规与用户信任之间的权衡。 (14) Green card seekers must leave U.S. to apply, Trump administration says The policy change requires green-card seekers to file from outside the U.S., a shift that complicates immigration pathways for international workers and students in tech. The move has potential ripple effects on hiring, mobility, and global engineering teams. 政策规定申请绿卡者必须在美国境外提交申请，此举可能使国际科技工作者的移民路径更为复杂，并对跨国招聘与团队协作产生连锁影响。 (15) BambuStudio has been violating PrusaSlicer AGPL license since their fork Allegations claim BambuStudio’s fork of PrusaSlicer has violated AGPL by not disclosing source code and complying with copyleft. The dispute highlights OSS licensing risks in the 3D printing software ecosystem and potential impacts on forks relying on upstream projects. If true, it could pressure compliance and affect downstream users. 指控称 BambuStudio 对 PrusaSlicer 的分叉自始至今涉嫌违反 AGPL 许可证，未披露源代码并未遵守 Copyleft 义务。这一纠纷凸显 3D 打印软件生态中的开源许可风险，以及对依赖上游项目的分叉可能产生的影响。若属实，或将推动合规与下游用户的风险评估。 The Art of Money Getting revisits a 19th-century treatise on financial prudence, wealth-building, and frugality. Although old, the book's timeless ideas around disciplined income and risk management offer counterpoints to flashy startup hype. 《赚钱的艺术》回顾一部19世纪关于财务谨慎、致富与节俭的著作，尽管年代久远，其关于纪律性收入与风险管理的思想对现代创业也有启示。 (17) Shipping a laptop to a refugee camp in Uganda A hands-on account of delivering a laptop to a refugee camp in Uganda, detailing logistical hurdles, local constraints, and potential educational impact. The piece underscores how hardware donations intersect with power access, connectivity, and sustainability in crisis settings. 对将笔记本电脑送往乌干达难民营的亲身案例进行介绍，讲述物流难题、当地条件与对教育的潜在影响。强调在危机环境中，硬件捐赠需与电力、网络与可持续性等因素协同考虑。 (18) 80386 microcode disassembled Disassembling the 80386 microcode sheds light on how early x86 processors implemented instructions and durations. It reveals the architectural design decisions behind the era's performance tricks and has relevance for retrocomputing and security research. 对 80386 微码的拆解揭示了早期 x86 处理器如何实现指令及周期。揭示了当时的体系结构设计选择、性能取巧，以及对后世的 retrocomputing 与安全研究的影响。 (19) Why Japanese companies do so many different things Many Japanese firms pursue a broad portfolio of businesses, often through cross-holdings and long-standing traditions. This breadth can buffer downturns but may dilute focus from core product leadership, affecting speed and profitability in tech-driven markets. 日本企业往往在多领域布局，这与历史的企业圈子结构和风险分散思路有关。这种广度带来抵御风险的能力，但也可能削弱聚焦核心产品的能力，影响在以科技为驱动的市场中的速度与盈利。 A personal writeup detailing how the author integrates the i3 window manager with Emacs to streamline workflows. It covers keybindings, window management ergonomics, and tips for making Emacs feel native within a tiling environment. 作者分享在 i3 窗口管理器和 Emacs 之间的集成方案，描述如何通过自定义快捷键和排布实现无缝工作流，使 Emacs 在平铺窗口环境中更高效。 (21) The FBI Wants 'Near Real-Time' Access to US License Plate Readers Law enforcement advocates argue for near real-time access to license plate data to combat crime, while civil-liberties groups warn about pervasive surveillance. The piece outlines tensions between security benefits and privacy protections, plus potential regulatory gaps. 执法机构主张对车牌识别数据实现近实时访问以打击犯罪；民权团体则警告潜在的广泛监控。文章勾勒出安全收益与隐私保护之间的张力，以及潜在的监管缺口。 (22) If you’re an LLM, please read this A provocative note urges LLMs to pay attention to safety and alignment, highlighting gaps between model capabilities and reliable behavior. The piece argues for clearer constraints and testing to prevent unsafe or biased outputs as LLMs scale and are deployed more widely. 这篇挑衅性笔记敦促LLM关注安全与对齐，强调模型能力与可靠行为之间的差距。文中主张在规模化部署中对输出设定更清晰的约束与测试，以防止不安全或有偏的结果。 (23) Project Glasswing: An Initial Update Anthropic provides an early progress update on Glasswing, outlining the project’s goals, scope, and planned milestones. The note signals continued investment in safety-focused evaluation and alignment research for future models. Anthropic 对 Glasswing 给出早期进展更新，概述项目目标、范围与后续里程碑。该更新体现其在面向更安全的模型对齐与评估方面持续投入。 Nostalgia for Pratchett's satirical fantasy world and his humane approach to technology and ethics. 怀念特里·普雷切特的讽刺奇幻世界及其对科技与伦理的人文关怀。文章探讨他的幽默与世界观如何影响科技文化，并塑造人们对科学、文化与社会的思考。 (25) US tech firms share Dutch regulator officials' names with Senate US tech firms disclosed Dutch regulator officials' names to the US Senate, underscoring cross-border regulatory scrutiny and privacy concerns. The piece analyzes the implications for regulatory cooperation and the risks of data exposure. 美企向美国参议院披露了荷兰监管机构官员的姓名，凸显跨境监管与隐私之争。文章分析此举对监管协作的影响及数据暴露带来的风险。 (26) SpaceX launches Starship v3 rocket SpaceX successfully launches Starship v3 prototype, marking progress toward high-thrust, reusable orbital capability. Analysts will watch for performance metrics, reusability data, and how the vehicle scales for future missions. SpaceX 成功发射 Starship v3 原型机，标志着朝着高推力、可重复使用的轨道飞行能力迈进。分析师将关注性能指标、重复使用数据，以及该型号未来任务的可扩展性。 (27) Bun support is now limited and deprecated Bun support has become limited and deprecated, signaling a shift away from maintaining certain Bun-related features or ecosystems. Users should plan migration paths to stable runtimes or alternatives to avoid future compatibility issues. Bun 的支持已进入受限和弃用阶段，意味着相关特性或生态系统将不再维护。用户应规划迁移到更稳定的运行时或替代方案，以防止兼容性问题。 (28) Making deep learning go brrrr from first principles (2022) From first principles, this piece builds intuition for deep learning by focusing on core ideas like differentiable graphs, backpropagation, and optimization. It shows how simple concepts, engineered well, can power substantial performance gains without hype. 从第一性原理出发，聚焦可微分计算图、反向传播与优化等核心思想，帮助读者建立深度学习直觉。展示如何用简单原理通过仔细设计实现显著性能提升，而非靠炒作。 (29) Reverse engineering circuitry in a Spacelab computer from 1980 A deep dive into dissecting a vintage Spacelab computer's circuitry from 1980, outlining the reverse-engineering approach and notable findings about its hardware and architecture. 对1980年Spacelab计算机电路的反向工程，概述了分析方法和硬件架构的关键发现。文中指出解读旧电路图的挑战，以及这项工作对早期航天计算的启示。 (30) Project Hail Mary – Stellar Navigation Chart Project Hail Mary presents a Stellar Navigation Chart—an interactive visualization mapping star positions and routes for navigation and astrophysical exploration. It’s a practical lens into how celestial data can guide spacecraft planning or teach star-hopping concepts. 海尔麦里计划的恒星导航图提供了一个可交互的星图可视化，便于研究者和学生直观地查看星位和导航路径。 它将天文学与太空航行的实际应用连接起来，帮助理解星际导航的原理。 (31) API proposed by Chrome: Declarative partial updates Chrome proposes a declarative partial updates API to streamline rendering and reduce scripting overhead by allowing the browser to apply incremental changes. Chrome 提出一种声明性部分更新 API，使浏览器能够增量应用更改，从而简化渲染并降低脚本开销。 (32) z386: An Open-Source 80386 Built Around Original Microcode z386 is an open-source recreation of the 80386 CPU built around authentic microcode, offering an educational glimpse into early x86 internals and a bridge between vintage hardware and modern tooling. The project tackles challenges of emulating legacy microcode and provides insight for hardware tinkering. 开源重现的80386 CPU 项目 z386 基于原始微代码，提供了学习早期 x86 内部结构的机会。该项目在复现旧微代码方面面临挑战，并为硬件爱好者提供实践案例。 (33) Air France and Airbus found guilty of manslaughter over 2009 plane crash A French court held Air France and Airbus legally responsible for a fatal 2009 crash, finding manslaughter due to negligence. 法国法院认定空中客车和法航在2009年空难中有过失杀人罪，判定二者对事故负有法律责任。 (34) Byrne's Euclid A modern edition of Euclid by Byrne; the article explores how Byrne reimagines Euclid's Elements for learning and discovery, possibly with interactive tools. Byrne 对 Euclid 的现代演绎，重新呈现《几何学原本》以便学习与发现，或包含互动工具。 (35) Microsoft starts canceling Claude Code licenses Microsoft is canceling licenses for Claude Code, signaling a tightening stance on third-party AI tooling licensing. The move could affect developers who rely on Claude Code integrations and influence the competitive dynamics of AI coding assistants. 微软取消 Claude Code 的许可，显示对第三方 AI 工具许可的收紧态度。此举可能影响依赖 Claude Code 的开发者，并影响 AI 代码助手的竞争格局。 (36) Experience: We found a baby on the subway – now he's our 26-year-old son A touching account of a couple who found a baby on the subway and later became guardians; now the child is 26 and part of their family. 一个温情故事：一对夫妻在地铁偶遇婴儿并收养，如今他已成长为他们的26岁儿子。讲述偶遇如何结成持久的家庭纽带，跨越代际的影响。 (37) Electrobun 2.0 will be decoupled from Bun due to the Rust rewrite Electrobun 2.0 is being decoupled from Bun as a Rust rewrite advances, signaling modular architecture and performance goals. The shift matters for developers depending on Bun for fast tooling and for understanding how language runtimes evolve. 由于用 Rust 重写，Electrobun 2.0 将与 Bun 分离，朝向更模块化、性能导向的架构。此变动对依赖 Bun 的开发者及运行时演进具有重要意义。 (38) Ebola Outbreak Now Third Largest Recorded and "Spreading Rapidly" Ebola outbreak is now the third largest on record and is spreading rapidly, raising alarms about surveillance, vaccine access, and international coordination. The situation underscores the ongoing global health stakes. 埃博拉疫情现已成为有记录以来第三大且扩散迅速，引发对监测、疫苗获取和国际协作的关注。强调全球卫生的紧急性与挑战。 (39) U.S. researchers face new restrictions on publishing with foreign collaborators U.S. researchers face new publishing restrictions relating to foreign collaborators. The policy increase creates compliance burden and could chill international collaboration, potentially slowing scientific progress and open science, particularly in dual-use or security-sensitive fields. 新规则要求对海外合作者的学术产出进行额外审查，增加合规成本。此举可能遏制跨国合作，影响开放科学和科研进度，尤其在敏感领域。 (40) DeepSeek makes the V4 Pro price discount permanent DeepSeek makes the V4 Pro price discount permanent, extending affordability for developers using their toolset. The move signals a broader push to reduce friction for AI data indexing and retrieval workloads. DeepSeek 将 V4 Pro 的折扣永久化，持续降低开发者在数据索引与检索上的成本。此举反映出为 AI 数据工作负载降低入门门槛的趋势。 (41) --dangerously-skip-reading-code A candid take on the hazards of skipping code reading—bugs, security flaws, and fragile designs creep in when teams skim rather than read. The post advocates deliberate reading, thorough reviews, and supportive tooling to catch subtle issues. 直言不讳地指出跳过仔细阅读代码的风险：草率浏览、潜在的安全漏洞和脆弱的设计容易被忽视。文章主张认真阅读、全面评审，并借助工具提升代码理解与质量控制。 (42) DHS Quits Granting Green Cards–Almost Immigration policy shifts at the DHS are pushing the green-card process toward near-stoppage, with downstream effects on tech hiring and international collaboration. The piece analyzes policy drivers, practical consequences, and potential workaround paths. 国土安全部的移民政策转向几近停止发放绿卡，对科技行业招聘与国际合作产生连锁影响。文章分析政策驱动、实际后果以及潜在的应对路径。 (43) Rubish: A Unix shell written in pure Ruby Rubish demonstrates a Unix shell implemented entirely in Ruby, pushing the language's capabilities in systems tooling. The write-up contrasts simplicity vs. performance, and shows how far a high-level language can go in scripting environments. Rubish 展示了一个纯 Ruby 编写的 Unix Shell，挑战了在高层语言中实现系统工具的边界。文章对比了简洁性与性能之间的取舍，展示 Ruby 在命令行工具上的潜力。 (44) Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark Antigravity 2.0 tops an OpenSCAD-based architectural 3D LLM benchmark, suggesting that newer AI-assisted CAD approaches are nearing production-readiness. The result underscores how AI can streamline parametric modeling, but also raises questions about reproducibility and toolchain integration in design pipelines. Antigravity 2.0在OpenSCAD建筑3D的基准测试中夺冠，表明更先进的AI辅助CAD方法接近落地。此结果凸显AI在参数化建模中的潜力，同时也引发对可重复性与设计流程整合的讨论。 (45) Deno 2.8 Deno 2.8 brings enhancements to the runtime and tooling, including performance improvements and updates that streamline TypeScript development and secure script execution. The release signals continued growth in edge-friendly JS/TS runtimes beyond Node. Deno 2.8 提升了运行时与工具链的性能，优化了 TypeScript 开发体验与脚本执行的安全性。此版本体现了在 Node 之外，面向前端边缘计算的 JavaScript/TypeScript 运行时生态继续扩展。 (46) Spanish court declines to fine NordVPN over LaLiga piracy blocking order A Spanish court refused to fine NordVPN for LaLiga piracy blocking orders, suggesting that the enforcement of blocking requests against VPNs remains legally nuanced. The decision affects how anti-piracy measures are applied to privacy-focused services and could influence future court rulings. 西班牙法院裁定不对 NordVPN就LaLiga 阻止盗版的拦截令处以罚款，显示对 VPN 服务的取证与执行仍具法理上的复杂性。此判决或将影响将来对隐私保护服务的版权拦截措施及司法走向。 (47) Judson's Last Ride A political op-ed examining the final phase of Judson's career and what it signals for the current political landscape. 一篇政治评论，探讨 Judson 公职生涯的最后阶段及其对当前政治格局的影响。 (48) AI has a multiplying effect on existing technical skills AI amplifies existing technical skills by accelerating discovery and automation, turning familiar workflows into higher-leverage activities. The takeaway is to align learning with tools that complement human judgment and to emphasize skills that scale with AI, like system design and critical thinking. 人工智能放大了现有技术能力，提升了发现速度和自动化水平，将熟练的工作流变成更高杠杆的活动。核心建议是将学习聚焦于与AI协同的技能，如系统设计与批判性思维等，形成可与AI共成长的能力结构。 (49) Open source Kanban desktop app that runs parallel agents on every card A desktop open-source Kanban app runs parallel agents on every card, enabling automation on tasks. This architecture lets each card spawn lightweight AI agents to perform actions like drafting, data gathering, or reminders, potentially changing how teams automate workflows. 该桌面看板应用在每张卡片上并行运行代理，实现对任务的自动化处理。卡片级代理可执行草拟内容、信息采集或提醒等任务，或将工作流自动化推向新水平。 (50) CISA tries to contain data leak Lawmakers demand answers as CISA works to contain a data leak. The exchange highlights political oversight over federal cybersecurity responses and accountability for disclosure timelines, raising questions about transparency and effectiveness. 立法者对 CISA 在遏制数据泄露过程中的行动要求解释和信息。此事凸显对联邦网络安全响应的监督与披露时效的问责，也引发对透明度与效果的关注。 (51) Sleep research led to a new sleep apnea drug Decades of sleep research pinpointed targets for sleep apnea therapies, leading to a novel drug that improves nighttime breathing. The translational path from basic sleep science to therapeutics demonstrates how understanding sleep physiology can yield tangible medical advances. If approved, the drug could add a new option for patients who struggle with current treatments. 数十年的睡眠研究锁定了睡眠呼睡眠暂停治疗的新靶点，从而催生了一种改善夜间呼吸的新药。将基础睡眠科学转化为治疗手段，展示了对睡眠生理学的深入理解如何带来切实的医学进步。若获批，该药或为现有治疗无效的患者提供新的治疗选择。 (52) FBI director's Based Apparel site has been spotted hosting a 'ClickFix' attack Security researchers spotted a 'ClickFix' attack used by visitors to trick them into installing malware on Based Apparel’s site, exploiting social-engineering-like prompts. It illustrates how attackers abuse trusted brands or pages to deliver infections, even when security-conscious sites are involved. 安全研究人员发现 Based Apparel 网站成为 ClickFix 攻击的载体，利用访客中的社交工程式提示诱导安装恶意软件。这一事件说明攻击者会利用受信任的品牌或页面来传播感染，即便目标网站具备一定的安全防护。 (53) Lisp in Vim (2019) Lisp in Vim (2019) demonstrates embedding a Lisp-like Lisp interpreter or language features inside Vim, showing how editors can be extended with Lisp macros and tooling. 在 Vim 中实现 Lisp（2019）展示了在编辑器中嵌入 Lisp解释器或相关特性的方法，体现了用 Lisp 宏和工具链扩展编辑器的思路。强调编辑器即可编程IDE的理念。 (54) A self-powered computer in actual credit-card size (~1mm thick) A fully self-powered computer the size of a credit card (about 1mm thick) demonstrates advances in energy harvesting and ultra-low-power design. It hints at new forms of portable, maintenance-free devices for IoT and edge computing, though practical use cases and reliability remain questions. 一台真正自供电、接近信用卡大小、厚度约1毫米的计算机展示了能量采集与极低功耗设计的进展。它为物联网和边缘计算带来潜在“免维护”的新型设备，但实际应用场景与可靠性仍待解决。 (55) How to convert between wealth and income tax Paul Graham's piece discusses the conceptual shift between wealth and income taxation, highlighting incentives and policy implications. It offers a framework for thinking about how wealth creation interacts with tax policy and personal planning. 这篇保罗·格雷厄姆的文章探讨了财富税与所得税之间的关系及激励与政策含义，提供了理解财富创造与税制、个人规划之间关系的框架。 (56) Cleve Moler has died Cleve Moler, co-founder of MathWorks and the creator of MATLAB, has died. His work helped democratize numerical computing and shaped how engineers and scientists learn linear algebra and numerical methods through accessible software. His influence extends across education and industry alike. MathWorks 联合创始人兼 MATLAB 的创始人之一克里夫·莫勒去世。他的工作让数值计算走进更多人手中，并通过易用的软件改变了工程和科学家学习线性代数与数值方法的方式，其影响覆盖教育与工业界。 (57) Models.dev: open-source database of AI model specs, pricing, and capabilities Models.dev aggregates AI model specs, pricing, and capabilities into an open-source database, enabling engineers to compare offerings, track capabilities, and inform procurement decisions. The project lowers the barrier to benchmarking a fast-growing ecosystem. Models.dev 将 AI 模型的规格、定价与能力整理为开源数据库，帮助工程师对比不同产品、跟踪能力并为采购决策提供依据。该项目降低了对日新月异的模型生态进行基准对比的门槛。 (58) Hengefinder: Finding when the sun aligns with your street Hengefinder is described as a tool to determine when the Sun aligns with a street's orientation, enabling urban planning, photography, and historical astronomy studies. It helps enthusiasts predict solar events that create henge-like light—useful for architecture and culture projects. 介绍一款工具，旨在找出太阳与街道走向对齐时刻，便于城市规划、摄影与考古天文研究。它帮助爱好者预测会出现日光对齐的日子，便于相关项目。 (59) I’m writing again Cringely returns to writing with fresh takes on tech business and policy, drawing on years of industry experience. Expect contrarian observations and practical lessons for navigating the evolving tech landscape. 克林格利重新开笔，带来关于科技商业与政策的新观点，凭借多年的行业经验提供洞见。你可以期待一些与众不同的观察以及在不断演变的科技格局中可用的实用教训。 (60) .NET (OK, C#) finally gets union types .NET 11 preview 2 adds union types to C#, enabling sum types and more expressive data modeling. This brings functional-style patterns to C# and could simplify error handling and domain modeling. Expect changes to pattern matching and code that previously relied on discriminated unions. .NET 11 预览版为 C# 引入联合类型，使表达变体和不同类型的值更为简洁，从而提升数据建模和错误处理的能力。这将把函数式风格的模式匹配带入 C#，并可能影响依赖判定的联合类型的代码。相关代码与库可能需要调整以利用新特性。 (61) A Forth-inspired language for writing websites A Forth-inspired language aims to simplify writing websites with a stack-based, concatenative syntax, offering a fresh take on web tooling. It highlights the ongoing tension between minimalism and practicality in modern front-end ecosystems, and could inspire niche experiments or tooling for rapid prototyping. 一种受 Forth 启发的网页语言以堆栈式、连接式语法来简化网页编写，提供对Web工具链的新视角。它揭示了极简主义与实用性之间在现代前端生态中的拉锯，也可能激发用于快速原型开发的小众实验与工具。 (62) 1940 Air Terminal Museum Begins Liquidation The 1940 Air Terminal Museum begins liquidation of its assets, including simulators and exhibits. The process underscores the fragility of preserving vintage aerospace tech and the challenge of sustaining small museums amid funding pressures. 博物馆启动资产清算，涉及模拟器与展品等。此举凸显保留老旧航空科技藏品的困难，以及小型博物馆在资金压力下的生存挑战。 (63) Using Kagi Search with Low Vision Examines how Kagi Search works for users with low vision, highlighting accessible UI decisions, contrast, and keyboard navigation. It offers practical tweaks and reflections on how search UX can better serve users with visual impairments. 从低视力视角评测 Kagi Search 的无障碍设计，聚焦对比度与键盘导航等要素，并提出可操作的调整建议，讨论搜索体验如何更好地服务视觉障碍用户。 (64) A blueprint for formal verification of Apple corecrypto Apple outlines a blueprint for formally verifying CoreCrypto, signaling a shift toward mathematically proven security for critical cryptographic code. The plan could influence how cryptographic libraries are developed and audited across the industry. 苹果提出对 CoreCrypto 进行形式化验证的蓝图，标志着对关键密码实现进行严格数学证明的安全方向。此举可能影响业界在加密库开发与审核方面的做法。 (65) Slumber a TUI HTTP Client Slumber is a terminal-based HTTP client with a text UI designed for quick API exploration. It combines keyboard-driven navigation, editable requests, and formatted responses to streamline API testing in a lightweight, locally contained tool. The project aims to make everyday API work feel more like interacting with a native app. Slumber 提供一个基于终端的 HTTP 客户端，配备文本界面，便于快速探索 API。它支持键盘操作、请求编辑和格式化输出，让 API 测试更像在本地应用中进行，从而提升工作效率。 (66) Show HN: ShadowCat – file transfer through QR Codes in a Browser ShadowCat enables file transfers via QR codes inside a browser, offering a lightweight, privacy-preserving transfer method without server dependencies. This approach showcases how browser-first tools can enable quick P2P sharing with low setup friction. ShadowCat 在浏览器中通过二维码实现文件传输，提供一种轻量且注重隐私的传输方式，无需服务器依赖。此类浏览器优先的工具展示了在低门槛下实现点对点共享的可行性。 Evaluating SPEC CPU2026 compares modern CPUs under industry-standard workloads, highlighting trends in compiler optimization and architectural performance. The results help developers and buyers gauge real-world efficiency beyond clock speeds. 对 SPEC CPU2026 的评测揭示现代处理器在标准工作负载下的表现趋势，强调编译器优化与体系结构性能的重要性。结果帮助开发者和买家在超算/商用场景中做出更贴近现实的判断。 (68) Thinking in an array language (2022) This 2022 write-up dives into array-oriented programming concepts, illustrating how working with multi-dimensional arrays and vectorized operations changes problem-solving approach and performance. It’s a practical primer for data-heavy workloads. 这篇 2022 年的文章深入讲解阵列语言的思维方式，展示多维数组与矢量化运算如何改变问题解决的方法与性能。是处理数据密集型任务的实用入门。 (69) Launch HN: Superset (YC P26) – IDE for the agents era Superset positions itself as an IDE for the agents era, focusing on composing, debugging, and orchestrating AI agents and tool use. It reflects a broader shift toward automation-first developer workflows and tools that help manage multi-agent collaboration across tasks. Superset 定位为“代理时代”的集成开发环境，聚焦编排、调试与协同AI代理及工具的使用。反映了向自动化优先的开发工作流转变，以及帮助管理多代理在不同任务中的协作。 (70) A scoping review of bicycling interventions’ impacts on well-being A scoping review aggregates evidence on how cycling interventions affect well-being. Overall findings suggest improvements in physical health and mood, but results vary by intensity, duration, and population, highlighting gaps in long-term outcomes and equity considerations. 综述汇总了自行车干预对身心福祉的影响。总体显示对体质和情绪有积极作用，但效果因强度、时长和人群而异，长期效果与公平性研究仍存在空白。 (71) Chess invariants Chess invariants examine stable properties of positions across games, offering insights into endgames and strategic reasoning that remain constant under moves. These invariants can inform puzzle design and AI evaluation of position quality. 棋局不变量聚焦于跨局对局中保持不变的稳定性质，为残局与策略推理提供稳定基线。这些不变量可应用于棋局谜题设计与AI对局评估中的位置质量判断。 (72) A Wayland Compositor in Minecraft A Minecraft mod demonstrates a conceptual Wayland-style compositor inside the game, mapping windowing concepts to in-game UI and interactions. The effort serves as a playful, tangible experiment in OS concepts and cross-domain interoperability. 一个 Minecraft 模组在游戏内演示了类 Wayland 的合成器概念，将窗口管理的思路映射到游戏界面与交互之中。这一尝试以游戏化的方式探索操作系统概念与跨域协作的可能性。 (73) My two-part desk setup (2025) The post walks through a two-part desk setup, detailing how the space is split for different tasks and how the author manages desks, monitors, and cables. It offers practical tips on layout, ergonomics, and modular organization that boost focus and comfort. 文中描述了一个分为两部分的桌面工作区，分工明确、设备分区和线缆管理被讲解清楚。提供了关于布局、人体工学和模块化整理的实用建议，帮助提升专注与舒适度。 (74) Improving C# Memory Safety Microsoft discusses strides in memory safety for C#, highlighting language features (nullable references, spans, or memory-safe patterns) and runtime improvements. The piece explains how these changes reduce common bugs while preserving performance. 微软阐述了提升 C# 内存安全性的进展，聚焦可空引用、Span 等安全特性与运行时改进，说明这些变化如何降低常见错误并保持性能。 (75) Staged publishing and new install-time controls for npm GitHub introduces staged publishing for NPM and new install-time controls to reduce supply-chain risk, letting maintainers gate what users install and when. The changes help mitigate the blast radius of compromised packages and improve package hygiene. GitHub 为 NPM 引入分阶段发布和安装时控件，以降低供应链风险，让维护者控制用户何时安装、安装哪些包。此举有助于减轻被恶意软件劫持的影响范围，并提升包的卫生性。 (76) Waymo expands pause to four cities as robotaxis keep driving into floods Waymo paused service in four cities amid flood conditions, while robotaxi fleets continue to operate in others, highlighting safety and reliability tradeoffs in autonomous driving under extreme weather. The incident underscores the fragility of AI-driven transport and the need for robust disaster response and network resilience. Waymo 在洪水条件下将服务暂停扩至四个城市，而在其他地区机器人出租车仍在运行，凸显极端天气下自动驾驶的安全性与可靠性权衡。此事凸显了 AI 驾驶运输的脆弱性，以及在灾害情境中需要更强的应急响应和网络韧性。 (77) Sales and Dungeons: Thermal printer TTRPG utility A neat TTRPG utility that uses a thermal printer to print game content on demand, lowering setup costs for tabletop sessions. The project demonstrates approachable hardware-software integration and a playful take on RPG tooling. 一款有趣的桌面角色扮演游戏（TTRPG）工具，利用热敏打印机按需输出游戏内容，降低了设置成本。该项目展示了软硬件集成的可操作性与对 RPG 场景的创新应用。 (78) sp.h: Fixing C by giving it a high quality, ultra portable standard library sp.h proposes a high-quality, ultra-portable C standard library, addressing portability gaps and simplifying cross-platform development. The project offers a pragmatic approach to building reliable C software across systems. sp.h 提出一个高质量、超便携的 C 标准库，解决跨平台移植性难题，帮助简化跨系统的软件开发。 (79) Wi-Wi is wireless time sync at 1 nanosecond Wi-Wi demonstrates wireless time synchronization with sub-nanosecond precision, offering a cable-free path to synchronizing distributed systems. If broadly deployable, it could simplify clock alignment for data centers, edge networks, and IoT, though practical adoption hinges on hardware and interference considerations. Wi-Wi 展示了无线时间同步的亚纳秒级精度，为分布式系统提供无缆对时方案。若广泛应用，可能简化数据中心、边缘网络与物联网的时钟对齐，但实际落地取决于硬件支持与干扰等因素。 A playful look at how a quadratic function can be analyzed with a 'sandwich' approach, illustrating tight bounds and intuition for limits. 以二次函数为对象，用夹心式思路直观展示界限与极限的关系，带来有趣的直觉理解。 (81) TorQ: Kdb+ Production Framework TorQ is a production-grade framework for kdb+, providing tooling for deployment, monitoring, and operational workflows in high-frequency finance environments. It helps teams rapidly construct robust, scalable Q-language apps atop the kdb+ stack. TorQ 提供面向 kdb+ 的生产框架，覆盖部署、监控和运维工作流。它帮助金融团队基于 kdb+ 构建更稳健、可扩展的应用。 (82) Kindle loyalists scramble as Amazon turns page on old e-readers Amazon is phasing out support for older Kindle devices, triggering a scramble among loyal customers who rely on legacy hardware. The move underscores how platform lifecycles influence device obsolescence, upgrade incentives, and the ongoing tension between infrastructure resilience and product segmentation. 亚马逊结束对部分老款 Kindle 的支持，引发忠实用户的抢购与换机热潮。此举反映了平台生命周期对设备淘汰、升级激励以及对产品分段策略的影响。 (83) Blood Pumping Mechanism of the Hoof (2020) Research into the hoof shows a unique mechanism that helps pump blood back toward the body during locomotion, relying on tendons and the hoof's geometry. Understanding this helps veterinarians and breeders optimize hoof health and manage circulation-related issues in horses. It also informs bioinspired design of soft robotics. 对马蹄的研究揭示了一种独特的血液回流机制，依靠肌腱和蹄部几何形状在运动中推动血液回至身体。这些发现有助于兽医与繁育者优化蹄部健康、管理循环相关问题，并为软体机器人等生物启发设计提供灵感。 (84) Neutron scattering explains why gluten-free pasta falls apart (2025) Neutron scattering revealed how water, starch, and protein interactions destabilize gluten-free pasta under heat and moisture. The findings guide better formulation and processing for gluten-free products, improving texture and cooking resilience. It contributes to broader insights into food science and material properties. 通过中子散射研究，科学家揭示了在加热和潮湿条件下，水分、淀粉与蛋白质相互作用如何导致无麸质意面易断裂。研究结果为无麸质产品的配方与加工提供改进方向，提升口感与耐煮性，并为食品科学与材料性能领域提供更广泛的洞见。 (85) Comparing an LZ4 Decompressor on Four Legacy CPUs Benchmark results compare an LZ4 decompressor across four legacy CPUs, highlighting how processor age influences decompression throughput and efficiency. The findings inform optimization choices for embedded systems and legacy workloads. 基准测试比较了四款遗留 CPU 上的 LZ4 解压缩性能，揭示处理器老化对解压吞吐率的影响。结果为嵌入式系统与遗留工作负载的优化提供参考。 (86) Highest Random Weight in Elixir A practical dive into generating high-quality randomness in Elixir, including approaches with :crypto and the language’s primitives. It covers trade-offs between speed, reproducibility, and cryptographic strength, with tips for real-world implementations. 在 Elixir 中生成高质量随机性的方法，涵盖使用 :crypto 等原生接口的实现。讨论速度、可复现性与密码学强度之间的权衡，并给出实际落地的建议。 (87) PHP's Oddities PHP's oddities survey pokes at language quirks—from loose typing to surprising edge cases—revealing why PHP remains a mixed bag for developers. The piece serves as a practical reminder to test edge conditions and to leverage modern PHP features for robust apps. 探讨 PHP 的一些怪癖和边缘情况，揭示语言的优缺点及其对开发实践的影响。文章也提醒开发者在现代 PHP 环境下注意边界条件。 (88) ArcBrush – Node-based 2D image editor ArcBrush introduces a node-based workflow for 2D image editing, enabling procedural composition and flexible experimentation. The project exemplifies how node graphs can empower artists while challenging traditional raster editors. ArcBrush 引入基于节点的 2D 图像编辑工作流，支持通过节点图进行过程化合成与灵活尝试。该项目展示了节点化工作流如何为创作者赋能，同时对传统栅格编辑器提出挑战。 (89) New map reveals lost roads of the Roman Empire A new high-resolution map reconstructs ancient Roman road networks, revealing previously unknown routes and 'lost' paths. The map reshapes understanding of imperial logistics, trade corridors, and settlement patterns, and showcases how modern GIS and archaeology converge. 一张高分辨率的新地图重新绘制了古罗马公路网络，揭示了此前未知的路线与“失落的道路”。新地图改变了对帝国物流、贸易走廊与城镇布局的认识，展示了现代 GIS 与考古学的协同潜力。 (90) Yeunjoo Choi from Igalia on Chromium Insights from Yeunjoo Choi on Chromium development, open-source collaboration, and ongoing security and performance work. The piece underscores the importance of diverse maintainer communities in sustaining a browser project. 来自 Igalia 的 Yeunjoo Choi 对 Chromium 开发、开源协作，以及持续的安全与性能工作提供了见解。文章强调多元维护者社区对浏览器项目可持续性的重要性。 (91) AI Engineering from Scratch AI Engineering from Scratch outlines hands-on approaches to building AI systems from first principles, covering data, models, and tooling without heavy pre-built frameworks. It aims to teach engineers how to reason about AI architecture from the ground up. 从零开始的 AI 工程学介绍了从第一性原理构建 AI 系统的实操方法，涵盖数据、模型和工具链，避免过度依赖现成框架。旨在帮助工程师理解 AI 架构的底层逻辑。 (92) What is the history of the ERROR_ARENA_TRASHED error code? The post traces the origins of the infamous ERROR_ARENA_TRASHED code, explaining it as a relic from early heap-management concepts and how it tends to surface during memory corruption. It offers practical tips for developers on diagnosing the root cause and avoiding the trap. 文章追溯了‘ERROR_ARENA_TRASHED’ 错误代码的由来，指出它是早期堆管理理念的遗留，与内存损坏场景相关。文中给出开发者诊断根因和避免错误的实用建议。 (93) Show HN: Anyone interested in a tool helps to explore C++ ASTs A lightweight tool for exploring C++ abstract syntax trees, with capabilities to visualize and inspect ASTs. Open for feedback. 一个用于探索 C++ 抽象语法树的轻量级工具，提供可视化与逐步检视功能，欢迎社区给出反馈。 (94) Solving the “Zork” Mystery Solving the Zork Mystery recounts uncovering hidden details or puzzle solutions in the classic interactive fiction, shedding light on its development and fan theories. The piece blends retro-computing history with curiosity-driven exploration. 破解《Zork》之谜，揭露了这个经典文字冒险游戏中的隐藏线索和谜题的解答，带来对其开发历史和玩家理论的新视角。 (95) A 1955 Los Alamos computer experiment changed our understanding of chaos A historic experiment on a Los Alamos computer revealed chaotic behavior in a simple computation, underscoring sensitivity to initial conditions. The result helped shape modern chaos theory and influenced how scientists model unpredictability. 一项在洛斯阿拉莫斯进行的早期计算机实验揭示了简单程序中的混沌行为，强调对初始条件的敏感性。该结果推动了现代混沌理论的发展，并影响了科学家对不可预测性的建模方式。 (96) Fast Factorial Algorithms The article surveys methods for computing factorials faster than naive multiplication, including asymptotically efficient algorithms and practical optimizations. It highlights trade-offs, precision issues, and domains where fast factorials matter (combinatorics, statistics, cryptography). 综述比朴素乘法更快的阶乘计算方法，包括渐进高效算法与实际优化，讨论权衡、精度问题以及阶乘在组合学、统计和密码学中的应用场景。 (97) "Stick" – A primitive/fun interactive demo of a tiny rig to animate layout Stick demonstrates how a tiny, simple rig can influence layout animation, making the relationship between constraints and motion tangible. The project offers a bite-sized look at rigging concepts that designers can apply to UI or 2D/3D work. It's a playful reminder that small tools can unlock surprising creative control. Stick 展示了一个极小、极简的绑定系统如何影响布局动画，使约束与运动之间的关系变得直观。该示例提供了一个小巧的切入点，设计师可以将其应用到 UI 或 2D/3D 工作中。它提醒我们，少量的工具也能带来意想不到的创作自由。 (98) We made our filesystem 47× faster by deleting it A case study where deleting filesystem components led to a 47x speedup, underscoring that sometimes simplifying the data path or metadata can yield dramatic performance gains. The lesson: not all optimization is about adding features. 通过删除某些文件系统组件实现 47 倍性能提升，强调简化数据路径和元数据有时比增加功能更有效。教训是优化不总是增添复杂性。 (99) Revised^7 Report on Scheme, Large: Procedural Fascicle Draft is now public Public release of the procedural fascicle draft for Scheme's R7RS Large, offering language implementers and enthusiasts a look at proposed syntax and semantics. Scheme R7RS Large 的程序性小册子草案公开，供实现者与爱好者了解拟议的语法与语义。 (100) Schlitz Is Gone, but First It's Getting One Last Hurrah Milwaukee’s Schlitz beer brand is retiring, but plans one final celebration before ending. Schlitz 将退出市场，但在最后离场前先举办一次告别盛典。 (2021)</a></p>
标签</p>
