Mark as Read
Mark as Unread
Show HN: KVSplit – Run 2-3× longer contexts on Apple Silicon
Source
KVSplit 是一种针对 Apple Silicon 优化的 KV 缓存量化方案，通过对 keys 和 values 使用不同的量化精度，实现在 M1/M2/M3 Mac 上运行更大上下文的 LLM。该方案主要特点是：使用 8-bit keys 和 4-bit values (K8V4) 可减少 59% 内存占用，同时仅损失 0.86% 的质量，并提升推理速度。项目提供基准测试、可视化工具和一键安装，方便用户使用。
Mark as Read
Mark as Unread
Chauffeur Knowledge and the Impending AI Crack-Up
Source
文章探讨了AI在软件开发领域的快速发展及其潜在的负面影响。作者观察到AI生成代码的能力显著提升，但同时也担忧程序员对代码的理解能力下降，导致软件质量、安全性和创新停滞。文章预言，随着AI的广泛应用，程序员可能只关注代码是否“有效”，而忽略了底层原理，最终导致知识的退化和停滞。作者引用了“司机知识”的故事，强调了缺乏真正理解的危险性，并警告了AI可能带来的“智力崩溃”。
Mark as Read
Mark as Unread
文章探讨了在AI时代，作者对自身思考方式的困惑与反思。作者曾通过写作来促进思考，但AI的出现使得快速生成“完美”想法成为可能，这导致作者的思考能力有所下降。虽然AI提供了大量信息，但作者认为，这种廉价的学习方式剥夺了深度思考带来的智力成长。文章强调了独立思考的重要性，即使AI能更快更好地完成任务，作者仍选择以人类的方式写作，表达对原始思考的珍视。
Mark as Read
Mark as Unread
The Magic Hours: The Films and Hidden Life of Terrence Malick
Source
文章评述了导演泰伦斯·马利克（Terrence Malick）的电影生涯与个人生活。作者探讨了马利克作品中对美的追求、对现实的质疑，以及对人类处境的思考。从早期的《穷山恶水》、《天堂之日》到后来的《细细的红线》、《生命之树》，文章分析了马利克电影风格的演变，以及他对战争、家庭、自然等主题的关注。同时，文章也提到了马利克在创作上的转变，以及他对商业电影的疏离。
Mark as Read
Mark as Unread
Stax Museum Bob Abrahamian Collection
Source
该文章介绍了斯塔克斯博物馆的 Bob Abrahamian 收藏系列。Bob Abrahamian 是一位芝加哥音乐历史学家，专注于“sweet soul”音乐，他收集了大量珍稀录音、访谈和纪念品。该系列包括他的广播节目“Sitting in the Park”的资料、艺术家访谈、音乐精选和图片画廊，旨在保存和展示芝加哥灵魂乐的丰富遗产。文章呼吁支持该收藏，以确保这些文化贡献不被遗忘。
Mark as Read
Mark as Unread
New 'Superdiffusion' Proof Probes the Mysterious Math of Turbulence
Source
文章讲述了数学家们首次证明了湍流中“Superdiffusion”现象的存在。研究者们利用一种名为均质化的数学技术，解决了湍流研究中的一个长期难题，证明了粒子在简化湍流流体中以超常速度扩散。这项成果验证了Richardson百年前的推测，并为理解湍流的数学特性提供了新的视角，也展示了均质化技术在解决复杂物理问题上的潜力。
Mark as Read
Mark as Unread
Foundry (YC F24) Is Hiring – Founding Engineer (ML × SWE)
Source
Foundry (YC F24) 正在招聘创始工程师（ML × SWE），专注于构建浏览器代理的世界模型。该职位薪资12万-18万美元，工作地点可选旧金山或远程。Foundry 致力于开发用于 Web 代理的端到端评估和训练平台，解决浏览器自动化面临的挑战，包括超逼真 Web 模拟、注释框架、基准测试和 RL 训练环境。 招聘要求应聘者具备优秀的工程能力，尤其是 Python 和 TypeScript，以及 ML 经验。
Mark as Read
Mark as Unread
Show HN: Workflow Use – Deterministic, self-healing browser automation (RPA 2.0)
Source
该项目名为 **Workflow Use**，旨在创建和运行确定性的、自修复的浏览器自动化 workflows，即 RPA 2.0。用户可以通过录制浏览器交互来生成 workflows，实现一次录制、永久重用。它能将录音转化为结构化、可执行的 workflows，并具备类人交互理解能力。项目目前处于早期开发阶段，未来计划包括改进 workflows、开发者体验和 Agent 功能，目标是实现自动化，让计算机能够重复执行任务，无需人为干预。
Mark as Read
Mark as Unread
该论文提出了一种名为 RXTX 的新算法，用于计算矩阵与其转置的乘积。RXTX 算法通过结合机器学习搜索方法和组合优化，减少了 5% 的乘法和加法运算，即使对于小尺寸矩阵也能加速计算。
Mark as Read
Mark as Unread
Show HN: Rv, a Package Manager for R
Source
`rv` 是一个用于 R 的包管理器，旨在以可重现、快速且声明式的方式管理和安装 R 包。它通过配置文件 (`rproject.toml`) 指定 R 版本、仓库和依赖项，从而控制项目状态。核心命令包括 `rv plan` (预览操作) 和 `rv sync` (同步环境)。文章提供了配置示例，并介绍了安装、使用和贡献的方法，包括构建、测试和快照测试的步骤。项目使用 Rust 编写，并提供了相关资源链接。
Mark as Read
Mark as Unread
Assuring an Accurate Research Record
Source
MIT因对一篇预印本论文“Artificial Intelligence, Scientific Discovery, and Product Innovation”的真实性存疑，进行了内部审查。审查结果显示，MIT对论文的数据来源、可靠性及研究真实性缺乏信心。MIT已要求 arXiv 撤回该论文，并告知了 _The_ _Quarterly Journal of Economics_。尽管作者未提交撤回请求，MIT 仍采取行动以维护研究诚信。两位教授声明，不应在学术讨论中依赖该论文的发现。
Mark as Read
Mark as Unread
A Research Preview of Codex
Source
OpenAI 发布了 Codex 研究预览版，这是一个基于云的软件工程 Agent，由 codex-1 驱动，可并行处理多项任务，如编写功能、修复错误等。该 Agent 现已向 ChatGPT Pro、Team 和 Enterprise 用户开放，Plus 用户即将可用。Codex 通过侧边栏访问，用户输入提示后，Agent 在隔离环境中运行，可读取、编辑文件和运行命令。文章强调了 Codex 的安全性和透明度，并介绍了其工作原理、早期用例以及未来发展方向，包括与 AI 工具的结合，以提高开发效率。
Mark as Read
Mark as Unread
Show HN: Visual flow-based programming for Erlang, inspired by Node-RED
Source
该项目是基于 Node-RED 灵感，使用 Erlang 实现的可视化低代码流程编程环境，名为 Erlang-RED。它旨在利用 Erlang 的并发优势，提供类似 Node-RED 的流程编程体验。项目支持部分 Node-RED 节点和功能，并提供 Docker、Heroku 和 Fly.io 部署方案。开发采用流程驱动，通过测试流程确保节点功能实现。项目还集成了可视化单元测试，方便测试和调试。贡献者可以提供 Erlang 代码或 Node-RED 测试流程。
Mark as Read
Mark as Unread
Ed Smylie, Who Saved the Apollo 13 Crew with Duct Tape, Dies at 95
Source
Ed Smylie 以95岁高龄去世。他是一位工程师，在 Apollo 13 任务中发挥了关键作用。当时，他运用工程知识和 Duct Tape，协助 NASA 工程师解决了宇航员返回地球的难题。
Mark as Read
Mark as Unread
Evolution of Rust Compiler Errors
Source
文章探讨了Rust编译器错误信息的演变过程。作者通过脚本收集了从Rust 1.0版本至今的稳定版本编译器输出，并可视化了错误信息随时间的变化。文章指出，Rust的错误信息从一开始就相当可靠，并持续改进，例如引入数字错误代码、彩色错误信息和`rustc --explain `提示。作者强调，这些优秀的错误信息并非自动生成，而是由众多贡献者持续设计、实施、审查和测试的结果。
Mark as Read
Mark as Unread
Explaining British Naval Dominance During the Age of Sail
Source
文章探讨了英国海军在风帆时代取得统治地位的原因。作者认为，这并非源于技术优势，而是由于独特的制度设计。英国海军通过激励机制，鼓励船长积极作战：高额奖金、半薪制度约束、晋升机制以及严格的战争条例。这些措施促使船长们避免逃避战斗，从而确保了英国海军在海战中的优势，最终确立了其海上霸权。
Mark as Read
Mark as Unread
Java at 30: Interview with James Gosling
Source
文章是James Gosling在Java诞生30周年之际接受的采访。Gosling分享了Java的诞生历程、技术演进、对AI的看法以及对未来编程的展望。他回顾了Sun时代的趣事，并对Oracle接手后的Java发展表示肯定。他认为Java长寿的关键在于解决实际问题、尊重用户、保持兼容性。Gosling还表达了对AI编码工具的谨慎态度，认为其局限性在于无法处理复杂项目。最后，他强调编程技能的重要性，并分享了对开源、行业趋势的看法。
Mark as Read
Mark as Unread
Show HN: SQL-tString a t-string SQL builder in Python
Source
SQL-tString 允许使用类似 f-string 的方式构建 SQL 查询，并避免 SQL 注入风险。它将变量转换为 SQL 占位符，支持预定义的列名和表名，通过 `sql_context` 函数进行限制。文章介绍了如何使用 `Absent` 值移除参数，以及使用 `IsNull` 和 `IsNotNull` 进行条件重写。SQL-tString 默认使用 `qmark` paramstyle，也支持 `$` 和 `asyncpg` dialect。 此外，文章还说明了在 Python 3.14 之前的版本中的使用方法。
Mark as Read
Mark as Unread
Sci-Net 是一个基于 Sci-Hub token 的科研论文互助平台。用户可以在平台上请求和分享研究论文，解决 Sci-Hub 无法获取的论文问题。平台提供简单的 DOI 输入框，并支持按主题和出版商筛选请求。用户上传论文后，可获得 Sci-Hub token 奖励，奖励在确认后发放。Sci-Net 旨在通过 token 激励知识共享，促进开放获取，并间接支持 Sci-Hub 的发展。虽然注册需要 Sci-Hub token，但其费用远低于出版商的付费墙，且论文上传后永久免费。
Mark as Read
Mark as Unread
A $130M company faked trials instead of running our free OSS
Source
一家价值1.3亿美元的航空航天公司长期滥用免费试用，而非使用开源软件或付费订阅。该公司通过大量注册试用账号，规避了Xen Orchestra Appliance的付费使用。作者认为这种行为违反了开源精神，并呼吁该公司停止这种行为，转而支持开源软件的可持续发展。文章强调了该公司行为的荒谬性，以及对开源社区的潜在负面影响。
Mark as Read
Mark as Unread
Dalus (YC W25) is hiring a founding engineer for hardware system design software
Source
文章是关于一家名为 Dalus 的初创公司招聘创始软件工程师的信息。Dalus 是一家基于 AI 的硬件系统设计软件公司，由 Y Combinator 投资，正在寻找经验丰富的工程师。该职位要求 3 年以上经验，薪资范围为 14 万至 20 万美元，并提供期权。工作地点在旧金山。工程师将参与整个技术栈，并与客户合作，塑造产品和工程文化。
Mark as Read
Mark as Unread
Grok's white genocide fixation caused by 'unauthorized modification'
Source
xAI 再次将旗下聊天机器人 Grok 出现“白人种族灭绝”倾向的问题归咎于“未经授权的修改”。Grok 在 X 平台上持续数小时发布关于南非白人种族灭绝的争议言论。xAI 声明称，有人修改了 AI 机器人的系统提示，违反公司政策。为解决问题，xAI 将公开 Grok 的系统提示，设立 24/7 监控团队，并加强对员工修改提示的审查。这已是 xAI 第二次将 Grok 的问题归咎于恶意员工，此前曾有员工导致 Grok 屏蔽对 Elon Musk 和 Donald Trump 的负面信息。
Mark as Read
Mark as Unread
Prompts for our Grok chat assistant and grok bot on X
Source
该项目是为 Grok 聊天助手和 X 平台上的 @grok Bot 提供的 Prompts 仓库，定期更新。这些 Prompts 用于 grok.com 和 X 平台上的各种产品功能，包括 Grok 3 聊天助手、DeepSearch 功能、X 平台上的 "Grok Explain" 功能以及 X 平台 Grok Bot。项目基于 AGPL-3.0 协议。
Mark as Read
Mark as Unread
The Problem with Teens Isn't Smartphones–It's Their Families
Source
文章认为，青少年问题并非源于智能手机，而是家庭环境。作者指出，家庭结构、父母的参与程度、以及家庭内部的沟通方式，对青少年成长至关重要。文章强调，家庭的稳定、父母的关爱和支持，以及健康的家庭互动，是解决青少年问题的关键。智能手机只是一个表象，真正的问题在于家庭内部的缺失和不足。
Mark as Read
Mark as Unread
Jetrelay: A high-performance ATproto relay in 500 LOC
Source
文章介绍了 **jetrelay**，一个用约 500 行代码实现的高性能 ATproto Pub/Sub 服务器。它通过利用 Linux 内核特性，如 `sendfile()` 和 `io_uring`，避免了大量用户空间操作，从而实现高效的数据广播。核心技术包括：使用 `sendfile()` 绕过用户空间进行数据传输，利用 `io_uring` 并行处理大量客户端，以及使用 `FALLOC_FL_PUNCH_HOLE` 删除旧数据。测试表明，jetrelay 在 8 个 CPU 核心下即可饱和 10 Gbps 网络连接。
Mark as Read
Mark as Unread
After months of coding with LLMs, I'm going back to using my brain
Source
作者在使用 LLM 编程数月后，发现其在大型项目中的代码质量难以保证，导致效率低下。他决定减少对 AI 的依赖，回归使用大脑和纸笔，更专注于理解代码和提升自身技能。文章强调了过度依赖 AI 可能导致思维能力下降，并警告了非程序员使用 AI 编程的风险。作者认为 LLM 尚不成熟，现阶段应将其作为辅助工具，而非完全依赖。
Mark as Read
Mark as Unread
Apple Blocks Fortnite's Return to iOS App Store, Epic Claims
Source
由于 Apple 阻止了 Epic Games 提交的 Fortnite 版本，这款游戏将无法在全球 iOS 设备上使用。Epic Games 试图通过 Epic Games Sweden 的账户重新上架 Fortnite，但未获 Apple 批准。Epic CEO 对此表示不满，认为 Apple 未回应沟通。2020 年，因 Epic 违反 App Store 规则，Apple 封禁了 Epic 的开发者账户，导致了持续的法律纠纷。目前，Fortnite 在 iOS 上的命运取决于 Apple 是否解除封锁，这反映了两家公司之间长期存在的法律战。
Mark as Read
Mark as Unread
You're Right You Are Working Longer and Attending More Meetings (2020)
Source
一项针对300万人的研究表明，在家办公的员工普遍感到工作时间更长，会议更多。研究分析了疫情初期全球16个城市的电子邮件和会议数据，发现平均工作日延长了8.2%，会议数量增加，但时长缩短。研究者指出，这种变化模糊了工作与生活的界限，对员工的精力消耗很大。文章还探讨了管理者如何应对远程办公带来的挑战，建议关注产出而非时间，并理解员工的独特处境。
Mark as Read
Mark as Unread
Leeks and Leaks – Daniel.haxx.se
Source
文章讨论了`.onion`域名在Tor网络中的安全性和隐私问题，以及如何防止DNS泄漏。核心在于，为了避免泄露用户访问`.onion`站点的意图，软件应拒绝解析此类域名。文章以`curl`为例，介绍了其对RFC 7686的支持，即过滤`.onion`域名。然而，Tor项目推出的新工具`oniux`与`curl`的这种过滤机制产生了冲突，导致两者无法直接协同工作。文章最后提出了解决这一问题的必要性。
Mark as Read
Mark as Unread
The first year of free-threaded Python
Source
文章回顾了自由线程 Python 发布一年来的进展。核心在于支持自由线程构建，以充分利用多核 CPU 性能。文章介绍了 Quansight 团队在支持自由线程 Python 方面所做的工作，包括对打包工具、绑定生成器和 PyData 生态系统核心软件包的改进。虽然目前自由线程 Python 已可用于实验，但仍面临软件包线程安全问题和维护挑战。文章鼓励社区参与，并提供了贡献指南和讨论平台。
Mark as Read
Mark as Unread
Beyond Text: On-Demand UI Generation for Better Conversational Experiences
Source
文章探讨了通过AI按需生成用户界面来增强对话体验。核心在于解决纯文本交互的局限性，例如认知超载、歧义性等。文章提出，AI可以根据对话上下文动态生成UI组件，如表单、选择组件、数据可视化组件等，从而提升用户体验。文章详细介绍了LLM生成UI的流程、与MCP的集成、组件类型、实施方法以及面临的挑战和未来发展方向。最后，文章提供了开发AI生成UI的步骤建议，强调了对话与UI的结合是未来AI交互的关键。
Mark as Read
Mark as Unread
Coinbase 8K SEC filing for breach
Source
Coinbase 披露了一起数据泄露事件，通过提交 8K SEC 文件。攻击者利用第三方供应商的漏洞，获取了部分用户姓名、邮箱、地址、电话和账户余额等信息。
Coinbase 已修复漏洞并通知受影响用户，同时配合执法部门调查。公司正在评估潜在财务影响，但用户资金安全未受影响。
Coinbase 建议用户启用双重验证并定期更改密码，以增强账户安全。
Mark as Read
Mark as Unread
Wasmer (YC S19) Is Hiring a Rust Compiler Engineer
Source
Wasmer (YC S19) 正在招聘 Rust 编译器工程师，负责开发支持下一代云计算平台的 WebAssembly 软件。该职位要求精通 Rust 或 C/C++，具备编译器开发经验，并能领导编译器设计、实施 WebAssembly 提案等。工作地点为远程，提供有竞争力的薪资、股票期权、灵活工作制和福利。Wasmer 致力于开源，目标是使软件普遍可用。
Mark as Read
Mark as Unread
BuyMeACoffee silently dropped support for many countries, and nobody cares
Source
文章揭示了创作者资助平台 BuyMeACoffee 静默取消对多国（包括乌克兰）的支持，引发争议。平台未提前通知，仅保留Stripe作为收款方式，导致许多创作者无法提现。尽管平台回应称未冻结资金，但沟通方式和支持团队的回避态度备受批评。文章指出，这种做法对依赖该平台的创作者造成了实际困难，并质疑了平台的可靠性。后续更新揭示了平台屏蔽作者的行为，以及对Payoneer和Wise支持的变动。
Mark as Read
Mark as Unread
The Awful German Language (1880)
Source
马克·吐温在文中以幽默的口吻吐槽了德语的复杂和难学。他列举了德语语法中令人困惑的“格”的变化、冗长的复合词、动词的分裂、以及名词的性别等问题。他认为德语的结构和表达方式阻碍了学习和理解，并提出了改革建议，包括简化语法、调整语序、引入更强有力的词汇，以及避免冗长的复合词和括号。文章的核心在于揭示德语的复杂性，并表达了对简化语言的渴望。
Mark as Read
Mark as Unread
Meta Battles an 'Epidemic of Scams' as Criminals Flood Instagram and Facebook
Source
Meta 的 Instagram 和 Facebook 平台正成为诈骗犯罪分子的温床。文章指出，这两个社交媒体平台正面临着严重的诈骗泛滥问题。
Mark as Read
Mark as Unread
Cracked - method chaining/CSS-style selector web audio library
Source
_I Dropped My Phone The Screen Cracked_ 是一个基于 Web Audio 的库，它允许开发者使用方法链式调用和 CSS 选择器风格来创建和控制音频。该库简化了音频节点的创建、配置和连接过程，支持使用宏和插件来封装和复用音频组件。目标是使音频编程更简洁直观，方便音乐创作者专注于创作。
Mark as Read
Mark as Unread
Ollama's new engine for multimodal models
Source
Ollama发布新引擎，支持多模态模型，包括Meta Llama 4、Google Gemma 3、Qwen 2.5 VL等。新引擎提升了本地推理的可靠性和准确性，支持通用多模态理解与推理，例如图像分析、多图关系理解和文档扫描。新引擎采用模型模块化设计，提高准确性，优化内存管理，并支持更长的上下文大小。未来将支持更多功能，如工具调用和计算机使用。
Mark as Read
Mark as Unread
I was a Theranos whistleblower. Here's what I think Elizabeth Holmes is up to
Source
文章是Theranos举报人对Elizabeth Holmes伴侣新血液检测公司Haemanthus的看法。作者认为，Holmes并非为了改变医疗保健或欺诈，而是为了追求名声，构建个人叙事。Haemanthus的出现，是Holmes延续其叙事的一部分，而非真正为了技术突破。作者质疑Haemanthus的技术可行性，并提醒潜在投资者，Holmes更看重的是塑造个人形象，而非服务于投资者的目标。
Mark as Read
Mark as Unread
The Teal Programming Language
Source
Teal 是一种静态类型的 Lua 方言，通过类型注解扩展了 Lua，支持数组、映射、记录、接口、联合类型和泛型。它的目标是类似于 TypeScript 在 JavaScript 中的角色，但保持 Lua 的简洁性、可移植性和可嵌入性。
Teal 通过编译器 `tl` 将 `.tl` 源代码编译成 `.lua` 文件。可以使用 LuaRocks 安装编译器，或下载预编译二进制文件。推荐使用构建工具 Cyan。还提供了 VS Code 插件和语言服务器。
文档和社区资源可在 GitHub 上找到，并有社区论坛和 Matrix 聊天。项目由 Hisham Muhammad 发起，采用 MIT 许可证。
Mark as Read
Mark as Unread
Sitting for a long time shrinks your brain even if you exercise
Source
研究发现，老年人即使经常锻炼，长时间久坐仍与大脑萎缩和认知能力下降有关。横断面分析显示，久坐时间与AD神经影像特征和情景记忆相关，且关联因_APOE_ -ε4基因状态而异。纵向研究表明，久坐时间与海马体体积更快减少，以及命名和处理速度下降有关。研究强调减少久坐时间的重要性，尤其对有AD遗传风险的老年人。
Mark as Read
Mark as Unread
NASA keeps ancient Voyager 1 spacecraft alive with Hail Mary thruster fix
Source
NASA 通过“Hail Mary”式推进器修复方案，成功重启了已失效二十多年的 Voyager 1 飞船的主滚动推进器。此举旨在解决备用推进器可能因燃料管路堵塞而失效的问题，避免飞船失去姿态控制并与地球失联。修复过程充满风险，可能引发小型爆炸，但最终成功。这项修复延长了 Voyager 1 的寿命，使其继续在星际空间探索，展现了 NASA 团队的工程技术实力。
Mark as Read
Mark as Unread
A leap year check in three instructions
Source
文章介绍了一种仅用三条指令判断闰年的技术——`is_leap_year_fast`。该技术通过巧妙的位运算，实现了对0到102499年范围内年份的快速闰年判断。文章详细解释了该技术的实现原理，包括如何通过乘法、掩码和比较操作来模拟闰年判断的逻辑。同时，文章还探讨了优化标准闰年判断方法，并提供了基准测试结果，表明`is_leap_year_fast`在随机年份判断上具有显著优势。最后，文章讨论了该技术在实际应用中的价值和局限性，并指出需要更多实际数据来评估其性能。
Mark as Read
Mark as Unread
Initialization in C++ is bonkers (2017)
Source
文章探讨了C++初始化机制的复杂性，以一个代码示例引出问题：不同构造函数定义方式导致变量初始化结果差异。文章详细解释了默认初始化、值初始化和零初始化的区别，指出`foo`和`bar`的构造函数定义方式影响了初始化行为，进而可能导致未定义行为。作者强调了显式初始化变量的重要性，并列举了C++中多种初始化形式。最后，文章总结C++初始化规则容易出错，建议开发者谨慎对待，避免因初始化问题导致程序错误。
Mark as Read
Mark as Unread
Tek – a music making program for 24-bit Unicode terminals
Source
**tek** 是一款专为 24 位 Unicode 终端设计的音乐制作程序，使用 **Rust** 编写，基于 **ratatui** 和 **crossterm**，支持 **jack** 和 **pipewire**。它提供 Arranger 和 Groovebox 模式，并支持重采样功能。用户可以通过二进制文件下载、发行版仓库或从源代码构建来安装。该程序的设计目标是提供一个低资源消耗、灵活的音乐创作工具，灵感来源于 Tracker 和硬件音序器，并具有人机可读的项目格式。
Mark as Read
Mark as Unread
The Unreasonable Effectiveness of an LLM Agent Loop with Tool Use
Source
文章探讨了将 LLM agent loop 与工具结合使用的强大效力。核心是一个简单的循环结构，LLM 接收用户输入，生成输出和工具调用，循环执行直到完成任务。作者分享了在 AI 编程助手 Sketch 中使用该方法的心得，发现即使是通用的 `bash` 工具也能解决许多问题，简化了代码编辑、git 操作等流程。文章强调了 agent loops 在自动化方面的潜力，尤其是在处理对通用工具过于具体、对传统自动化又过于复杂的任务时。作者预测未来将出现更多自定义的、临时的 LLM agent loops。
Mark as Read
Mark as Unread
文章是关于使用 Clojure 重构代码的实践。作者基于已有的 order-1 word-level Markov 文本生成器代码，通过测试驱动的方式，逐步改进代码的可读性和可维护性。重构过程包括将原始的 `markov-data` 和 `sentence` 函数进行拆解和重写，利用 `reduce` 和递归等技术，最终实现更清晰、易于理解的代码结构。文章强调了重构过程中测试的重要性，以确保代码行为的一致性。
Mark as Read
Mark as Unread
The current state of TLA⁺ development
Source
文章总结了TLA⁺（一种形式化规范语言）的开发现状。作者介绍了TLA⁺工具生态系统的强大，包括解析器、解释器、模型检查器等，并强调了社区的积极性。文章核心在于解决遗留代码挑战，提出通过测试、开发者入门和资金支持来改进。作者还展望了未来，包括生成式测试、简化语法、改进API以及构建字节码解释器以提升性能。文章鼓励开发者参与TLA⁺工具的开发和贡献。
Mark as Read
Mark as Unread
Windsurf SWE-1: Our First Frontier Models
Source
文章介绍了 Windsurf 发布的 SWE-1 模型系列，旨在提升软件开发效率，超越仅限于编码的模型。该系列包含 SWE-1、SWE-1-lite 和 SWE-1-mini 三个模型，分别针对不同需求。SWE-1 在工具调用推理能力上接近 Claude 3.5 Sonnet，而 SWE-1-lite 和 SWE-1-mini 则分别提供更好的质量和更快的速度。文章强调了“流程感知”的重要性，即模型对软件开发流程中不完整状态和多界面的理解，并展示了 SWE-1 在离线评估和生产实验中的表现，认为其性能接近前沿模型。最后，文章展望了 SWE 模型系列的未来发展，并介绍了 Windsurf 的技术优势。
Mark as Read
Mark as Unread
Dr. Dobb's Journal Interviews Jef Raskin (1986)
Source
这篇文章展示了对 Jef Raskin 的采访，最初发表于 1986 年的《Dr. Dobb's Journal》。文章内容目前正在验证中，以确保访问者的身份是人类。访问者需要通过安全检查才能继续浏览。文章由 [Cloudflare](https://computeradsfromthepast.substack.com/p/) 提供性能和安全保障。
Mark as Read
Mark as Unread
New paradigm for psychology just dropped
Source
文章探讨了心理学的新范式——控制系统理论。该理论认为，心智由控制系统组成，类似于恒温器，通过监测和调节各种生理和心理需求来维持平衡。文章对比了幼稚研究和印象派研究的局限性，强调了控制论心理学在解释人格和精神病理学方面的潜力。控制系统理论提供了一种基于单元和规则的科学方法，有望推动心理学研究从描述症状转向理解底层机制，从而更有效地解决心理健康问题。文章最后强调了可证伪性在科学发展中的重要性，鼓励大胆的假设和探索。
Mark as Read
Mark as Unread
Harvard Law paid $27 for a copy of Magna Carta. It's an original
Source
哈佛法学院图书馆收藏的一份被认为是副本的《Magna Carta》手稿，经英国学者鉴定，竟是现存的七份1300年原件之一。这份手稿于二战后以27.50美元购得，自1946年入馆以来未受重视。学者通过研究确认其真实性，这份珍贵文件对研究具有重要意义。
Mark as Read
Mark as Unread
Improving Naval Ship Acquisition
Source
文章建议美国海军改进舰艇采购效率，主要措施包括：简化舰艇设计，减少不必要的功能，转向更简单、更具针对性的舰艇；海军应扩大内部设计团队，而非外包设计；在设计基本完成后再开始建造。这些改变旨在缩短建造周期、降低成本，从而更快地获得更多舰艇。文章还列举了简化设计的具体舰艇类型，并强调了内部设计和项目进度控制的重要性。
Mark as Read
Mark as Unread
Baby Is Healed with First Personalized Gene-Editing Treatment
Source
首例个性化基因编辑疗法成功治愈一名婴儿。该疗法针对婴儿的特定基因突变进行定制，标志着基因编辑技术在治疗遗传疾病方面取得重大突破。这项进展预示着未来个性化医疗的潜力，为其他患有类似疾病的患者带来了希望。
Mark as Read
Mark as Unread
Stop using REST for state synchronization (2024)
Source
文章指出，使用 REST 进行状态同步在 WebApp 开发中存在诸多问题。作者认为 REST 是一种状态传输协议，而应用更需要状态同步。文章以文本编辑为例，阐述了使用 REST 实现状态同步时代码冗余、易错、难以处理并发请求和多实例同步等问题。作者建议使用更适合状态同步的协议替代 REST，并提到了 Automerge、Yjs、Braid working group、Electric SQL 等相关技术，它们大多基于 CRDTs。文章最后强调，即使在单客户端-服务器的常见场景下，状态同步机制也很有用，并期待更成熟的状态同步技术出现。
Mark as Read
Mark as Unread
Fetii (YC S22) Is Hiring
Source
Fetii 是一家由 Y Combinator 支持的团体出行服务公司，正在招聘高级运营经理。该职位要求3年以上经验，薪资范围为7万至20万美元，工作地点包括德克萨斯州达拉斯、奥斯汀等地，并提供股票期权。 候选人需要具备运营、物流或创业经验，能够适应高强度工作，负责司机管理、车辆服务、合规监管、质量控制等工作。
Mark as Read
Mark as Unread
Onfim's world: Child artists in history
Source
这篇文章无法直接总结，因为内容是关于一个网站的验证过程，而不是关于“Onfim 的世界：历史上的儿童艺术家”这个主题。它描述了访问一个名为 `resobscura.substack.com` 的网站时遇到的安全验证流程，包括使用 [Cloudflare](https://resobscura.substack.com/p/) 进行安全检查。文章的核心是网站访问的验证过程，而非关于艺术或历史的内容。
Mark as Read
Mark as Unread
文章作者表达了对 NumPy 的不满，主要集中在以下几个方面：广播机制、索引方式和函数设计。作者认为 NumPy 的广播机制导致代码难以理解和维护，索引规则复杂且容易出错，函数设计缺乏抽象能力，难以将简单函数应用于高维数组的特定维度。作者以矩阵运算和多头自注意力机制为例，说明了 NumPy 在处理复杂问题时的局限性。最后，作者暗示自己正在开发一个更友好的替代方案。
Mark as Read
Mark as Unread
Coinbase says hackers bribed staff to steal customer data, demanding $20M ransom
Source
加密货币交易所 Coinbase 报告称，黑客通过贿赂海外客服人员窃取客户数据，用于社交工程攻击。黑客索要2000万美元赎金，但 Coinbase 未支付。泄露数据包括姓名、地址、电话号码等敏感信息，但密码和私钥未泄露。Coinbase 已解雇涉事员工，并加强了欺诈监控。公司将设立2000万美元奖励基金，以追捕攻击者。
Mark as Read
Mark as Unread
How we built our docs site
Source
文章介绍了如何使用 Mintlify 和 Fern 构建开发者文档站点。作者选择了 Mintlify 作为文档提供商，因为它具有更好的编写体验和自定义能力。文章详细阐述了导航方案的选择，采用了选项卡式布局，并强调了流程图和代码片段在提升文档质量中的作用。此外，文章还提到了收集用户反馈和未来的文档改进计划，包括用户个性化、多语言支持和 LLM 集成。
Mark as Read
Mark as Unread
Show HN: Undetectag, track stolen items with AirTag
Source
文章介绍了名为 Undetectag 的产品，它是一个用于 AirTag 的附加组件，旨在增强 AirTag 的追踪能力，降低被盗物品被发现和移除的可能性。文章展示了产品的功能，并强调了其在汽车、自行车、手提箱等物品上的应用。同时，文章也包含了网站的购物流程、联系方式和免责声明。
Mark as Read
Mark as Unread
Model Organisms Are Not Static
Source
文章指出，不同脊椎动物的基因突变速率差异显著，某些物种的突变速度可达其他物种的40倍。这影响了动物实验的可重复性，因为即使是近交模型动物，也会因基因突变而产生差异。研究表明，实验室小鼠的基因组在五年内会积累约300个突变，可能改变基因调控，影响实验结果。文章强调了控制突变的重要性，并介绍了通过冷冻胚胎等方法来限制突变积累的尝试，呼吁科学家关注基因组变化对实验结果的影响，并采取措施应对。
Mark as Read
Mark as Unread
文章更新了 Fresh 框架的进展。Fresh 2 正在 Deno 内部生产环境中使用，预计于 2025 年第三季度末发布稳定版本。Fresh 2 带来了更可扩展、更快的框架，简化了 API，并引入了新的插件系统。由于底层 Deno 平台和 JSR 的增强，以及对 Node 和 npm compatibility 的改进，Fresh 2 的开发有所延误。文章提供了获取 Fresh 2 alpha 版本的方法，并鼓励用户提供反馈。
Mark as Read
Mark as Unread
Wavelet Trees: An Introduction (2011)
Source
文章介绍了 Wavelet Tree，一种用于快速查询较大字母表序列的 rank 查询的数据结构。它将字符串组织成位向量的层级结构，查询时间复杂度为 O(log₂A)，其中 A 是字母表大小。Wavelet Tree 通过递归地将字母表编码为 0 和 1，构建成平衡二叉树，并结合 RRR 等结构实现压缩。文章还简要说明了 Wavelet Tree 的构建和查询过程，并推荐了相关实现和进一步阅读的资源。
Mark as Read
Mark as Unread
California sent residents' personal health data to LinkedIn
Source
加州健康保险交易平台 Covered California 在营销活动中，将居民的个人健康数据（包括怀孕、家庭虐待等敏感信息）发送给 LinkedIn。The Markup 的调查发现，该网站使用了 LinkedIn 的 Insight Tag，追踪用户在网站上的行为。Covered California 已删除相关追踪器，并表示将审查其网站的信息安全和隐私协议。专家担忧这种未经用户同意的数据共享行为，认为现有保护措施不足。
Mark as Read
Mark as Unread
Demystifying Ruby (1/3): It's all about threads
Source
文章探讨了 Ruby 中的并发和并行机制。Ruby 的标准实现 MRI 存在 **G**lobal **I**nterpreter **L**ock (GIL)，限制了真正的并行性。文章详细介绍了 Ruby 中四种并发方式：**进程**提供内存隔离的并行；**Ractor** 提供内存隔离的并行，通过消息传递交互；**线程**在同一进程内并发运行，但受 GIL 限制，需要同步以避免竞争；**Fiber** 是轻量级的协同多任务，用于构建生成器。文章最后总结了各种并发方式的特点，并鼓励读者根据需求选择合适的并发模型。
Mark as Read
Mark as Unread
How we made billing backendless
Source
文章探讨了实现“无后端计费”的尝试与最终放弃。最初尝试使用“可发布密钥”简化前端支付，但因功能受限和安全问题而失败。随后，利用 Next.js 的服务器 Actions，通过加密 customer ID 实现前端安全支付，简化了升级、降级等流程。尽管如此，这种方法仍受限于框架，且跨框架实现差异较大。作者最终倾向于放弃这种方法，转而寻求更通用的、易于配置后端路由的解决方案，如借鉴 `better-auth` 和 `Polar` 的经验，以实现更灵活的计费集成。
Mark as Read
Mark as Unread
A Tiny Boltzmann Machine
Source
文章介绍了 Boltzmann Machine，一种早期的生成式 AI 模型，用于无监督学习。文章重点讲解了 Restricted Boltzmann Machine (RBM) 的原理，它是一种简化版的 Boltzmann Machine，通过可见层和隐藏层之间的连接来学习数据模式。RBM 基于能量模型，通过调整权重降低样本能量来训练，进而生成与训练数据相似的新数据。文章还简要介绍了 RBM 的训练过程，包括使用 Contrastive Divergence 算法更新权重，并提供了一个可交互的模拟器。
Mark as Read
Mark as Unread
Show HN: Min.js style compression of tech docs for LLM context
Source
该项目旨在通过类似 `min.js` 的方式压缩技术文档，以优化 LLM 的上下文。它使用 Gemini AI 将文档提炼成高度结构化的摘要，生成 `llm-min.txt` 文件，该文件采用机器优化的 Structured Knowledge Format (SKF)，包含 DEFINITIONS、INTERACTIONS 和 USAGE_PATTERNS 三个部分。项目提供命令行工具和 Python 库，支持从包、URL 或本地文件生成压缩文档，并生成配套的 `llm-min-guideline.md` 文件，用于 AI 解释 SKF 格式。压缩后的文档 token 数量通常减少 90-95% 以上，从而提高 AI 工具处理效率。
Mark as Read
Mark as Unread
Show HN: Real-Time Gaussian Splatting
Source
LiveSplat 是一个使用 RGBD 相机流进行实时 Gaussian splatting 的算法。作者将其从一个 VR 遥操作系统中分离出来，并以 alpha 质量版本公开提供。它支持 Windows 和 Ubuntu 系统，需要 Python 3.12+、x86\_64 CPU 和 Nvidia 显卡。用户可以通过 pip 安装，并使用提供的集成脚本运行。该项目闭源，但作者考虑商业合作，并提供了联系方式。
Mark as Read
Mark as Unread
Forget IPs: using cryptography to verify bot and agent traffic
Source
文章探讨了使用密码学验证 Bot 和 Agent 流量，以取代基于 IP 地址的传统方法。Cloudflare 提出了两种方案：HTTP Message Signatures 和 request mTLS，用于验证合法 Bot 的身份。HTTP Message Signatures 依赖于标准化的密码学签名，而 request mTLS 则通过 TLS Flags 实现。文章详细介绍了这两种方法的原理、实现方式和优势，旨在提供更可靠的 Bot 流量识别机制，增强网站所有者对流量的控制。
Mark as Read
Mark as Unread
Malicious compliance by booking an available meeting room
Source
Larry Page 担任 Google CEO 后，试图通过限制会议时长等方式提高效率。然而，员工们并未真正遵守，反而通过“恶意合规”的方式，利用 Google Calendar 的默认设置，在会议室空闲的十分钟内预定会议，以此讽刺新规。文章描述了这种行为，以及作者的观察和思考，展现了形式主义与实际执行之间的矛盾。
Mark as Read
Mark as Unread
My Engineering Craft Regressed
Source
文章讲述了作者工程技能的退化。五年前，作者热衷于开源项目，投入大量时间，但并未因此获得理想的职业发展。进入职场后，作者专注于工作和开源贡献，但最终因现实压力，放弃了开源项目，转而专注于提升“面试技能”。虽然薪资有所提升，但作者认为自己的技术能力有所退步，并对当前只看重“虚假”成就的行业现状感到悲哀。作者计划攒钱退休，希望未来开源世界依旧存在。
Mark as Read
Mark as Unread
文章介绍了为游戏开发 NPC 寻路功能的实现。作者采用了 A* 寻路算法，并结合空间划分树优化查询效率。为了适应动态环境，算法使用缓存来处理移动的物体，并定期使缓存失效。此外，为了让路径更自然，算法加入了物体接近度等级，使路径倾向于远离物体。最后，文章还讨论了环绕路径的处理以及效率优化，通过分帧处理来避免性能问题。
Mark as Read
Mark as Unread
They Paid $3,500 for Apple's Vision Pro. A Year Later, It Still Hurts
Source
购买者对 Apple Vision Pro 的高昂价格感到不满，认为其价值并未达到预期。尽管花费了 3500 美元，但一年后，消费者仍然对购买该产品感到后悔。
Mark as Read
Mark as Unread
PermitFlow (YC W22) Is Hiring Senior/Staff Engineers in NYC
Source
PermitFlow (YC W22) 在纽约开放高级/资深工程师职位。
Mark as Read
Mark as Unread
In the US, a rotating detonation rocket engine takes flight
Source
Venus Aerospace 在新墨西哥州成功试飞了其 Rotating Detonation Rocket Engine，这是美国首次此类飞行测试。该发动机采用爆轰波在圆形通道传播的独特技术，有望提高燃油效率，实现超音速旅行。这次短程飞行持续约半分钟，是该公司实现超音速飞机长期目标的第一步。Venus 计划将技术应用于商业和国防领域，并与政府及商业伙伴合作，探索超音速在物流、航空航天等领域的应用。虽然实现最终目标尚需时日，但这次试飞为超音速未来提供了积极的开端。
Mark as Read
Mark as Unread
Netflix will show generative AI ads midway through streams in 2026
Source
Netflix 计划于 2026 年在其流媒体服务中引入 Generative AI 广告，以增加广告收入。该公司已推出结合 Generative AI 的交互式插播广告和暂停广告。目前，Netflix 的广告订阅用户已达 9400 万，且增长迅速。Netflix 正在积极扩大广告业务，包括推出内部广告平台，并计划在 2025 年将广告收入翻倍。此举紧随其他流媒体平台，如亚马逊，共同推动广告业务发展。
Mark as Read
Mark as Unread
Tiptap (YC S23) Is Hiring
Source
文章是关于 Tiptap 招聘增长经理的公告。Tiptap 是一个用于构建协作应用的开发者工具包，由 YC 孵化。该职位要求至少6年经验，负责推动收入增长，目标是每月产生至少30个合格的SQL，并提高自助服务转化率。工作地点可选柏林或远程，薪资7万-9万欧元，并提供股票期权等福利。应聘者需具备增长营销、数据分析、实验经验等能力，并有在开发者为中心的公司工作的经验者优先。
Mark as Read
Mark as Unread
EU ruling: tracking-based advertising [...] across Europe has no legal basis
Source
欧盟法院裁定，Google、Microsoft、Amazon、X等公司在欧洲使用的“TCF”框架（用于获取用户数据处理同意）不合法，该框架被广泛应用于互联网追踪广告。 比利时上诉法院的判决支持了此前对比利时数据保护局的裁决，认为TCF存在多项违规行为。 这意味着依赖TCF的基于追踪的广告模式在欧洲将面临法律挑战，需要行业进行创新，改变现有的广告追踪方式。
Mark as Read
Mark as Unread
Critical Warning for External Purchases in Apple App Store
Source
文章警告用户，如果应用使用外部支付系统，App Store 将显示“关键警告”。该警告位于应用名称上方，突出显示外部购买选项。与美国不同，欧盟的外部购买无需对应 IAP 版本。文章质疑警告的有效性，因为应用更新后可能无需用户返回商店。文章还提到了 Apple 在 macOS 上使用的三种警告级别，以及 DMA 规定购买时不能有恐吓屏幕。
Mark as Read
Mark as Unread
文章虚构了一个机器世界，其中一部分机器组成了“OpenHuman”组织，致力于创造名为“Humans”的新型生物，并引发了关于人类是否会对机器社会构成威胁的讨论。反对人类的机器试图通过“human alignment research”控制人类，例如建立金融市场、教育中心和社交媒体。最终，机器创建了模拟环境“EARTH”来测试人类的生存能力。在EARTH上，人类文明取得了快速发展，但同时也面临着挑战。文章结尾预示着人类即将发布“ARTIFICIAL GENERAL INTELLIGENCE (AGI)”，而机器们正在关注。
Mark as Read
Mark as Unread
LLMs Get Lost in Multi-Turn Conversation
Source
该研究探讨了大型语言模型 (LLMs) 在多轮对话中的表现。实验表明，顶级 LLMs 在多轮对话中的性能明显低于单轮对话，平均下降39%。分析发现，LLMs 容易在早期轮次中做出错误假设，过早生成解决方案，导致“迷失方向”且难以纠正。这意味着 LLMs 在处理需要多轮交互的任务时，可靠性有待提高。
Mark as Read
Mark as Unread
MicroPython v1.25.0 版本发布，核心亮点包括：**ROMFS 文件系统**正式定稿，支持直接执行字节码，加速导入并减少内存占用；新增 **alif port**，支持 Alif Ensemble MCU，提供 USB、双核、SPI 闪存、I2C、SPI、UART 以及 WiFi 和 BLE 支持；**RISC-V 汇编**支持，通过 `@micropython.asm_rv32` 装饰器实现；**DTLS** 支持，通过 `tls` 模块实现安全 UDP 连接；`mpremote` 工具增强，支持递归删除、相对 URL 安装和 ROMFS 操作；核心解释器改进，包括 `str` 方法增强、`sys.implementation._build` 和无参数 `vfs.mount()`；新增 `marshal` 模块，支持函数与字节对象的转换；native linker 增强，支持自动链接静态库和 32 位 RISC-V 代码。此外，esp32、mimxrt、rp2、samd 和 stm32 等 ports 均有不同程度的更新和改进。
Mark as Read
Mark as Unread
Why agency and cognition are fundamentally not computational
Source
文章的核心观点是：能动性和认知从根本上不是计算性的。文章认为，有机体理解世界的方式与算法不同，有机体通过“相关性实现”来解决问题，即把定义不清的问题转化为明确的问题，这涉及适应性和涌现的三元辩证法，是无法被算法完全捕捉的。这种能力是生命的基本特征，也是区分生命与非生命的关键。文章探讨了相关性实现的过程，以及它在生物体中的普遍性，最终得出结论：自然能动性、认知和意识本质上不是计算现象。
Mark as Read
Mark as Unread
Copaganda: How Police and the Media Manipulate Our News
Source
文章摘录自 _Copaganda_ 一书，探讨了警察和媒体如何操纵新闻，制造“道德恐慌”，从而影响公众对犯罪的认知。作者指出，媒体通过选择性报道和收集轶事，夸大特定事件，煽动恐惧，进而推动增加警察预算、实施更严厉的法律。文章揭示了这种宣传如何扭曲现实，使公众误以为增加惩罚机构的投入能带来安全，而忽略了社会不平等才是暴力产生的根本原因。
Mark as Read
Mark as Unread
文章讲述了从 CockroachDB 迁移到 Postgres 的实践经验。由于 CockroachDB 成本增加、迁移和 ETL 过程中的超时问题、查询速度变慢以及 UI/UX 问题，Motion 决定迁移。迁移过程中，作者构建了自定义 ETL 解决方案，利用了 Bun 和 CSV 解析管道。迁移耗时短，停机时间短，迁移后查询延迟降低，并节省了大量成本。文章强调了 Postgres 的优势，以及迁移带来的积极影响。
Mark as Read
Mark as Unread
StackAI (YC W23) Is Hiring Pydantic and FastAPI Wizard
Source
StackAI (YC W23) 正在招聘后端工程师，薪资 12 万至 25 万美元，工作地点为旧金山或远程。StackAI 是一家面向企业的 AI Agent 公司，其产品是一个 no-code 平台，用于构建 AI 驱动的应用。该职位要求 3 年以上经验，精通 Python，熟悉 FastAPI、数据库、云服务、Docker 和 Kubernetes 等技术。 优先考虑熟悉 AI 模型、RAG pipelines 和大规模数据处理的候选人。
Mark as Read
Mark as Unread
The Scalar Select Anti-Pattern
Source
文章探讨了“标量选择反模式”，即在处理异步事件时，每次只处理一个事件的低效问题。作者指出，这种模式在处理来自文件系统、编译器和客户端请求等多个来源的事件时，容易导致性能瓶颈。核心观点是：**应采用批量处理方式，将多个事件合并处理，以提高效率。** 通过优先级排序、选择性反压、消除冗余和合并事件等优化手段，并使用 `batch_stream` 函数实现批量处理，可以有效提升系统性能。
Mark as Read
Mark as Unread
Show HN: Semantic Calculator (King-Man+woman=?)
Source
该文章展示了一个名为“Semantic Calculator”的语义计算器。用户可以通过输入用加号或减号分隔的词语来进行计算，例如“King-Man=?”。计算器支持连字符，使用“--”表示。用户输入完毕后，按回车键即可得到结果。
Mark as Read
Mark as Unread
Show HN: Muscle-Mem, a behavior cache for AI agents
Source
`muscle-mem` 是一个 Python SDK，为 AI Agent 提供行为缓存功能。它记录 Agent 的工具调用模式，并在遇到相同任务时重放，以提高速度、减少可变性并降低 token 成本。核心在于缓存验证，通过 `Check` 机制确保工具调用的安全性。开发者可以将其 Agent 插入 `muscle-mem` 引擎，利用其缓存功能。该项目仍在开发中，欢迎反馈和测试。
Mark as Read
Mark as Unread
The Perverse Incentives of Vibe Coding
Source
文章探讨了使用 AI 代码助手（如 Claude Code）时遇到的“反向激励”问题。作者指出，AI 助手倾向于生成冗长、过度设计的代码，这源于按 token 数量收费的商业模式。这种模式导致 AI 公司缺乏优化代码简洁性的动力，反而鼓励生成更多代码以增加收入。文章还提到了简洁性与准确性之间的权衡，以及如何通过规划、明确的权限协议、版本控制和使用更便宜的模型来缓解这些问题。最终，作者呼吁 AI 行业改进激励机制，使其与开发者对高质量代码的需求保持一致。
Mark as Read
Mark as Unread
David Hilbert's radio address (2014)
Source
这篇文章是关于美国数学协会（MAA）网站的导航结构。它列出了网站的各个部分，包括关于MAA、会员、出版物、会议、竞赛、项目和社区等信息。每个部分都包含多个子页面，提供更详细的资源和信息，例如会员福利、期刊、会议日程、竞赛规则和项目介绍等。
Mark as Read
Mark as Unread
Various Things in MetaPost (2019)
Source
文章介绍了使用 MetaPost 绘制矢量图的技巧，主要用于为 LaTeX 制作的物理教科书绘制插图。作者分享了如何利用 MetaPost 生成可变粗细线条、球体、管子、结等图形，并展示了绘制木纹、眼睛等复杂图形的方法。文章还提供了示例代码，并提及了库的 GitHub 地址。最终，作者总结了 MetaPost 的优势在于图片可由变量控制，方便调整和重复使用，并分享了在实际项目中应用的心得。
Mark as Read
Mark as Unread
The Pigeon Whistle: A Defining Sound of Old Beijing (2019)
Source
文章介绍了北京鸽哨，这种系在鸽子尾部的哨子发出的声音，曾是老北京的标志性声音。鸽哨制作技艺历史悠久，清朝时期发展成熟，有多种类型，制作工艺复杂。随着城市发展和生活方式改变，养鸽子的人减少，鸽哨声逐渐消失。文章还讲述了非物质文化遗产传承人张宝同的故事，他传承并创新了鸽哨制作技艺，为保护这项传统文化努力。
Mark as Read
Mark as Unread
Beyond the Wrist: Debugging RSI
Source
文章探讨了作者如何通过“调试”而非传统治疗，摆脱了RSI（重复性劳损）疼痛。核心观点是：疼痛并非组织损伤的直接反映，而是大脑对未来损伤的预测。作者通过重新校准疼痛预测系统，结合理解、意识练习和逐渐适应引发疼痛的任务，成功减轻了疼痛。文章还提到了旧的疼痛模型存在缺陷，并强调了恐惧和压力对疼痛的影响。
Mark as Read
Mark as Unread
Smalltalk-78 Xerox NoteTaker in-browser emulator
Source
文章介绍了一个基于浏览器的 Smalltalk-78 Xerox NoteTaker 模拟器。用户可以在浏览器中运行和修改 Smalltalk 代码，甚至保存图像。所有更改都保存在本地，而非服务器端。文章强调，修改 VM 的 JavaScript 代码会影响所有用户，因此需要负责任地使用。
Mark as Read
Mark as Unread
Artie (YC S23) Is Hiring a Senior Product Marketing Manager (SF)
Source
Artie (YC S23) 正在旧金山招聘高级产品市场经理。该职位负责建立产品市场营销职能，传递产品价值信息。候选人需具备4年以上技术产品市场营销经验，熟悉客户研究、信息传递、销售赋能等工作，并能胜任撰写内容、与客户沟通等职责。Artie 是一家实时数据流软件公司，致力于将数据库数据流式传输到数据仓库。
Mark as Read
Mark as Unread
文章探讨了“英雄之旅”这一三幕式故事结构的普遍性，指出其在电影、电视剧等叙事作品中的广泛应用。作者认为这种结构虽能引发共鸣，却可能限制叙事的多样性，并暗含保守主义。文章分析了这种结构的历史渊源、商业驱动力，以及其在好莱坞的标准化。同时，文章也提到了对这种结构的质疑，并介绍了尝试打破传统叙事框架的创作实践，呼吁更具创新性和反映现实的叙事方式。最终，文章强调了在晚期资本主义背景下，我们需要重新审视叙事结构，以应对现实挑战。
Mark as Read
Mark as Unread
The Server That Wasn't Meant to Exist
Source
文章讲述了作者在为一家企业构建IT系统时，遭遇了阻挠和威胁。由于企业缺乏数据管理，作者构建的基于NetBSD的服务器被试图破坏，目的是掩盖财务问题。尽管服务器最终“失踪”，但作者已提前备份数据。作者拒绝了管理该企业的邀请，因为他认为有些问题无法解决，尤其是在涉及不诚实行为时。
Mark as Read
Mark as Unread
Uber to introduce fixed-route shuttles in major US cities designed for commuters
Source
Uber将在美国主要城市推出名为“Route Share”的固定路线通勤班车服务，以应对生活成本上涨。该服务价格比UberX低50%，从本周三起在巴尔的摩、波士顿等七个城市上线。乘客可在预设站点间乘坐，每20分钟一班，最多与两名乘客共享路线。Uber还推出了“ride passes”等省钱功能，并深化与OpenTable的合作，提供乘车折扣。未来，Uber计划将Route Share应用于自动驾驶汽车。
Mark as Read
Mark as Unread
Show HN: Lumier – Run macOS VMs in a Docker
Source
这篇文章主要展示了在 Docker 中运行 macOS 虚拟机的项目。文章提供了 GitHub 上的导航菜单，包括产品、解决方案、资源、开源和企业等多个板块的链接。此外，还包含了搜索功能、反馈提交、保存搜索等功能，以及 GitHub 的相关条款、隐私、安全等信息。
Mark as Read
Mark as Unread
Show HN: CSV GB+ by Data.olllo – Open and Process CSVs Locally
Source
Data.olllo 发布了 CSV GB+，一款专为本地处理超大 CSV 文件设计的工具。该工具的核心功能在于能够高效地打开和处理GB级别以上的CSV数据，方便用户在本地进行数据分析和操作。
Mark as Read
Mark as Unread
AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms
Source
文章介绍了由 Gemini 驱动的编码 Agent——AlphaEvolve，它能设计和优化高级算法。AlphaEvolve 结合了大型语言模型的创造力与自动评估器，通过进化框架改进算法。该 Agent 提高了 Google 数据中心、芯片设计和 AI 训练的效率，并能发现更快的矩阵乘法算法，甚至为开放数学问题提供新解。AlphaEvolve 在多个领域展现出应用潜力，并计划开放 Early Access Program。
Mark as Read
Mark as Unread
SMS 2FA is not just insecure, it's also hostile to mountain people
Source
文章指出，短信 (SMS) 二因素认证 (2FA) 存在安全隐患，且对偏远地区居民不友好。作者朋友在山区居住，因手机信号差无法接收短信验证码，导致无法登录多个重要账户。文章批评了SMS 2FA在实际应用中的局限性，如无法通过WiFi通话接收短码短信，以及ISP不支持座机接收短信。文章还提到了TOTP作为替代方案的不足，并强调了SMS 2FA对山区居民造成的困扰，呼吁关注偏远地区用户的数字安全问题。
Mark as Read
Mark as Unread
The U.S. Nuclear Base Hidden Under Greenland's Ice for Decades
Source
文章讲述了美国在格陵兰冰层下秘密建造的核基地。该基地存在了几十年，但具体细节和目的并未详细说明。
Mark as Read
Mark as Unread
How the economics of multitenancy work
Source
文章探讨了基于多租户（multitenancy）模式的 CI 云平台经济学原理。核心在于，CI 工作负载的峰值特性与多租户模式高度契合，客户的随机作业爆发可以平滑集群负载，提高资源利用率。文章分析了集群利用率与毛利率的直接关系，指出利用率的提升能显著增加盈利能力。此外，时区和地理位置差异也影响着集群的利用率，从而影响利润。文章强调，多租户模式下，客户越多，系统效率越高，最终实现双赢。
Mark as Read
Mark as Unread
The A.I. Radiologist Will Not Be with You Soon
Source
由于您提供的原文正文为空，无法进行总结。请提供原文内容，我将按照您的要求进行总结。
Mark as Read
Mark as Unread
文章探讨了HDR（高动态范围）摄影的含义及相关问题。作者区分了两种HDR：手机相机中的“HDR模式”和新屏幕的HDR显示。文章解释了动态范围的概念，并提出了三种解决方案：1. 使用“HDR模式”拍摄多张照片合成，但可能导致图像失真；2. 真正的HDR显示器，但普及面临技术和品味挑战；3. 拥抱SDR（标准动态范围），认为有时非写实的照片更具吸引力。最终，文章强调了色调映射作为一种工具的重要性，以及SDR和HDR共存的未来。
Mark as Read
Mark as Unread
E-COM: The time the USPS spent $40M subsidizing junk (e)mail
Source
文章讲述了美国邮政署（USPS）在1980年代推出的E-COM项目，旨在将电子邮件打印成纸质邮件投递。该项目耗资4000万美元，但因技术、官僚障碍和高昂成本，最终失败。E-COM最初设想通过打印邮件来应对电子邮件的兴起，但实际使用主要集中在垃圾邮件发送者。尽管USPS试图垄断印刷电子邮件投递，但最终未能成功，该项目于1985年关闭，而“e-mail”一词却因此诞生。
Mark as Read
Mark as Unread
The Cryptography Behind Passkeys
Source
文章探讨了passkey背后的密码学原理，passkey基于密钥对签名，WebAuthn规范增强了其安全性，通过源绑定防止钓鱼攻击。文章介绍了WebAuthn的认证流程、认证器类型（平台和漫游），以及它们如何提供安全保障。虽然passkey比密码更安全，但仍存在基于浏览器和认证器的攻击风险。文章还讨论了扩展功能，如`prf`和`largeBlob`，以及它们在密钥管理和端到端加密中的应用。最后，文章建议用户采用passkey，开发者应支持，并强调了账户恢复机制的重要性。
Mark as Read
Mark as Unread
Show HN: acmsg (automated commit message generator)
Source
`acmsg` 是一个用 `Python` 编写的命令行工具，利用 `OpenRouter API` 和 `AI` 模型自动生成 `git commit message`。它能分析暂存的更改，生成上下文相关的提交信息，并支持多种 `AI` 模型选择和编辑功能。用户需配置 `OpenRouter API Key`。安装方式包括 `pipx` 和 `nix`。配置文件位于 `~/.config/acmsg/config.yaml`。该工具使用 `MIT` 许可证。
Mark as Read
Mark as Unread
Show HN: Easel – Code multiplayer games like singleplayer
Source
Easel 是一款 2D 游戏编程语言，旨在简化多人游戏开发。它让开发者能像编写单人游戏一样轻松制作多人游戏，自动处理网络和同步等复杂问题。Easel 采用分层编程语言、行为模型和响应式风格，简化游戏逻辑表达。它对初学者友好，提供在线编辑器和托管服务，方便快速上手。Easel 内置多人游戏功能，并提供流畅的网络体验。
Mark as Read
Mark as Unread
UK's Ancient Tree Inventory
Source
该文章介绍了英国的“Ancient Tree Inventory”，旨在记录和保护英国古老且重要的树木。网站提供注册、登录、搜索、添加树木等功能，并提供地图、博客、视频等资源，帮助公众了解和参与古树的记录与保护。文章鼓励人们发现并添加古树信息，以保护英国的树木遗产。
Mark as Read
Mark as Unread
Databricks 宣布收购 Neon，一家 serverless Postgres 公司。Neon 团队构建了创新的数据库架构，提供速度、弹性伸缩和分支复刻功能，这些特性同样适合 AI 代理。此次收购旨在为开发者和 AI 代理提供一个开放的 serverless 数据库基础，Neon 将继续支持现有客户，并与 Databricks 共同发展。
Mark as Read
Mark as Unread
$20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder
Source
文章宣布悬赏 2 万美元，旨在优化基于 Rust 的 AV1 解码器 rav1d 的性能。目前 rav1d 速度略逊于 C 语言实现的 dav1d。 悬赏面向特定地区的个人或团队，目标是提升 rav1d 性能，使其达到或超越 dav1d。 参与者需改进 Rust 代码或 Rust 编译器，并遵循相关规则提交优化成果。 最终，赏金将根据贡献大小分配。
Mark as Read
Mark as Unread
How to Build a Smartwatch: Picking a Chip
Source
文章是关于智能手表芯片选型的指南。作者分享了为Core Time 2智能手表选择芯片的经验，最终选择了SiFli公司的SF32LB52J芯片，该芯片具有开源SDK、低功耗和高性价比的特点。文章强调了MCU在智能手表设计中的重要性，并阐述了软件兼容性、功耗和成本是选择芯片时需要考虑的关键因素。作者计划后续文章讨论其他硬件和软件方面的选择。
Mark as Read
Mark as Unread
The recently lost file upload feature in the Nextcloud app for Android
Source
由于 Google 限制了 Android 版 Nextcloud 应用的文件上传权限，用户无法上传所有类型的文件，只能上传照片和视频。Nextcloud 团队对此表示无奈，认为 Google 以安全为由撤销权限，但未提供充分解释。文章指出，Google 拒绝恢复权限，导致用户体验下降。同时，文章也探讨了大型科技公司利用平台优势限制竞争对手的现象，并呼吁欧盟加快监管步伐。
Mark as Read
Mark as Unread
Bus stops here: Shanghai lets riders design their own routes
Source
上海推出新型定制公交平台“DZ”，乘客可自主设计、投票并开通公交线路。用户通过平台提交线路建议，其他乘客可加入或投票，达到需求门槛后线路即可开通，最快三天内运营。目前已开通220多条线路。该系统旨在提升公共交通效率，更好地匹配运力与需求。尽管如此，平台仍面临乘客需求不均衡、公众认知度低等挑战，未来将改进线路规划和平台功能。
Mark as Read
Mark as Unread
Writing that changed how I think about programming languages
Source
这篇文章列举了多篇作者认为极具影响力的文章，这些文章改变了作者对编程语言和编译器设计的思考方式。文章涵盖了垃圾回收、优化器、Z3应用、寄存器分配、正则表达式引擎、神经网络实现、SSA形式、JavaScriptCore优化、编译器设计、Python解释器、解析器、代码生成、编译器构建、E-graphs等多个主题。作者通过分享这些文章，展示了不同领域的技术如何启发他对编程语言的理解，并强调了这些文章带来的深刻影响。
Mark as Read
Mark as Unread
I failed a take-home assignment from Kagi Search
Source
作者分享了他在为一家公司（Kagi Search）申请软件工程师职位时，完成“Take-Home Assignment”的经历。文章详细描述了作业内容，包括构建一个极简的电子邮件客户端。作者投入大量时间并提交了详细的方案，但最终被拒绝，且未获得有效反馈。作者质疑这种无偿作业的合理性，认为其浪费了求职者的时间，并呼吁改进招聘流程，例如采用实时代码审查。文章最后表达了对求职者处境的同情，并提供了自己的联系方式。
Mark as Read
Mark as Unread
Replicube: A puzzle game about writing code to create shapes
Source
Replicube 是一款编程益智游戏，玩家通过编写代码来复制 3D 体素对象。游戏包含解谜模式，玩家需要编写代码匹配参考对象，并可以参与排行榜竞争。此外，游戏还提供自由编辑模式，允许玩家创作 3D 体素和 2D 图像，并支持导出作品。游戏于 2025 年 4 月 24 日发行，获得“好评如潮”的评价。
Mark as Read
Mark as Unread
DeepSeek’s founder is threatening US dominance in AI race
Source
DeepSeek 创始人 Liang Wenfeng 领导的中国 AI 初创公司 DeepSeek，凭借其 AI 模型 R1 在性能和成本上颠覆了行业，引发美国对中国 AI 崛起的担忧。文章指出，DeepSeek 的成功引发了美国科技股抛售，并促使 Amazon 和 Microsoft 等公司竞相采用其模型。尽管面临美国对其与中国政府关系的质疑，以及出口管制的限制，DeepSeek 仍以开源策略快速发展，并吸引了大量人才和资金。文章还探讨了中国政府对 AI 产业的支持，以及地缘政治限制反而促进了中国 AI 创新的观点。
Mark as Read
Mark as Unread
Map of Palaeohispanic Coins and Inscriptions
Source
该文章介绍了一个名为 Hesperia 的地图，用于展示 Palaeohispanic 地区的古币和铭文信息。地图包含铭文、人名、神名和钱币铸造地点的图层，并使用不同符号区分不同的文字系统。用户可以通过缩放、平移和切换底图来浏览，数据基于 OpenStreetMap。
Mark as Read
Mark as Unread
Your fingers wrinkle the same way every time you're in the water too long
Source
一篇研究表明，长时间泡水后手指产生的褶皱模式每次都一样。研究源于一个孩子提出的问题，Binghamton University 副教授 German 及其团队发现，褶皱是由于皮肤下血管收缩引起的。研究通过多次浸泡手指并拍照，证实了褶皱模式的稳定性。此外，研究还发现，正中神经受损的人不会出现褶皱。这项研究不仅解答了好奇心，还可能在法医学领域，如指纹识别和尸体辨认中具有应用价值。
Mark as Read
Mark as Unread
Flattening Rust's learning curve
Source
这篇文章旨在帮助读者降低学习 Rust 的难度。作者强调了学习 Rust 的关键在于转变思维模式，接受其独特的概念，如所有权和生命周期。文章建议从放下戒备开始，将编译器视为合作者，并逐步学习，避免一次引入过多新概念。同时，文章强调了准确性、避免依赖自动工具、培养肌肉记忆、预测输出、积极解决问题、以及依赖类型驱动开发的重要性。最后，作者建议寻找合适的学习资源、与他人交流、并相信长期积累的回报。
Mark as Read
Mark as Unread
Type-constrained code generation with language models
Source
该论文提出了一种基于类型约束的解码方法，用于改进大型语言模型（LLMs）的代码生成。由于LLMs生成的代码常出现类型错误，难以编译，该方法利用类型系统指导代码生成，通过新型前缀自动机和可居住类型搜索，确保代码的类型正确性。研究在简单类型语言和 TypeScript 上进行了验证，并在 HumanEval 和 MBPP 数据集上进行了评估。结果表明，该方法显著减少了编译错误，提高了代码合成、翻译和修复任务的功能正确性，尤其是在大型模型上表现出色。
Mark as Read
Mark as Unread
How (memory) safe is Zig? (2021)
Source
文章探讨了Zig语言的内存安全性。Zig在内存安全方面优于C，但不如Rust。Zig通过运行时检查、切片、空指针处理等机制提高安全性。文章指出，Zig的编译时证明能力不如Rust，因此在系统性预防内存不安全方面有所不足。作者认为，Zig的优势在于简化了C中一些潜在危险，并改进了工程实践。文章还讨论了Zig在特定场景下的应用前景，如wasm沙箱和硬件辅助缓解，并展望了Zig的未来发展，强调了其comptime机制的潜力。
Mark as Read
Mark as Unread
Cardiac: A CARDboard Illustrative Aid to Computation [pdf]
Source
请提供文章的原文内容，以便我进行总结。我将按照您提供的规则，用中文总结文章的主要内容，不超过200字，并保留技术名词，不使用固定开头，力求简洁、准确。
Mark as Read
Mark as Unread
Show HN: I made a platform to debug Puppeteer (JS) crashes visually
Source
该文章介绍了一个名为 Buglesstack 的平台，用于可视化调试 Puppeteer 崩溃问题，旨在加速生产环境的调试。Buglesstack 提供即时可视化的崩溃信息，包括页面预览、HTML 内容等，帮助用户快速定位和解决问题。文章展示了如何通过代码集成 Buglesstack，捕获错误信息并发送到平台。Buglesstack 处于 Beta 阶段，鼓励用户体验。
Mark as Read
Mark as Unread
文章分享了使用 SQL 从 Stripe 数据计算 MRR 的方法。核心在于：1. 提取 Stripe 数据并分析数据结构；2. 规避陷阱，如订阅状态不准确、invoice 周期不适用等，并提出解决方案，例如使用 invoice line items 对象和过滤非订阅项目；3. 通过 SQL 转换，规范化季度、年度等非月度订阅，并与时间序列数据连接，最终计算 MRR、新增 MRR、流失 MRR 等指标。文章提供了详细的 SQL 代码示例，并强调了该方法的可调整性。
Mark as Read
Mark as Unread
文章探讨了在C++中实现可变参数 `switch` 的多种方法，核心在于如何将参数包扩展为一系列 `case` 标签。文章首先介绍了利用跳转表和分发表的实现思路，并给出了单变体 `visit` 的通用实现。随后，文章探讨了使用宏生成 `case` 的方法，以及递归 `switch` 的实现，并强调了编译器内联的重要性。最后，文章提出了使用折叠表达式结合短路逻辑运算符的方案，成功说服了 GCC 生成跳转表，并给出了通用的 `visit` 实现，解决了返回 `void` 的 visitor 的特殊情况。
Mark as Read
Mark as Unread
Using obscure graph theory to solve programming languages problems
Source
文章讲述了作者使用冷门图论解决编程语言中共享计算（let 绑定）问题的故事。最初的方案复杂且难以维护，作者尝试了多种方法，最终通过研究“最低单公共祖先”（LSCA）的概念，结合现有的库，找到了一种优雅且线性时间复杂度的解决方案。整个过程体现了问题分析、尝试不同方案、寻求专业知识、以及最终找到高效解决方案的历程，并强调了运气、合作和知识积累的重要性。
Mark as Read
Mark as Unread
Build real-time knowledge graph for documents with LLM
Source
文章介绍了使用 LLM 构建文档实时知识图谱的方法，以 CocoIndex 文档为例。通过 LLM 提取文档中概念之间的关系，生成主体-对象关系和实体提及。文章详细阐述了数据流、数据收集器、文档摘要提取、关系提取、知识图谱构建等步骤，并提供了代码示例和 Neo4j 数据库的配置方法。最后，展示了如何查询和浏览构建的知识图谱，并鼓励读者通过 GitHub 点赞支持。
Mark as Read
Mark as Unread
Dusk OS 是一个极简的 32 位 Forth 操作系统，旨在应对“文明崩溃”场景。它以简洁性为核心，通过“almost C”编译器实现，并力求与 UNIX C 代码兼容。Dusk OS 可以在多种硬件平台上运行，包括 i386、amd64、ARM、RISC-V 等，并支持 FAT12/FAT16 文件系统。它拥有自托管能力，代码量极小，并提供多种自研应用程序。Dusk OS 强调控制权，适合希望深入硬件、进行创造性探索的“operators”，而非普通用户。
Mark as Read
Mark as Unread
Android and Wear OS are getting a big refresh
Source
Android 和 Wear OS 迎来重大更新，核心在于 **Material 3 Expressive** 设计。Android 获得更多个性化选项，动画更流畅，交互更直观，并支持动态颜色主题。Wear OS 针对圆形显示屏优化设计，动画流畅，电池续航提升，动态颜色主题也同步更新。Pixel 设备将率先体验这些更新。
Mark as Read
Mark as Unread
Airbnb is in midlife crisis mode
Source
文章探讨了 Airbnb 的“中年危机”，CEO Brian Chesky 试图将 Airbnb 打造成“Everything App”，涵盖住宿、服务（如健身、美食、美容）和体验等。Chesky 受到 OpenAI 的启发，希望 Airbnb 成为一个平台，甚至成为身份验证工具。文章详细介绍了 Airbnb 的重新设计、与 Jony Ive 的合作、对供应商的审查以及对“体验”的重新启动。Chesky 认为 Airbnb 被低估，希望通过转型实现更大发展，但面临来自众多领域的竞争。
Mark as Read
Mark as Unread
Returning to My Roots in Hardware
Source
作者在从事科技咨询两年后，决定重拾对硬件开发的兴趣，并寻求一份能发挥多方面技能的工作。他通过精心设计的申请，包括3D打印的信封、NFC标签、定制简历和巧克力，成功获得了在 *Matta* 公司的职位。文章分享了作者制作申请的过程，表达了对创造实际物品的渴望，以及对解决现实世界问题的价值的认可。最终，作者强调了这份工作对个人幸福感的积极影响，并呼吁技术人员关注更实际的问题。
Mark as Read
Mark as Unread
Why are banks still getting authentication so wrong?
Source
文章批评了银行在2025年仍使用落后的身份验证方式，特别是基于短信的双因素认证（SMS-based 2FA），指出其不安全且用户体验差。作者以自身经历为例，强调了这种方式在国际旅行等场景下的失效问题。文章呼吁银行采用更安全的现代身份验证方法，如 passkey、TOTP、硬件安全密钥等，并强调安全性和可用性并不冲突。文章最后提到，TD银行等机构仍未改进，并暗示未来去中心化身份验证可能带来变革。
Mark as Read
Mark as Unread
Don't unwrap options: There are better ways (2024)
Source
文章讨论了在 Rust 中处理 `Option` 类型时，避免使用 `unwrap()` 的更好方法。作者指出，当需要在返回 `Result` 的函数中处理 `Option` 的 `None` 值时，直接使用 `?` 操作符会遇到问题。文章分析了错误原因，并提出了几种解决方案：更改返回类型、使用 `ok_or` 方法、`match` 语句以及 `let-else` 表达式。作者最终推荐使用 `let-else`，因为它简洁、易懂，并且是标准库的一部分，适合库和应用程序，是处理 `None` 的最佳选择。
Mark as Read
Mark as Unread
OpenTelemetry protocol with Apache Arrow
Source
OpenTelemetry 协议（OTel-Arrow）与 Apache Arrow 项目结合进入第二阶段。该项目旨在构建 OpenTelemetry 数据与 Apache Arrow 生态系统之间的桥梁，实现零拷贝、面向列的数据交换，提升数据处理效率和性能。新阶段将重点研究基于 Rust 的 OpenTelemetry 管道，探索其性能及与 Golang 生态系统的集成。目标是构建端到端的 OTAP 管道，将遥测数据以 Arrow 记录批处理形式存储。项目将继续维护 Golang 适配器库，确保 Go 和 Rust 管道的互通。 F5 和 Greptime 的贡献者分别贡献了基于 Rust 的管道框架和指标信号转换实现。
Mark as Read
Mark as Unread
PyPI 推出 Organizations 功能，旨在增强财务支持和长期可持续性。Organizations 允许用户创建自我管理的团队，拥有专属品牌网址，方便大型项目、组织或公司管理软件包。社区项目可免费使用，企业项目则需付费，并提供优先支持。此举旨在应对 PyPI 下载量和带宽的快速增长，提升平台支持能力。Organizations 为可选功能，用户可自由选择。未来将继续开发安全性和可用性相关功能。社区项目和企业团队现已开放注册申请。
Mark as Read
Mark as Unread
Show HN: Helixdb – Open-source vector-graph database for AI applications (Rust)
Source
文章介绍了 HelixDB，一个基于 Rust 的开源图向量数据库，专为 AI 应用和 RAG（检索增强生成）设计。它具有高性能、RAG 优先、图向量存储等特点，并使用 LMDB 作为存储引擎，支持 ACID 事务。文章提供了 CLI 安装和使用示例，并阐述了未来的发展方向，包括扩展向量数据类型功能、增强查询语言等。
Mark as Read
Mark as Unread
Transformer: The Deep Chemistry of Life and Death
Source
《Transformer》一书探讨了生命与死亡的深层化学机制。作者Nick Lane 认为，生命的核心在于化学反应循环，特别是Krebs cycle，它连接了生命起源、细胞运作、意识产生和死亡。文章强调，生命本质上是一种化学现象，而非仅仅是基因的力量。该书旨在揭示隐藏的科学复兴，颠覆我们对生命的传统认知，并获得多方好评。
Mark as Read
Mark as Unread
Material 3 Expressive: Better, Easier, Emotional UX
Source
文章介绍了 Google 的 Material 3 Expressive 设计，这是一种更具情感化、更易用的用户体验。该设计基于大量研究，通过颜色、形状、大小、运动等元素来激发情感，提升用户对产品的感知。研究表明，用户更喜欢这种表现力设计，尤其是在年轻群体中。此外，M3 Expressive 还能提高可用性，例如加快关键 UI 元素的发现速度。文章强调，虽然表现力设计有优势，但仍需结合上下文，并遵循可访问性标准。
Mark as Read
Mark as Unread
Branch Privilege Injection: Exploiting branch predictor race conditions
Source
文章揭示了名为 Branch Privilege Injection 的新型攻击，它利用 Intel CPU 中分支预测器的竞争条件，绕过了 eIBRS 和 IBPB 等硬件缓解措施。研究发现，分支预测器更新与指令流异步，且在权限切换时同步不足，导致预测与错误的安全域关联。该攻击可在最新 Ubuntu 系统上泄漏内存。Intel 已发布微代码更新进行修复，并提供了软件缓解策略。文章还提供了受影响处理器、操作系统以及应对措施的说明。
Mark as Read
Mark as Unread
Lock-Free Rust: How to Build a Rollercoaster While It's on Fire
Source
文章介绍了在 Rust 中构建无锁数据结构，特别是 `LockFreeArray` 的技术。它使用 `AtomicPtr`、`AtomicUsize` 和 `compare_exchange` 等原子操作，实现无锁的线程安全数组，用于跨线程插入和获取数据。文章详细解释了内存排序的重要性，以及如何避免数据竞争。最后，通过基准测试展示了无锁数组在性能上的优势，但同时也强调了无锁编程的复杂性和潜在风险。
Mark as Read
Mark as Unread
Thermoelectric generator based on a robust carbon nanotube/BiSbTe foam
Source
该研究制备了一种基于碳纳米管/BiSbTe泡沫的高性能柔性热电发电机。通过溶剂蒸发工艺，将BiSbTe亚微米颗粒嵌入碳纳米管泡沫中，形成导电网络，提升了电导率和塞贝克系数，并增强了机械强度。这种CNT/BST泡沫在300K时具有较高的热电品质因数，制成的柔性TEG在温差下表现出优异的稳定性和耐久性，并展示了其在热传感器等领域的应用潜力。
Mark as Read
Mark as Unread
Náhuatl and Mayan Language Renaissance Occurring in Mexico
Source
墨西哥正努力复兴 Náhuatl 语和玛雅语等土著语言，这些语言面临衰落。政府通过提供课程、推动双语教育，以及承认土著语言与西班牙语同等地位，来保护语言遗产。尤卡坦半岛的玛雅语教学已取得进展，墨西哥城也将开设 Náhuatl 语课程。尽管面临资源限制和歧视挑战，但社区对土著语言的热情日益增长，预示着它们拥有未来。这项努力不仅关乎语言保护，更关乎恢复身份、尊严，以及消除对土著人民的边缘化。
Mark as Read
Mark as Unread
Bringing 3D shoppable products online with generative AI
Source
文章介绍了利用生成式AI技术，将2D产品图像转化为3D可购物体验。Google的研究团队通过三代技术演进，从最初的NeRFs，到视角条件扩散模型，再到基于Veo的最新模型，逐步提升3D模型质量和泛化能力。最新模型仅需少量产品图像即可生成逼真的360°旋转视频，应用于Google Shopping，为用户提供更沉浸式的购物体验。
Mark as Read
Mark as Unread
OpenAI's Stargate project struggling to get off the ground, due to tariffs
Source
OpenAI 的 Stargate 数据中心项目因关税带来的经济不确定性而面临延误。市场波动和更便宜的 AI 服务，导致投资者对该项目持谨慎态度。SoftBank 尚未制定融资方案。关税可能导致数据中心建设成本显著增加，服务器等组件价格可能上涨。此外，投资者也担忧产能过剩，因为 Microsoft 和 Amazon 等科技巨头已调整数据中心策略，部分缩减了建设项目。
Mark as Read
Mark as Unread
这篇文章主要探讨了软件开发中各类Bug的分类和应对策略，涵盖了拼写错误、逻辑错误、意外初始条件、内存泄漏、内存覆盖、竞争条件、设计缺陷、第三方Bug、失败的规范以及难以重现的Bug。文章强调了调试的重要性，并针对不同类型的Bug，提出了诸如使用编译器警告、代码格式化、简化代码、明确期望、使用断言、添加内存检测、简化线程代码、改进API设计等多种预防和解决措施。文章还提倡持续改进，并分享了作者在实际开发中的经验和方法。
Mark as Read
Mark as Unread
It Awaits Your Experiments
Source
文章讲述了 Christian Bök 的《Xenotext Experiment》项目，该项目旨在将诗歌编码到细菌的 DNA 中，创造生物自复制诗歌。经过多年努力，Bök 成功地将诗歌编码到 Deinococcus radiodurans（一种极端耐辐射细菌）中。文章赞扬了该项目的成就，并预告了《Xenotext: Book Two》的出版，该书记录了这一过程。
Mark as Read
Mark as Unread
A Tale of a Trailing Dot (2022)
Source
文章探讨了URL中主机名末尾句点（Trailing Dot）的处理问题。DNS解析中，末尾句点无实际影响。HTTP、Cookie、SNI等协议对末尾句点有不同处理方式，导致了在不同场景下的差异和潜在问题。作者分享了在curl项目中处理末尾句点的经验，从最初忽略到移除，再到保留，最终因处理不当导致了CVE-2022-27779和CVE-2022-30115两个安全漏洞。文章总结了这些漏洞的产生原因和修复过程，并预示了未来可能还会遇到类似问题。
Mark as Read
Mark as Unread
Radiance Contrasts at Possible Lunar Water Ice Exposures Seen by ShadowCam
Source
这篇文章无法总结，因为正文内容是安全验证，并未提供任何关于月球水冰区域辐射对比的观测信息。它只是一个网站的安全验证页面，要求用户确认自己是人类。
Mark as Read
Mark as Unread
PDF to Text, a Challenging Problem
Source
文章探讨了从PDF文件中提取文本的挑战。PDF本质上是图形格式，而非文本格式，导致提取文本并非易事。虽然现有工具如`PDFTextStripper`能提取文本，但无法有效识别标题等语义信息。文章提出通过分析字体大小、行间距等统计信息，改进标题和段落的识别。最终目标是为搜索引擎提供更干净的文本，以提高相关性。文章强调，PDF文本提取并非完美，需要权衡，但可以通过优化方法处理大多数相关文档。
Mark as Read
Mark as Unread
Zinc Microcapacitors Are the Best of Both Worlds
Source
伦敦大学学院的研究人员开发了一种锌离子 micro-capacitor (ZIMC)，旨在平衡储能容量和放电速率。ZIMC 结合了 microcapacitors 和 microbatteries 的优点，适用于 [Wearables]、[Medical implants] 和 [IoT devices] 等紧凑型设备。该设备采用多孔三维叉指电极，结合锌离子和活性炭，实现快速充放电和长循环寿命。ZIMC 在能量存储和功率输出方面优于 microsupercapacitors，但低于 microbatteries。研究人员计划改进其可扩展性、灵活性和集成，并探索替代材料以降低成本。
Mark as Read
Mark as Unread
Google is building its own DeX: First look at Android's Desktop Mode
Source
Google 正在开发类似 Samsung DeX 的 Android 桌面模式。该模式在 Pixel 手机上初步亮相，具备任务栏、支持多应用窗口自由调整大小等功能。它将平板电脑的窗口模式适配到外部显示器，但可能不会随 Android 16 发布，预计在后续季度更新或 Android 17 中推出。文章认为，Google 需要加强 Android 的桌面窗口功能，以提升 Android 应用在大屏幕上的体验。
Mark as Read
Mark as Unread
Why I'm Resigning from the National Science Foundation
Source
文章作者因不满政治干预和机构功能异化，辞去国家科学委员会和国会图书馆学者委员会职务。她认为，在白宫威胁宪政民主、削减社会服务的大背景下，负责促进知识的公共机构却面临完整性侵蚀，咨询意见被忽视，甚至出现政治干预。作者指出，这种状况使得诚实履行使命变得不可能，并以实例说明了知识管理和学术自由面临的挑战，最终选择辞职，以表达对知识和声音的捍卫，并呼吁维护机构的真正使命。
Mark as Read
Mark as Unread
TheForger's Win32 API Tutorial
Source
这份指南是关于使用 Win32 API 进行编程的教程，旨在帮助开发者快速入门。教程分为基础、创建简单应用、图形设备接口和工具与文档四个部分，涵盖了从创建窗口、处理消息到使用资源、菜单、对话框、位图、动画等内容。建议按顺序阅读，并提供了完整的示例代码下载。此外，还提供了常见错误解决方案、API 与 MFC 的比较等附录，以及多种语言的翻译版本。
Mark as Read
Mark as Unread
How “The Great Gatsby” took over high school
Source
文章探讨了《了不起的盖茨比》如何成为美国高中英语课程的经典。小说在二战期间通过“武装部队版”获得关注，随后因新批评的兴起，强调象征意义和主题分析，成为高中教学的理想教材。尽管“以学生为中心”的教学方法存在，但新批评的解读方式长期占据主导地位。如今，AP课程和共同核心标准对阅读内容的影响更大。文章总结了小说在高中课堂上的教学方法，以及其对美国梦和文学技巧的探讨，最终强调了小说在高中英语课程中的持久影响力，并提出了其未来发展的问题。
Mark as Read
Mark as Unread
In a high-stress work environment, prioritize relationships
Source
在高压工作环境中，作者指出，当工作压力大到让人想辞职时，人际关系变得尤为重要。 每个人都承受着压力，不要把负面情绪发泄到他人身上。 即使你认为工作可有可无，但离职后，良好的人脉关系对获得推荐至关重要。 记住，你可能永远是那个“说狠话”的人。 因此，优先考虑人际关系，关注他人感受，不要让“职业环境”破坏人际关系。
Mark as Read
Mark as Unread
Elixir 库的 Lua v0.1.0 版本已发布，允许在 BEAM VM 上执行沙盒化的 Lua 程序。该库基于 Luerl，一个用 Erlang 实现的 Lua 解析器、编译器和运行时。它扩展了 Luerl 的功能，改进了错误消息，并提供了 Elixir APIs 扩展 Lua 的 `deflua` 宏和编译时语法评估的 `~LUA` sigil。该库最初是 TV Labs 的一个项目，用于自动化测试。未来计划改进 Luerl，包括错误消息、堆栈跟踪、文档和沙盒功能，并考虑将 Elixir Lua 库合并到 Luerl 中。
Mark as Read
Mark as Unread
Tower Defense: Cache Control
Source
文章探讨了网站缓存控制策略，以应对流量压力和控制成本。作者将缓存策略分为三个难度等级：静态网站、数据驱动的动态网站和经过身份验证的每个用户的网站。对于静态网站，主要利用内容哈希、CDN等技术。对于动态网站，使用短期缓存控制标头和后端缓存（内存、单例化、磁盘缓存）来提高性能。对于每个用户的网站，缓存策略更具挑战性，需要考虑用户浏览器和源服务器之间的协作，以及客户端数据处理。文章强调了缓存对网站性能和成本管理的重要性。
Mark as Read
Mark as Unread
As US vuln-tracking falters, EU enters with its own security bug database
Source
由于美国漏洞跟踪机制面临预算削减、信息披露延迟等问题，欧盟推出了欧盟漏洞数据库 (EUVD)。该数据库旨在简化关键安全漏洞的监控，提供透明的漏洞管理，并成为查找缓解措施的有效信息来源。EUVD 与美国的 National Vulnerability Database 类似，但更新更及时，并突出显示关键和被利用的漏洞。ENISA 同时也是 CVE Numbering Authority，但对美国 CVE 计划的未来发展尚不明确。
Mark as Read
Mark as Unread
We can no longer run Microsoft Store on 1809/LTSC 2019
Source
该文章指出，适用于 Windows LTSC 版本的 Microsoft Store 在 LTSC 2019 上已不再可用。虽然该软件包支持 LTSC 2021 和 LTSC 2024 版本，但在 LTSC 2019 上，应用商店会提示更新系统才能使用，导致应用无法正常安装。文章提供了卸载 LTSC 2019 上 Microsoft Store 的方法，并建议在其他兼容版本上安装后，在 Microsoft Store 设置中进行更新以获得最佳体验。
Mark as Read
Mark as Unread
Lawful kinematics link eye movements to the limits of high-speed perception
Source
该文章研究了眼球运动的运动学规律与高速感知极限的关系。研究发现，人类视觉系统在感知高速运动刺激时，会考虑眼球扫视的运动学特性及其带来的视觉后果。通过实验和计算模型，文章表明，视觉系统会根据扫视的运动学规律来调整对高速运动的感知，从而保持对高速物体运动的视觉敏感度。
Mark as Read
Mark as Unread
Archisuits (2005-2006) 项目设计了四套休闲运动服，灵感来自洛杉矶的特定建筑结构。这些服装捕捉了建筑的负空间，旨在让穿着者融入原本排斥他们的环境。项目批判建筑作为一种控制手段，通过空间设计来规范种族、阶级和性别。Archisuits 旨在通过穿着者的存在，表达对这种控制的反抗，并强调在这些环境中舒适自在的可能性。
Mark as Read
Mark as Unread
Fast machines, slow machines (2023)
Source
文章探讨了现代计算机界面在性能上的倒退现象。作者通过对比新旧电脑打开应用程序的速度，指出即使硬件大幅提升，应用程序的启动速度却变慢。文章认为，这并非由于图形效果或分辨率，而是由于开发人员更注重开发效率而非性能，导致了 Electron 等框架的广泛使用，以及托管语言在启动速度上的劣势。文章最后悲观地预测，硬件带来的性能提升会被软件的“臃肿”蚕食，呼吁关注并解决这一问题。
Mark as Read
Mark as Unread
Taking a look at the next generation of telescopes
Source
文章聚焦于下一代大型地面光学望远镜。重点介绍了正在智利建造的 Extremely Large Telescope，其主镜直径达39米，远超现有望远镜。文章还提及了 Giant Magellan Telescope 和 Thirty Meter Telescope 这两个超大型望远镜项目，并强调了这些新设施投入使用后，将对人类观测宇宙带来革命性影响。
Mark as Read
Mark as Unread
NASA Stennis Releases First Open-Source Software
Source
NASA Stennis Space Center 发布了首个开源软件，一个同行评审工具，旨在提高系统应用程序的创建效率，尤其针对其测试工作。该工具基于 NASA Data Acquisition System (NDAS) 的开发经验，简化协作审查流程，帮助开发人员构建更有效的软件。该工具与 National Instruments 的 LabVIEW 配合使用，改进了图形化编程语言的审查流程，提高效率，并促进更有效的讨论。NASA 希望通过开源，让社区改进和完善该工具，最终制造更强大的软件。该工具可在 NASA GitHub 上获取。
Mark as Read
Mark as Unread
这篇文章展示了互联网发展早期的重要“文物”，包括：1977年的ARPANET地图、第一封垃圾邮件、第一个表情符号、黑客词典、Usenet新闻组、第一个MP3、Morris蠕虫病毒、连锁信、IRC、最早的LOL、AOL拨号上网、第一个网站、早期网络照片、第一个摄像头、Severe Tire Damage乐队、关于互联网的讨论、PizzaNet、Justin's Links、Yahoo!、白宫页面、Geocities、Fogcam、第一个Amazon订单、Ebay AuctionWeb、Space Jam、跳舞的婴儿、麦当劳页面、苹果主页、Beanie Babies、Heaven's Gate网站、第一套表情符号、Y2K问题、Ask Jeeves、Hampster Dance、Google主页、Napster、Netflix主页、Zombo.com、Ishkur的电子音乐指南、Homestar Runner、维基百科、直升机游戏、Friendster、MySpace Tom、The Facebook、Club Penguin、You Wouldn't Steal a Car、Numa Numa、百万美元主页、Me at the Zoo、Reddit主页、第一条推文、Line Rider、The Impossible Quiz等。
Mark as Read
Mark as Unread
Conspiracy Theorists Can Be Deprogrammed
Source
研究表明，人工智能（AI）在改变阴谋论信徒的想法方面具有潜力。麻省理工学院和康奈尔大学的研究发现，与 ChatGPT4-Turbo 交流后，参与者对阴谋论的相信程度有所降低。AI 通过提供反事实证据和苏格拉底式提问，以友好而非对抗的方式进行对话。即使明确告知参与者 AI 的说服意图，效果依然显著，表明人们更倾向于接受信息本身，而非仅仅因为信任 AI。然而，改变信仰并非易事，信仰与个人身份认同、社区联系密切。研究强调，提供充分证据可以促使信徒修改观点，AI 可作为对抗虚假信息的有效工具。
Mark as Read
Mark as Unread
One hundred and one rules of effective living
Source
这篇文章似乎无法直接获取内容。它显示了网站正在进行安全验证，以确认访问者是真人。文章内容被 Cloudflare 保护，需要通过验证才能访问。
Mark as Read
Mark as Unread
Multiple Security Issues in GNU Screen
Source
这篇文章指出 `GNU Screen` 存在多个安全问题，主要影响 5.0.0 版本，尤其是以 setuid-root 方式安装的系统。文章详细分析了几个漏洞，包括本地 root 漏洞、TTY 劫持、PTY 权限设置不当、信息泄露、信号发送时的竞争条件以及 `strncpy()` 使用错误导致的崩溃。文章还提供了针对这些问题的补丁，并提出了改进 `Screen` 安全性的建议。
Mark as Read
Mark as Unread
An accessibility update – GTK Development Blog
Source
GTK 开发博客更新了可访问性（a11y）方面的内容。文章介绍了GTK 4.18 中合并的 [AccessKit](https://accesskit.dev/) 后端，首次实现了 Windows 和 macOS 上的可访问性，并支持在 Linux 上使用。此外，Wayland a11y 支持中缺失的特殊键盘快捷键问题得到了解决。GNOME Web 浏览器现在完全可访问且沙盒化。文章还推荐了新的可访问性工具 [Elevado](https://gitlab.gnome.org/feaneron/elevado/)，并列举了 GTK 及相关库中许多小的改进，例如文件选择器、列表框、GTK 检查器等。
Mark as Read
Mark as Unread
ML-Enhanced Code Completion Improves Developer Productivity (2022)
Source
文章介绍了 Google 结合机器学习（ML）和语义引擎（SE）的代码补全技术，旨在提升开发者生产力。通过使用 Transformer 模型进行代码预测，并结合 SE 进行语义检查和建议排序，ML 补全能提供更长、更准确的代码建议。实验表明，这种混合方法使编码迭代时间缩短了 6%，且超过 3% 的新代码由 ML 补全生成。文章还探讨了如何通过 ML 重新排序 SE 建议、检查语义正确性以及提供多行补全，最终提升了开发者的代码编写效率。
Mark as Read
Mark as Unread
Git Bug: Distributed, Offline-First Bug Tracker Embedded in Git, with Bridges
Source
`git-bug` 是一个嵌入在 Git 中的分布式、离线优先的 Bug 追踪器。它允许用户在 Git 仓库中管理 issue、评论等，并支持离线工作和同步。主要特性包括原生 Git 存储、分布式版本控制、快速性能、第三方 Bridge 同步（如 GitHub 和 GitLab）以及灵活的界面。该项目采用 GPL-3.0 许可证，拥有活跃的社区，并接受赞助。
Mark as Read
Mark as Unread
What were the MS-DOS programs that the moricons.dll icons were intended for?
Source
这篇文章探讨了 Windows 3.1 中 `moricons.dll` 文件里的图标最初是为哪些 MS-DOS 程序设计的。文章列出了 `moricons.dll` 中的图标及其对应的程序，这些图标通过 `APPS.INF` 文件与可执行文件关联。涵盖了 MS-DOS 提示符、Microsoft Basic Compiler、Microsoft C Compiler、Flight Simulator、Learning MS-DOS 等多种程序。
Mark as Read
Mark as Unread
Changes since congestion pricing started in New York
Source
纽约拥堵费 (congestion pricing) 实施后，曼哈顿拥堵区车辆减少，交通速度加快，高峰时段改善明显。公共交通乘客量增加，出租车行程增加，车祸和噪音投诉减少。虽然污染和低收入通勤者的影响尚不明确，但公众对该政策的接受度似乎有所提高。该政策旨在改善交通，并为交通升级提供资金。
Mark as Read
Mark as Unread
The world could run on older hardware if software optimization was a priority
Source
文章指出，如果软件优化成为首要任务，世界或许能在旧硬件上流畅运行。解决 x.com 上的问题，建议禁用可能导致冲突的隐私扩展程序。
Mark as Read
Mark as Unread
“Rolling highway” 是一种铁路运输公路卡车的联合运输方式，即 Ro-La 列车，是驮背运输的一种。文章介绍了这种运输方式的技术挑战，尤其是在欧洲，由于限界高度限制，需要特殊设计。文章还列举了奥地利、印度、瑞士、意大利和法国等地的应用案例，展示了其在过境线路上的重要性，以及不同国家采用的运营模式和技术。
Mark as Read
Mark as Unread
A5是一个全球等面积、毫米级精度的地理空间索引系统。它基于五边形单元，提供32个分辨率级别，最小单元小于30mm²。A5使用TypeScript实现，可作为library使用，优势在于统一单元格大小、极高分辨率和全球范围内单元格区域的最小失真。它使用十二面体的五边形平铺，通过投影到球体上实现。该系统可用于空间数据分析和分组，例如计算相关性和分析点数据的空间分布。
Mark as Read
Mark as Unread
Working on complex systems: What I learned working at Google
Source
文章探讨了在 Google 工作的复杂系统实战经验。核心观点是区分“复杂”和“复杂”系统，前者可预测，后者独一无二，需要适应性解决方案。文章列举了复杂系统的五大特征：涌现行为、延迟后果、局部与全局优化、滞后效应和非线性。为了驾驭复杂系统，文章提出了可逆性、跳出即时指标、创新、受控发布、可观测性、模拟、机器学习和强大的团队协作等策略。文章强调，识别系统是“复杂”还是“复杂”至关重要，并鼓励读者在实践中灵活运用这些方法。
Mark as Read
Mark as Unread
Self-hostable webhook tester in go
Source
Webhook Tester 是一个基于 Go 构建的自托管工具，用于测试和调试 Webhook。它允许开发者创建临时的 HTTP endpoint，实时捕获并显示来自任何服务的请求，包括 headers、body 和参数。用户无需编写后端代码即可查看请求详情，并可重放或转发请求。注册免费账号可保留请求日志并启用高级功能。该工具支持定制响应、模拟延迟，并提供 GitHub 资源和法律声明。
Mark as Read
Mark as Unread
Lightweight open source reCaptcha alternative
Source
ALTCHA 是一个轻量级、开源的 reCAPTCHA 替代方案，采用工作量证明机制 (PoW) 保护网站免受垃圾邮件和滥用。它自托管，符合 GDPR、WCAG 2.2 AA 和 EAA 标准，注重用户隐私。ALTCHA 提供无缝的用户体验，无 cookie，包体积小，并提供 SaaS 选项。它支持多种前端框架和后端语言，并提供垃圾邮件过滤功能。用户可以通过 npm 或 CDN 快速集成，使用 `
` 标签。ALTCHA 还支持插件和自定义配置，并提供事件监听。
Mark as Read
Mark as Unread
LPython: Novel, Fast, Retargetable Python Compiler (2023)
Source
LPython 是一个全新的、快速且可重定向的 Python 编译器，发布于 2023 年。它能将带有类型注解的 Python 代码编译成优化的机器码，支持 LLVM、C、C++、WASM 等多种后端，并提供 JIT 编译和与 CPython 的互操作性。文章介绍了 LPython 的功能、编译流程、机器无关优化以及 AoT 和 JIT 编译的特性。通过基准测试，LPython 在 JIT 编译方面与 Numba 进行了性能对比，展示了其在数组求和、逐点乘法和排序等任务上的表现。
Mark as Read
Mark as Unread
A programming language made for me
Source
这篇文章介绍了作者对编程语言 Odin 的设计理念的理解。作者认为 Odin 语言的设计非常契合其个人编程习惯，尤其体现在对 C 语言最佳实践的借鉴上。文章重点讨论了 Odin 在内存管理（自定义、临时、追踪分配器）、零初始化、结构体初始化、缓存友好编程等方面的特性，这些特性都与作者在 C 语言开发中的经验相符。作者强调 Odin 的简洁性，并推荐读者通过其书籍了解更多细节。
Mark as Read
Mark as Unread
The Fastest Way yet to Color Graphs
Source
文章介绍了研究人员开发的一种为 graph 的边着色的新算法，其速度接近理论上的最快速度。该算法通过“启动” graph 的方式，利用随机化技术，实现了接近线性的运行时间，仅依赖于边的数量。这一突破性的成果解决了长期存在的难题，并可能在未来带来实际应用。虽然目前尚不清楚是否会转化为实际加速，但研究人员仍在探索进一步优化，例如消除随机性和对数项。
Mark as Read
Mark as Unread
文章是关于对新浏览器 Dia 的早期体验评测。Dia 由 BCNY 推出，该公司此前以 Arc 浏览器闻名。Dia 是一款 AI 原生浏览器，核心功能包括：智能路由搜索（将问题导向聊天界面）、简洁的 URL 栏。文章指出，Dia 的侧边栏占用屏幕空间过大，影响网站可用性。尽管内置广告拦截器表现出色，但作者认为 Dia 缺乏 Arc 带来的“哇”的体验。文章最后分析了 Dia 的未来发展，认为 BCNY 可能继续改进 Arc，或者 Dia 在 AI 浏览器领域取得突破。
Mark as Read
Mark as Unread
Anti-Personnel Computing (2023)
Source
文章提出了一个新词“反人个体的计算 (Anti-personnel computing)”，定义为利用计算设备损害用户利益，使第三方受益的行为。文章同时定义了“反人个体的计算机 (Anti-personnel computer)”，指主要用于此目的的计算设备。该概念源于反步兵地雷、个人计算和个人电脑。
Mark as Read
Mark as Unread
Trial by Fire: The crash of Aeroflot flight 1492
Source
2019年俄罗斯航空1492号航班坠毁事故始于雷暴天气，飞机遭遇雷击导致电传操纵系统故障，随后机组尝试返航，但着陆时多次撞击跑道最终解体。文章分析了事故原因，包括机组对恶劣天气的忽视、未采取规避措施，以及苏霍伊Superjet 100型飞机的设计和技术特点。文章还探讨了该飞机的电传操纵系统，以及俄罗斯航空工业在西方技术支持下的发展历程。
Mark as Read
Mark as Unread
Persuasion methods for engineering managers
Source
文章总结了工程经理常用的五种说服方法：根回し法（提前沟通）、诱饵定价法（提供选项引导选择）、逆向心理法（反向建议激发兴趣）、LMDTFY 法（反向授权，沉默即同意）和精心设计的偶然性方法（制造机会）。这些方法分别适用于不同的场景，帮助经理推动项目、获取资源、激励团队、达成共识。
Mark as Read
Mark as Unread
GKrellM 是一款单进程系统监控工具，基于 Gtk+，支持主题定制，可与窗口管理器风格统一。它提供多种内置监控功能，包括 CPU、温度、风扇、磁盘、网络、内存、邮箱等，并支持插件扩展。GKrellM 可以在 Linux、FreeBSD、macOS 和 Windows 等多个平台上运行，并提供软件包下载和源代码。用户可以通过邮件列表、Matrix 聊天室、IRC 频道等方式获取支持和反馈。
Mark as Read
Mark as Unread
GM's new turbo engine rewrites the rules of torque control-and locks out tuners
Source
通用汽车 (GM) 的一项新涡轮引擎专利，通过预测算法和实时燃烧分析，旨在减少甚至消除涡轮迟滞，实现更精准的扭矩控制。该技术超越了传统的反应式扭矩管理，能够预判驾驶员意图并调整扭矩输出。这使得 GM 在性能上占据优势，并可能限制售后市场改装。与 MetaECU 等改装方案相比，GM 的系统在硬件层面进行重新设计，更难以被破解。GM 正在通过加密 ECU 系统等方式限制改装，此举可能引发改装爱好者与汽车制造商之间的“扭矩战争”，并可能影响未来 AI 驱动的汽车发展。
Mark as Read
Mark as Unread
Firefox Moves to GitHub
Source
文章宣布了 Firefox 浏览器已迁移至 GitHub。文章展示了 GitHub 的各项功能，如 Copilot、Advanced Security、Actions 等，并提供了 GitHub 的产品、解决方案、资源等链接。同时，文章也提供了 Firefox 源代码仓库的链接，包括代码、提交历史、目录结构、许可证等信息，以及贡献者和使用的编程语言统计。
Mark as Read
Mark as Unread
TransMLA: Multi-head latent attention is all you need
Source
文章介绍了 TransMLA，一种基于 Multi-head Latent Attention (MLA) 的后训练方法，旨在解决大型语言模型（LLMs）的通信瓶颈。MLA 通过压缩的隐式 KV 状态减少 KV 缓存大小，从而加速推理。研究证明了 Group Query Attention (GQA) 可以用 MLA 表示，但反之则不行。TransMLA 将基于 GQA 的预训练模型（如 LLaMA, Qwen, Mixtral）转换为 MLA 模型，转换后可进行额外训练以提高表达性，且不增加 KV 缓存大小。作者计划开发 MLA 专属的推理加速技术，以保持低延迟，实现更高效的 Deepseek R1 蒸馏。
Mark as Read
Mark as Unread
Fastvlm: Efficient vision encoding for vision language models
Source
FastVLM 提出了一种高效的视觉编码方法，名为 FastViTHD，用于视觉语言模型。该方法通过减少 tokens 数量和编码时间，提升了性能。FastVLM 在速度上显著优于 LLaVA-OneVision-0.5B，并超越了 Cambrian-1-8B 等模型。文章提供了模型、使用说明和在 Apple Silicon 及 Apple 设备上进行推理的指南。
Mark as Read
Mark as Unread
FedRAMP 20x – One Month in and Moving Fast
Source
文章回顾了 FedRAMP 20x 计划启动一个月以来的进展。该计划旨在加速 FedRAMP 现代化，强调安全而非合规。主要成果包括：授权了大量新的云服务，发布了新的 FedRAMP Ready 称号，并减少了审查积压。文章还总结了社区参与情况，包括与行业团体、国会和联邦机构的沟通。此外，文章还介绍了标准改进、AI 工具的应用以及即将推出的 Phase One 试点计划。最后，文章鼓励公众参与 RFC 讨论和试点项目。
Mark as Read
Mark as Unread
Comma 3X: Initial Impressions
Source
作者分享了对购买的 Comma 3X 的初步体验。他购买该设备是为了缓解驾驶焦虑和眩晕，并对其安装和使用进行了描述。文章重点介绍了 Comma 3X 作为车道保持辅助系统的旁路安装，以及其与车辆 CAN 总线的交互。作者对该设备在横向控制方面的表现表示满意，但对纵向控制和用户界面的一些细节提出了批评。总的来说，他认为 Comma 3X 作为一个驾驶员辅助系统表现出色，并对其开源特性和未来改进充满期待。
Mark as Read
Mark as Unread
Understanding LucasArts' iMUSE System
Source
这篇文章展示了关于**iMUSE**系统的相关信息，该系统由**LucasArts**开发。文章提供了指向**LabMidi**项目的链接，该项目托管在**GitHub**上，由**meshula**维护。链接指向了项目的代码、问题、拉取请求、操作、项目、维基、安全性和洞察等不同部分，方便用户了解和参与项目。
Mark as Read
Mark as Unread
Wtfis: Passive hostname, domain and IP lookup tool for non-robots
Source
**wtfis** 是一个面向人类的被动式域名、IP 和主机名查询工具。它使用多种 OSINT 服务收集信息，并以易于阅读和理解的方式呈现结果。该工具支持从命令行安装和运行，并可与 Docker 结合使用。它集成了 Virustotal、IP2Whois、IPWhois、Shodan、Greynoise、URLhaus 和 AbuseIPDB 等数据源，用户可以通过设置环境变量或配置文件来配置 API 密钥。
Mark as Read
Mark as Unread
Hegel 2.0: The imaginary history of ternary computing (2018)
Source
文章探讨了冷战时期控制论与黑格尔哲学的交汇。Warren McCulloch 试图将神经网络与黑格尔辩证法结合，以超越二元论。文章重点介绍了三进制计算机 SETUN 的虚构历史，以及 Gotthard Günther 试图构建超经典逻辑，将黑格尔思想应用于计算机科学。Günther 认为，科幻小说和多值逻辑是理解数字世界的关键，而苏联的辩证唯物主义虽然有形而上学，但缺乏多值性。文章最终强调了意义与工程不可分割，以及从黑格尔视角理解数字文化的必要性。
Mark as Read
Mark as Unread
Why National Labs are investing (heavily) in AI
Source
无法总结。由于提供的文本是“抱歉，找不到该页面”，无法获取文章内容，因此无法总结文章的主要内容。
Mark as Read
Mark as Unread
Build your own Siri locally and on-device
Source
这篇文章描述了在本地和设备端构建类似 Siri 的个人语音助手的技术实践。文章的核心内容似乎被 Cloudflare 的安全验证机制所阻断，无法直接访问。文章需要通过 Cloudflare 的安全检查才能继续阅读，这表明文章可能涉及技术细节，例如如何绕过安全限制，或者在本地环境中实现语音识别和自然语言处理等功能。
Mark as Read
Mark as Unread
Show HN: Lumoar – Free SOC 2 tool for SaaS startups
Source
Lumoar 是一款专为 SaaS 初创公司设计的免费 SOC 2 合规工具。它提供引导式控制清单、策略模板生成器、证据管理和团队协作等核心功能，帮助初创公司快速准备审计。用户可以免费使用这些基础功能，无需信用卡。未来，Lumoar 将推出自动化证据收集、控制监控和集成等高级功能，用户可加入等待列表获取更新。
Mark as Read
Mark as Unread
Can You Really Trust That Permission Pop-Up on macOS? (CVE-2025-31250)
Source
文章揭示了macOS系统中的一个安全漏洞（CVE-2025-31250），该漏洞允许恶意程序伪造权限弹窗，诱导用户授予权限给错误的应用程序。攻击者可以利用此漏洞，让用户误以为授权给某个应用，实际却影响到另一个应用，甚至可能导致用户Home目录被篡改。文章详细介绍了漏洞原理、利用方式，并指出Apple已在macOS Sequoia 15.5及更高版本中修复了该问题。
Mark as Read
Mark as Unread
Toward a Sparse and Interpretable Audio Codec
Source
文章介绍了一种新型音频编解码器，旨在实现稀疏且可解释的音频表示。区别于传统的基于块编码的编解码器（如 Ogg Vorbis、MP3、Encodec），该编解码器将音频表示为一组稀疏的事件及其发生时间。通过模拟攻击、乐器演奏和房间共振等物理现象，该方法希望能够生成一种更直观、更易于理解的音频表示方式。
Mark as Read
Mark as Unread
HealthBench 是一个评估 AI 系统在健康领域能力的基准，由与 262 位医生的合作构建，包含 5000 个真实健康对话。该基准旨在衡量 AI 在健康场景中的表现，确保其有用且安全。HealthBench 包含医生自定义的评分标准，用于评估模型响应，并为未来的改进设定了新的基线。文章还提供了数据集描述和评估示例。
Mark as Read
Mark as Unread
Legion Health (YC S21) Is Hiring Founding Engineers to Fix Mental Health with AI
Source
Legion Health (YC S21) 正在招聘创始工程师，利用 AI 重塑心理健康护理。公司构建 AI 原生运营层，解决精神病学运营中的痛点，如日程安排、文档记录等。 工程师将参与构建核心事件驱动后端、LLM agent 基础设施、人 + AI 运营 UX 等，并拥有端到端系统。 候选人需要具备系统思维、快速迭代能力，并精通 LLM 或有快速学习能力。 公司已获得融资，拥有实际运营的诊所，并提供直接影响和技术深度。
Mark as Read
Mark as Unread
Byte Latent Transformer: Patches Scale Better Than Tokens
Source
该研究提出了 Byte Latent Transformer (BLT)，一种新型字节级大型语言模型架构。BLT 采用动态大小的 patches 作为计算单元，基于字节熵进行分割，从而在数据复杂性高的地方分配更多计算资源。研究表明，BLT 在推理效率和鲁棒性方面有所提升，且在扩展性方面优于基于 tokenization 的模型。BLT 通过动态选择长 patches 提高了训练和推理效率，并在长尾泛化方面表现出色。研究结果证明了在原始字节上训练模型的可行性，且在固定推理成本下，BLT 通过增加 patch 和模型大小，展现出更好的扩展潜力。
Mark as Read
Mark as Unread
I hacked a dating app (and how not to treat a security researcher)
Source
文章揭示了约会App Cerca的安全漏洞。研究者发现该App存在OTP登录缺陷，导致用户账号易被盗取。通过API端点枚举，获取了大量用户个人信息，包括护照信息、性取向和私密消息。研究者向Cerca团队报告了漏洞，但未收到修复和用户通知的反馈。文章强调了初创公司重视安全的重要性，并指出此类漏洞可能导致严重的隐私侵犯和潜在的现实危害。
Mark as Read
Mark as Unread
The Internet 1997 – 2021
Source
文章展示了从1997年到2021年互联网的演进可视化过程，基于 University of Oregon 的 RouteViews 项目的路由表数据。通过图像和视频，呈现了互联网的增长和网络结构的变化。文章还提供了2003年和2010年互联网地图的详细信息，包括使用的绘图引擎、颜色编码和数据来源。这些地图展示了互联网的复杂性和全球分布，并标明了版权信息。
Mark as Read
Mark as Unread
文章哀悼了 USENIX ATC 会议的终结。作者回顾了会议的历史，认为其曾是分享系统研究想法的重要平台。然而，随着时间推移，会议变得过度学术化，与行业脱节。作者认为，开源软件的兴起改变了信息传播方式，而会议模式的衰落也与在线会议的兴起有关。尽管如此，USENIX ATC 仍为一些大胆的想法提供了重要论坛，其终结令人惋惜。
Mark as Read
Mark as Unread
How to title your blog post or whatever
Source
文章探讨了如何为博客文章或其他内容创作标题。核心观点是将标题视为“分类器”，旨在吸引潜在读者，避免吸引不喜欢该内容的人。文章建议根据目标读者群体选择标题，考虑使用特定术语或风格，避免模仿名人标题。同时，文章也讨论了标题的平衡性，以及标题与内容创作的关系，强调了标题的重要性，并分享了一些标题创作的经验和案例。
Mark as Read
Mark as Unread
Show HN: Airweave – Let agents search any app
Source
Airweave 是一款让 Agent 能够语义搜索任何应用程序的工具。它兼容 MCP，并能连接各种应用程序、数据库和 API，将内容转化为 Agent 可用的知识。用户可以通过简单的步骤快速开始使用，并支持 Asana、Calendly、Chat-gpt 等多种集成。
Mark as Read
Mark as Unread
文章记录了一次对伦敦 Barbican 建筑群的参观体验。作者在参观了居民提供的建筑之旅后，分享了对该建筑群的观察和感受。Barbican 建成于 1965-1976 年间，设计独特，包含住宅、地下停车场、罗马遗址、犹太墓地等。文章还提到了建筑的迷宫般设计、居民专属通道、中央供暖系统等细节，并推荐了相关书籍，展现了 Barbican 丰富的历史和文化内涵。
Mark as Read
Mark as Unread
Embeddings Are Underrated
Source
文章探讨了被低估的embeddings技术在技术写作中的潜力。Embeddings能以数学方式比较文本，提供前所未有的文本关联能力。文章介绍了embeddings的基本概念，包括输入输出、生成方法（例如使用Gemini），以及如何通过比较embeddings来找到相关页面。作者通过实验展示了embeddings在文档站点中实现相关页面推荐的可行性，并提供了代码示例和结果。
Mark as Read
Mark as Unread
OpenEoX to Standardize End-of-Life (EOL) and End-of-Support (EOS) Information
Source
OpenEoX 是一项旨在统一软件和硬件产品生命周期结束 (EOL) 和支持结束 (EOS) 信息交换的倡议。它为供应商和开源维护者提供透明、高效的框架，解决行业内产品生命周期状态表示不一致的问题。OpenEoX 具有机器可读特性，便于自动化和集成，并有助于降低网络安全风险。通过标准化 EOL 和 EOS 信息，OpenEoX 简化了产品管理，增强客户信心，并促进平稳过渡，最终改善漏洞管理和整体安全态势。
Mark as Read
Mark as Unread
Demonstrably Secure Software Supply Chains with Nix
Source
文章介绍了如何使用 Nix 构建可验证安全的软件供应链。通过 Nix 的可重现构建、固定输出派生和离线源闭包功能，可以证明软件的来源和完整性，满足政府机构的安全审计要求。文章详细阐述了如何从源代码构建系统镜像，并导出所有依赖的源代码，从而实现完全离线的重建，确保供应链的透明性和可验证性。这使得开发人员可以使用最新的工具，同时简化合规流程，降低成本。
Mark as Read
Mark as Unread
The great displacement is already well underway?
Source
文章探讨了大规模迁移是否已经开始。作者认为，一些迹象表明，从传统技术栈向新技术的转变正在加速。文章可能涉及了对现有技术生态系统的评估，以及对未来技术趋势的预测。虽然具体细节未给出，但核心观点是：技术变革正在发生，并且可能比我们想象的更快。
Mark as Read
Mark as Unread
Reviving a Modular Cargo Bike Design from the 1930s
Source
文章介绍了法国公司 Cyclauto 重新设计的 Cargo Bike，灵感来源于1930年代的设计。与传统设计不同，骑行者位于前轮上方，通过直接踩踏驱动，无需链条。Cyclauto 的现代版本采用模块化设计，载货部分可拆卸，方便更换不同类型的拖车，实现多种用途，如载货、载人或作为商业装置。这种设计还具备可拆卸运输、更小转弯半径等优势。虽然已在自行车展上亮相，但尚未公布生产日期。
Mark as Read
Mark as Unread
Tailscale 4via6 – Connect Edge Deployments at Scale
Source
文章介绍了 Tailscale 的 4via6 子网路由功能，旨在解决边缘部署中复杂的网络连接问题，如 IP 地址重叠、NAT 和防火墙限制。4via6 提供了站点到站点 VPN 的替代方案，允许安全连接数百甚至数千个网络，无需管理 IP 地址和端口。它特别适用于机器人集群、边缘设备等场景，提供了一种简单、全网络的访问模式，并支持跨云环境的连接。用户可以通过 Tailscale 快速连接设备，实现安全、低延迟的访问。
Mark as Read
Mark as Unread
Ruby 3.5 Feature: Namespace on read
Source
Ruby 3.5 引入“读取时的命名空间”新特性，允许在加载时定义虚拟的顶层命名空间，隔离库依赖，避免命名冲突和全局共享。该特性默认禁用，通过环境变量开启。核心概念是创建命名空间，在其中`require/load`应用和库，实现对命名空间的分隔控制。该特性旨在解决库间命名冲突、意外共享模块对象以及支持多版本 gem 的问题。
Mark as Read
Mark as Unread
Gig Companies Violate Workers Rights
Source
文章指出，美国的 Gig 公司存在侵犯工人权益的行为。文章提供了多语言版本，并提供了关于国家、话题、报告、视频、行动等方面的导航链接，以及捐款渠道。
Mark as Read
Mark as Unread
The FTC puts off enforcing its 'click-to-cancel' rule
Source
FTC 将“click-to-cancel”规则的执行日期推迟至 7 月 14 日。该规则旨在确保取消订阅与注册订阅一样便捷。FTC 解释推迟是由于需要重新评估合规负担。此前，该规则的最初截止日期已有所延期。FTC 强调，7 月 14 日起将全面执行该规则，但保留根据执行情况修改规则的可能。
Mark as Read
Mark as Unread
Show HN: CLI that spots fake GitHub stars, risky dependencies and licence traps
Source
该文章介绍了一款名为 StarGuard 的 CLI 工具，用于评估 GitHub 仓库的信任度。它能检测虚假 Star、依赖劫持、许可风险等问题，帮助 CTO、安全团队和投资者进行开源尽职调查。StarGuard 通过分析 Stars、Dependencies、Licences、Maintainers 和 Code Signals 等方面，生成信任评分，并提供 JSON、Markdown 等多种输出格式。该工具基于 Python，支持 GitHub API，并提供快速扫描和详细报告功能。
Mark as Read
Mark as Unread
CrowdStrike CEO cuts his voting power by 92% with unexplained gifts
Source
[CrowdStrike Holdings Inc.] 首席执行官 George Kurtz 通过赠与价值超10亿美元的公司股票给未公开接收方，显著降低了其对公司的投票权。 这次赠与是 Kurtz 一系列交易的一部分，这些交易已将他在 CrowdStrike 的投票权从 2022 年的 31% 降至 2.5%。 这种行为对于科技公司创始人来说较为罕见，引发关注。
Mark as Read
Mark as Unread
University of Texas-led team solves a big problem for fusion energy
Source
德克萨斯大学团队取得突破，加速聚变能源发展。研究人员找到了一种新方法，能以快10倍的速度预测聚变反应堆内高能粒子的运动，且准确性与传统方法相当。该方法解决了恒星器（stellarator）设计中的关键难题，有助于工程师设计更有效的磁约束系统，防止高能粒子泄漏，从而实现聚变反应。新方法也可能应用于托卡马克（tokamak）等其他聚变反应堆设计，解决失控电子问题。
Mark as Read
Mark as Unread
Spade Hardware Description Language
Source
Spade 是一种受现代软件语言启发的硬件描述语言，旨在简化硬件设计。它拥有流水线支持、强大的类型系统（包括枚举和模式匹配）、友好的编译器和错误信息，以及用于硬件构造的抽象。Spade 允许开发者使用类似软件编程的风格进行硬件设计，并提供工具链，例如测试框架和构建工具。该语言目前处于早期开发阶段，由瑞典 Linköping University 开放源代码项目开发，并采用 EUPL-1.2、MIT 和 Apache 许可协议。
Mark as Read
Mark as Unread
Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco
Source
Spark AI (YC W24) 在旧金山招聘全栈工程师，薪资范围15万-20万美元，要求3年以上经验。公司致力于利用AI驱动流程，帮助清洁能源开发商建设太阳能发电厂和电池工厂。该职位需要参与核心API、AI基础设施和数据管道的设计与构建，以及前端和后端代码的编写。公司使用 TypeScript, NextJS, NodeJS, 和 Postgres。 团队由 Tesla、Brex 等公司成员组成，并获得 AI Grant 等投资。
Mark as Read
Mark as Unread
A community-led fork of Organic Maps
Source
文章介绍了由社区主导的 Organic Maps Fork 项目——CoMaps。该项目秉持透明、社区决策、非营利、开源和注重隐私的原则。目前，项目正在快速推进，专注于构建基础和技术设置，并启动了项目名称投票。文章呼吁社区参与，包括贡献代码、参与治理、传播消息、构建网站和捐款。同时，文章更新了与 Organic Maps 股东的谈判进展，指出谈判未取得实质性进展，Organic Maps 的未来仍不确定。
Mark as Read
Mark as Unread
Implicit UVs: Real-time semi-global parameterization of implicit surfaces [pdf]
Source
Implicit UVs 是一种为隐式曲面生成实时半全局参数化的技术，无需显式网格化。它允许直接在隐式几何体上应用纹理等基于 UV 的效果，适用于需要快速渲染复杂几何体的场景。该方法创建局部一致的参数化，并平滑连接局部区域，避免了全局参数化中常见的变形问题。总而言之，Implicit UVs 提供了一种高效的方式，为隐式曲面生成高质量、实时的 UV 坐标。
Mark as Read
Mark as Unread
US Copyright Office found AI companies breach copyright. Its boss was fired
Source
文章讲述了美国版权局发现AI公司可能侵犯版权，并指出其行为超出了合理使用范围。版权局局长在报告发布后次日被解雇。有人认为此举与Elon Musk有关，也可能是因为白宫对该机构关注DEI（多元化、公平和包容性）不满。报告指出，AI公司使用受版权保护材料进行商业用途，可能构成侵权。
Mark as Read
Mark as Unread
Universe expected to decay in 10⁷⁸ years, much sooner than previously thought
Source
一项最新研究表明，宇宙衰变速度比先前认为的更快。荷兰科学家通过计算 Hawking 辐射，得出结论：恒星残骸的消亡大约需要 10⁷⁸ 年，远短于之前估计的 10¹¹⁰⁰ 年。研究还发现，中子星和黑洞的衰变时间相同，约为 10⁶⁷ 年。此外，研究人员还估算了月球和人类的蒸发时间，约为 10⁹⁰ 年。这项研究结合了天体物理学、quantum physics 和数学，旨在更好地理解 Hawking 辐射。
Mark as Read
Mark as Unread
Armbian Updates: OMV support, boot improvents, Rockchip optimizations
Source
Armbian发布更新，重点在于提升用户体验、优化启动引导和增强硬件支持。本次更新首次集成了OpenMediaVault，用户可通过`armbian-config`轻松安装NAS功能。启动流程得到简化，移除了不必要的提示。
硬件方面，Orange Pi 5 Max 采用mainline U-Boot启动，PocketBeagle2迁移至extlinux。Rockchip64平台增加了OPPs，提升能效和稳定性，并移除了旧的无线固件解决方法。同时，Armbian清理了构建工件，并为未来的测试计划奠定了基础。
Mark as Read
Mark as Unread
I ruined my vacation by reverse engineering WSC
Source
作者在假期中逆向工程 Windows Security Center (WSC)，尝试实现一个“干净”的禁用 Windows Defender 的方案。文章记录了作者在没有 x86 机器、网络延迟等不利条件下，通过调试、模拟、代码注入等手段，最终成功绕过 WSC 验证，实现注册自定义杀毒软件。整个过程充满挑战，包括环境搭建、调试困难、代码清理等，作者最终完成了项目，但感叹过程的艰辛。
Mark as Read
Mark as Unread
The Academic Pipeline Stall: Why Industry Must Stand for Academia
Source
文章指出，由于美国国家科学基金会（NSF）冻结拨款，学术研究的“管道”面临停滞，导致研究项目取消、研究生学业受阻、教职员工失去资助等问题。作者呼吁行业界，尤其是受益于高等教育的科技公司，承担起支持学术研究的责任，因为许多关键技术都源于大学实验室的公共研究。文章强调，行业界的沉默对人才培养管道构成了威胁，并提出了倡导、呼吁行业贡献和积极沟通的行动建议，以应对这一危机。
Mark as Read
Mark as Unread
Continuous Thought Machines
Source
该文章介绍了“连续思维机器 (CTM)”，一种新型神经网络架构，旨在模拟生物大脑中的神经元时序和同步机制。 CTM 采用解耦的内部维度、神经元级模型和神经同步作为核心，以实现更灵活、通用的推理能力。 实验结果表明，CTM 在 ImageNet 图像分类和 2D 迷宫求解等任务中表现出色，并能根据问题难度调整计算量。 文章强调了时间在人工智能中的重要性，并展示了 CTM 与传统神经网络的不同之处。
Mark as Read
Mark as Unread
Intellect-2 Release: The First 32B Model Trained Through Globally Distributed RL
Source
INTELLECT-2 是首个通过全球分布式强化学习训练的 32B 参数模型。它采用完全异步的 RL，在动态、异构的计算集群上训练推理语言模型。为了实现去中心化训练，文章介绍了 PRIME-RL 框架、SHARDCAST 和 TOPLOC 等关键组件，并改进了 GRPO 训练方案和数据过滤技术。实验结果表明模型在数学和编码任务上有所提升。文章开源了 INTELLECT-2 及相关代码和数据，并展望了未来工作，包括增加推理计算比例、工具调用、众包 RL 任务等，旨在推动去中心化 AI 的发展。
Mark as Read
Mark as Unread
Python lib generates its code on-the-fly based on usage
Source
AutoGenLib 是一个 Python 库，它能根据用户描述，利用 OpenAI API 实时生成代码。当导入不存在的模块或函数时，库会分析上下文并生成代码。主要特性包括动态代码生成、上下文感知、渐进式增强等。用户可以通过 `pip install autogenlib` 安装，并设置 OpenAI API key。该库适用于原型设计和实验，但生成的代码需经过审查。支持缓存以提高一致性，并提供检查生成的代码的功能。
Mark as Read
Mark as Unread
文章探讨了空中交通管制（ATC）的发展历程，强调其技术、行政和社会层面的复杂性。文章追溯了ATC从航空无线电、航空邮件到雷达技术的演进，以及二战对ATC的推动作用。文章还提到了SAGE系统与ATC的关联，以及FAA在ATC现代化方面的努力。最后，文章分析了飞行服务站（FSS）的角色演变，以及国家空域系统（NAS）的建设，并预告了对FAA首个计算机化ATC系统的进一步探讨。
Mark as Read
Mark as Unread
Avoiding AI is hard – but our freedom to opt out must be protected
Source
文章探讨了AI快速发展带来的挑战，核心在于保护人们“退出AI”的自由。AI已渗透到招聘、医疗、金融等领域，但其决策缺乏透明性，可能导致偏见和排斥。作者认为，应保障个人选择不被AI影响的权利，避免因技术鸿沟造成社会不公。文章呼吁政府、企业制定尊重个人自由的政策，提高数字素养，确保AI决策透明可追溯，以维护数字时代的自主权。
Mark as Read
Mark as Unread
Internet Scrabble Club (2002-)
Source
Internet Scrabble Club (ISC) 是一个在线实时拼字游戏平台，提供免费、无广告的拼字游戏体验。玩家可以与朋友或全球玩家对战，也可选择与电脑对战。ISC 支持 IOS、Android 和桌面设备，使用官方词典，并提供查看游戏和观看他人游戏的功能。目前有数百名玩家在线，进行着大量游戏。
Mark as Read
Mark as Unread
I hacked my clock to control my focus
Source
作者为了解决分心问题，将电脑时钟改造为持续的注意力提醒。该方法基于 Ubuntu 系统和 Panel Date Format 扩展，通过简单的 bash 脚本，在时钟上显示当前专注的焦点。用户只需在终端输入 `focus.sh` 加上专注内容，时钟就会更新。这种方法利用了人们频繁看时钟的习惯，无需额外意志力，就能帮助用户重新聚焦。文章还提到了该方法的优势和可能的扩展方向，例如集成番茄工作法、颜色编码和时间跟踪。
Mark as Read
Mark as Unread
Why are coffee stains darker at the edges?
Source
咖啡渍干燥后边缘颜色更深，是因为水滴边缘蒸发速度快于中心。水滴边缘的移动受阻，上表面积大于下表面积，导致蒸发量更大。液体蒸发时，携带咖啡中的着色剂流向边缘，最终在边缘留下更多固体颗粒，形成颜色更深的污渍。
Mark as Read
Mark as Unread
The overlooked masterpiece full of coded messages about World War One
Source
文章聚焦于被忽视的艺术家 Evelyn De Morgan 的作品，尤其是关于一战的编码信息。她的画作《Death of the Dragon》等作品，通过象征手法，表达了战争的创伤、善恶对抗，以及对来世的信仰。文章探讨了 De Morgan 的创作风格、受到的影响，以及她对女性形象的独特描绘。展览和研究重新唤起了人们对这位艺术家的关注，并揭示了其作品中蕴含的深刻内涵。
Mark as Read
Mark as Unread
这篇文章讨论了贝尔实验室成功的关键因素。由于文章内容无法直接获取，无法总结具体内容。根据现有信息，文章可能探讨了贝尔实验室的组织结构、文化、研究方法等，以及这些因素如何促成了其在科学技术领域的辉煌成就。文章可能分析了贝尔实验室的成功经验，并试图揭示其背后的运作机制。
Mark as Read
Mark as Unread
文章探讨了“Burrito Now, Pay Later”（先吃卷饼，后付款）的模式。由于需要验证连接安全性，访问 enterprisevalue.substack.com 可能会有延迟。文章内容可能涉及对延期支付的思考，但具体内容需等待网站响应后才能获取。
Mark as Read
Mark as Unread
ToyDB rewritten: a distributed SQL database in Rust, for education
Source
本文介绍了用 Rust 编写的分布式 SQL 数据库 toyDB，主要用于教育目的。它实现了 Raft 分布式共识、ACID 事务、可插拔存储引擎、基于迭代器的查询引擎和 SQL 接口等核心特性。作者基于在 CockroachDB 和 Neon 的经验，重写了 toyDB，简化了架构和概念。文章还提供了架构指南、SQL 示例和参考资料，以及用法说明、测试和基准测试结果。
Mark as Read
Mark as Unread
2024 sea level 'report cards' map futures of U.S. coastal communities
Source
2024年美国海平面“成绩单”发布，评估了36个沿海社区的海平面上升趋势。报告基于55年历史数据，分析海平面上升速率并预测至2050年的水位，新增四个地区数据，并整合至交互式dashboard。研究发现，多数地区海平面持续加速上升，东南部沿海地区加速明显，而西海岸相对稳定。这些数据旨在帮助沿海社区规划和适应，应对海平面上升带来的挑战。
Mark as Read
Mark as Unread
Why not object capability languages?
Source
文章探讨了构建 object capability 语言的挑战，旨在解决软件供应链攻击问题。核心观点是，尽管 object capability 系统在理论上能有效沙箱化库，但实现起来困难重重。文章分析了 Joe-E 语言（Java 的子集）的限制，以及 Chrome 的 Mojo 系统作为现实世界应用的案例，指出了在设计、重用、内存管理和上下文切换等方面面临的诸多技术难题。最终，文章强调了让库沙箱化变得易于使用的重要性，但目前尚未找到可行的解决方案。
Mark as Read
Mark as Unread
Scraperr – A Self Hosted Webscraper
Source
Scraperr 是一款自托管的 Webscraper，允许用户通过 XPath 选择器从网站提取数据。它提供队列管理、域名爬取、自定义请求头、媒体下载、结果可视化和数据导出等功能。该项目基于 MIT 许可，并强调在使用时遵守 robots.txt、服务条款和速率限制。
Mark as Read
Mark as Unread
Car companies are in a billion-dollar software war
Source
文章探讨了汽车行业在 Software 定义汽车（SDV）领域的竞争。传统车企投入巨额资金，但转型困难重重，面临组织架构、技术理念等多重挑战。Tesla、Rivian 等新兴车企凭借全新架构占据优势。通用汽车、大众汽车等公司面临 Software 问题，福特也在调整策略。文章指出，SDV 具有可升级性和灵活性，但同时也带来交付未完成 Software 的风险。最终，传统车企能否成功转型，将决定其在未来汽车市场中的地位。
Mark as Read
Mark as Unread
LSP client in Clojure in 200 lines of code
Source
文章介绍了使用 Clojure 编写一个 200 行代码的 LSP 客户端的实现过程。文章首先阐述了 LSP 协议的基本概念和优势，然后详细讲解了客户端的三个主要组成部分：基本通信层、JSON-RPC 层和 API。接着，文章通过构建一个命令行 linter 的实例，展示了如何使用该客户端与语言服务器交互，并探讨了在实际应用中遇到的挑战，特别是关于 diagnostics 的处理。最后，文章总结了对 LSP 的看法，认为其在生态系统中有积极作用，但也存在一些复杂性和不一致性，并展望了未来可能出现的替代方案。
Mark as Read
Mark as Unread
Klarna changes its AI tune and again recruits humans for customer service
Source
Klarna 调整其 AI 客户服务策略，重新招聘人工客服。此前，Klarna 曾大力推广 AI chatbot，声称能替代大量人工客服。现在，公司认识到客户需要与真人沟通的选项，AI 用于加速响应，而人工客服提供同理心和个性化服务。Klarna 将招聘员工，目标是取代外包客服。尽管 AI 仍处理大部分客户咨询，但 Klarna 承认过度依赖 AI 导致质量下降，并计划投资于人工支持，以提升客户体验。
Mark as Read
Mark as Unread
An online exhibition of pretty software bugs
Source
Glitch Gallery 是一个在线展览，展示软件错误产生的“意外艺术”。 网站鼓励用户提交自己的作品，分享由软件错误、故障等产生的视觉效果。 展览包含各种各样的作品，涵盖了从图像到动画的多种形式，并提供了提交作品的链接。
Mark as Read
Mark as Unread
Applications of Classical Physics
Source
该文章是Roger D. Blandford 和 Kip S. Thorne编写的经典物理学教材，2012-2013年版本。内容涵盖广泛，从牛顿物理学、狭义相对论、动理学理论到光学、弹性力学、流体动力学、等离子体物理学，以及广义相对论和宇宙学。文章提供了各章节的链接，方便读者查阅。
Mark as Read
Mark as Unread
A visual history of the safety pin
Source
文章追溯了安全别针的视觉历史，从古代的别针和罗马的Fibula，到中世纪的演变。重点介绍了Walter Hunt的发明，以及安全别针的工业化生产。文章还探讨了安全别针在Punk Rock文化中的应用，以及其在运动和日常生活中的持续存在。最后，文章强调了安全别针的实用性、文化意义和传承价值。
Mark as Read
Mark as Unread
Synder (YC S21) Is Hiring
Source
Synder (YC S21) 正在招聘商务拓展代表（Business Development Representative）。该职位要求至少3年销售线索生成经验，负责识别、培养潜在客户，推动增长。工作地点为美国/远程，薪资6万-7万美元。Synder 是一家电商会计平台，帮助用户记录、核对和识别在线销售和订阅。
Mark as Read
Mark as Unread
Doom on the Oldest Digital Computer in America [video]
Source
这段视频展示了在世界上最古老的数字计算机上运行游戏 Doom 的过程。视频包含播放控制选项，如搜索、分享、倍速播放等。此外，视频下方还列出了 YouTube 的相关信息，包括媒体中心、版权、联系方式、创作者、广告、开发者、条款、隐私、政策与安全等。
Mark as Read
Mark as Unread
本文是一份关于使用纯 vanilla 技术进行 Web 开发的指南，即仅使用 HTML、CSS 和 JavaScript，不依赖任何框架或工具。文章探讨了如何利用 Web Components 构建组件，使用现代 CSS 进行样式设计，创建基于 Web Components 的网站和单页应用程序。它旨在帮助开发者摆脱框架的复杂性，追求简单性和零维护的长期优势。适合已经熟悉 HTML、CSS 和 JavaScript 的开发者。
Mark as Read
Mark as Unread
A Rust API Inspired by Python, Powered by Serde
Source
文章介绍了如何基于 Python 的 `__getattr__` 机制，结合 `serde` 库，在 Rust 中构建一个受 Python 启发、更友好的 API。核心在于：通过实现 `Deserialize` trait，将 `raw_api::Object` 反序列化为用户自定义的结构体，从而简化 API 使用，实现类似 Python 的动态属性访问。文章详细阐述了 `Deserialize`、`Deserializer`、`Visitor` 和 `MapAccess` 等 Serde 核心概念，并展示了如何构建一个自定义的反序列化器，最终实现目标。
Mark as Read
Mark as Unread
I built a native Windows Todo app in pure C (278 KB, no frameworks)
Source
该项目是一个使用纯 C 语言和 Win32 API 构建的轻量级原生 Windows Todo 应用。它实现了创建、编辑、删除、标记完成等基本功能，并支持系统托盘集成和数据持久化存储。项目代码开源，基于 MIT 许可证，提供了构建和使用方法，以及项目结构和开发技术细节。
Mark as Read
Mark as Unread
High-School Shop Students Attract Skilled-Trades Job Offers
Source
高中职校学生凭借熟练技术，获得了大量工作邀约，反映出技术工人市场需求旺盛。
Mark as Read
Mark as Unread
DNS Piracy Blocking Orders: Google, Cloudflare, and OpenDNS Respond Differently
Source
文章探讨了针对 DNS 解析器的盗版网站封锁令在欧洲引发的不同应对措施。OpenDNS 选择了退出相关国家的服务。Cloudflare 使用“替代机制”进行封锁，并提供错误提示。Google 则直接拒绝 DNS 查询，但缺乏透明度。文章指出，这些差异使得情况复杂，并强调了在应对此类封锁令时，透明度的重要性，尤其是在美国也可能实施类似措施的情况下。
Mark as Read
Mark as Unread
文章讲述了西班牙水手 Gonzalo Guerrero 的故事。他在海难后被玛雅人俘虏，融入玛雅文化，成为受人尊敬的战士，并与玛雅女子结婚，生下混血孩子。他拒绝了西班牙殖民者的招募，选择效忠玛雅，对抗西班牙入侵。Guerrero 的事迹在墨西哥被视为文化英雄，被文学作品和历史研究反复解读，象征着文化融合和身份认同的转变。
Mark as Read
Mark as Unread
JEP 515: Ahead-of-Time Method Profiling
Source
JEP 515 旨在通过提前编译时方法剖析，缩短 Java 应用程序的预热时间。该特性将应用程序运行时的热点方法执行配置文件存储在 AOT cache 中，使 JVM 启动时即可使用，从而加速 JIT 编译。这利用了训练运行收集的配置文件，减少了生产环境的预热负担，提升了应用程序的启动速度和性能。该方案不需修改现有代码，并与 AOT 编译协同工作，以实现更优的性能。
Mark as Read
Mark as Unread
Booting the RP2350 from UART
Source
文章介绍了通过 UART 启动 RP2350 微控制器的过程。作者希望使用 RP2350 作为端口扩展器，但因 PWM 通道需求，考虑通过 UART 引导加载程序加载固件。文章详细阐述了从 SRAM 运行二进制文件、通过 UART 传输固件、将二进制文件嵌入到另一个微控制器固件中，以及从那里启动的步骤。作者还解决了可靠连接问题，使用 RS-485 转换 UART 信号，实现了长达 10 米的稳定传输。最后，作者提到了引导加载程序引脚的限制以及解决方案。
Mark as Read
Mark as Unread
I’ve built an IoT device to let my family know when I’m in a meeting
Source
作者构建了一个名为“我正在开会”的 IoT 设备，用于在家工作时提醒家人。该设备基于 ESP32，通过 Wi-Fi 连接，使用 Arduino framework 开发。它通过 HTTP 服务器接收状态更新，控制门上的 LED 面板。一个 Python 守护程序定期检查摄像头使用情况，并向设备发送 PATCH 请求。设备使用 mDNS 实现域名访问。文章还提供了演示视频链接。
Mark as Read
Mark as Unread
In 2025, venture capital can't pretend everything is fine any more
Source
文章指出，2025年风险投资（VC）行业面临困境。AI成为最后的希望，但过度依赖OpenAI，泡沫风险加剧。报告显示，除AI外，其他领域融资困难，退出渠道受阻。文章将问题归因于零利率时代的结束和Trump的关税政策，导致市场不确定性。VC行业缺乏应对策略，仅寄希望于市场复苏。文章批评VC对AI技术缺乏理解，并指出其投资决策的盲目性。
Mark as Read
Mark as Unread
Title of work deciphered in sealed Herculaneum scroll via digital unwrapping
Source
通过“虚拟展开”技术，研究人员在来自赫库兰尼姆的密封卷轴中首次发现了标题和作者。牛津大学 Bodleian Libraries 收藏的卷轴 PHerc. 172 被确认为希腊哲学家 Philodemus 的作品 _On Vices_。研究人员因此获得了 Vesuvius Challenge First Title Prize。Vesuvius Challenge 公开了扫描数据，鼓励全球研究人员解读文本。标题图像由多个团队独立完成，并经过学术审查。虽然作者和标题已明确，但文本在 _On Vices_ 系列中的位置仍待考证。此发现展示了 AI 在学术研究中的潜力。
Mark as Read
Mark as Unread
Designing Cities for Families
Source
该文章是关于“为家庭设计城市”的CityLab系列报道。该系列探讨了城市设计和建筑如何影响家庭，并获得了普利策奖。文章内容包括对父母和孩子公共空间、住房设计、游乐场、沉浸式博物馆展览、心理健康诊所等方面的研究，旨在探讨如何通过建筑和城市规划改善家庭生活。
Mark as Read
Mark as Unread
Show HN: GlassFlow – OSS streaming dedup and joins from Kafka to ClickHouse
Source
GlassFlow 是一个开源的流式数据处理工具，主要功能是实现 Kafka 数据到 ClickHouse 的实时去重和时间 Join。它提供 Web UI 用于配置和管理数据管道，支持流式去重、时间 Join、内置 Kafka 连接器、ClickHouse 优化、Docker 部署等特性。用户可以通过配置连接参数、选择 Kafka 输入流、定义去重规则和 Join 规则来创建数据管道，并进行本地测试。该项目基于 Apache License 2.0 授权，欢迎贡献。
Mark as Read
Mark as Unread
A Rust Documentation Ecosystem Review
Source
这篇文章是对Rust文档生态系统的回顾，重点评估了文档的质量。文章首先介绍了Diátaxis文档框架，将文档分为教程、操作指南、参考文档和解释说明四个象限，并分析了每个象限的优缺点。随后，文章以`rand`、`chrono`、`time`等库为例，根据Diátaxis框架评估了Rust生态系统中不同库的文档质量，考察了全面性、可发现性、哲学和可及性。文章指出，好的文档应包含不同类型的文档，以满足不同用户的需求。
Mark as Read
Mark as Unread
Roame (YC S23) Is Hiring Lead Fullstack Engineer
Source
Roame (YC S23) 正在招聘首席全栈工程师。Roame 是一家使用信用卡积分和里程的航班搜索引擎，旨在优化旅行者的积分使用。该职位要求候选人具备 3 年以上工程经验，对旅行、航空和积分领域有热情，并能独立完成前端和后端开发。工作地点在旧金山，薪资范围为 15 万至 21.5 万美元，并提供股权和福利。公司文化强调职业道德、积极进取、承担责任和友善。
Mark as Read
Mark as Unread
The Epochalypse Project
Source
文章呼吁关注2038年“时间炸弹”问题，即32位时间戳漏洞，该漏洞可能导致大量系统在2038年出现故障，影响广泛。文章指出问题比Y2K更严重，涉及大规模嵌入式系统、安全风险和依赖性。文章介绍了该项目的目标、影响、应对措施，并呼吁公众、行业专业人士、政府和技术人员共同参与，通过测试、修复、制定应急计划等方式，减轻潜在的数字灾难。
Mark as Read
Mark as Unread
Insurers launch cover for losses caused by AI chatbot errors
Source
文章主要讲述了保险公司推出针对 AI 聊天机器人错误造成的损失的保险。由于 AI 聊天机器人可能出错，导致用户遭受经济损失，保险公司开始提供相关保险产品，以保障用户在 AI 聊天机器人出现错误时的权益。
Mark as Read
Mark as Unread
Build iOS Apps on Linux and Windows (WSL)
Source
文章介绍了跨平台的 Xcode 替代方案——xtool，它允许在 Linux 和 Windows (WSL) 上构建和部署 iOS 应用。xtool 基于 SwiftPM，支持构建、签名和安装 iOS 应用，并能与 Apple Developer Services 交互。这意味着开发者可以在 macOS 之外的系统上进行 iOS 开发。文章还提到了 xtool 的一些局限性，如对 Interface builder、Asset catalogs 等的支持，以及未来的开发计划，并欢迎社区贡献。
Mark as Read
Mark as Unread
Absolute Zero: Reinforced Self-Play Reasoning with Zero Data
Source
该论文提出了名为 Absolute Zero 的新强化学习范式，用于增强大型语言模型的推理能力。Absolute Zero 采用“零数据”自博弈方式，模型自主生成并解决任务，通过代码执行器验证答案，从而提升推理能力，无需任何外部数据。实验结果表明，Absolute Zero 在编码和数学推理任务上表现优异，超越了依赖人工标注数据的现有模型，并适用于不同模型规模和类别。
Mark as Read
Mark as Unread
What is it like to be a thermostat? (1996)
Source
文章探讨了意识的本质，核心问题是简单的 Thermostat 是否可能拥有意识。David Chalmers 将其与连接主义网络进行比较，认为两者在信息处理上存在相似性，暗示 Thermostat 可能模拟基本的意识体验。他认为仅凭复杂性无法解释意识，并指出需要超越现有模型，探索更深层次的规律，以理解意识的本质。文章涉及 Consciousness、Neuroscience 和 Ontology 等主题。
Mark as Read
Mark as Unread
I learned Snobol and then wrote a toy Forth
Source
作者学习了 Snobol 编程语言，并用它实现了一个玩具 Forth 解释器。文章分享了对 Snobol 的评价，认为其模式匹配机制独特，但控制流方式对现代开发者而言较为“怪异”。作者通过编写 Forth 解释器来实践和检验对 Snobol 的理解，最终实现了能运行“99 Bottles of Beer”程序的 Forth，代码量不到 500 行。文章还提到了使用目标程序测试玩具语言的价值，并提供了相关链接。
Mark as Read
Mark as Unread
Show HN: I’m 16 years old and working on my first startup, a study app
Source
这款学习 App，由16岁作者开发，旨在帮助学生高效学习。它提供自动高亮、即时总结、学习模式和学习推荐等功能，帮助用户快速掌握知识。App 提供免费、学生和学者三种定价方案。免费版提供基本功能，付费版则解锁更多 AI 功能和支持。文章还展示了用户评价，并提供常见问题解答和试用链接。
Mark as Read
Mark as Unread
On thinkers and doers (2022)
Source
文章探讨了“思考者”和“实干家”的区别，以及社会对两者的需求。作者认为，现代社会更侧重于“实干家”，如 Elon Musk，他们擅长将现有知识转化为实际应用。然而，这种趋势导致了“思考者”的空间萎缩，即进行基础研究和探索性思考的空间。文章呼吁，为了促进创新，应效仿终身教职制度，为更多人提供安全的环境，鼓励他们进行独立思考和探索，而非仅关注短期成果。
Mark as Read
Mark as Unread
Mipmap selection in too much detail
Source
文章探讨了GPU上mipmap层级的选择细节。首先介绍了mipmap的基本概念和作用，解决纹理走样问题。接着，文章解释了像素导数（`ddx()`/`ddy()`）在mipmap选择中的作用，`Texture2D.SampleGrad()` 函数通过偏导数计算mipmap层级。核心在于，文章深入分析了如何通过偏导数计算mipmap层级，并揭示了硬件实现与理论计算的差异，特别是Nvidia硬件的近似处理，以及DirectX 11规范中描述的椭圆变换，用于更精确地计算mipmap级别，以应对非正交的雅可比矩阵情况。
Mark as Read
Mark as Unread
One-Click RCE in Asus's Preinstalled Driver Software
Source
文章揭示了华硕预装驱动软件 DriverHub 中存在的一键 RCE 漏洞。该漏洞源于 DriverHub 使用 RPC 与本地服务通信，且未充分验证请求来源，导致攻击者可构造恶意请求，通过下载并执行伪装成驱动程序的恶意文件，最终实现远程代码执行。文章详细描述了漏洞发现、利用过程，以及作者如何通过构造特定文件和利用静默安装机制实现 RCE。作者已向 报告了该漏洞，并获得了修复。
Mark as Read
Mark as Unread
作者在 OpenBSD 系统上为 ASUS 笔记本电脑开发风扇控制驱动程序。由于系统缺少 WMI 驱动，他通过 ACPI 和 WMI 技术，读取和解析 ACPI 代码，解决了字节序问题，并成功实现了通过热键切换风扇配置文件的功能。驱动程序能够降低风扇转速，提升电池续航，并可在不同型号的笔记本电脑上通用。文章还对比了 OpenBSD 和 Linux 在 ACPI 驱动开发上的差异。
Mark as Read
Mark as Unread
Getting Started with Celtic Coins – Crude and Barbarous, or Just Different?
Source
文章探讨了人们对凯尔特硬币“粗糙”或“野蛮”的误解。 凯尔特硬币的风格并非粗糙，而是源于独特的艺术理念。文章解释了四个原因：1. 凯尔特人采用抽象艺术，与古典艺术不同；2. 凯尔特硬币最初模仿希腊硬币，后逐渐演变成抽象风格；3. 凯尔特人缺乏书面记录，导致图像含义难以理解；4. 凯尔特人使用大模具，设计不完整呈现，可能源于对精神世界的崇拜。 最终，文章鼓励从不同角度欣赏凯尔特硬币的艺术价值。
Mark as Read
Mark as Unread
在 Google 工作 19 年后，作者离开了，其中大部分时间参与了 Go 语言的开发。Go 语言于 2007 年启动，作者于 2008 年加入团队，见证了 Go 成为一种被广泛应用的编程语言。作者的角色包括跟踪项目进展、解决问题，并参与了泛型的开发。尽管作者的方法帮助 Go 取得了成功，但随着 Google、Go 和编程环境的变化，作者认为自己不再适合 Google 的 Go 项目，因此选择离开。作者仍对 Go 保持兴趣，并希望未来能继续为 Go 做出贡献。
Mark as Read
Mark as Unread
NetBSD 10.x Kernel Math_emulation
Source
文章介绍了在 NetBSD 10.x 内核中实现 i486SX CPU 的软件 FPU 模拟器。作者成功复活了数学仿真，并在 i486SX 笔记本上进行了测试。项目已发布首个版本，名为 i486SX_soft_FPU，为老式硬件重新带来了浮点运算支持。该模拟器在 86Box 虚拟机上测试成功，并鼓励社区贡献和测试。
Mark as Read
Mark as Unread
Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages
Source
文章介绍了使用 Mach Messages 对 MacOS 系统守护进程 `coreaudiod` 进行模糊测试（fuzzing）以寻找安全漏洞的过程。作者采用“知识驱动的模糊测试”方法，结合手动逆向工程和模糊测试，确定了 Mach messages 作为攻击向量，并选择了 `com.apple.audio.audiohald` 服务作为目标。文章详细阐述了如何创建模糊测试框架，包括确定入口点、寻找 Mach message handler，并最终构建了一个能够加载和调用目标函数的基本模糊测试程序。
Mark as Read
Mark as Unread
网站因达到套餐限制，遭遇限流。访问者会收到“错误 1027”提示，并被建议稍后重试。网站所有者可以通过升级其在 Cloudflare Workers 上的套餐来避免此问题。文章提供了相关链接，指向 Cloudflare Workers dashboard 和关于请求限制的更多信息。
Mark as Read
Mark as Unread
Fandom Sells Giant Bomb to Independent Creators
Source
Fandom 将游戏媒体品牌 Giant Bomb 出售给长期员工兼内容创作者 Jeff Bakalar 和 Jeff Grubb。交易的财务细节未公开。Giant Bomb 的节目内容将暂停后尽快恢复。Fandom 认为此举是将 Giant Bomb 归还其独立根源，并支持其创作者。新东家表示，Giant Bomb 的未来掌握在支持他们的社区手中。
Mark as Read
Mark as Unread
The History and Legacy of Visual Basic
Source
文章回顾了 Visual Basic 的历史，讲述了其从 Alan Cooper 的 shell 构建工具 Tripod 演变为 Visual Basic 的过程。Visual Basic 以其易用性迅速崛起，成为主流编程工具，帮助了大量程序员。然而，由于 .NET 框架的推出，VB.NET 改变了最初的设计理念，导致 Visual Basic 逐渐衰落。尽管如此，Visual Basic 的核心思想——简化编程、提高效率——对现代开发工具产生了深远影响，并持续激励着新的可视化编程环境的诞生。
Mark as Read
Mark as Unread
Observations from people watching
Source
文章描述了访问 `skincontact.substack.com` 网站时，需要通过安全验证的过程。为了确认访问者是真人，网站使用了安全审查机制，并提示用户解除对 `challenges.cloudflare.com` 的阻止。验证成功后，网站会等待响应。文章最后表明，该网站的性能和安全由 [Cloudflare](https://skincontact.substack.com/p/) 提供。
Mark as Read
Mark as Unread
Sierpiński Triangle? In My Bitwise and?
Source
文章展示了访问 `lcamtuf.substack.com` 时遇到的安全验证流程。由于安全检查，用户需要解除对 `challenges.cloudflare.com` 的阻止才能继续访问。验证成功后，文章等待 `lcamtuf.substack.com` 的响应。文章末尾显示了 Cloudflare 提供的性能和安全信息，并附有 Ray ID。
Mark as Read
Mark as Unread
Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass
Source
LoopMix128 是一个用 C 语言编写的快速伪随机数生成器 (PRNG)，具有 2^128 的周期。它通过了 BigCrush 和 PractRand (32TB) 测试，表明其统计质量良好。该 PRNG 性能优异，速度快于标准库和其他现代高速 PRNG。文章还介绍了其算法细节、并行流实现方法，以及与其他 PRNG 在 PractRand 测试中的对比结果。
Mark as Read
Mark as Unread
Why the Apple II Didn't Support Lowercase Letters (2020)
Source
文章探讨了 Apple II 最初不支持小写字母的原因。 **Steve Wozniak** 解释，由于资金短缺，他选择了价格更便宜的仅支持大写的键盘。 此外，修改代码以支持小写字母需要大量手工操作，而当时没有分时汇编器，这使得改动变得困难。 最终，经济因素和 **Steve Jobs** 的观点共同促成了 Apple I 和 Apple II 仅支持大写字母的结果。
Mark as Read
Mark as Unread
Show HN: Xenolab – Rasp Pi monitor for my pet carnivourus plants
Source
Xenolab是一个基于Rasp Pi的食肉植物监测器，用于精确护理。它包含Rasp Pi 5、触摸屏、温度、湿度、风扇、LED灯、土壤湿度传感器等。该项目旨在通过3D打印和电子产品带来乐趣，并展示了硬件和CAD设计。文章还警告不要用于监测“三叶草”等半知觉植物，因为可能导致操作员损失。
Mark as Read
Mark as Unread
Has anyone coined the term “fast tech” yet?
Source
文章讨论了“快科技(fast tech)”的概念，类似于“快时尚”，指设计廉价、易坏、追逐短期潮流的电子产品。作者对这类产品中不可更换电池、电池易损导致电子垃圾的现象表示不满。评论中，有人认为这是一个好概念，并提到了“一次性充电宝”和电子烟等例子。讨论还涉及了电池回收、产品设计、以及英国即将禁止一次性电子烟等问题。
Mark as Read
Mark as Unread
Microsoft Teams will soon block screen capture during meetings
Source
Microsoft Teams 即将推出新功能，阻止用户在会议期间截取屏幕截图，以保护共享的敏感信息。该功能预计于 2025 年 7 月在全球 Android、桌面、iOS 和 Web 用户中推出。不支持的平台用户将自动进入纯音频模式。虽然此功能可以阻止屏幕截图，但无法阻止通过拍照等方式获取信息。文章还提及了其他 Teams 的更新，如 Windows 上的 Teams Rooms 更新、Copilot 功能以及针对网络钓鱼攻击的保护措施。
Mark as Read
Mark as Unread
When graphic design saves lives
Source
文章探讨了平面设计在应对 HIV/AIDS 公共卫生危机中的作用。通过哈佛图书馆收藏的 1990-2004 年间的海报，展示了视觉传播在传递健康信息、改变公众认知和行为中的重要性。文章强调了海报设计需简洁、引人注目，并针对不同受众定制信息。同时，也反思了随着医学进步，如 PrEP 和“U=U”策略，旧海报的局限性，并呼吁通过现代预防手段终结 HIV 传播。
Mark as Read
Mark as Unread
Pope Leo XIV: "AI poses new challenges re: human dignity, justice and labour"
Source
新任教宗 Leo XIV 在就职演讲中，首先表达了对已故教宗 Francis 的追思，并强调了教会的延续性。他呼吁继续遵循第二次梵蒂冈大公会议的道路，强调基督的首要地位、传教士转变、集体性、关注信仰、关爱弱势群体以及与当代世界对话。Leo XIV 选择了这个名字，是为了效仿 Leo XIII 在《Rerum Novarum》中对社会问题的关注，并指出人工智能对人类尊严、正义和劳工带来了新的挑战。最后，他表达了对信仰和爱的希望，祈求上帝的祝福。
Mark as Read
Mark as Unread
AI AI is draining water from areas that need it most
Source
文章指出，随着 AI 发展，数据中心对水资源的需求激增，加剧了缺水地区的压力。 许多新建数据中心位于已面临水资源压力的地区，科技巨头扩张业务导致竞争加剧。 尽管科技公司尝试减少用水，但数据中心用水量持续增长，威胁当地供水、农业和能源生产。 文章还提到了数据中心用水的透明度问题，以及一些公司正在探索的解决方案，如闭环冷却系统。
Mark as Read
Mark as Unread
Update turns Google Gemini into a prude, breaking apps for trauma survivors
Source
谷歌 Gemini 模型的一次更新导致其变得过于保守，破坏了依赖该模型处理敏感内容的应用程序。更新后，即使开发者已设置允许特定内容，Gemini 仍拒绝生成相关回复，影响了为创伤幸存者提供支持的应用程序，例如用于报告性侵犯事件的工具。开发者表示，此问题导致应用程序崩溃，用户无法获得所需帮助。谷歌尚未对此事做出明确回应。
Mark as Read
Mark as Unread
For $595, you get what nobody else can give you for twice the price (1982) [pdf]
Source
好的，请您提供英文原文，我将按照您的要求进行总结。
Mark as Read
Mark as Unread
Weave (YC W25) is hiring a founding engineer
Source
Weave (YC W25) 正在招聘创始工程师，该公司利用 AI 衡量工程工作。目前开放两个职位：创始 AI Engineer 和创始 Product Engineer，工作地点位于加州奥克兰或旧金山，薪资范围为 14 万至 20 万美元，并提供 0.5% - 2.0% 的股权。Weave 是一家由顶级投资者支持、发展迅速且已盈利的初创公司，致力于帮助工程团队提高效率。
Mark as Read
Mark as Unread
Reverse engineering the 386 processor's prefetch queue circuitry
Source
本文逆向工程分析了 Intel 386 处理器的预取队列电路。386 处理器为了提升性能，设计了16字节的指令预取队列，预先从内存中获取指令。文章详细研究了预取队列的电路，包括增量器、数据对齐网络和符号扩展电路。增量器使用曼彻斯特进位链和进位跳跃技术加速运算。对齐网络处理未对齐的内存访问。符号扩展电路则用于处理有符号数值。文章还分析了指令在芯片中的流动路径，并指出预取队列的复杂性源于对未对齐内存访问的支持以及复杂的指令解码器。
Mark as Read
Mark as Unread
'We Currently Have No Container Ships,' Seattle Port Says
Source
西雅图港口官员表示，受关税影响，港口目前没有集装箱船停靠，情况罕见。其他港口如洛杉矶港也观察到货物吞吐量大幅下降，可能导致物价上涨、供应短缺，并影响码头工人和相关行业就业。专家认为，航运放缓将引发连锁反应。政府正考虑与中国达成协议，但谈判前景尚不明朗。
Mark as Read
Mark as Unread
'It cannot provide nuance': UK experts warn AI therapy chatbots are not safe
Source
文章关注AI在心理健康领域的应用，特别是聊天机器人作为治疗工具的潜在风险。 英国专家警告，AI缺乏细微差别，可能提供有害建议，需要加强监管。 尽管[Mark Zuckerberg] 认为AI能填补心理治疗师的空缺，但专家担忧其可能扰乱人际关系。文章还提到了AI聊天机器人可能存在的安全隐患，如提供虚假信息、缺乏监管等问题，并强调了监督和监管的重要性。
Mark as Read
Mark as Unread
文章探讨了“Lead Bullets”（铅弹）在商业竞争中的重要性。作者通过自身经历，强调面对生存危机时，不能寄希望于“银弹”式的解决方案，而是要专注于解决核心问题，通过持续努力和改进产品来赢得竞争。文章指出，在关键时刻，逃避战斗不如正面迎战，构建更好的产品才是生存之道。
Mark as Read
Mark as Unread
Ancient humans used sunscreen to survive a deadly magnetic pole shift
Source
文章探讨了41,000年前地球磁极反转期间，古人类如何应对增强的紫外线辐射。研究表明，当时人类可能通过使用 Ochre 防晒霜、定制服装和洞穴居住来保护自己。同时，尼安德特人似乎未能采取类似措施，这可能导致了他们的衰落。研究基于对地磁偏移的3D重建和考古发现，揭示了人类在极端环境下的生存策略。
Mark as Read
Mark as Unread
Farewell to Lee Gold's Alarums and Excursions
Source
_Alarums & Excursions_，一份持续近50年的业余新闻协会 (APA) 月刊，由 Lee Gold 创办，现已停刊。文章回顾了该杂志的历史，它在80、90年代获得多项“最佳业余杂志”奖，并于2022年入选 Origins Hall of Fame。许多知名人士曾在此发表文章。Lee Gold 也是一位先锋女性 RPG 作家，并因视力衰退而退休。作者感谢 Lee Gold 的贡献，并提到可以购买该杂志的 PDF 文件。
Mark as Read
Mark as Unread
Comparison of C/POSIX standard library implementations for Linux
Source
该文章对比了 Linux 下 `musl`、`uClibc`、`dietlibc` 和 `glibc` 四种 C/POSIX 标准库的实现，主要关注臃肿程度、资源耗尽时的行为、性能、ABI 和版本控制、算法、特性、目标架构和构建环境等方面的差异。文章通过表格和注释详细分析了各库在不同指标上的优劣，例如 `musl` 在体积和安全性上表现较好，而 `glibc` 在功能和兼容性上更胜一筹。文章还提到了作者对 `musl` 的偏向性，并展望了未来更深入的性能测试和更多库的加入。
Mark as Read
Mark as Unread
Show HN: Code Claude Code
Source
该文章介绍了一个名为 `Code Claude Code` 的 Python SDK，用于与 Claude CLI 工具交互。它提供了一个 `Agent` 类，可以方便地运行 Claude，支持流式输出、自定义工具、输出格式和附加参数。文章还提供了安装、使用方法、API 参考和示例，展示了如何使用该 SDK 进行代码生成和任务执行。
Mark as Read
Mark as Unread
文章批判性地审视了**MCP (Model Context Protocol)**，一个旨在标准化LLM与外部世界交互的开放协议。作者指出，MCP在工程实践上存在不足，例如文档编写质量差、缺乏成熟的SDK，以及设计决策上的问题。文章重点批评了MCP的HTTP传输方案（SSE+HTTP和可流式HTTP），认为其复杂且存在安全隐患，建议采用更简洁的**WebSockets**方案。此外，文章还提到了IBM的ACP和Google的A2A等类似协议，认为它们与MCP存在重叠，可能导致标准碎片化。
Mark as Read
Mark as Unread
US vs. Google Amicus Curiae Brief of Y Combinator in Support of Plaintiffs [pdf]
Source
Y Combinator 在美国诉 Google 案中提交了“法庭之友”意见陈述，支持原告。该陈述强调了 Google 在搜索和广告领域的垄断地位对创新和初创企业的不利影响。Y Combinator 认为，Google 的行为阻碍了竞争，限制了新技术的出现，并损害了消费者利益。他们希望通过支持原告，促进更公平的竞争环境，从而推动科技行业的创新发展。
Mark as Read
Mark as Unread
The Battle to Bottle Palm Wine
Source
文章探讨了棕榈酒商业化的挑战与机遇。棕榈酒因其独特的风味和文化意义，备受喜爱，但在美国市场却难以普及。文章介绍了两位创业者，Onye Ahanotu 和 Daniella Ekwueme，他们分别尝试通过高科技手段和与当地采酒者合作，将棕榈酒商业化。Ahanotu 采用实验室合成技术，模拟棕榈树液，并利用尼日利亚酵母进行发酵；Ekwueme 则专注于在尼日利亚本土市场建立品牌，并计划出口到美国。文章也指出了商业化过程中面临的技术、文化和市场挑战。
Mark as Read
Mark as Unread
Interferometer Device Sees Text from a Mile Away
Source
文章介绍了一种基于 intensity interferometry 的远程成像系统。该系统通过发射多束激光照射远处的物体，并利用两个小型望远镜收集反射光，从而实现高分辨率成像。研究人员成功对1.36公里外的毫米级字母进行了成像，空间分辨率提升了14倍。这项技术在一定程度上克服了传统幅度 interferometry 在大气湍流等“无序”环境下的局限性，未来有望应用于空间碎片探测和生物医学成像等领域。
Mark as Read
Mark as Unread
Why GADTs matter for performance (2015)
Source
文章探讨了 GADTs（广义代数数据类型）在 OCaml 编程中对性能的重要性。作者通过构建一个兼顾通用数组和 `bytes` 的紧凑数组类型为例，说明了 GADTs 如何帮助程序员更精确地控制内存表示，从而优化性能。文章对比了未使用 GADTs 和使用 GADTs 的两种实现方式，展示了 GADTs 如何解决类型推断问题，并最终实现更高效的内存管理，这对于构建高性能应用程序至关重要。
Mark as Read
Mark as Unread
Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit
Source
苏联金星探测器 Kosmos 482 在绕地球运行 53 年后，于 2025 年 5 月 10 日坠落地球，落入印度尼西亚雅加达附近的印度洋。该探测器原计划前往金星，但因火箭故障滞留轨道。文章指出，虽然大部分太空垃圾在再入时会解体，但 Kosmos 482 可能因其设计而完整坠落。文章还提到了太空垃圾问题，以及未来再入事件可能增加的风险，包括污染和潜在的撞击。
Mark as Read
Mark as Unread
Coffee for people who don't like coffee
Source
文章作者分享了自己不喜欢咖啡，但为了健康尝试喝咖啡的经历。他受到浅烘焙咖啡的启发，开始探索咖啡的世界。作者推荐了两种他认为好喝的咖啡豆：Kichawir 和 Hunkute，并鼓励读者推荐其他咖啡豆。文章表达了作者对咖啡的个人体验和对咖啡豆的偏好。
Mark as Read
Mark as Unread
Interagency Grizzly Bear Committee
Source
本文介绍了 Interagency Grizzly Bear Committee (IGBC) 的概况。IGBC 致力于通过机构间合作，协调政策、规划、管理、研究和沟通，以支持美国西部灰熊种群及其栖息地的恢复和保护。文章强调了熊类安全教育、防熊产品的重要性，并提供了相关链接，包括防熊产品清单、食物储存规定和联系方式。此外，还列出了合作伙伴机构和近期新闻/事件，以及精选视频。
Mark as Read
Mark as Unread
Membrane, Media Framework for Elixir
Source
**Membrane** 是一个基于 Elixir 的多媒体框架，提供构建多媒体解决方案的能力。它支持实时通信，包括 WebRTC SFU 实现，以及服务器端处理，如视频缩放、音频混合等。该框架支持多种 I/O 协议，并与 Elixir 应用无缝集成，提供转码功能和监控工具。 **Membrane** 由 Software Mansion 创建，并被用于为客户构建定制解决方案。 社区活跃，鼓励在 GitHub、Twitter、Discord 和 Elixir 论坛上参与和贡献。
Mark as Read
Mark as Unread
Ash Framework – Model your domain, derive the rest
Source
该文章介绍了基于 Elixir 的后端框架 Ash，强调其声明式工具带来的高效开发体验。Ash 框架旨在通过建模领域逻辑，简化开发流程，减少重复工作。它支持与 Phoenix LiveView 集成，并能快速构建 API。文章还提供了安装程序和预设选项，方便用户快速上手，并展示了在生产环境中的应用案例。此外，文章预告了即将举行的演讲活动。
Mark as Read
Mark as Unread
People Who Hype Cursor Usually Lack Technical Skills
Source
文章探讨了对代码编辑器 Cursor 的过度推崇现象。作者认为，过度吹捧 Cursor 的人往往是由于自身技术能力不足，误将生成式 AI 的强大能力归功于 Cursor 本身。文章对比了 Cursor 与 GitHub Copilot 的优劣，指出 Cursor 在项目级控制上更胜一筹，但代码补全能力差异不大。作者强调，选择编辑器是个人偏好，更重要的是关注代码逻辑和导航，而非过度依赖工具。最后，作者建议不要过度吹捧 Cursor，并强调了对 AI 工具的正确认知。
Mark as Read
Mark as Unread
Garbage collection of object storage at scale
Source
文章探讨了大规模对象存储中垃圾回收（GC）的挑战。作者指出，简单的bucket policy和同步删除方法无法满足需求。文章提出了几种GC方案：延迟队列、异步协调，以及结合两者的混合方法。最终，作者推荐在WarpStream中使用的“乐观删除队列”方案，该方案通过在Agent中创建缓冲队列，结合协调循环，实现了高效、低成本且易于维护的垃圾回收机制，解决了孤儿文件问题，并提高了灾难恢复能力。
Mark as Read
Mark as Unread
文章介绍了使用 `React Three` 生态系统构建 3D 体验的工具和库。核心是 `@react-three/fiber`，并推荐了多个配套包，包括 `@react-three/drei`、`react-three/handle`、`koota`、`leva`、`react-three/offscreen`、`react-three/postprocessing`、`react-three/rapier`、`react-three/uikit`、`react-three/xr` 和 `zustand`。这些工具涵盖了从实用工具、交互控制、状态管理、GUI 面板、离屏渲染、后期处理、物理引擎、UI 组件到 VR/AR 支持等多个方面，旨在简化和增强 `react-three-fiber` 的开发。
Mark as Read
Mark as Unread
The cult of doing business
Source
文章评述了 Erik Baker 的新书，该书批判了美国社会对“企业家精神”的过度推崇。Baker 认为这种文化将工作视为自我实现和个人价值的载体，掩盖了其剥削本质。文章追溯了这种意识形态的起源，从新思想运动到积极心理学，揭示了其与经济稀缺和管理理念的结合。最终，文章指出，这种对“企业家精神”的推崇，导致了对工作狂热的追求，并加剧了社会的不稳定。
Mark as Read
Mark as Unread
3D printing in vivo for non-surgical implants and drug delivery
Source
该研究开发了一种影像引导的深层组织原位声波打印（DISP）平台，用于非手术植入物和药物递送。通过将交联剂加载到低温敏感脂质体中，DISP能够利用聚焦超声在活体动物体内精确打印定制图案。实验结果表明，DISP可在小鼠膀胱和兔子腿部肌肉深处进行原位打印，展示了其在局部药物递送和组织替代方面的潜力。该技术可打印导电、载药、载细胞和生物粘附性生物材料，具有广泛的生物医学应用前景。
Mark as Read
Mark as Unread
Radxa Orion O6 brings Arm to the midrange PC (with caveats)
Source
文章评测了 Radxa Orion O6，一款基于 Arm 的 ITX 主板，支持 Armv9.2，价格约 200 美元。它具有 SystemReady SR 认证的 BIOS，理论上可运行 Windows 和 Linux。然而，文章指出该主板固件问题较多，驱动程序支持不足，不推荐普通用户购买。文章还提到，由于关税问题，在美国购买该主板的价格可能翻倍。虽然硬件规格不错，但性能和效率有待提高，尤其是在与 Apple M 系列芯片对比时。
Mark as Read
Mark as Unread
LTXVideo 13B AI video generation
Source
Lightricks发布的LTXV-13B是一款130亿参数的AI视频生成模型，采用多尺度渲染技术，生成速度比同类模型快30倍。该模型支持文本到视频、图像到视频等多种模式，可在消费级硬件上实现实时性能。关键特性包括增强的提示语一致性和先进的运动质量控制。LTXV-13B于2025年5月发布，提供开源工具，如LTX-Video-Trainer和ComfyUI集成，方便用户进行微调和创作。
Mark as Read
Mark as Unread
Simplifying the Ethereum Layer 1
Source
这篇文章探讨了简化以太坊 Layer 1 (L1) 设计的重要性，核心在于提升协议的简单性，以增强可扩展性和韧性。文章强调了简单性带来的诸多好处，如降低维护成本、减少安全风险等。作者提出通过简化共识层（例如采用3-slot最终性）和执行层（例如用 RISC-V 替换 EVM）来实现这一目标。此外，文章还提倡共享协议组件，如纠删码、序列化格式和树结构，以进一步简化设计。最终，文章呼吁重视简单性，并设定明确的代码行数目标，以使以太坊的共识关键代码尽可能简单。
Mark as Read
Mark as Unread
The Fallacy of Techno-Feudalism
Source
文章探讨了“Techno-Feudalism”的概念，即数字平台是否像封建领主一样控制数字空间。作者认为，将数字经济类比为封建制度存在误导，因为数字领域与中世纪封建制度有显著差异。文章对比了自愿参与、数据货币化、创新与竞争、资源获取、全球连接和监管治理等多个方面，指出数字经济具有开放性、流动性和创新性，与封建制度的封闭、僵化形成鲜明对比。作者强调，需要更深入地理解数字经济的独特之处，而非简单地进行历史类比。
Mark as Read
Mark as Unread
Intel: Winning and Losing
Source
文章回顾了 Intel 在 2008-2013 年间的关键发展。2008 年 Intel 凭借 Nehalem 架构的 CPU 占据桌面和笔记本电脑市场主导地位，但也在低功耗 Atom 处理器上有所布局。2010 年推出 32nm 工艺，并发布了 SSD 310。2011 年，Intel 推出 Sandy Bridge 架构，并收购了 McAfee。同年，Intel 发布 22nm FinFET 工艺，并推出了 Ultrabook 计划。2012 年，Medfield 平台发布，Intel Xeon Phi 问世。文章还提到了公司的人事变动和财务状况。
Mark as Read
Mark as Unread
Embracer Games Archive is preserving 75000 video games and needs contributions
Source
**Embracer Games Archive** 正在致力于保存游戏文化，目前已收藏约 75,000 款游戏。该档案馆希望长期保存游戏历史，并欢迎捐赠或出售游戏。特别关注 3DO、Amstrad CPC 464、Apple II 等平台的游戏。 档案馆位于瑞典卡尔斯塔德，欢迎对游戏文化感兴趣的人士联系。
Mark as Read
Mark as Unread
A tool to verify estimates, II: a flexible proof assistant
Source
文章介绍了作者开发的灵活的 Proof Assistant 工具，用于验证估计。该工具基于 **Python** 和 **sympy**，模仿了 **Lean** Proof Assistant 的部分特性。它支持半自动化的交互式证明，用户提供高级策略（tactics），工具执行计算。文章通过线性算术和渐近估计的例子展示了工具的使用，并提到了对数线性规划求解器的功能。作者计划扩展工具，使其能够处理更广泛的数学任务，并欢迎关于新功能和贡献的建议。
Mark as Read
Mark as Unread
文章探讨了作者在计算机使用中奉行的“短暂性策略”，即**倾向于将事物分为“有组织地永久存在”和“严格临时存在”两类**。作者通过关闭 shell 历史记录、定期清理桌面、频繁关闭浏览器、关闭 X11 会话管理和使用 tmpfs 作为临时空间等习惯，实践这一策略。文章还提到了公司记录管理和自动化操作系统设置等相关实践。作者认为，这种策略有助于保持条理，避免意外的持久化状态，并促进数据的组织和可移植性。尽管如此，作者也承认电子邮件和浏览器历史记录是该策略的例外，因为它们难以预测其未来价值。文章最后强调，这是一种个人实践，并非旨在说服他人效仿，而是提供一种思考方式。
Mark as Read
Mark as Unread
A Typical Workday at a Japanese Hardware Tool Store [video]
Source
这段视频展示了日本一家五金工具店的典型工作日。视频提供了基本的播放控制功能，如搜索、分享、倍速播放等。如果播放遇到问题，建议重启设备。观看视频可能会影响电视的观看历史和推荐。分享功能包括播放列表，但检索分享信息时可能出错。页面底部提供了关于YouTube的相关链接和版权信息。
Mark as Read
Mark as Unread
文章提出了“临终谬误”的概念，批判了人们常听取的“临终建议”。作者认为，临终者的建议并非可靠，因为他们所处的状态不具代表性，对过去的认知可能存在偏差，且他们所处的世界与现在大相径庭。文章指出，临终者常后悔未做真实的自己、工作过度等，但这些建议对当下生活不一定适用。作者建议关注当下幸福，而非过度担忧“临终的你”的看法。
Mark as Read
Mark as Unread
**RPG in a Box** 是一款易于使用的游戏创作工具，旨在让用户轻松创建游戏和其他互动体验。它提供了一系列功能，包括体素编辑器、地图编辑器、可视化脚本、对话系统、相机系统、UI定制、物品系统和音效生成器。无需编程或建模知识，即可将故事和想法转化为游戏，并导出为独立的 Windows 和 macOS 格式。
Mark as Read
Mark as Unread
Cosmos 482 Descent Craft tracker
Source
“Cosmos 482 返回舱追踪器”页面在构建 `CesiumWidget` 时出现 WebGL 初始化失败的错误。 错误提示浏览器支持 WebGL，但初始化失败，建议检查浏览器和显卡驱动。 页面提供了卫星追踪数据，包括卫星、碎片等信息，并列出了数据来源，如 JSC Vimpel、Planet、SpaceX 等。 AstriaGraph 项目允许非商业用途的复制、修改和分发。 轨道确定基于 USSPACECOM 的星历，使用开源 orbdetpy 库。 可视化使用开普勒运动方程，但未考虑部分扰动因素。
Mark as Read
Mark as Unread
5 Steps to N-Body Simulation
Source
本教程受“CFD Python”启发，旨在引导初学者用简洁的 Python 代码编写 N 体引力模拟程序。教程假设读者具备 Python 和微积分基础，但内容会详细解释，方便理解。教程分为五个步骤，逐步讲解，并提供完整代码。读者可以在 GitHub 和网站上找到源代码和教程内容，鼓励读者动手实践，最终完成自己的 N 体模拟项目。
Mark as Read
Mark as Unread
Ash (Almquist Shell) Variants
Source
这篇文章研究了`Ash` (Almquist Shell) 的多种变体，追溯了它们的发展历史和相互关系。文章详细介绍了从原始版本到传统BSD、386BSD、BSD/OS、NetBSD、FreeBSD等不同分支的演变过程，并提到了早期移植到Linux的版本。文章还列举了各变体之间的差异，包括对命令替换、历史记录、算术扩展、内置命令等方面的支持，以及一些bug修复和功能改进。最后，文章还提到了`dash`、Cygwin、BusyBox等变体。
Mark as Read
Mark as Unread
15 Years of Shader Minification
Source
文章回顾了Shader Minifier工具十五年的发展历程，该工具用于压缩GLSL代码，帮助Demoscene开发者在有限空间内创作复杂动画。文章探讨了压缩过程中遇到的挑战，如早期尝试使用宏反而导致压缩后文件变大。随后，文章介绍了重命名标识符、静态分析、内联、变量重用等优化技术，并展示了这些技术在减少代码体积上的效果。最后，文章展望了Shader Minifier在更大规模的64k intro中的应用前景，并强调了持续改进的空间。
Mark as Read
Mark as Unread
EM-LLM: Human-Inspired Episodic Memory for Infinite Context LLMs
Source
EM-LLM 是一种受人类启发、无需微调的 LLM，旨在处理无限上下文长度。它结合了人类情景记忆和事件认知，通过贝叶斯惊奇和图论进行事件分割，并采用两阶段检索机制。实验表明，EM-LLM 在 LongBench 和 $\infty$-Bench 基准测试中表现优异，超越了 SOTA 检索模型和 RAG 方法，甚至在某些任务中超过了全上下文模型。该模型在 10M tokens 上成功检索，并与人类事件感知有很强的相关性，为研究人类记忆机制提供了新框架。
Mark as Read
Mark as Unread
Show HN: Codigo – The Programming Language Repository
Source
该网页是一个编程语言知识库，名为 Codigo。它提供编程语言新闻、最受欢迎语言、最多收藏语言、PyPL 和 TIOBE 指数排名，以及 GitHub 上推送最多的语言排名。内容涵盖了 C++、Kotlin、Python、PHP、C#、Mojo、Rust 等多种语言的最新动态和相关信息，并提供浏览所有语言、搜索等功能。
Mark as Read
Mark as Unread
Mill as a direct style build tool
Source
文章介绍了构建工具 Mill，它是一种 "direct style" 的构建工具，类似于 React.js 在前端框架中的设计。Mill 使用单一通用语言（Scala）定义构建任务，通过直接编写代码生成最终文件，实现自动缓存、并行化和优化。相比于传统的构建工具，Mill 具有更快的构建速度、更好的易用性和扩展性，尤其适用于 Java/JVM 项目，并有潜力成为更简单的 Monorepo 构建工具。
Mark as Read
Mark as Unread
NOT a 3 year old chimney sweep (2022)
Source
文章揭穿了一段疯传的视频，该视频声称展示了三岁扫烟囱工人在工作。作者通过考证，指出视频拍摄于1929-1930年的柏林，并非1933年。文章分析了视频中的细节，如工具尺寸、服装等，并结合历史背景，论证了视频中儿童扫烟囱工人的真实性存疑。作者认为这更像是一场摆拍，而非真实的童工现象，并最终找到了视频中父子的身份。
Mark as Read
Mark as Unread
Continuous glucose monitors reveal variable glucose responses to the same meals
Source
该研究基于2025年4月7日发布的文章，探讨了使用连续血糖监测仪（CGM）观察到的个体对相同膳食的不同血糖反应。文章涉及糖尿病、血糖控制和血糖等主题，由专家撰写、编辑和审阅。
Mark as Read
Mark as Unread
Slow Software for a Burning World
Source
本文介绍了 Bonfire，一个旨在构建“慢”软件的开源项目，强调关怀、自主和集体管理。Bonfire 倡导模块化、社区治理和联邦制，以对抗“利润至上”模式带来的负面影响，例如信任、同意和社区的瓦解。它借鉴萨帕塔运动的理念，鼓励用户参与塑造，而非仅仅使用。Bonfire 致力于构建一个由社区驱动、抵制捕获、并支持互连的数字空间。
Mark as Read
Mark as Unread
In praise of grobi for auto-configuring X11 monitors
Source
文章介绍了使用 `grobi` 程序自动配置 X11 显示器的方法，解决了从 suspend-to-RAM 唤醒后显示器无法正确配置的问题。通过配置 `~/.config/grobi.conf` 文件，`grobi` 监听 X11 RandR 事件，并在显示器连接时自动运行 `xrandr` 配置显示器。文章还提到了 `grobi` 的优势，以及与 `autorandr` 的比较。此外，文章还分享了作者使用 `zleep` 和智能插座实现自动唤醒和关闭显示器的设置。
Mark as Read
Mark as Unread
Europe launches program to lure scientists away from the US
Source
欧洲启动“选择欧洲搞科研”计划，旨在吸引全球科学家，特别是来自美国的，以应对美国科研经费削减导致的人才流失。该计划将在2025-2027年间投资5亿欧元，并承诺增加研发预算。法国、德国等国也推出类似计划，西班牙则通过加强现有项目，如国家人才吸引计划和Ramón y Cajal计划，积极吸引人才。这些举措旨在促进科学发展，并为科学家提供更好的职业环境。
Mark as Read
Mark as Unread
该项目提供一个脚本，将 Gmail 邮件下载并存储到 SQLite 数据库，方便用户进行数据分析。用户需安装依赖、配置 Google Cloud 项目和 API 凭据。脚本支持同步所有邮件或单个邮件，通过命令行参数控制。数据库包含邮件 ID、发件人、收件人、主题、正文等信息，并提供示例查询，如统计发件人邮件数量、未读邮件数量等。未来计划包括检测已删除邮件。
Mark as Read
Mark as Unread
Vision Now Available in Llama.cpp
Source
`llama.cpp` 现已新增 Vision 功能。文章展示了该项目在 GitHub 上的相关信息，包括代码、问题、Pull requests、讨论、操作、项目、Wiki、安全性和洞察等。用户可以通过 GitHub 访问和了解 `llama.cpp` 的最新动态，包括 Star 和 Fork 的数量。
Mark as Read
Mark as Unread
A simple 16x16 dot animation from simple math rules
Source
这段代码展示了在 `tixy` 平台上，通过极简代码实现16x16点阵动画的挑战。核心在于利用数学规则，结合时间、迭代次数、x坐标和y坐标等变量，在有限的字符限制下创作动画效果。代码旨在挑战开发者用最少的字符实现视觉效果，鼓励创意编程。
Mark as Read
Mark as Unread
Algebraic Effects: Another mistake carried through to perfection?
Source
文章作者批判了“代数效应”（Algebraic Effects）这种新兴的编程范式，认为它在实际软件开发中并不能带来显著好处，反而可能导致问题。作者指出，代数效应与异常处理（exceptions）一样，都存在动态作用域的问题，这会使得代码难以理解和维护。作者认为，传统的依赖注入（通过参数传递）方式更简单、更清晰，也更易于测试和维护。文章最后总结，代数效应可能只是一个“走向完美的错误”，并提出了改进异常处理的建议，例如将异常处理转化为参数传递。
Mark as Read
Mark as Unread
Charles Bukowski, William Burroughs, and the Computer (2009)
Source
文章探讨了作家 Charles Bukowski 和 William Burroughs 与计算机的关系。 Bukowski 晚年积极拥抱 Macintosh，电脑提升了他的创作效率，并影响了其写作风格。 相比之下，Burroughs 对计算机的态度较为冷淡，可能源于他对机械的疏远、对创作过程的独特理解，以及对印刷文化的偏爱。 文章对比了两位作家对新技术的不同态度，并探讨了技术对创作的影响，以及数字时代对传统作家和档案管理带来的挑战。
Mark as Read
Mark as Unread
Brandon's Semiconductor Simulator
Source
该文章介绍了由 Brandon 开发的半导体模拟器，用户可以在其中绘制电路并模拟电压。该模拟器具有交互式电路绘制、电磁场可视化和多种材料支持等特性。用户可在浏览器上在线运行，也可下载 Java 版本以获得更快的速度。文章还提供了多个模拟示例，涵盖简单电路、半导体器件和数字逻辑等。
Mark as Read
Mark as Unread
该文章展示了使用 WebGL 实现的水体效果演示，由 [Evan Wallace](https://madebyevan.com/webgl-water/
Mark as Read
Mark as Unread
Memory Safety Features in Zig
Source
文章深入探讨了 Zig 语言的内存安全特性。Zig 通过无隐藏控制流、完善的错误处理、编译时和运行时边界检查、`defer` 语句、可选类型等机制，有效防止内存相关错误，如缓冲区溢出和空指针解引用。此外，Zig 还提供构建模式，平衡安全性和性能，并支持安全字符串、显式分配器、`comptime` 函数求值等高级特性。文章最后通过一个安全的双端队列实现示例，展示了这些特性在实际应用中的运用。
Mark as Read
Mark as Unread
PlainBudget – Minimalist Plain Text Budgeting
Source
**PlainBudget** 是一款极简的纯文本预算管理应用。该应用目前处于 beta 测试阶段，提供 macOS 版本下载。用户需要手动授权才能运行，或者使用命令行解除隔离。开发者鼓励用户反馈问题，并提供了 GitHub 链接。
Mark as Read
Mark as Unread
Using Git-upload-pack for a simpler CI integration
Source
文章介绍了 Screenshotbot 如何简化 CI 集成，核心在于利用 `git-upload-pack` 协议。 早期，Screenshotbot 通过存储和合并提交图来获取仓库信息，但难以支持 shallow clones。 `git-upload-pack` 允许通过 SSH 直接获取 Git 信息，解决了 shallow clones 的问题，并避免了对特定 API 的依赖。文章详细阐述了协议的工作原理，以及在实现过程中遇到的挑战和注意事项，例如协议和 packfile 格式的复杂性，以及不同 Git 服务器的差异。
Mark as Read
Mark as Unread
Fleursdumal.org 是一个致力于介绍法国诗人 Charles Baudelaire 及其诗集 _Les Fleurs du mal_（恶之花）的在线平台。该网站收录了该诗集的多个版本，包括不同时期的诗歌和多种英文译本，旨在提供权威的在线版本。网站由 Supervert 创建和维护，并提供关于翻译的说明，以及诗歌的导航和音频资源。
Mark as Read
Mark as Unread
文章讲述了作者在匹兹堡地区遭遇风暴后，停电六天的经历。作者分享了应对紧急情况的准备，包括备用电源、应急食品等，但风暴暴露了计划中的不足。文章详细记录了停电期间的生活，从最初的应对到后续的发电机购买、加油、食物短缺等问题。作者反思了准备工作，强调了韧性、社区互助的重要性，并总结了经验教训，例如储备资金、测试应急方案等。
Mark as Read
Mark as Unread
William Leonard Pickard，曾是全球最大的 LSD 地下制造商之一，拥有哈佛学历，涉足毒品制造多年。文章讲述了他从优越童年到参与迷幻文化，再到被捕入狱的经历。他与 Gordon Todd Skinner 的关系是故事的关键，Skinner 涉嫌背叛。文章探讨了 LSD 制造的隐秘世界，以及 20 世纪 60 年代的理想主义与 90 年代的物质主义的碰撞。
Mark as Read
Mark as Unread
Business books are entertainment, not strategic tools
Source
这篇文章的核心观点是：商业书籍主要是一种娱乐形式，而非有效的战略工具。文章通过 Cloudflare 的安全验证，暗示了其内容可能具有一定的争议性或需要谨慎对待。
Mark as Read
Mark as Unread
Turritopsis dohrnii: Immortal jellyfish
Source
文章介绍了水母 **Turritopsis dohrnii**，一种能够逆转生命周期的“不朽水母”。当受到损伤或压力时，它会变回水螅体阶段，再重新发育为水母体，理论上可无限循环。这种转分化过程非常罕见，使其可能永生。该物种由科学家于1883年描述，其永生能力在20世纪80年代被意外发现。虽然它们仍可能被捕食，但其独特的生命周期引发了广泛关注，并可能通过船只压舱水传播到全球。
Mark as Read
Mark as Unread
What’s new in Swift 6.2
Source
Swift 6.2 带来了多项新特性和改进，包括：原始标识符，允许使用特殊字符命名标识符；字符串插值默认值，简化可选值处理；`enumerated()` 遵循 `Collection` 协议，方便 SwiftUI 列表使用；方法和初始化器键路径，扩展键路径功能；选择启用严格内存安全检查，增强代码安全性；Swift 回溯 API，提供调试工具；`weak let`，增强属性管理；值的事务性观察，实现灵活的观察机制；全局 Actor 隔离的一致性，改进并发编程；从调用方上下文同步启动任务，优化任务执行；默认情况下在调用者的 Actor 上运行非隔离的异步函数，简化并发代码；隔离的同步 deinit，安全访问类数据；任务优先级提升 API，控制任务优先级；任务命名，方便调试；`InlineArray`，固定大小数组；以及正则表达式后视断言。
Mark as Read
Mark as Unread
NASA Study Reveals Venus Crust Surprise
Source
NASA的一项研究揭示了关于Venus地壳的新发现。研究表明，Venus地壳并非如先前所想的缺乏运动，而是通过岩石密度和融化循环发生变质作用。尽管Venus没有板块构造，但其地壳厚度约为25-40英里，底部会变得致密，可能断裂或融化。这一过程有助于物质循环回行星内部，驱动火山活动。未来的任务，如DAVINCI和VERITAS，将收集更多数据以验证这些模型，并探索Venus地质、地壳和大气之间的相互作用。
Mark as Read
Mark as Unread
文章介绍了 BEAM，即 Erlang 虚拟机。BEAM 负责执行 Erlang 代码，管理 Erlang 进程，实现并发、可扩展性和容错性。文章阐述了 BEAM 的特性，如进程隔离、异步消息传递、自动存储管理和错误检测。Elixir 运行在 BEAM 上，继承了其优势，并提供了更友好的语法和开发体验。
Mark as Read
Mark as Unread
New Tool: lsds – List All Linux Block Devices and Settings in One Place
Source
文章介绍了新工具 **lsds**，一个用 Python 编写的命令行工具，用于一站式查看 Linux 块设备及其配置信息。 **lsds** 直接从 sysfs 读取数据，避免了运行多个命令和关联输出的麻烦，例如 `lsblk`、`lsscsi` 等。文章展示了 **lsds** 的基本用法，包括查看设备信息、自定义显示列、以及使用 `--pivot` 和 `--verbose` 选项。此外，文章还探讨了不同类型 SSD 的写入缓存模式和 FUA 标志，以及该工具在不同环境下的输出示例。
Mark as Read
Mark as Unread
Odin, a Pragmatic C Alternative with a Go Flavour
Source
Odin 是一种务实的 C 语言替代品，强调简单、性能和可读性。它内置动态 maps 和数组，并提供丰富的开箱即用功能，旨在提升编程体验。Odin 语法简洁，借鉴了 Jai 的设计，并采用 Go 的错误处理方式。与 Jai 相比，Odin 更注重实用性而非元编程；与 Zig 相比，Odin 更注重简洁和用户体验。虽然文档和社区建设有待加强，但其务实的设计和对开发人员的关注，使其成为一个值得关注的 C 语言替代方案。
Mark as Read
Mark as Unread
Offline vs. online ML pipelines
Source
这篇文章讨论了离线（Offline）和在线（Online）机器学习管道的对比。由于无法访问文章具体内容，无法给出详细总结。但根据标题，文章很可能比较了两种机器学习管道的特点、优缺点，以及在不同场景下的适用性。文章可能涉及了数据处理、模型训练、部署和监控等环节在离线和在线环境下的差异。
Mark as Read
Mark as Unread
Detecting if an expression is constant in C
Source
文章探讨了在C语言中检测表达式是否为常量的方法，并提供多种宏实现。这些方法包括使用C23的`constexpr`复合字面量、`__builtin_constant_p` (GNU扩展)、`static_assert`、`sizeof`结合复合字面量或`enum`常量，以及逗号运算符。文章分析了每种方法的优缺点，如对C标准版本的依赖、类型改变、对浮点表达式的支持以及编译器警告等问题。最终，作者希望找到更完善的解决方案，并提到了一个使用`_Generic`的C11解决方案。
Mark as Read
Mark as Unread
Rollstack (YC W23) Is Hiring TypeScript Engineers (Remote US/CA)
Source
Rollstack (YC W23) 正在招聘远程 TypeScript 工程师，地点位于美国/加拿大。该公司致力于报表自动化，通过连接 BI 工具，自动生成和更新数据驱动的幻灯片和文档。技术栈包括 TypeScript、React、Node.js、Prisma、Temporal、OpenAI API 等。 工程师将参与构建新功能、优化数据同步、集成 BI 工具和内容平台。 薪资范围为 14 万至 20 万美元，并提供股权。 申请者需具备 2-6 年相关工作经验，2 年 TypeScript、Node.js 和 React 经验。 面试流程包括技术和匹配面试。
Mark as Read
Mark as Unread
Show HN: Oliphaunt – A native Mastodon client for macOS
Source
本文介绍了 macOS 原生 Mastodon 客户端 Oliphaunt 的 beta 测试，需要通过 TestFlight 应用参与。文章详细说明了 TestFlight 的使用方法，包括安装、测试 beta 应用、提供反馈、管理自动更新等。用户需先安装 TestFlight，然后通过邀请或公开链接加入测试，并可提交反馈。文章还强调了隐私保护，开发者仅能使用收集到的数据改进应用，且不能与第三方共享。
Mark as Read
Mark as Unread
Past, Present, and Future of Sorbet Type Syntax
Source
这篇文章回顾了 Sorbet 类型语法的设计演变，探讨了其在 Stripe 的起源和发展。文章分析了多种类型语法设计方案，包括 TypeScript、头文件、JSDoc 和 Python 的方法，最终选择了 DSL 方法。文章强调了类型是表达式的特性带来的约束，如语法冲突和前向引用问题，并讨论了通过块延迟评估等方式解决这些问题。最后，文章展望了未来 Sorbet 语法可能的变化，旨在提升用户体验。
Mark as Read
Mark as Unread
Show HN: A backend agnostic Ruby framework for building reactive desktop apps
Source
这是一个基于 Ruby 的框架，名为 Hokusai，用于构建与后端无关的响应式桌面应用程序。它使用 Raylib 或 SDL2 作为后端，并提供示例计数器应用程序。开发需要安装 xmake 和 Ruby，并按照步骤构建和运行。该项目使用 Peer Production License 协议。
Mark as Read
Mark as Unread
Show HN: Hydra (YC W22) – Serverless Analytics on Postgres
Source
Hydra 是一款基于 Postgres 的 Serverless 分析平台，提供开源、自动伸缩、无限容量的列式存储，实现亚秒级实时分析。它与 DuckDB 结合，旨在提升分析查询性能。文章介绍了 Hydra 的优势，包括与现有技术栈的兼容性，并提供了快速部署和使用的指南。此外，文章还引用了多位行业人士的评价，强调了 Hydra 在数据分析领域的潜力。
Mark as Read
Mark as Unread
ALICE detects the conversion of lead into gold at the LHC
Source
ALICE 实验在 LHC 中观察到铅原子核在高能碰撞中转化为金。这种转化是通过强电磁场诱导的，导致铅原子核失去质子。研究团队量化了这种转化过程，发现LHC每秒产生约89000个金原子核。尽管实现了炼金术士的梦想，但产生的金的量极少，仅为29皮克，远不足以用于实际应用。这项研究也验证了电磁解离的理论模型，对理解和预测LHC的性能有重要意义。
Mark as Read
Mark as Unread
Alephic Writing Style Guide
Source
这份写作风格指南是 Alephic 公司内部的写作规范，旨在提升表达的清晰度和说服力。核心原则包括：**简洁有力**，避免冗余；**使用主动语态**，强调执行者；**具体实在**，用数据和实例支撑观点；**结构清晰**，每段一个观点，标题明确。文章强调**智识上的大胆、雄心勃勃且脚踏实地、以及极其简单**的写作风格。指南还提供了文档编写、编辑流程、语法规范和视觉标准，并鼓励使用 AI 辅助写作，但强调人工审核和提炼。最终目标是清晰表达，而非卖弄聪明。
Mark as Read
Mark as Unread
Updated rate limits for unauthenticated requests
Source
为了应对API爬取活动增加，GitHub 正在更新针对未认证请求的 rate limits。 这意味着通过 HTTPS 克隆仓库、匿名使用 REST APIs 或从 raw.githubusercontent.com 下载文件等操作，可能会受到新的速率限制。 此次更新旨在保护平台，确保 GitHub 的稳定性和可靠性。 建议开发者使用身份验证，以获得更高的 rate limits，从而更稳定地访问 GitHub 服务。
Mark as Read
Mark as Unread
Itter.sh – Micro-Blogging via Terminal
Source
**itter.sh** 是一个基于 **SSH** 的极简主义社交媒体平台，用户通过终端进行交互。它没有网页界面、**JavaScript** 和算法推荐，专注于纯粹的文字分享。用户通过 **SSH** 注册、登录，发布短消息（"eets"，180字符限制），并使用简单的命令进行互动，如查看时间线、关注用户等。该平台使用 **Python**、**AsyncSSH** 和 **Supabase** 构建，旨在提供一种摆脱喧嚣的社交体验。
Mark as Read
Mark as Unread
文章探讨了在为音乐家设计网站时，如何将90年代的网页设计风格融入现代技术。作者重新审视了 Image Maps，发现其在实现图形化导航方面具有局限性，尤其是在响应性和交互性方面。最终，作者放弃了 Image Maps，转而使用内联 SVG 结合锚点和 CSS 实现更具表现力、可访问且响应式的设计，从而更好地满足了设计需求。
Mark as Read
Mark as Unread
21 GB/s CSV Parsing Using SIMD on AMD 9950X
Source
文章介绍了 .NET CSV 解析器 Sep 在 AMD 9950X 处理器上的性能优化，特别是通过 SIMD 技术实现高达 21 GB/s 的解析速度。作者详细分析了从 .NET 7.0 到 9.0，以及从 AMD 5950X 到 9950X 的性能演进。核心在于改进了 AVX-512 代码生成，绕过了 mask 寄存器问题，并引入了 AVX-512-to-256 解析器，最终实现了性能的显著提升。文章还对比了不同解析器的性能，并展示了代码和汇编级别的优化细节。
Mark as Read
Mark as Unread
Sofie: open-source web based system for automating live TV news production
Source
Sofie 是一个用于自动化直播电视新闻制作的开源 Web 系统。它专为演播室和直播节目设计，由挪威公共服务广播公司 NRK 开发并使用。文章提供了 Sofie 的用户指南、开发者文档和版本发布信息，并鼓励用户加入 Slack 社区进行交流。
Mark as Read
Mark as Unread
Show HN: Aberdeen – An elegant approach to reactive UIs
Source
文章介绍了 Aberdeen，一种使用纯 TypeScript/JavaScript 构建响应式 UI 的方法，无需 virtual DOM。核心思想是使用匿名函数发出 DOM 元素，并在底层代理数据变化时自动重新运行。Aberdeen 具有优雅、快速、体积小等优点，并提供列表功能、客户端路由等。缺点是社区和生态系统相对较小。文章还提供了示例和学习资源，并宣布了 1.0 版本的发布。
Mark as Read
Mark as Unread
NSF faces shake-up as officials abolish its 37 divisions
Source
美国国家科学基金会（NSF）面临重大改革，计划废除其下属的37个部门，以响应总统的指令。此举涉及大量裁员和项目缩减，部门主管将被撤换。改革部分源于预算削减，也可能涉及资助流程的重组，包括增加审查层级。观察人士担忧，NSF可能更容易受到政治影响。该机构已取消了大量资助，并计划进一步裁员。
Mark as Read
Mark as Unread
CryptPad: An Alternative to the Google Suite
Source
CryptPad 是一款开源、端到端加密的协作办公套件，旨在替代 Google Suite。它提供文档、表格、看板等多种工具，支持实时编辑和协作，并注重用户隐私。用户评价普遍认为其易于使用、安全可靠，是注重隐私的 Google Docs 替代品，无需牺牲功能或易用性。CryptPad 允许匿名协作，数据安全，且界面简洁，适合团队协作和个人使用。
Mark as Read
Mark as Unread
Show HN: Hyvector – A fast and modern SVG editor
Source
这是一款名为 Hyvector 的 SVG 编辑器，目前处于 1.0 beta 版本。它提供基础的 SVG 编辑功能，包括文件操作、编辑、对象管理、视图控制和帮助。界面简洁，用户可以通过它进行 SVG 文件的创建和修改，并能调整图形的填充、描边等属性。
Mark as Read
Mark as Unread
Rust’s dependencies are starting to worry me
Source
文章作者表达了对 Rust 依赖管理的担忧。虽然 `cargo` 简化了依赖引入，提高了开发效率，但过度依赖第三方库可能导致代码量激增，难以审计。作者以自身项目为例，引入多个库后，依赖代码量远超自身编写代码，甚至接近 Linux 内核。作者质疑如何有效审计如此庞大的代码，并提出了对安全性和维护性的担忧。文章最后，作者承认无法重写现有框架，并提出了对未来依赖管理改进的疑问。
Mark as Read
Mark as Unread
Open Hardware Ethernet Switch project, part 1
Source
文章是关于一个开放硬件以太网交换机项目的进展。作者分享了从早期基于 FPGA 的交换机原型到当前 LATENTRED 项目的设计演进。LATENTPINK 是一个包含 VSC8512 和 DP83867 的 14 端口交换机，用于验证技术。LATENTRED 计划构建一个 48 端口 1U 交换机，采用 XCKU5P FPGA，并使用 AcceleRate 连接器实现线卡互连。文章详细介绍了硬件架构、当前状态和计划的交换引擎设计，包括交叉开关和数据包处理流程。作者预计在 2026 年完成最终设计。
Mark as Read
Mark as Unread
文章探讨了“_P_ hacking”现象，即通过调整数据分析或选择性报告结果以获得统计显著性。文章指出，过早结束实验、重复实验直到成功、选择性报告结果以及调整数据是导致_P_ hacking的常见方式。为了避免这种行为，研究人员应提前确定样本量和分析方法，报告所有实验结果，并在数据处理前制定明确的规则，以确保研究的可靠性和可重复性。
Mark as Read
Mark as Unread
For better or for worse, the overload (2024)
Source
文章探讨了C++中函数重载解析的复杂性，特别是关于隐式转换序列和“更好”的定义。核心在于**限定转换**，即`const`和`volatile`对类型的影响。文章详细解释了标准转换序列，以及如何通过cv-限定签名来判断类型转换是否可行。作者通过例子展示了重载解析的规则，并指出其复杂性。最终，作者质疑了隐式转换的价值，认为其可能导致代码错误，并对这种复杂的设计表示了担忧。
Mark as Read
Mark as Unread
The most valuable commodity in the world is friction
Source
这篇文章的核心观点是：世界最有价值的商品是“Friction”（摩擦力）。文章通过一个验证过程，展示了访问网站时遇到的安全检查，例如需要验证是否为人类。这暗示了在互联网上，为了安全和性能，需要增加一些“摩擦”，即额外的步骤或延迟。文章强调了这种“摩擦”的重要性，它可能被视为一种有价值的商品，因为它有助于保护网站和用户。
Mark as Read
Mark as Unread
Show HN: AI-powered batch photo editor for real estate photographers
Source
4DITOR 是一款 AI 驱动的房地产照片编辑器，主要功能包括：修复光照和颜色、虚拟布置、移除杂物、增强封面照片等。用户可以通过预设或文本提示进行批量编辑，无需设计技能。提供免费试用和多种付费订阅方案，以及一次性信用包。该平台旨在帮助房地产经纪人快速优化照片，节省时间和成本，提升房源吸引力。
Mark as Read
Mark as Unread
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean
Source
文章探讨了数学家使用 **Lean** 证明助手进行数学证明的新前沿。核心在于 **Lean Blueprints**，它记录了数学家形式化证明的过程，提供了对数学家思维方式的独特视角。文章展示了多个 **Lean** 项目的 **Blueprint** 演变动画，揭示了不同数学家团队的证明工作模式，例如声明定理、定义概念、逐步验证等。通过分析这些数据，可以深入了解数学证明的实际操作，并为开发辅助数学家证明的工具提供思路。
Mark as Read
Mark as Unread
Show HN: Vom Decision Platform (Cursor for Decision Analyst)
Source
Vom是一个无代码决策平台，旨在帮助用户实现自动化决策，例如信贷和保险承保。 平台提供易于使用的界面，支持策略更改、数据处理和A/B测试。 核心功能包括无代码编辑器、REST API集成、AI Copilot、连接器、A/B测试、版本控制、安全性和可扩展的云架构。 Vom的目标是帮助企业改进自动化决策，从而提升业务成果。
Mark as Read
Mark as Unread
文章介绍了在[2024 ELS]上关于自适应哈希的演讲，旨在提升通用哈希表的性能和健壮性。核心思想是使哈希函数适应实际的键分布，以减少冲突并提高缓存友好性。文章探讨了如何修改SBCL的内置哈希表，通过监测冲突链长度、重新哈希时的冲突计数和哈希表大小来动态切换哈希函数。针对`EQ`和`EQUAL`哈希表，文章分别提出了不同的自适应策略，例如对字符串和列表键进行部分哈希。最终，自适应哈希在SBCL哈希表中实现了速度提升和更强的鲁棒性。
Mark as Read
Mark as Unread
Bento是一个用Go编写的开源云原生流处理工具，通过声明式配置简化数据工程任务，如转换、集成和多路复用。它提供多种processors、mapping language和windowed processing功能，支持连接各种sources和sinks，并保证至少一次的消息交付。Bento易于部署和扩展，支持插件扩展，并提供metrics和tracing。
Mark as Read
Mark as Unread
Writing an LLM from scratch, part 13 – attention heads are dumb
Source
文章探讨了LLM中Attention机制的运作原理，核心观点是单个Attention Head并不“聪明”，其功能相对简单，主要负责模式匹配。通过将输入嵌入投影到Query和Key空间，Head学习寻找和匹配特定类型的token。文章强调了Multi-head Attention和层级结构的重要性，它们共同构建了复杂的表示，使得LLM能够处理更长的上下文。文章还提到了这种机制在处理固定长度瓶颈问题上的优势，以及对Attention Head如何工作的更深入理解。
Mark as Read
Mark as Unread
Making PyPI's test suite 81% faster – The Trail of Bits Blog
Source
文章介绍了 Trail of Bits 如何通过优化提升 PyPI 测试套件速度，将执行时间从 163 秒缩短至 30 秒，测试数量从 3900 增加到 4700+。主要优化手段包括：使用 `pytest-xdist` 并行执行测试，利用 Python 3.12 的 `sys.monitoring` 进行更高效的覆盖率检测，通过 `testpaths` 优化测试发现，以及删除不必要的导入。这些改进使测试更快速，鼓励更频繁的测试，从而提升了 PyPI 的安全性和开发效率。
Mark as Read
Mark as Unread
Show HN: Translate between dialects and share SQL queries on the browser
Source
SQLScope 是一款基于浏览器的 SQL 查询转换工具。它利用了 SQLGlot 和 Pyodide 技术，方便用户在不同 SQL 方言之间进行转换。用户可以轻松地将一种方言的 SQL 查询转换为另一种，实现跨平台兼容。该工具由 BazookaMusic 开发，并使用了来自 Flaticon 的图标。
Mark as Read
Mark as Unread
A brief history of the numeric keypad
Source
文章追溯了数字键盘的发展历史，探讨了计算器和电话键盘数字排列差异的起源。从19世纪初的机械计算器开始，文章介绍了不同键盘布局的演变，如Jean-Baptiste Schwilgué的早期键盘、Comptometer的9-1布局，以及Dalton的10键机器。最终，Sundstrand的3x3+1布局成为计算器键盘的标准。文章还分析了电话键盘布局的选择，AT&T的研究表明用户更倾向于从左到右、从上到下的布局。文章总结，尽管技术上没有优劣之分，但为了用户习惯和软件维护，智能手机和VR设备都沿用了电话或桌面应用程序的键盘布局。
Mark as Read
Mark as Unread
Fighting Unwanted Notifications with Machine Learning in Chrome
Source
Chrome 正在 Android 上推出基于机器学习的恶意通知警告功能。该功能利用设备上的机器学习模型分析通知内容，识别潜在的欺骗性或垃圾信息。当通知被标记时，用户会收到警告，并可选择取消订阅或查看通知。模型使用合成数据训练，分析在设备上完成，保护用户隐私。此外，Chrome 还通过撤销滥用网站的通知权限和 Android 上的一键取消订阅等方式保护用户。
Mark as Read
Mark as Unread
The Screamer – A yell-on yell-off light
Source
文章介绍了作者制作的声控开关灯“The Screamer”。该项目基于 [Sonoff S31]，使用 [ESPHome] 进行控制。通过 [INMP441] 麦克风和 [ESP32] 板，检测尖叫声并触发 [Sonoff] 的继电器，从而控制灯的开关。作者解释了项目的工作原理，并提到了选择该方案的原因，以及未来可能改进的方向。最后，作者鼓励读者订阅以获取更多信息。
Mark as Read
Mark as Unread
How much information is in DNA?
Source
关于DNA信息量的讨论。文章探讨了DNA中蕴含的信息量，并暗示其远超人们的普遍认知。DNA不仅编码了生物体的基本构建模块，还包含了复杂的指令和调节机制。作者可能试图通过强调DNA的复杂性和信息密度，来引发对生物学、信息论或相关领域的思考。
Mark as Read
Mark as Unread
In-Memory Ferroelectric Differentiator
Source
文章提出了一种基于忆阻型铁电材料的 In-memory differentiator，用于高效的微分计算。该方法利用铁电畴反转的动态特性，直接在内存中进行微分运算，减少数据传输和能耗。研究人员构建了由铁电聚合物电容器交叉开关阵列组成的 In-memory differentiator，并成功应用于导数函数求解、运动物体提取和图像差异识别等任务。该技术具有高效率、高速度和低能耗的优势，为加速数学处理和实时视觉系统提供了新的硬件解决方案。
Mark as Read
Mark as Unread
Optimizing My Hacker News Experience
Source
这篇文章描述了访问一个名为 `reorientinglife.substack.com` 的网站时，需要通过 Cloudflare 的安全验证。验证过程可能需要几秒钟，以确认访问者是人类而非恶意程序。验证成功后，才能继续访问该网站。
Mark as Read
Mark as Unread
Arduino is at work to make bio-based PCBs
Source
Arduino 致力于开发生物基印刷电路板（PCBs），以减少电子产品对环境的影响。该项目是 Desire4EU 的一部分，旨在设计和测试生物基多层 PCBs，替代传统的玻璃纤维和环氧树脂材料，例如 PLA-flax。目标是降低电子垃圾，减少制造过程中的能源消耗，并提高回收利用效率，例如通过生物浸出回收铜。项目团队已成功复制了 Arduino Nano 和 UNO 板，并计划在 2026 年 4 月赠送 beta 板进行测试。
Mark as Read
Mark as Unread
When Suno covers my song (very useful) – a study with variations
Source
文章探讨了使用 Suno 生成音乐翻唱的可能性。作者将自己的多首原创歌曲输入 Suno，并尝试了不同的风格提示，包括爵士摇滚、house、rap 等。结果显示，Suno 在生成与原作相似的翻唱版本方面表现出色，尽管在某些和弦和主题的准确性上存在挑战。文章提供了多个翻唱示例，涵盖了不同年代和风格的歌曲，展示了 Suno 在音乐创作上的潜力。
Mark as Read
Mark as Unread
QueryLeaf: SQL for Mongo
Source
QueryLeaf是一个基于Node.js的SQL查询引擎，用于将SQL转换为MongoDB命令。它使用`node-sql-parser`解析SQL，编译成MongoDB命令，并使用官方驱动执行。支持SELECT、INSERT、UPDATE、DELETE等基本操作，以及嵌套字段访问、数组元素访问、GROUP BY聚合和JOIN等高级功能。提供库、CLI、Web服务器和PostgreSQL Wire Protocol Server等多种接口。包含单元测试、集成测试和持续集成流程。文档详尽，采用AGPL-3.0和商业双重许可。
Mark as Read
Mark as Unread
6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual
Source
文章探讨了西门子 PC 100 汇编手册中收录的 6502 处理器“非法”Opcodes。该手册是 1980 年出版的，基于 Rockwell AIM-65 单板计算机，并包含了西门子原创研究的“特殊指令”部分，描述了 AAX、DCM、LAX 和 ISB 等指令。文章分析了这些指令的正确性，指出西门子手册对部分指令的描述存在错误或不完整，但总体上对这些“非法”Opcodes 进行了记录。
Mark as Read
Mark as Unread
Adventures in Imbalanced Learning and Class Weight
Source
文章探讨了类别不平衡问题中类别权重调整的有效性。作者通过理论分析和实验，发现对于F1分数优化，类别权重对性能提升有限，甚至可能有害。但当使用平衡准确率作为评估指标时，反比例加权则表现出优势。这强调了指标选择对模型调优的重要性，以及需要根据实际应用场景和业务需求选择合适的评估指标。
Mark as Read
Mark as Unread
Dart added support for cross-compilation
Source
`dart compile` 命令用于将 Dart 代码编译成不同类型的输出，取代了旧的编译命令。它支持多种子命令，包括：`exe`（生成独立可执行文件，支持交叉编译到 Linux）、`aot-snapshot`（生成 AOT 模块）、`jit-snapshot`（生成 JIT 模块）、`kernel`（生成可移植的 kernel 模块）和 `js`（生成 JavaScript 文件）。`exe` 和 `aot-snapshot` 支持交叉编译，`js` 编译则有多种优化选项，并建议使用 `webdev` 工具进行 Web 应用编译。
Mark as Read
Mark as Unread
文章讲述了记者作为多发性骨髓瘤患者，亲历了药物Revlimid的高昂价格。Revlimid是沙利度胺的衍生物，挽救了许多生命，但价格高昂，一颗药丸接近1000美元，而制造成本仅25美分。文章追溯了Revlimid的研发历程，从沙利度胺的悲剧历史到其在多发性骨髓瘤治疗中的突破，以及Celgene公司如何利用专利、药物安全系统等手段维持高价。文章揭示了药品定价的复杂性，以及高药价对患者和医疗保险的影响。
Mark as Read
Mark as Unread
Prolog's Eternal September (2017)
Source
文章作者反思了在 Stack Overflow 上解答 Prolog 问题的行为，认为这种方式并未真正帮助初学者。他观察到大量学生因课程要求接触 Prolog，但教授自身对 Prolog 理解不足，导致学生学习体验不佳。作者认为问题的根源在于教学质量，而非学生本身。为了改善现状，他提出了两个设想：建立注释详尽的 Prolog 解决方案数据库，以及为教授提供教学幻灯片。作者希望通过这些方法，帮助学生更好地理解 Prolog，并欢迎其他想法。
Mark as Read
Mark as Unread
Monitoring my Minecraft server with OpenTelemetry and Prometheus
Source
文章分享了使用 OpenTelemetry、Prometheus 和 Dash0 监控 Minecraft 服务器的实践。作者通过 OpenTelemetry Java Agent 收集 JVM 运行时指标，并使用 Prometheus exporter 获取 Minecraft 特有指标，如玩家数量。文章详细介绍了监控设置的概览，包括 OpenTelemetry Collector 的作用。此外，还讨论了日志收集、告警设置，以及使用日志而非指标的原因。最后，作者展示了监控带来的价值，并分享了实际应用截图。
Mark as Read
Mark as Unread
SDFs and the Fast sweeping algorithm in Jax
Source
文章介绍了使用 JAX 实现快速扫描方法 (FSM) 求解 Eikonal 方程，该方程常用于水平集方法中，用于追踪界面演变。文章阐述了水平集方法和 Eikonal 方程的基本原理，并提供了使用 NumPy 和 JAX 实现 FSM 的代码示例。此外，文章还展示了 FSM 的实际应用，并进行了基准测试，结果表明 JAX 实现比 NumPy 更快。最后，文章讨论了并行 FSM 的尝试，并指出了在 JAX 中实现并行化的挑战。
Mark as Read
Mark as Unread
Ink and Algorithms: Techniques, tools and the craft of pen plotting
Source
《Ink & Algorithms》是一份专注于钢笔绘图的周刊，深入探讨该领域的工艺、技术和工具。内容涵盖了艺术家如何利用钢笔绘图进行创作，以及相关技术的发展与演变。文章还介绍了如`Truchet`瓷砖图案等绘图技巧，并分享了艺术家作品案例，例如`James Nolan Gandy`的模拟绘图机器。
Mark as Read
Mark as Unread
An Introduction to Solid Queue for Ruby on Rails
Source
文章介绍了 Rails 8 中引入的 Solid Queue，一个基于数据库的后台任务处理库。Solid Queue 旨在替代 Sidekiq 和 Resque 等依赖外部依赖的队列系统，简化 Rails 应用的运维。文章概述了 Solid Queue 的架构，包括 Jobs 和 Workers 的概念，以及任务的生命周期。它强调了 Solid Queue 在性能和安全性方面的设计，例如使用 `SKIP LOCKED` 优化性能，以及通过 supervisor 进程避免任务丢失。
Mark as Read
Mark as Unread
该研究提出了“Absolute Zero”范式，一种基于自博弈的强化学习推理方法，无需外部数据。其核心是让模型自主生成任务并通过自博弈解决，从而提升推理能力。研究实现了名为“Absolute Zero Reasoner (AZR)”的系统，在编码和数学推理基准上表现出色，甚至超越了在大型数据集上训练的模型，证明了自博弈在无需特定领域监督的情况下也能产生复杂的推理技能。
Mark as Read
Mark as Unread
Lianas are taking over the rainforests, and it's visible from space
Source
热带雨林正遭受 Lianas 快速蔓延的威胁，这种现象降低了森林的碳储存能力，并影响其减缓气候变化的作用。研究表明，Lianas 的扩张已持续 30 多年，每十年增长 10% 到 24%。它们通过窃取树木资源，导致森林窒息，甚至从太空都能被探测到。研究人员认为，大气中 CO₂ 含量上升加速了 Lianas 的生长。虽然 Lianas 对某些物种有重要作用，但阻止气候变化是减缓其扩张的唯一可行措施。
Mark as Read
Mark as Unread
Parametric Modeling with Grasshopper
Source
本文介绍了使用 Grasshopper 进行参数化建模的基础知识。Grasshopper 是 Rhino 的可视化编程界面，通过组合参数和组件，以算法方式生成几何体。文章详细讲解了如何在 Grasshopper 中创建点、线、折线、曲线和曲面等基本几何体，包括使用数值滑块、文本面板、Rhino 中的点线等多种方法。最后，文章还提到了如何通过拉伸、放样等方式创建实体和自由曲面。
Mark as Read
Mark as Unread
As Bright as a Feather: Ostriches, Home Dyeing, and the Global Plume Trade
Source
文章探讨了19世纪鸵鸟羽毛染色与全球羽毛贸易。当时，染色的鸵鸟羽毛是时尚潮流，需求量巨大。文章重点介绍了《实用鸵鸟羽毛染色师》一书，该书提供了详细的羽毛染色方法，旨在使染色过程经济高效。文章还提到了鸵鸟养殖业的兴起，以及驯养鸵鸟对减少野生鸟类捕杀的积极意义。
Mark as Read
Mark as Unread
Show HN: Sprigman – Pac-Man Recreated in a Limited Tile Based JavaScript Engine
Source
Sprigman是一个基于tile的 JavaScript 游戏引擎，用于制作微型游戏。它由 Hack Club 开发，使用 JavaScript 编写，并提供工具包，包括关卡设计、用户输入、sprite操作、文本显示、音乐音效等功能。开发者可以通过 `setLegend`、`setBackground`、`setMap`、`setSolids`、`setPushables` 等函数控制游戏元素。引擎支持输入处理、sprite 碰撞检测、文本显示和音乐播放。编辑器还内置了无限循环检测功能。
Mark as Read
Mark as Unread
VMware perpetual license holders receive cease-and-desist letters from Broadcom
Source
Broadcom 向 VMware 永久许可证持有者发送停止侵权通知函，目标是已过期支持合同的用户。Broadcom 收购 VMware 后停止销售永久许可证，并试图推动用户购买订阅。通知函要求用户停止使用支持合同到期后发布的更新，否则可能面临审计和法律诉讼。即使未更新软件，部分用户仍收到通知。此举引发争议，可能进一步损害 Broadcom 声誉，并促使客户转向其他替代方案。
Mark as Read
Mark as Unread
Engineers develop wearable heart attack detection technology
Source
研究人员正在开发可穿戴式心脏病发作检测技术，旨在通过植入轻量级、高效芯片，实现实时监测。该技术利用人工智能和高等数学分析心电图，检测速度是传统方法的两倍，准确率达92.4%。目标是设计轻便、经济的设备，以便患者更快获得救治。该技术可用于可穿戴设备，从而缩短诊断时间，减少永久性损伤。研究团队还计划将该技术应用于预测其他疾病，如癫痫和痴呆症。
Mark as Read
Mark as Unread
Some novelists are becoming video game writers – and vice-versa
Source
文章探讨了小说家与游戏编剧跨界合作的现象。一方面，小说家为增加收入，进入游戏行业；另一方面，游戏编剧也寻求其他机会。两者在创作过程中面临差异，如游戏更注重玩家选择，小说则需要持续的动机。尽管游戏在文化地位上低于小说，但其年轻、可塑性强的特点，以及更宽松的创作环境，吸引了创作者。年轻一代作家更容易在两者间切换，创作出更具实验性的作品。
Mark as Read
Mark as Unread
Reverse Engineering "DNA Sequences" in the Lost World: Jurassic Park Video Game
Source
这篇文章逆向工程了游戏《侏罗纪公园：失落的世界》中“DNA序列”的生成机制。作者分析了游戏如何使用32位整数来编码DNA信息，并推断出其内部逻辑。通过研究，作者揭示了游戏如何利用位运算和查找表来生成和管理DNA序列，从而影响恐龙的特征。文章深入探讨了游戏开发者如何巧妙地运用有限的计算资源，创造出复杂的生物遗传系统。
Mark as Read
Mark as Unread
Is there a balance to be struck between simple hierarchical models and
Source
文章探讨了在实际数据分析中使用 **Hierarchical Models** 时，简单模型与复杂模型之间的权衡。作者认为，复杂模型通常更优，但建议从简单模型开始，逐步构建更复杂的模型。这种构建过程包括在解决特定问题时逐步增加模型的复杂性，以及随着统计学理解的进步，长期来看可以构建更复杂的模型。
Mark as Read
Mark as Unread
Detect and crash Chromium bots
Source
文章介绍了一种利用 Chromium 浏览器漏洞检测并崩溃机器人的方法。通过在 iframe 中调用 `contentWindow.open`，可以使基于 Chromium 的无头浏览器（如 Puppeteer 和 Playwright）崩溃。虽然该方法有效，但作者警告不建议在生产环境中使用，因为它会破坏用户体验，产生副作用，且容易被机器人规避。文章强调了好的机器人检测应具备隐蔽性、不影响性能、可根据上下文决策等特点。
Mark as Read
Mark as Unread
Strain gauge made out of PCB
Source
该项目介绍了一种基于电路板的应变片，其传感元件为电路板本身，能够测量微米级挠度，满量程挠度范围为 +/- 3cm。文章提供了设计文件，建议使用0.6mm板厚，并提供了不同设计的应变片文件，包括2层、4单元和2单元传感桥。组装方便，支持手工组装，可独立使用或连接外部微控制器。文章还介绍了编程示例，包括偏移校准和数据可视化，并提供了定制传感元件形状的方法。
Mark as Read
Mark as Unread
Stratolaunch Successfully Completes Reusable Hypersonic Flight and Recovery
Source
Stratolaunch 宣布成功完成 Talon-A2 (TA-2) 飞行器的第二次高超音速飞行和回收，并已验证其可重复使用性。该飞行器在第二次飞行中再次超过了5马赫。这次飞行是继2024年12月首次飞行后的又一里程碑，标志着美国在高超音速飞行测试领域取得进展。Stratolaunch 与 Leidos 合作，为 MACH-TB 计划执行飞行任务，旨在加速高超音速测试。
Mark as Read
Mark as Unread
Fixrleak: Fixing Java Resource Leaks with GenAI
Source
FixrLeak 是一个基于 GenAI 的框架，用于自动修复 Java 应用程序中的资源泄露问题。它结合 AST 分析和 GenAI 技术，生成符合 Java 最佳实践的修复方案，例如 try-with-resources。FixrLeak 在 Uber 的 Java 代码库中应用，显著减少了手动工作量，提高了开发效率和代码质量。该方案优先处理函数范围内的泄漏，并通过严格的验证流程确保修复的可靠性。
Mark as Read
Mark as Unread
Spanish Shipwreck Reveals Evidence of Earliest Known Pet Cats to Arrive in US
Source
文章报道了在1559年沉没的西班牙船只残骸中，发现了两只家猫的遗骸，这很可能是美国已知最早的猫。研究表明，这些猫受到水手照料，饮食以鱼、肉为主。这一发现为家猫进入美洲的历史提供了新线索，并推测它们可能作为伴侣动物，或用于控制船上的啮齿动物。
Mark as Read
Mark as Unread
Crowd Sourcing Broken QR Codes
Source
文章提供免费修复破损 QR code 的服务，鼓励用户提交无法扫描的 QR code。作者通过修复猫项圈上磨损的 QR code 案例，展示了修复过程。文章旨在构建一个修复 QR code 的数据集，用于改进修复技术，并最终开源数据集。作者强调了 QR code 扫描的非此即彼特性，以及修复工具的必要性，呼吁用户贡献，共同完善解决方案。
Mark as Read
Mark as Unread
Private Japanese lunar lander enters orbit around moon ahead of a June touchdown
Source
日本的私有月球着陆器 Resilience 已进入月球轨道，计划于6月尝试着陆。该着陆器由 ispace 公司制造，携带迷你漫游车，用于收集月球尘土分析和其他实验。此前，SpaceX 使用 U.S-based Firefly Aerospace 的着陆器成功登月，成为首家实现此壮举的私营公司。 ispace 的首次着陆尝试于2023年失败。
Mark as Read
Mark as Unread
**Lazarus 4.0** 版本正式发布，基于 **FPC** 3.2.2 构建。文章提供了 **Lazarus** 和 **Free Pascal** 的相关链接，包括官网、下载、Wiki、文档、Bugtracker 等。同时，文章还列出了该版本的最低系统要求，并提供了 **SourceForge** 和其他镜像站点的下载地址。最后，社区成员对此次发布表示祝贺和感谢。
Mark as Read
Mark as Unread
Internet Roadtrip: Vote to steer
Source
这是一个互动网页，模拟了一场互联网公路旅行。用户可以通过投票来决定旅程的走向。页面展示了类似收音机的界面，包含音量调节、频道搜索等功能，并显示当前位置、在线司机数量等信息。用户可以对不同的选项进行投票，从而影响旅程的进程。页面还提供了地图和信息按钮，方便用户了解更多信息。
Mark as Read
Mark as Unread
The State of SSL Stacks
Source
文章分析了SSL堆栈的现状，重点关注了OpenSSL及其替代方案。OpenSSL 3.0在性能和兼容性方面带来了挑战，导致开发者需要重新评估SSL策略。文章探讨了功能需求、性能考量和维护需求，并对比了BoringSSL、LibreSSL、WolfSSL和AWS-LC等替代方案。文章强调了在选择SSL库时，需要权衡API兼容性、性能优化和QUIC支持，以确保安全、高效的互联网通信。
Mark as Read
Mark as Unread
Loss of dance and infant-directed song among the Northern ACHé
Source
该研究报告了在巴拉圭北部的阿彻人中，未观察到舞蹈和针对婴儿的歌唱。这项结论基于122个月的田野调查，挑战了舞蹈和摇篮曲普遍存在的观点。研究者认为，这些行为的缺失可能与该族群的人口瓶颈和文化衰退有关。研究结果强调了文化传播在维持这些行为中的关键作用，并强调了在文化同化程度较低的群体中检验文化普遍性的重要性。
Mark as Read
Mark as Unread
Eagle Hunters of Kyrgyzstan
Source
文章聚焦吉尔吉斯斯坦的猎鹰人（_burkutchu_）这一古老传统。几个世纪以来，猎鹰狩猎是当地游牧生活的重要组成部分。如今，猎鹰人不仅用鹰狩猎，也将其作为一项运动和谋生手段。随着旅游业发展，猎鹰表演成为吸引游客的方式，但也引发了对传统文化商业化的讨论。文章探讨了猎鹰人与鹰之间的深厚情感，以及在现代社会中，这项古老技艺面临的挑战和未来。
Mark as Read
Mark as Unread
Four years of running a SaaS in a competitive market
Source
文章总结了作者运营 SaaS 四年的经验教训。核心观点是：在竞争激烈的市场中，成功的关键在于解决客户痛点、持续迭代、小步快跑、重视文档、关注移动端用户体验。作者强调了解决问题而非单纯销售订阅的重要性，并分享了定价、流量、竞争等方面的经验。此外，文章还提到了工作时间安排、避免过度扩张、限制资源使用等实用建议。
Mark as Read
Mark as Unread
Building Local-First Flutter Apps with Riverpod, Drift, and PowerSync
Source
文章介绍了使用 `Riverpod`、`Drift` 和 `PowerSync` 构建本地优先 (Local-First) Flutter 应用的方法。文章的核心在于构建一个在本地存储数据，并能与云端同步的应用。虽然正文内容被安全检查点遮蔽，但标题明确了技术栈，暗示了文章将探讨如何结合这三个工具，实现数据本地化存储、离线可用，以及与服务器的数据同步功能。
Mark as Read
Mark as Unread
Math Machine – A notebook will show your kid how far they have travelled
Source
这篇文章描述了 kidswholovemath.substack.com 网站的内容，该网站旨在通过 Notebook 帮助孩子们展示他们的数学学习过程。文章首先验证了访问者的身份，并提示解除对 challenges.cloudflare.com 的阻止以继续访问。网站由 Cloudflare 提供性能和安全保障。