Mark as Read
Mark as Unread
Tales of the Yucca Man (2018)
Source
文章探讨了“Yucca Man”的传说，一种类似 Sasquatch 的神秘生物，活跃于南加州沙漠地区。文章追溯了 Yucca Man 的目击事件，从海军陆战队士兵的遭遇，到约书亚树国家公园的露营者报告，再到爱德华兹空军基地的地下隧道影像。文章还探讨了 Yucca Man 与当地土著文化中“毛茸茸的魔鬼”的联系，以及其在不同地点的变体，如“Cement Monster”和“Borrego Sandman”。文章强调了 Yucca Man 传说的多样性和持续性，以及它在南加州沙漠地区留下的神秘印记。
Mark as Read
Mark as Unread
文章探讨了小说在当今时代的命运。作者认为，艺术，尤其是小说，正经历低潮，受到数字文化、出版商策略和人工智能写作的影响。文章评述了 Edwin Frank 的著作，该书分析了二十世纪小说家的作品，并探讨了小说主题的演变。作者认为二十世纪小说在主题上有所拓展，但深度不足，并对一些被忽视的作家表示惋惜。文章最终指出，小说作为一种与人性直接互动的文学形式，其衰落将是巨大的损失。
Mark as Read
Mark as Unread
Show HN: Formalizing Principia Mathematica using Lean
Source
该项目使用 Lean 定理证明器形式化 Bertrand Russell 的《数学原理》第一卷。目标是清晰对应原文定理，避免混淆。文章介绍了形式化过程中的符号、编辑体验，以及自定义的 `Syll` tactic。作者希望通过此项目学习数学构建过程，并计划后续形式化 Alfred Tarski 的著作。
Mark as Read
Mark as Unread
Curry: A functional logic programming language
Source
Curry 是一种集函数式和逻辑编程于一体的声明式多范式编程语言。它支持函数式编程的特性，如嵌套表达式、高阶函数和惰性求值，也具备逻辑编程的非确定性、内置搜索和自由变量等功能。Curry 具有类型推断能力，简化了编程。该语言拥有丰富的生态系统，包括编译器、包管理器、文档生成工具和 API 搜索引擎等。
Mark as Read
Mark as Unread
Next-Gen GPU Programming: Hands-On with Mojo and Max Modular HQ
Source
本次直播聚焦于 GPU 编程的未来，由 Modular 联合创始人 Chris Lattner 讲解 MAX 和 Mojo 如何革新 GPU 开发。Lattner 将分享他对该领域的见解，并进行问答。随后，Jack Clayton 将进行现场演示，展示 MAX 和 Mojo 的实际应用。直播内容包括 Chris 的演讲、问答，以及 Jack 的演示和问答环节。
Mark as Read
Mark as Unread
Lossless LLM compression for efficient GPU inference via dynamic-length float
Source
文章提出了一种名为 DFloat11 的无损压缩框架，用于压缩大型语言模型（LLMs）。该框架通过利用 LLM 权重表示中的低熵，使用动态长度编码实现约 30% 的模型大小缩减，且保持与原始模型完全相同的输出结果。为了高效推理，作者开发了定制的 GPU kernel，并优化了内存使用。实验表明，DFloat11 在吞吐量和上下文长度方面优于未压缩模型，甚至能够在单个节点上实现 Llama-3.1-405B 的无损推理。
Mark as Read
Mark as Unread
Paper2Code: Automating Code Generation from Scientific Papers
Source
该论文介绍了 PaperCoder，一个基于大型语言模型 (LLMs) 的框架，用于将机器学习论文转化为可运行的代码。PaperCoder 包含“计划”、“分析”和“生成”三个阶段，每个阶段由专门的代理协作完成。它通过构建高级路线图、设计系统架构、识别文件依赖项等步骤，最终生成模块化的代码。评估结果表明，PaperCoder 能有效生成高质量、忠实于论文的实现，并在 PaperBench 基准测试中表现出色，超越了现有基线。
Mark as Read
Mark as Unread
Show HN: Magnitude – open-source, AI-native test framework for web apps
Source
开源项目 Magnitude 是一个针对 Web 应用的 AI 原生测试框架。它使用 AI 代理，通过自然语言构建测试用例，实现端到端测试。该框架包含强大的推理代理和高速视觉 LLM，能够自动计划、执行和调整测试，并支持本地或 CI/CD 运行。用户需配置 LLM 客户端，包括一个通用多模态 LLM 和一个视觉 LLM。项目提供安装、配置、运行测试的详细步骤，并支持与 CI/CD 集成。
Mark as Read
Mark as Unread
Write an Interpreter in Ruby
Source
本文是关于使用 Ruby 编写解释器的演讲稿。演讲介绍了构建解释器的流程，包括词法分析、语法分析和抽象语法树（AST）的构建，并以 Monkey 语言为例进行说明。文章重点讲解了如何将源代码转化为 tokens，再通过解析器生成 AST，最终由求值器执行。演讲还提供了代码库链接，方便读者参考。
Mark as Read
Mark as Unread
Huge reproducibility project fails to validate biomedical studies
Source
一项由巴西主导的大型可重复性研究，旨在验证生物医学研究的可靠性。研究团队选择了三种常用方法，对大量论文进行复核，结果显示仅有不到一半的实验结果可被复制。这与之前的研究结果一致，表明已发表的研究可能高估了干预措施的效果。研究者呼吁通过公共政策和大学内部改革来加强科学研究的严谨性。
Mark as Read
Mark as Unread
Differential Coverage for Debugging
Source
文章介绍了使用“差异覆盖率”进行调试的方法。通过比较通过测试和失败测试的覆盖率，可以快速定位到可能存在问题的代码。具体操作是：收集两种测试的覆盖率数据，进行差异比较，生成一个profile，突出显示失败测试独有的代码。作者通过一个实际案例演示了该方法，并强调了其高效性。此外，文章还提到了查看单个失败测试的基本覆盖率profile，以及将此方法应用于通过测试的场景。
Mark as Read
Mark as Unread
FBI arrests Wisconsin judge on charges of obstructing immigrant arrest
Source
威斯康星州密尔沃基县法官 Hannah Dugan 因涉嫌妨碍移民逮捕行动被 FBI 逮捕。这是 Trump 政府上任以来，司法部首次对地方官员提起此类刑事诉讼。FBI 局长 Kash Patel 指控 Dugan 故意误导联邦特工，导致他们无法拘留一名即将出庭的移民。
Mark as Read
Mark as Unread
The $20k American-made electric pickup with no paint, no stereo, no screen
Source
文章介绍了 The Slate Truck，一款售价低于2万美元的美国制造电动皮卡。它设计极简，无漆、无音响、无屏幕，旨在降低成本并鼓励个性化定制。该车采用塑料车身，可DIY贴膜，并提供SUV升级套件。Slate Auto 简化了制造流程，减少了复杂性，并计划提供DIY维修支持。文章探讨了这种简化设计是否能被消费者接受，以及它是否代表了对当前汽车工业的一种挑战。
Mark as Read
Mark as Unread
I made a college punching bag for rejected highschoolers
Source
作者开发了一个名为 College Punch 的网站，允许被大学拒绝的学生“暴揍”学校，并根据“暴揍”次数进行排名。该项目上线后迅速走红，但作者低估了流量和恶意行为。文章分享了项目开发过程中的技术挑战和错误，包括数据库配置问题、Reddit 推广失败以及遭遇 bot 攻击。作者最终通过速率限制等措施解决了 bot 问题，并总结了项目带来的经验教训，同时表达了未来继续运营该项目的愿望。
Mark as Read
Mark as Unread
Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity
Source
研究发现，肿瘤细胞分泌的红细胞生成素（EPO）在肝细胞癌（HCC）中扮演免疫抑制开关的角色。肿瘤来源的EPO通过与巨噬细胞上的EPO受体结合，促进免疫抑制性肿瘤微环境，抑制T细胞活化。阻断EPO信号通路可将非炎症性肿瘤微环境转变为炎症性，增强抗肿瘤免疫反应，促进肿瘤消退。因此，EPO/EPO受体通路是HCC潜在的治疗靶点，靶向该通路可能对其他实体瘤的治疗有效。
Mark as Read
Mark as Unread
Century-old genetics mystery of Mendel's peas solved
Source
文章报道了科学家们成功破解了孟德尔豌豆遗传实验中，关于豌豆性状的最后三个基因的谜题。研究人员利用现代测序和计算工具，结合多种方法，分析了近700个豌豆基因组，发现了控制豌豆荚颜色、形状和花簇生长的关键基因。这项研究为孟德尔遗传学研究提供了新的视角，也为豌豆基因组研究开启了新时代。
Mark as Read
Mark as Unread
UIT – performant, modular, low-memory file processing at scale, in the Cloud
Source
UIT 是一个云端文件处理库，旨在实现**高性能、模块化、低内存**的文件处理。它通过四步流程（提取、过滤/转换、合并、输出）处理海量文件。UIT 采用模块化设计，包含多种模块，如用于 ZIP 文件处理、合并、搜索等。模块之间通过 FormData 标头进行通信，并支持自定义标头。该库还提供了插件系统，方便扩展功能。
Mark as Read
Mark as Unread
Show HN: BugStalker - a modern Rust debugger
Source
BugStalker 是一款用 Rust 编写的现代化 Linux x86-64 调试器，专为 Rust 程序设计。它提供断点、单步执行、信号处理、观察点等核心调试功能，并支持多线程、数据查询表达式、深度 Rust 类型系统集成以及 Async Rust。BugStalker 具有控制台和 TUI 模式切换、可扩展的架构，并提供安装和贡献指南。该项目在 MIT 许可下发布，拥有 780 stars 和 22 forks。
Mark as Read
Mark as Unread
Writing "/etc/hosts" breaks the Substack editor
Source
文章描述了访问 Substack 编辑器时遇到的问题。用户访问 `scalewithlee.substack.com` 时，被 Cloudflare 的安全验证拦截，提示需要解除对 `challenges.cloudflare.com` 的阻止才能继续访问。这表明用户可能修改了 `/etc/hosts` 文件，导致 Cloudflare 无法正常验证连接安全性。文章展示了 Cloudflare 的验证过程，并提供了 Ray ID 用于问题追踪。
Mark as Read
Mark as Unread
文章介绍了一种用于 Eurorack 模块的旋钮创意：将磁性编码器与 3.5mm 插孔结合。通过在插孔内嵌入磁铁，配合外部旋钮，实现旋钮和跳线的混合功能。作者使用 AS5600 磁性编码器，通过 i2c 读取角度，并设计了电路板。虽然原型效果良好，但作者认为其商业可行性不高，并探讨了专利申请的可能性。最终，作者设想了“Euroknobists”群体，并认为带有同轴 TRS 插孔的电位器更具市场潜力。
Mark as Read
Mark as Unread
New LLM jailbreak bypasses all major FMs
Source
该文章介绍了一种名为“Policy Puppetry”的新型提示注入技术，能够绕过所有主流 AI 模型的安全防护，生成有害内容，甚至提取系统提示。该技术利用策略攻击与角色扮演的结合，具有通用性和可迁移性，可用于绕过 OpenAI、Google、Microsoft、Anthropic、Meta、DeepSeek、Qwen 和 Mistral 等公司的模型。文章强调了主动安全测试和额外安全工具的重要性，以应对LLM的安全风险。
Mark as Read
Mark as Unread
GCC, the GNU Compiler Collection 15.1 released
Source
GCC 15.1 版本于 2025 年 4 月 25 日发布，带来了相对于 GCC 14.x 的新特性和改进。该版本是 GNU Compiler Collection 的重要更新。文章感谢了为 GCC 贡献的志愿者们，并提供了获取 GCC、查阅文档、联系开发者的相关信息，包括项目网站、镜像站点、版本控制系统和邮件列表。
Mark as Read
Mark as Unread
Avoiding Skill Atrophy in the Age of AI
Source
文章探讨了在 AI 时代如何避免技能退化。由于 AI 的快速发展，人们可能会过度依赖 AI 工具，导致自身技能逐渐衰退。文章强调了保持技能敏锐的重要性，并建议读者通过实践、持续学习和积极思考来应对。虽然具体方法未在摘要中详细说明，但核心观点是：在 AI 辅助下，个人需要主动维护和提升自身能力，以适应快速变化的技术环境。
Mark as Read
Mark as Unread
Large Language Models, Small Labor Market Effects [pdf]
Source
研究表明，大型语言模型对劳动力市场的影响微乎其微。
Mark as Read
Mark as Unread
Some __nonstring__ Turbulence
Source
文章讲述了在新的 GCC 15 编译器中引入 `-Wunterminated-string-initialization` 警告后，内核开发中出现的一些问题。该警告旨在帮助开发者发现未终止字符串的潜在错误，但由于内核中存在大量将 `char` 数组用作查找表而非字符串的情况，导致误报。为了解决这个问题，引入了 `__nonstring__` 属性来抑制警告。然而，由于 Fedora 42 预发布了 GCC 15，导致 Linus Torvalds 在构建内核时遇到问题，最终通过临时禁用警告和修改代码来解决。Kees Cook 对此表示不满，认为已提供了修复方案。文章最后提到了 Torvalds 对 `__nonstring__` 属性实现方式的异议。
Mark as Read
Mark as Unread
Mary MacLane, the Wild Woman from Butte
Source
文章讲述了 Mary MacLane，一位 19 岁的 Montana 女子，因其自传体日记《The Story of Mary MacLane》（1902 年）一举成名。该书以坦率的笔触，展现了她对世俗体验的渴望、双性恋情愫，以及对青春期不公的愤怒。文章探讨了 MacLane 的写作风格，她对自我和世界的看法，以及她引发的争议和轰动效应。尽管后续作品反响平平，但她的处女作开创了一种美学叛乱，对社会凝视进行了反抗。
Mark as Read
Mark as Unread
"Poetry City": Iowa City, Iowa
Source
文章探讨了Iowa City作为“诗歌之城”的文学地位，强调其在当代英语文学中的重要性。Iowa City不仅是著名MFA项目的所在地，还拥有众多作家、文学活动和联合国教科文组织文学之城的称号。文章同时揭示了Iowa City的另一面，即反主流文化和先锋派的聚集地，并介绍了当地的酒吧、艺术家、作家和机构，以及它们对这座城市文学氛围的贡献。文章呼吁保持大学城的“怪异”特质，以促进创新和突破。
Mark as Read
Mark as Unread
What If We Could Rebuild Kafka from Scratch?
Source
文章探讨了如果从头开始构建一个云原生事件日志系统（Kafka.next）会具备哪些特性。作者认为，该系统应具备以下关键特性：抛弃分区、以 Key 为中心的访问、Topic 层次结构、并发控制手段、Broker 端 schema 支持、可扩展性和可插拔性、同步提交回调、Snapshotting 和多租户。这些特性旨在提升云环境下的性能、成本效益和易用性，并支持更广泛的应用场景。
Mark as Read
Mark as Unread
Show HN: Pomo – Manage your Stripe promo codes without code
Source
Pomo 是一款无需代码的工具，专为管理 Stripe 促销代码设计。它简化了创建、编辑和跟踪促销活动的过程，用户无需技术知识即可轻松操作。Pomo 旨在帮助商家更有效地利用 Stripe 的促销功能，提升营销活动的效率和效果。
Mark as Read
Mark as Unread
DeepMind releases Lyria 2 music generation model
Source
DeepMind 发布了音乐生成模型 Lyria 2，并更新了 Music AI Sandbox。新版本增加了“创建”、“扩展”和“编辑”等功能，允许音乐家通过描述、扩展或修改现有音乐来创作。Lyria 2 提供高保真音乐和专业级音频输出，并使用 SynthID 进行水印处理。该沙盒旨在与音乐家合作，激发创作灵感，并为音乐创作提供新的可能性。
Mark as Read
Mark as Unread
Observability 2.0 and the Database for It
Source
文章探讨了 Observability 2.0 的新范式，它以“wide events”为核心，打破了传统 Metrics、Logs 和 Traces 的界限。Observability 2.0 强调单一数据源，通过存储原始事件数据，实现更灵活的分析和洞察。文章指出了传统 Observability 的局限性，以及 Observability 2.0 面临的挑战，并介绍了 GreptimeDB 数据库如何支持这一新范式，提供统一、高效的 Observability 数据管理。
Mark as Read
Mark as Unread
Petition to the Open Source Initiative: Publish the Full 2025 Election Results
Source
文章呼吁公开源代码促进会（OSI）2025年董事会选举的完整结果。文章指出，OSI在公布结果前移除了三名候选人的选票，损害了其信誉。为了恢复信任，文章呼吁OSI公布完整、未经修改的选举结果，并重新承诺与社区合作。文章还提供了签署请愿书的方式，鼓励社区成员参与。
Mark as Read
Mark as Unread
I used simple rules to make DFAs that kinda match accepted physics models
Source
文章描述了作者使用简单规则构建的确定有限状态自动机 (DFA)，该DFA与现有的物理模型产生共鸣。构建过程分为5个步骤：创建最小字符集、创建边、配对字符串、排序和解析。DFA有两个主要变体，分别对应黑洞和白洞等物理模型。文章详细阐述了DFA的两种变体，并探讨了其与暴胀、黑洞、白洞、熵等物理概念的关联。最后，作者提到了DFA的融合特性，以及它与计算机科学、数学、物理学、哲学等领域的联系。
Mark as Read
Mark as Unread
A Visual Journey Through Async Rust
Source
这篇文章通过可视化展示了 Async Rust 的工作原理。文章首先通过绘制正弦波，直观地展现了并发而非并行的特性。接着，探讨了 CPU 密集型代码对 async runtime 的影响，并演示了使用 `tokio::spawn` 创建 task 来利用多核。最后，介绍了 `tokio::task::spawn_blocking`，展示了其在处理 CPU 密集型任务时的优势，并强调了其线程数量的限制。文章总结了并发、并行和 CPU 密集型代码对 async 编程的影响，帮助读者更好地理解和掌握 Async Rust。
Mark as Read
Mark as Unread
Show HN: Faasta – A self-hosted Serverless platform for WASM-wasi-HTTP in Rust
Source
Faasta 是一个基于 Rust 的自托管 Serverless 平台，专注于速度和效率。它使用 WebAssembly 架构，冷启动时间低于 1 毫秒，内存开销小于 1KB。Faasta 支持 WASI P2 和 WASIHTTP 标准，实现高性能 HTTP 请求处理和函数间的安全隔离。用户可以使用 WASM 模块运行代码，并实现函数的可移植性。它提供自托管选项，方便用户在自己的基础设施上部署函数。目前 Faasta 处于实验阶段，可能存在服务中断。
Mark as Read
Mark as Unread
文章介绍了 Swift Container Plugin，一个使用 Swift Package Manager 构建和发布容器镜像的工具。该插件允许开发者将用 Swift 编写的服务器打包成容器镜像，并发布到容器注册中心。使用该插件，只需一条命令即可构建和发布镜像。它支持 macOS 和 Linux 平台，需要 Swift 6.0 或更高版本。文章还提供了使用示例和相关文档链接。
Mark as Read
Mark as Unread
Google Maps Doesn't Know How Street Addresses Work
Source
文章指出，作者发现 Google Maps 在定位街道地址时存在错误，导致导航错误。作者举例说明了多个地址被错误映射到错误位置，甚至跨城市或街区。作者推测这些错误可能源于地址数据库的错误，缺少对地址有效性的验证。尽管作者尝试通过反馈修复问题，但效果不佳。文章强调了这些错误可能造成的实际影响，并呼吁读者分享类似发现。
Mark as Read
Mark as Unread
A Love Letter to People Who Believe in People
Source
文章是一封情书，赞颂了“粉丝心态”和热情的力量。作者分享了多位对其人生产生积极影响的人，包括鼓励她大胆追寻梦想的 Hugi 阿姨，给予她机会的老板，促使她创办设计工作室的女儿，以及激发她行动的 Jim Coudal 和 Ben Chestnut。文章强调了相信他人、互相支持的重要性，以及这种积极心态如何改变个人生活，并推动社区发展。最终，呼吁读者成为“粉丝”，用热情和信任改变世界。
Mark as Read
Mark as Unread
Microsoft subtracts C/C++ extension from VS Code forks
Source
Microsoft 限制了 VS Code 的 C/C++ 扩展在 VS Codium 和 Cursor 等衍生产品中的使用。自 2025 年 4 月起，该扩展不再兼容这些非 Microsoft 的 VS Code 分支，导致开发者工作流程受阻。Microsoft 通过环境检查强制执行许可条款，阻止在非 Microsoft 产品中使用该扩展。Cursor 正在寻找开源替代方案。一些开发者认为此举存在不正当竞争行为，并已向美国联邦贸易委员会投诉。
Mark as Read
Mark as Unread
Scientists Develop Artificial Leaf, Uses Sunlight to Produce Valuable Chemicals
Source
科学家们通过合作项目，开发出一种“人工树叶”装置，利用阳光将二氧化碳转化为有价值的C2化学品。该装置结合了钙钛矿和铜，模拟植物光合作用，为生产塑料、航空燃料等产品提供原料。这项研究是 Liquid Sunlight Alliance (LiSA) 项目的一部分，为能源研究开辟了新方向，并朝着复制自然界生产力迈进。
Mark as Read
Mark as Unread
National Airspace System Status
Source
该网页提供美国国家空域系统（NAS）的实时状态信息，更新于2025年4月25日。主要内容包括：机场事件，如BOS、COU、DEN、EWR、HOU、IAH、LAS、MIA、SFO、YYC的关闭、延误等情况；航路事件，目前无活动；预测事件，如IAH和DCA可能出现地面停止或延误；以及关于规划、预订、NAS支持和联系方式的链接。
Mark as Read
Mark as Unread
You Can Be a Great Designer and Be Completely Unknown
Source
文章探讨了设计中的伟大与可见性之间的关系。作者认为，设计成就并非必须依赖名声和认可，真正的伟大往往体现在默默无闻的作品中。 许多优秀的设计作品，例如日常用品、信息系统等，因其功能性而隐形，但解决了实际问题，提升了用户体验。作者批判了过度追求可见性导致的设计优先考虑展示而非实用性的现象。 真正的设计价值在于解决问题、提升体验，而非设计师的知名度。 即使默默无闻，设计师也能通过作品实现伟大。
Mark as Read
Mark as Unread
Agent Mesh for Enterprise Agents
Source
文章提出了“agent mesh”的概念，旨在解决企业级agent在安全性、可观察性、发现和治理等方面的挑战。 agent mesh通过agent gateway实现，该网关作为数据平面，支持agent到LLM、agent到工具以及agent之间的通信，并提供身份验证、授权、细粒度访问控制、端到端可观察性等功能。文章强调了agent mesh在构建智能、自治的企业系统中的重要性，并介绍了其组件的可组合性以及对各种agent和云环境的支持。
Mark as Read
Mark as Unread
Show HN: I Added Translation to My RSS Reader Project
Source
该项目为其 RSS 阅读器增加了翻译功能，利用了 Google Translate。用户可以选择多种语言进行内容翻译，包括阿拉伯语、简体中文、繁体中文、法语、德语、印地语、意大利语、日语、俄语和西班牙语。文章提供了项目链接，并展示了翻译功能的支持语言列表。
Mark as Read
Mark as Unread
Apple Computers Used to Be Built in the U.S. It Was a Mess
Source
文章讲述了 Apple 电脑在美国制造的历史。尽管 Apple 曾尝试在美国生产电脑，但结果却是一片混乱。文章暗示了这种制造模式的低效和复杂性，并以此为核心观点，强调了美国制造 Apple 电脑的失败。
Mark as Read
Mark as Unread
PyGraph: Robust Compiler Support for CUDA Graphs in PyTorch
Source
PyGraph 是一种为 PyTorch 提供的编译器支持，旨在增强对 CUDA Graphs 的利用。CUDA Graphs 通过减少 CPU 启动开销来提升 GPU 性能，但部署中存在挑战。PyGraph 针对这些问题，实现了更广泛的 CUDA Graphs 部署，减少了参数复制开销，并进行成本效益分析。它与 PyTorch2 的编译工具链无缝集成，无需手动修改代码。实验结果表明，PyGraph 在各种机器学习基准测试中相对于 PyTorch2 有显著的性能提升。
Mark as Read
Mark as Unread
OpenAI releases image generation in the API
Source
OpenAI 将其图像生成模型 `gpt-image-1` 引入 API，开发者可将其集成到工具和平台中。该模型能生成高质量图像，支持多种风格，并准确渲染文本。多家公司，如 Adobe、Airtable、Figma、Gamma 等，已开始应用此 API，用于创意工具、电商、教育等领域。文章还介绍了定价和安全措施，并提供了 API 使用指南。
Mark as Read
Mark as Unread
NSF director to resign amid grant terminations, job cuts, and controversy
Source
国家科学基金会（NSF）主任 [Sethuraman Panchanathan](Sethuraman Panchanathan) 宣布辞职，距离任期结束还有16个月。他表示已尽力推进机构使命。离职原因未明，但可能与白宫削减 NSF 预算、裁员以及终止拨款等争议有关。文章还提到，DOGE 部门介入 NSF 事务，导致拨款系统受到干扰。
Mark as Read
Mark as Unread
Acquisitions, consolidation, and innovation in AI
Source
文章探讨了人工智能领域的收购、整合与创新趋势。作者观察到，在AI领域，收购活动频繁，大型公司正在积极整合小型初创公司，以获取技术和人才。这种整合推动了AI技术的快速发展，但也可能导致市场集中。文章强调了创新在这一动态环境中的重要性，并暗示了未来AI领域可能出现的变革。
Mark as Read
Mark as Unread
Show HN: I reverse engineered top websites to build an animated UI library
Source
该文章介绍了一个通过逆向工程顶级网站构建的动画 UI 组件库，目前包含28个组件。用户可以轻松将流行的动画组件集成到自己的项目中，所有样式和动画都已预先处理。文章提供了组件浏览链接和终身访问权限的购买链接，并标明了限时优惠价格。列举了部分组件的名称和发布时间，例如：Logo Dots、Bot Protection、Glowing Orb等。
Mark as Read
Mark as Unread
Show HN: Infat – Declaritive application assocation manager for macOS
Source
Infat 是一个 macOS 命令行工具，用于设置文件类型和 URL scheme 的默认打开方式。它允许用户通过命令行列出、设置默认应用程序，并支持从 TOML 配置文件加载关联，方便高级用户和管理员进行脚本化操作。Infat 采用 macOS 原生技术，设计简洁，易于使用，并提供 Homebrew 和源码安装方式。
Mark as Read
Mark as Unread
OpenVSX, which VSCode forks rely on for extensions, down for 24 hours
Source
文章报告了依赖于 OpenVSX 的 VSCode 分支服务中断事件。该事件导致主页、查询 API 和其他两个服务中断，持续了14小时16分钟到16小时17分钟。文章提供了服务状态的详细时间线，并指出正在解决阻止服务正确启动的后端存储问题。
Mark as Read
Mark as Unread
Bild AI (YC W25) is hiring a founding engineer in SF
Source
Bild AI (YC W25) 正在旧金山招聘创始工程师，该公司利用 AI 理解建筑蓝图。 职位提供 10 万至 18 万美元的薪资，并有股权激励。 申请者需具备全栈构建能力，尤其擅长 infra/frontend，并具备成长型思维。 欢迎应届毕业生。 创始人希望工程师能快速构建原型并根据用户反馈改进，同时具备同理心和诚实沟通能力。 有 CV/ML 或建筑背景者更佳。
Mark as Read
Mark as Unread
Manufactured consensus on x.com
Source
文章探讨了在 x.com 上，算法如何通过影响用户互动，塑造公众认知，制造虚假共识。 算法根据高影响力账号的互动信号，提升或压制内容，导致内容可见性变化，形成“影子封禁”和“人为受欢迎”。 这种机制并非欺诈，而是影响力的基础设施，通过感知级联，引导用户看到被过滤、排名和浮现的内容。 这种“Astroturfing 2.0”利用真实用户，选择性放大，创造广泛一致的错觉，最终影响人们的投票、购买和抗议行为。
Mark as Read
Mark as Unread
One quantum transition makes light at 21 cm
Source
文章探讨了21厘米波长的光在宇宙中的重要性。这种光源于氢原子的自旋翻转跃迁，是宇宙中最常见的原子。21厘米波长的辐射可以帮助天文学家探测宇宙早期氢原子分布，揭示恒星形成历史，甚至可能探测到引力波。文章强调了21厘米波长作为宇宙“魔法长度”的潜力，以及未来利用该波长进行宇宙研究的可能性。
Mark as Read
Mark as Unread
Show HN: Zev – Remember (or discover) terminal commands
Source
Zev 是一个 CLI 工具，通过自然语言帮助用户记住或发现终端命令。它基于 OpenAI API 运行，用户可以通过 `pip install zev` 安装。使用方法包括交互模式 (`zev`) 和直接查询模式 (`zev '<你想做什么>'`)。文章提供了示例，展示了如何用自然语言描述需求来查找命令。用户可以通过 `--setup` 命令更新 OpenAI API key 或配置。此外，Zev 也支持与 Ollama 结合使用，允许在本地运行命令。项目采用 MIT License，欢迎贡献。
Mark as Read
Mark as Unread
Three things everyone should know about Vision Transformers
Source
该论文探讨了 Vision Transformers 的三个关键发现。首先，Vision Transformers 的残差层可并行处理，不影响准确性。其次，微调 attention 层权重足以适应不同分辨率和任务，节省计算资源。最后，添加基于 MLP 的 patch 预处理层能改进自监督训练。研究使用 ImageNet-1k 数据集评估，并在 ImageNet-v2 测试集上验证了结果，同时测量了跨多个数据集的迁移性能。
Mark as Read
Mark as Unread
A Principled Approach to Querying Data – A Type-Safe Search DSL
Source
文章探讨了一种类型安全的搜索 DSL 的构建方法，适用于本地优先 Web 应用和服务器端系统。核心是使用领域特定语言 (DSL) 来定义搜索规则，提高表达性和可维护性。文章介绍了如何定义数据结构、处理错误、使用 parser combinators 构建解析器，并将查询转换为抽象语法树 (AST)。最终，AST 被用于创建谓词函数，实现查询执行。文章还讨论了性能优化，如索引、查询优化和缓存，并强调了函数式编程在构建强大、可扩展搜索系统中的作用。
Mark as Read
Mark as Unread
Asymmetric Content Moderation in Search Markets: The Case of Adult Websites
Source
文章研究了在线平台内容审核对市场竞争的影响，以成人网站为例。研究发现，大规模删除未经验证内容导致流量下降，但大部分流量转移到竞争平台，尤其是监管较少的边缘网站。搜索引擎在流量重新分配中扮演关键角色，用户通过搜索寻找替代内容。研究结果表明，内容审核冲击会重塑市场竞争，将消费者推向监管较少的空间，并改变平台之间的替代模式。
Mark as Read
Mark as Unread
A Tour Inside the IBM Z17
Source
文章通过图片展示了 IBM z17 的内部构造。该系统可配置1到4个机柜，最大内存64T。核心是新的 IBM Telum II 处理器，包含AI加速器、低延迟数据处理单元(DPU)和8个高性能核心。文章重点介绍了 DPU 对 I/O 子系统的重构。此外，还介绍了专为 AI 工作负载设计的 Spyre Accelerator，它具有32个加速器核心，采用5nm工艺。文章提供了相关产品页面和 Redbooks 的链接，供读者深入了解。
Mark as Read
Mark as Unread
Three Fundamental Flaws of SIMD ISAs (2023)
Source
文章指出 packed SIMD ISA 存在三个根本缺陷：1. 寄存器宽度固定，限制了硬件扩展，增加了软件复杂性；2. 流水线导致循环展开，降低代码密度，增加寄存器压力；3. 尾部处理需要额外代码处理非对齐数据，影响代码效率。文章对比了向量处理器、RISC-V RVV、ARM SVE 和虚拟向量方法等替代方案，并提供了代码示例，展示了它们在处理 saxpy 例程时的优势。
Mark as Read
Mark as Unread
Instant SQL for results as you type in DuckDB UI
Source
文章介绍了 MotherDuck 推出的 **Instant SQL** 功能，它允许用户在编写 SQL 时实时预览结果，加速查询构建和调试。该功能在 MotherDuck 和 DuckDB Local UI 中以预览版提供。Instant SQL 通过减少等待时间、提供实时检查和编辑 CTE、分解复杂表达式、预览多种数据源以及结合 AI 建议，显著提升了 SQL 编写体验。文章还解释了实现 Instant SQL 的技术挑战和解决方案，并鼓励用户试用。
Mark as Read
Mark as Unread
I wrote to the address in the GPLv2 license notice
Source
文章作者出于好奇，向GPLv2许可协议中提供的地址写信索要协议文本。他解释了GPLv2包含邮寄地址的原因，源于1991年互联网普及前的时代背景。作者购买邮票后寄出信件，最终收到了回复，但令人意外的是，回复内容是GPLv3协议文本，而非GPLv2。文章记录了这一过程，并对收到的纸张尺寸和未收到正确版本协议表示了疑惑。
Mark as Read
Mark as Unread
Tenjin (YC S14) Is Hiring a Senior Ad Attribution Engineer (Ruby, Go)
Source
Tenjin (YC S14) 正在招聘高级广告归因工程师，负责构建Web应用程序后端。该职位要求11年以上经验，薪资12万至20万美元，可远程办公。主要职责包括主导架构设计、维护技术集成、维护业务逻辑等。
候选人需具备Ruby和Go的生产经验，熟悉Rails等框架，以及Git和GitHub。加分项包括Docker、Kubernetes、移动营销经验等。面试流程包括电话筛选、编码评估和小组面试。Tenjin 是一家移动营销分析公司，致力于通过数据平台重塑移动营销。
Mark as Read
Mark as Unread
Show HN: I made my own TRMNL e-ink device
Source
作者因等待不到TRMNL e-ink设备，决定自制。他购买了Waveshare 7.5英寸 e-ink屏幕和ESP32驱动板，并结合LiPo电池、充电板和3D打印，以低于80美元的成本完成了自制。他适配了TRMNL的开源固件，使其能在Waveshare驱动板上运行，从而实现从TRMNL在线服务获取图像并在e-ink屏幕上显示。最终，他成功制作了一个显示日历的e-ink设备，并分享了制作过程。
Mark as Read
Mark as Unread
Show HN: I built Lovable for text bots and mini apps
Source
文章介绍了名为 Plutonic 的平台，它允许用户无需编写代码即可构建 AI 驱动的应用程序，并快速部署到 Telegram、Discord 等平台。Plutonic 集成了先进的 AI 技术，提供安全保障，并简化了应用程序的创建和更新流程。目前已支持 Telegram，未来将支持 Slack 和 Discord。用户可以通过 Plutonic 创建智能机器人，增强沟通并简化日常任务。
Mark as Read
Mark as Unread
Cars and Key Fobs: Attacks on Car Remotes
Source
文章探讨了汽车遥控钥匙的安全隐患，指出其易受攻击。主要介绍了针对遥控钥匙的多种攻击方式，包括重放攻击、重传设备、针对被动无钥匙进入系统的攻击以及破解滚动密钥系统。文章还提到了攻击者利用软件无线电（SDR）和如Flipper Zero等设备进行攻击的可能性，并以VW为例，说明了因密钥设计缺陷导致的大规模安全风险。最后，文章提供了作业，鼓励读者研究相关技术和案例。
Mark as Read
Mark as Unread
On loyalty to Your Employer
Source
文章探讨了科技行业对雇主忠诚度的反思。作者指出，科技行业员工跳槽频繁，与传统行业形成鲜明对比。作者作为招聘人员，强调了在选择雇主时应关注的四个关键标准：合理的薪资、善待员工、财务稳定以及愿意尝试新事物。文章提醒员工，不要过度沉迷于雇主营造的“家庭”氛围，要保持清醒，将工作视为一种交易，不要为了取悦雇主而牺牲个人健康、价值观和与家人的关系。最终，文章鼓励员工专注于自身成长，并与同事互相帮助。
Mark as Read
Mark as Unread
Creating your own federated microblog
Source
本文是关于使用 `Fedify` 框架创建联邦宇宙微型博客的教程。文章首先介绍了 `Fedify` 的基本概念和目标，即构建一个类似 `Mastodon` 的、支持 `ActivityPub` 协议的单用户微型博客。教程详细讲解了如何设置开发环境，包括安装 `Node.js`、`fedify` 命令，以及使用 `fedify init` 初始化项目。随后，教程逐步引导读者创建帐户创建页面，并设置数据库，为后续的账户、帖子、关注等功能奠定基础。文章还强调了使用 `TypeScript` 和 `JSX` 进行开发，并提供了代码示例和相关链接。
Mark as Read
Mark as Unread
Vim Language, Motions, and Modes Explained (2023)
Source
文章探讨了Vim作为编辑器的强大之处，核心在于其独特的“Vim语言”，即通过组合动词、主语、宾语等实现高效文本编辑。文章介绍了Vim的模式（Normal、Insert、Visual、Command）和motions（移动方式），强调了其可定制性和效率优势。作者分享了个人使用Vim的经验，并推荐了Neovim、Lunarvim等编辑器，以及学习Vim的资源，鼓励读者尝试，提升编辑效率。
Mark as Read
Mark as Unread
Mark Zuckerberg Says Social Media Is Over
Source
Mark Zuckerberg 在 Meta 反垄断审判中表示，社交媒体时代已经结束。他认为，Facebook 等平台已转型为内容消费平台，而非单纯的人际互动。Meta 承认用户在 Facebook 和 Instagram 上观看朋友内容的时间占比下降。文章指出，美国联邦贸易委员会（F.T.C.）的垄断诉讼定义模糊，难以界定“个人社交网络服务”市场。Meta 辩称，竞争对手众多，包括 TikTok、YouTube 和 iMessage。文章还讨论了 F.T.C. 诉讼的困难，以及 Meta 收购 WhatsApp 和 Instagram 的影响。最终，文章暗示，社交媒体格局正在发生巨大变化，新的问题正在出现。
Mark as Read
Mark as Unread
文章总结了 Sarah Wynn-Williams 的回忆录《Careless People》，揭露了 Facebook 内部的诸多问题。书中描述了 Facebook 高管的“漫不经心”，包括 Mark Zuckerberg、Sheryl Sandberg 和 Joel Kaplan 等人，他们对公司运营、用户、员工以及外部世界的漠视。文章指出，这种“漫不经心”源于高管的个人缺陷，也与 Facebook 的市场垄断地位有关，使其可以无视后果。最终，Facebook 变得“太大而不在乎”，导致了各种负面影响。文章还提到了 Facebook 在中国、缅甸等地的争议性行为。
Mark as Read
Mark as Unread
Show HN: Colanode, open-source and local-first Slack and Notion alternative
Source
Colanode 是一个开源、本地优先的 Slack 和 Notion 替代方案，允许用户自托管以掌控数据。它提供实时聊天、富文本页面、可定制数据库和文件管理等功能。采用 local-first 设计，数据优先保存在本地，支持离线工作，并使用 CRDTs 实现实时协作。用户可以通过桌面应用程序连接到多个服务器，并支持 Docker 自托管。Colanode 采用 Apache 2.0 许可证。
Mark as Read
Mark as Unread
AMD Publishes Open-Source Driver for GPU Virtualization, Radeon "In the Roadmap"
Source
AMD 开源了用于 Instinct 加速器虚拟化的 GIM 驱动，该驱动与 Linux 内核和 KVM 虚拟机管理程序配合使用，提供基于 SR-IOV 的硬件虚拟化。GIM 支持 GPU IOV 虚拟化等功能，目前适用于 MI300X 硬件。虽然尚未明确 GIM 驱动是否会进入主线 Linux 内核，但 AMD 工程师表示，客户端 Radeon 独立 GPU 的虚拟化支持“已在路线图中”。
Mark as Read
Mark as Unread
Daily driving a Linux phone, but why?
Source
文章探讨了作者每日使用 Linux 手机的原因。作者认为这并非为了追求便利，而是为了挑战既定的生活方式，寻求更好的安全和隐私平衡。Linux 手机在隐私方面有优势，因为其应用和系统是开源的，不依赖广告或监视。作者还提到了 PinePhone Pro 的硬件速度，以及其相对于 FairPhone 的一些优势。最终，作者计划使用 LGv40 Thinq 手机，因为它更小巧，性能更好，并支持更多功能。
Mark as Read
Mark as Unread
Efficient Code Search with Nvidia DGX
Source
文章介绍了 Qodo 公司利用 NVIDIA DGX 平台，通过定制的代码嵌入模型，实现高效代码搜索的方案。Qodo 采用基于 RAG 的方法，结合代码专用分块和嵌入模型，提升了代码搜索的准确性。文章展示了 Qodo 与 NVIDIA 合作的案例，通过改进内部代码搜索工具，提高了搜索结果的质量，并提供了 Qodo 嵌入模型的下载链接。
Mark as Read
Mark as Unread
The VTech Socratic Method
Source
这篇文章是关于探索 VTech Socrates 电脑的。文章首先介绍了对一台 Socrates 电脑的开箱检查和拆解过程，包括硬件的结构和关键部件。接着，作者尝试进行 AV mod，改进了视频输出。最后，作者研究了游戏卡带的结构，并尝试编写代码，在模拟器中运行“Hello World”程序，虽然遇到了一些问题，但最终成功地在屏幕上显示了内容。文章还提到了对键盘和游戏手柄的探索。
Mark as Read
Mark as Unread
A Roman Gladiator and a Lion Met in Combat. Only One Walked Away
Source
由于您没有提供文章正文，我无法进行总结。请提供文章内容，我将按照您的要求进行总结，包括保留专有名词、控制字数、避免固定开头等。
Mark as Read
Mark as Unread
Yaakov Kirschen’s other legacy
Source
文章纪念了漫画家 Yaakov Kirschen，他除了著名的“Dry Bones”漫画外，还是一位早期软件开发者。Kirschen 在 1980 年代开发了具有幽默个性的电脑角色，如“Mom”和“Uncle Murray”，并制作了 Jewish 教育游戏。尽管这些软件销量不高，但 Kirschen 致力于将创造力、个性和人性带入计算机世界。他的创新包括贺卡信息亭和音乐生成软件，这些作品在今天得以保存，供人们体验。
Mark as Read
Mark as Unread
Clinical trial: novel nutritional formula treats gut microbial overgrowth
Source
一项临床试验评估了新型营养配方 mBiota Elemental 对小肠细菌过度生长（SIBO）和肠道产甲烷菌过度生长（IMO）的疗效。结果显示，73%的受试者呼吸测试恢复正常，83%的受试者症状得到缓解。该配方能降低关键肠道微生物丰度，改善腹胀、腹部不适等症状，且无严重不良反应。研究表明，mBiota Elemental 是一种有效的非抗生素饮食疗法，其适口性改善了元素饮食的依从性。
Mark as Read
Mark as Unread
Shortest walking tour to 81,998 bars in Korea – TSP solved in 178 days
Source
文章介绍了使用旅行商问题 (TSP) 算法，解决了访问韩国 81998 家酒吧的最短步行路线问题。该路线总步行时间约为 178 天。计算基于 [Open Source Routing Machine](https://www.math.uwaterloo.ca/tsp/korea/) (OSRM) 生成的 33 亿条旅行时间数据，并使用了 [LKH](https://www.math.uwaterloo.ca/tsp/korea/) 代码。文章还讨论了 TSP 的最优性、P vs NP 问题，以及该研究对优化方法和资源利用的意义。
Mark as Read
Mark as Unread
Show HN: My from-scratch OS kernel that runs DOOM
Source
这是一个用 C 和汇编语言从零开始编写的类 UNIX 操作系统 [TacOS]，其内核能够运行 DOOM 等程序。它实现了 VFS、调度器、虚拟内存管理等功能，可在真实硬件或 Qemu 模拟器上运行。虽然 [TacOS] 只是一个业余项目，存在已知错误，不适用于实际用途，但提供了构建和运行的简单步骤。项目采用 Mozilla Public License 2.0 许可。
Mark as Read
Mark as Unread
CubeCL: GPU Kernels in Rust for CUDA, ROCm, and WGPU
Source
CubeCL 是一个用 Rust 编写的、用于多平台高性能计算的语言扩展，支持 CUDA、ROCm 和 WGPU。它允许开发者使用 Rust 编写 GPU Kernel，并提供自动向量化、编译时优化（comptime）和自动调优（autotune）等功能，以提高代码的可维护性、灵活性和性能。CubeCL 通过独特的两步过程解析和扩展 Rust 代码，生成可在不同 GPU 运行时上运行的 Kernel，并计划开发 SIMD 优化的 JIT CPU 运行时。
Mark as Read
Mark as Unread
Don't make it "like Google"
Source
文章批评了“像 Google 那样设计”的普遍现象及其负面影响。作者认为，Google 的 UI/UX 设计糟糕，其产品界面混乱，但由于其市场地位和 Material Design 的影响，开发者倾向于模仿 Google 的设计，而非追求更好的用户体验。这种趋势导致产品设计趋同，用户体验下降。文章呼吁关注设计对用户认知的塑造，并指出其他行业也存在类似问题，最终导致设计质量的恶化。
Mark as Read
Mark as Unread
Echoplayer: Echo – Open Hardware Music Player
Source
Echo 是一款开源硬件音乐播放器，目标是打造基于自由软件的高质量播放器。它主要设计用于运行 Rockbox 固件。硬件设计使用 KiCAD，外壳计划使用 FreeCAD 设计，均采用 CERN-OHL-S v2 许可。当前版本为 Echo R1，具有 4 向 D-pad 和 6 个按钮，3.5 毫米耳机和线路输出插孔，可移动存储卡插槽，USB-C 充电和数据传输。R1 原型 PCB 已完成，但存在一些已知问题，开发重点在于 Rockbox 移植和外壳设计。
Mark as Read
Mark as Unread
Henry James was not at home in America
Source
文章探讨了作家 Henry James 在 1904 年重返美国后的感受。他发现美国在快速发展中失去了他所珍视的文化和历史，被金钱和商业主义所主导，变得疏远和陌生。James 厌恶资本主义的现实，认为美国只追求表面的繁荣，而忽略了文化和精神价值。他最终对美国感到失望，认为它破坏了美好的事物，并更倾向于他在欧洲的生活。
Mark as Read
Mark as Unread
Yagri: You are gonna read it
Source
YAGRI（You are gonna read it）是作者提出的一个建议，与YAGNI（You aren't gonna need it）相反。文章强调，在设计数据库时，除了满足当前需求的数据，还应存储未来极有可能需要读取的数据，例如时间戳和上下文元数据。作者以删除功能为例，说明了存储删除者、删除方式、时间、原因等信息的重要性。文章建议在几乎所有表中都包含created_at、updated_at、deleted_at等字段，以应对未来可能出现的分析、调试需求。虽然不应过度记录，但存储这些数据能带来长远价值，是工程师的重要职责。
Mark as Read
Mark as Unread
FontDiffuser: Text to Font
Source
FontDiffuser 是一种基于去噪扩散的 one-shot 字体生成方法，旨在解决现有方法在处理复杂字符和较大风格变化时的不足。该方法包含多尺度内容聚合 (MCA) 块，用于增强复杂字符的笔画保留；以及风格对比细化 (SCR) 模块，用于改进风格表示学习。实验结果表明，FontDiffuser 在生成不同字符和风格方面表现出色，优于现有方法。
Mark as Read
Mark as Unread
Google blocked Motorola use of Perplexity AI, witness says
Source
在针对Google的反垄断诉讼中，Perplexity AI的首席商务官作证称，Google与Motorola的合同阻止了后者将Perplexity AI设为新设备的默认助手。他表示，Google的合同对公司来说是“抵在头上的枪”，限制了手机制造商的选择。尽管Perplexity的应用程序将被预装，但不会是默认助手。此案涉及Google涉嫌非法垄断搜索市场，司法部正在寻求补救措施，包括禁止Google为搜索引擎默认设置付费。
Mark as Read
Mark as Unread
How much math is knowable? [video]
Source
Scott Aaronson 在哈佛 CMSA 的演讲探讨了数学的可知性边界。他从 Gödel 不完备性定理和 Turing 的不可计算性出发，介绍了 Busy Beaver 函数，并讨论了其与集合论公理的独立性。演讲还涉及 P!=NP 猜想对机器智能的限制，以及量子计算如何扩展数学可知性。最后，Aaronson 展望了超越量子计算的假设模型，探讨了在极端物理条件下，数学知识可能达到的边界。
Mark as Read
Mark as Unread
DOGE Worker’s Code Supports NLRB Whistleblower
Source
文章揭露了 Elon Musk 的 DOGE 员工涉嫌窃取 NLRB 敏感数据。举报人称，DOGE 成员下载了 NLRB 的 GitHub 代码库，其中一个代码库与 DOGE 员工 Marko Elez 发布的程序相似，该程序用于绕过 IP 限制。DOGE 获得了 NLRB 的高权限账户，可以访问、复制和更改数据库信息。举报人担心数据泄露可能导致不公平竞争，损害劳工权益。Elez 曾因种族主义言论辞职后被重新聘用，目前在 Labor Department 工作。
Mark as Read
Mark as Unread
该仓库是 Apache Lucene 功能的自包含示例教程，提供带有详细代码注释的示例。目标是帮助用户通过阅读代码、在 IDE 中调试和使用 Docco 生成的网页文档来学习。 教程依赖 Lucene 10，需要 JDK 21 或更高版本。 欢迎贡献，代码示例需满足自包含、清晰演示功能等要求。 仓库代码基于 Apache License, Version 2.0 许可。
Mark as Read
Mark as Unread
You Wouldn't Steal a Font
Source
这篇文章是关于一个名为 Rib 的用户在社交平台上的帖子。帖子发布于 2025 年 4 月 23 日，使用 [Iceshrimp](https://fedi.rib.gay/notes/
Mark as Read
Mark as Unread
First Successful Lightning Triggering and Guiding Using a Drone
Source
日本电报电话株式会社（NTT）成功利用无人机触发并引导闪电，是世界首例。实验验证了无人机防雷技术和基于电场的闪电触发方法。关键技术包括：设计防雷笼，保护无人机免受雷击；以及基于电场的闪电触发技术，通过导线连接无人机与地面，快速改变电场来触发雷电。NTT 计划利用此技术保护城市和基础设施，减少雷电灾害。
Mark as Read
Mark as Unread
C++26: more constexpr in the core language
Source
C++26 持续扩展 `constexpr` 的应用范围。核心语言层面，C++26 增加了在常量表达式中从 `void*` 转换为特定类型指针的能力，这有助于标准库中更多函数实现 `constexpr`。同时，`constexpr` placement new 也将成为可能。此外，结构化绑定也将支持 `constexpr`，并放宽了对 `constexpr` 引用的限制，允许在栈帧地址为常量时使用自动存储持续时间的变量。这些改进使得 C++ 在编译时计算方面更强大。
Mark as Read
Mark as Unread
Ninth Circuit Takes a Wrecking Ball to Internet Personal Jurisdiction Law
Source
第九巡回法院在“Briskin诉Shopify”案中，大幅扩展了互联网个人管辖权的适用范围。法院认为，即使公司面向全国市场，只要其行为“明确针对”特定州，例如通过收集加州消费者数据，就可能在该州受到管辖。法院否定了“差别待遇”标准，认为公司不能通过全国性业务来规避特定州的管辖权。文章分析了该裁决对Shopify的影响，指出其业务模式难以规避管辖，并预言该案可能上诉至最高法院。文章还探讨了该裁决对其他互联网企业的潜在影响，认为下级法院可能会更广泛地适用管辖权。
Mark as Read
Mark as Unread
'Bright Circle' and 'Margaret Fuller': The Rise of the Transcendental Woman
Source
“明亮圈子”是先验主义运动中女性聚集的场所，玛格丽特·富勒是其中的关键人物。文章探讨了她们在先验主义运动中的地位和作用，象征着女性力量的崛起。
Mark as Read
Mark as Unread
文章探讨了AI编码带来的潜在负面影响，核心在于**减少了编码的乐趣**。作者担忧过度依赖AI工具会导致开发者失去“心流”体验，即深度沉浸于编码的快乐状态。虽然AI提高了效率，但可能使开发者变成代码“策展人”，而非深度参与者。文章质疑这种转变是否会损害开发者的长期幸福感和对编程的热爱，并呼吁在工作中保留手动编码的空间，以维护乐趣和满足感。
Mark as Read
Mark as Unread
该文章介绍了一个名为“Sail-Trim Simulator”的工具，旨在帮助用户优化帆船微调技巧。它提供了关于风的基本知识，以及如何通过模拟加速船只来改进微调，尤其是在高性能航行中。文章还提供了与真实世界帆船设置的比较，以及关于如何使用模拟器、分享视图和访问更多信息的链接，包括在 GitHub 上的源代码和文档。
Mark as Read
Mark as Unread
Teaching LLMs how to solid model
Source
文章探讨了利用 LLM 进行实体建模的可能性，以开源编程 CAD 工具 OpenSCAD 为例。作者通过实验，使用 LLM 生成 OpenSCAD 代码来创建 3D 模型，并构建了评估系统，测试不同 LLM 的性能。结果表明，LLM 在生成 OpenSCAD 代码方面表现出色，但空间推理能力仍有提升空间。文章还提到了初创公司推出的文本到 CAD 产品，并展望了 GenCAD 在未来机械设计中的应用前景，认为其将改变 CAD 设计流程。
Mark as Read
Mark as Unread
Spring 83: a draft protocol intended to suggest new ways of relating online
Source
该项目是关于探索新型在线关系的协议草案，名为 `spring-83`。它是一个推测性的软件，旨在引发思考和想象，而非面向用户。文章提供了协议规范的链接以及之前的草案版本。同时，列出了多个已实现的客户端、web component和实用程序，分别使用了 JavaScript、Go、Python等语言。最后，文章声明了该作品的许可方式，并提供了关于项目的一些统计数据，如 Stars、Watchers 和 Forks。
Mark as Read
Mark as Unread
The Really Big One (2015)
Source
文章讲述了美国西北部卡斯卡迪亚俯冲带潜在的巨大地震及其可能造成的灾难性后果。科学家预测，该地区未来50年内发生大地震的概率约为三分之一，一旦发生，将引发海啸，摧毁沿海地区，造成大量伤亡和经济损失。文章强调了该地区对地震准备的不足，包括建筑抗震能力差、疏散计划不完善等问题，并呼吁采取行动应对这一迫在眉睫的危机。
Mark as Read
Mark as Unread
Graphics livecoding in Common Lisp
Source
文章介绍了在 Common Lisp 中进行图形 livecoding 的实践，通过开发一个 Boids 算法程序，展示了无需重启即可实时编译和修改代码的特性。文章首先介绍了 livecoding 的概念，对比了传统开发流程的差异，并简要介绍了图形框架 Sketch。随后，逐步实现了 Boids 算法，包括绘制、更新位置和应用规则，最终实现了一个可交互的鸟群模拟。文章强调了 livecoding 带来的流畅开发体验，并鼓励读者思考如何提升开发流程的交互性。
Mark as Read
Mark as Unread
A Computational Proof of the Highest-Scoring Boggle Board
Source
文章宣布，经过20年，作者通过穷举搜索证明了Boggle游戏全局最优棋盘的存在，该棋盘使用ENABLE2K词表可得3625分，包含1045个单词。文章回顾了Boggle棋盘搜索的历史，探讨了局部最优问题，并介绍了分支定界等搜索方法。最终，作者使用Google Cloud计算资源，耗时约5天，找到了32个得分超过3500分的棋盘。文章还讨论了结果的意义、使用的工具、未来工作以及对其他语言和更大棋盘的展望。
Mark as Read
Mark as Unread
这篇文章无法总结，因为正文内容仅显示了验证页面，并未提供任何关于“MCPs 的未来展望”的信息。文章内容提示需要通过 Cloudflare 验证才能访问 iamcharliegraham.substack.com 上的内容。
Mark as Read
Mark as Unread
Tarpit ideas – what are tarpit ideas and how to avoid them (2023) [video]
Source
Tarpit Ideas 指的是那些看似诱人，实则耗时费力却无实际价值的想法。文章探讨了如何避免陷入这类“焦油坑”。
关键在于：充分评估项目风险，设定明确目标和截止日期，以及积极寻求反馈。通过规划、目标管理和用户反馈，可以识别并避免在无用项目上浪费时间和精力，从而专注于更有价值的工作。
Mark as Read
Mark as Unread
文章探讨了AI时代软件设计的“无马马车”现象，即现有AI应用未能充分发挥AI潜力。作者认为，像Gmail的AI邮件助手，由于设计限制，未能有效利用AI，反而降低了效率。核心观点是：**AI应用应将System Prompt（系统提示）的编写权交给用户，让用户自定义AI行为，从而实现个性化、高效的自动化。** 作者提倡构建“代理构建器”而非单纯的AI应用，开发者应提供工具和界面，帮助用户创建和迭代自己的AI代理，实现AI原生软件，最终减少用户在繁琐任务上的时间投入，提升效率。
Mark as Read
Mark as Unread
MCP on AWS Lambda with MCPEngine
Source
文章介绍了使用 MCPEngine 在 AWS Lambda 上部署 MCP 服务器的实践。MCPEngine 是一个开源的 MCP 实现，支持 HTTP 流式传输，与 Lambda 兼容。文章通过三个示例展示了部署过程：无状态天气 API、有状态类似 Slack 的 API（使用 RDS 存储）以及使用 Google SSO 进行身份验证的 API。文章强调了 MCPEngine 的优势，如原生支持身份验证、无需服务器管理，并提供了部署和连接 LLM 的步骤。
Mark as Read
Mark as Unread
More Everything Forever
Source
请提供原文内容，我将按照你的要求进行总结。
Mark as Read
Mark as Unread
Show HN: Index – New Open Source browser agent
Source
该文章介绍了开源浏览器代理 Index，它是一个用于在 Web 上自主执行复杂任务的工具。Index 基于视觉推理 LLM，支持 Gemini、Claude 和 OpenAI 模型。用户可以通过 `pip install lmnr-index` 安装并使用，也可通过 CLI 或 API 运行。文章还提供了快速入门指南，包括安装依赖、设置 API 密钥、运行代理的示例代码，以及浏览器代理可观测性的配置方法。
Mark as Read
Mark as Unread
They made computers behave like annoying salesmen
Source
文章批评了科技公司在用户体验（UX）设计中过度拟人化的倾向，导致软件变得像烦人的推销员。作者认为，这种设计误导了用户，使他们误以为软件具有自主性和操纵性，而非精确、可预测的机器。这种设计迎合了参与度指标和增长目标，却损害了用户体验，让用户不得不反复拒绝软件的“推销”，最终导致用户对软件的信任度下降。
Mark as Read
Mark as Unread
Launch HN: Cua (YC X25) – Open-Source Docker Container for Computer-Use Agents
Source
**c/ua** 是一个开源的 Docker 容器，专为在计算机上运行 AI 代理而设计。它提供高性能的虚拟化环境，基于 Apple Silicon 架构，能以接近原生速度运行 macOS 和 Linux 虚拟机。用户可以使用该框架让 AI 代理与应用程序交互、浏览网页、编写代码等。项目包含 Lume CLI 用于虚拟机管理，以及 Computer 和 Agent 库，方便开发者构建和使用 AI 代理。
Mark as Read
Mark as Unread
文章讲述了一个名为 Danglepoise 的家庭自动化项目，旨在设计并制造可升降的灯具。作者详细描述了项目的动机、研究过程、机械设计、电子设备选型、固件开发以及遇到的各种挑战。核心在于解决灯具的升降控制问题，包括滑环、步进电机、微控制器（ESP32）、3D 打印外壳等关键部件的选择和集成。文章记录了作者在设计、制造和调试过程中遇到的问题和经验教训，最终实现了灯具的升降功能，但同时也指出了在开发过程中遇到的困难和改进空间。
Mark as Read
Mark as Unread
Automated Antenna Design with Evolutionary Algorithms [pdf] (2006)
Source
该研究探讨了利用进化算法进行天线自动化设计。通过将天线参数编码为基因，并使用如 Genetic Algorithms (GA) 等进化算法，迭代优化天线性能，如增益、带宽和阻抗匹配。设计流程包括参数化、定义目标函数、算法优化和仿真验证。这种方法旨在减少人工设计时间和精力，并可能发现创新设计，最终成果通常以学术论文和相关代码或工具的形式呈现。
Mark as Read
Mark as Unread
How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2
Source
文章揭示了《GTA San Andreas》中一个存在20年的Bug，该Bug导致在Windows 11 24H2版本中，Skimmer飞机无法生成。问题源于游戏代码未初始化车辆数据，导致在特定条件下，边界框计算出现错误，最终导致飞机消失或被发射到极远距离。作者通过调试分析，发现是由于Windows 11 24H2中临界区对象内部工作方式的改变，导致未初始化的车轮比例值被覆盖，从而触发了Bug。文章提供了修复方法，并强调了验证输入数据和避免编译警告的重要性。
Mark as Read
Mark as Unread
Show HN: Logiquiz – Daily Self-Referential Puzzles
Source
Logiquiz 是一种每日发布的自指谜题，题目内容相互关联，答案依赖于测验本身的结构。玩家需要通过点击选项标记正确或错误，并利用逻辑推理解决问题。解题方法包括通读题目、排除明显错误的选项、解决简单问题、记录潜在答案并反复调整。当所有问题逻辑上都正确时，游戏结束。这种测验考验逻辑和演绎推理能力，难度不一，属于元谜题。
Mark as Read
Mark as Unread
Show HN: Advanced-Alchemy – A framework agnostic library for SQLAlchemy
Source
该文章介绍了 `Advanced-Alchemy`，一个与框架无关的 SQLAlchemy 库。它是一个经过精心设计、全面测试和优化的库，旨在作为 SQLAlchemy 的补充。文章提供了该库的文档链接，并展示了其在 CI/CD、代码质量、包版本和下载量等方面的状态信息。
Mark as Read
Mark as Unread
How I Blog with Obsidian, Hugo, GitHub, and Cloudflare – Zero Cost, Fully Owned
Source
文章分享了使用 Obsidian、Hugo、GitHub 和 Cloudflare Pages 搭建零成本、完全自主博客的经验。作者使用 Obsidian 写作，内容以纯文本形式存储，通过 Hugo 生成静态网站，再利用 GitHub 进行版本控制和 Cloudflare Pages 部署。核心流程包括：在 Obsidian 中写作，设置 Front Matter，本地预览，连接 GitHub，配置 Cloudflare Pages，最后通过修改 draft 状态并推送至 GitHub 实现发布。这种方式提供完全控制权，无订阅费用，适合喜欢技术设置、纯文本写作和快速发布的读者。
Mark as Read
Mark as Unread
How ZGC allocates memory for the Java heap
Source
文章深入探讨了 ZGC 如何为 Java 堆分配内存。ZGC 将堆划分为 Small、Medium 和 Large pages，由 Page Allocator 管理。分配内存时，ZGC 优先从 Mapped Cache 获取已映射的内存，若不足则增加 capacity（提交新内存）或进行 harvesting（重新映射）。文章还讨论了多 partition 分配、取消提交、延迟问题以及相关配置参数，如 `-Xms`、`-Xmx`、`-XX:-ZUncommit` 等。最后，文章提及了物理内存排序、Large Pages 和最大内存映射数量等额外注意事项。
Mark as Read
Mark as Unread
Mozilla blocks UAE for internet security guardian after hacking reports (2019)
Source
Mozilla 因黑客报告，禁止了阿联酋的互联网安全卫士。此举意味着用户在使用 Firefox 等 Mozilla 产品时，将不再信任阿联酋提供的互联网安全服务。Mozilla 采取这一行动，旨在保护用户免受潜在的安全威胁。
Mark as Read
Mark as Unread
文章探讨了基于[Langton’s Ant]的Collatz序列可视化方法，称为Collatz蚂蚁。蚂蚁根据Collatz函数规则移动和旋转，形成轨迹。文章展示了不同起始数字下蚂蚁轨迹的“景观”图，通过统计蚂蚁经过的坐标来呈现。研究发现，相似的“景观”通常具有相同或相似的停止时间，但反之不成立。此外，轨迹的相似性会随着起始数字差异的增加而降低，出现旋转等变化。
Mark as Read
Mark as Unread
Geocoding APIs compared: Pricing, free tiers and terms of use
Source
文章对比了多个 geocoding API 提供商的定价、免费额度和使用条款，包括 HERE、Google Maps Platform、Azure Maps、OpenCage、TomTom Maps、LocationIQ 和 Nominatim。文章分析了不同用量下的成本差异，并指出 Azure Maps 和 Google Maps Platform 相对昂贵，OpenCage、LocationIQ 和 TomTom Maps 则提供了更具竞争力的价格和免费额度。Nominatim 适合小型项目，但限制商业用途。文章还提供了其他资源链接，并强调了选择 API 时需要考虑的因素。
Mark as Read
Mark as Unread
MinC 是一个基于 OpenBSD 的 Windows Unix 模拟器，旨在帮助学生学习 Linux，无需虚拟化。它在除 Win95 和 Win98 之外的所有 Windows 版本上运行。MinC 包含一个微型内核，其余软件来自 OpenBSD 6.1，提供原生速度的 OpenBSD 体验。安装后，通过“Console”图标启动终端，支持 Unix 标准命令、编辑工具、压缩工具、网络工具和开发工具。提供安装向导，并支持与杀毒软件协同工作，可能需要临时禁用或排除 MinC 目录。还可以在 **MS Visual Studio Code** 中集成 MinC 终端。
Mark as Read
Mark as Unread
EU fines Apple €500M and Meta €200M
Source
欧盟首次依据《数字市场法案》(DMA) 对科技巨头 Apple 和 Meta 开出罚单。Apple 因违反应用商店规定被罚 5 亿欧元，Meta 因“付费或同意”的广告模式被罚 2 亿欧元。DMA 于 2024 年生效，旨在规范科技公司在欧洲市场的运营。欧盟同时结束了对 Apple 浏览器和默认应用规则的调查，并取消了对 Facebook Marketplace 的监管。Apple 和 Meta 均表示将上诉，并批评欧盟的决定。美国前总统 Trump 政府曾表示可能采取报复措施，但欧盟坚持执行数字规则。
Mark as Read
Mark as Unread
America's cyber defenses are being dismantled from the inside
Source
文章指出，美国网络防御正因内部因素瓦解。核心问题包括：CVE系统资金不足，濒临崩溃；关键网络安全官员被解雇，削弱防御能力；网络安全咨询机构被解散，调查中断。文章批评了**President Trump**政府的网络安全政策，包括削减联邦资助、将网络安全责任下放给州和地方政府，以及数据泄露风险。作者认为这些举措将严重损害美国及其盟友的网络安全。
Mark as Read
Mark as Unread
Apple and Meta fined millions for breaching EU law
Source
欧盟首次依据《数字市场法》（DMA）对Apple和Meta处以巨额罚款。Apple因阻止开发者在App Store外提供更便宜交易被罚5亿欧元，Meta因其“付费或同意”模式违反DMA被罚2亿欧元。两家公司均表示将质疑欧盟的决定。欧盟监管机构认为，Apple的某些规定，如Apple Core Technology Fee，削弱了开发者使用替代应用分发渠道的积极性。Meta的Marketplace不再被视为DMA守门人。欧盟强调所有在欧盟运营的公司都必须遵守法律。
Mark as Read
Mark as Unread
OpenAI wants to buy Chrome and make it an "AI-first" experience
Source
文章披露，在 Google 反垄断审判中，OpenAI 表示有意收购 Chrome 浏览器，并将其打造为“AI-first”体验。OpenAI 高管 Nick Turley 证实了这一意向，认为 Chrome 庞大的用户基础和数据对训练 AI 模型极具价值。文章还提到，除了 OpenAI，其他方也对 Chrome 感兴趣。此前，OpenAI 曾考虑开发自己的浏览器，并聘请了前 Google 开发者。
Mark as Read
Mark as Unread
Sixty Years On, We Still Dream of the Arrow
Source
文章追忆了加拿大航空工业的传奇——Avro Arrow超音速截击机。该机在20世纪50年代设计制造，是当时世界领先水平，却因成本、导弹威胁及政治原因于1959年被取消，飞机被销毁，引发巨大争议。文章回顾了Arrow的历史、技术特点、取消原因，以及由此产生的神秘感和对加拿大的影响。尽管项目夭折，但Arrow象征的民族自豪感和航空梦想至今仍被铭记，并激励着加拿大的太空探索事业。
Mark as Read
Mark as Unread
Show HN: Body Controlled 3D Dino Game
Source
这是一个用身体动作控制的3D恐龙游戏。玩家通过抬手、跳跃和蹲下来控制游戏中的恐龙。游戏使用摄像头捕捉玩家的身体动作，并根据预设的阈值进行校准。玩家可以调整 Baseline、Jump 和 Crouch 的阈值来微调控制。游戏包含左右移动、跳跃和蹲下等操作，并显示分数和金币。
Mark as Read
Mark as Unread
The Gruen Transfer is consuming the internet
Source
文章指出“Gruen Transfer”现象正在互联网上蔓延，这种现象最初出现在实体商店，通过混乱的布局引导消费者冲动消费。如今，这种策略被广泛应用于互联网，尤其是在社交媒体和各种网站上，通过信息流、复杂的页面设计等手段，使用户迷失方向，延长停留时间，并促使冲动行为。文章认为这种设计趋势最终会适得其反，并提到了欧盟在简化取消订阅流程方面的立法，希望类似的措施能应用于更多领域。
Mark as Read
Mark as Unread
Advanced Python Features
Source
这篇文章介绍了14个高级的 Python 特性，旨在提升 Python 的能力。内容涵盖了多种主题，包括：`Typing Overloads`，`Keyword-only and Positional-only Arguments`，`Future Annotations`，`Generics`，`Protocols`，`Context Managers`，`Structural Pattern Matching`，`Python Slots`，`Python Nitpicks`，`Advanced f-string String Formatting`，`Cache / lru_cache`，`Python Futures`，`Proxy Properties` 和 `Metaclasses`。文章提供了每个特性的示例和额外资源，帮助读者深入了解。
Mark as Read
Mark as Unread
Open Source Projects Receive Funding to Reclaim the Public Internet
Source
NLnet Zero Commons Fund 资助了 42 个开源项目，旨在重塑公共互联网。这些项目涵盖硬件、操作系统、数据分析、去中心化解决方案、服务和应用程序等多个领域，例如：开放硬件平板设备、下一代文件系统、在 FPGA 上运行 LLM、改进的即时消息应用、可定制的播客编辑器等。这些项目致力于提升互联网的安全性、可访问性、互操作性和用户体验，促进以人为本的互联网发展。
Mark as Read
Mark as Unread
Pixel is a unit of length and area
Source
文章探讨了像素（pixel）作为长度和面积单位的混用问题。作者指出，像素既被用于描述图像的宽度和高度（线性长度），也被用于表示图像的面积（如相机传感器的百万像素）。这种混用在数学上是不一致的，会导致单位换算上的矛盾。作者提出了两种解决方式：将像素定义为正方形，并引入“pixel-side”作为线性单位；或者坚持像素是长度单位，并使用“平方像素”来表示面积。文章认为，虽然这种混用并不严重，但它突显了常用术语的不完善性，并破坏了科学计算中对单位一致性的期望。
Mark as Read
Mark as Unread
Why Does My eBPF Program Work on One Kernel but Fail on Another?
Source
文章讨论了 eBPF 程序在不同内核上运行失败的原因。由于内容被 Cloudflare 验证机制阻挡，无法获取具体内容。根据标题，文章可能探讨了 eBPF 程序在不同内核版本、配置或硬件环境下的兼容性问题，以及可能导致程序无法正常运行的因素。文章可能涉及内核版本差异、依赖关系、安全策略等方面的考量。
Mark as Read
Mark as Unread
Hyperscaling Have I Been Pwned with Cloudflare Workers and Caching
Source
文章介绍了如何使用 Cloudflare Workers 和缓存技术，对 Have I Been Pwned (HIBP) 服务进行超大规模扩展。核心在于将数据和处理“推向边缘”，利用 Cloudflare 的边缘节点缓存数据，实现快速响应、高可用性并降低成本。文章详细阐述了通过 SHA-1 哈希前缀进行 k-匿名性搜索的缓存机制，以及缓存刷新策略。虽然刷新缓存会增加成本，但整体上极大地提升了服务性能。文章还提到了 API 管理的挑战，并呼吁 Cloudflare 提供更完善的 API 管理产品。最后，文章展示了 Pwned Passwords 服务通过 Cloudflare 缓存实现的高请求量。
Mark as Read
Mark as Unread
Beer on Board in the Age of Sail (2017)
Source
文章探讨了帆船时代啤酒在船上的重要性。在缺乏新鲜水源的情况下，啤酒作为更安全的饮品，为水手提供营养和热量，并软化硬面包。文章追溯了啤酒在海军中的供应历史，以及云杉啤酒等替代品。同时，也提到了啤酒与坏血病的关系，以及后来朗姆酒的出现。最后，文章强调了啤酒与航海文化的紧密联系，以及现代对饮酒的限制。
Mark as Read
Mark as Unread
文章探讨了苏格兰 Gaelic 语言的过去与未来。 Gaelic 语言在苏格兰曾是主要语言，但如今使用人数锐减。文章回顾了麦克弗森的《奥西安》作品，指出其引发的真实性争议，以及它与 Gaelic 文化的复杂关系。文章强调了 Finn MacCool 传说在 Gaelic 口头传统中的重要性，并指出 Gaelic 语言面临的生存威胁。最后，文章呼吁通过社区支持、教育和新的艺术形式来保护和推广 Gaelic 语言，确保其在苏格兰的未来。
Mark as Read
Mark as Unread
Where did the false "equal transit-time" explanation of lift originate from?
Source
文章探讨了“等时”理论解释升力起源的问题。该理论认为，机翼上表面空气流速快于下表面，导致同时到达后缘，从而产生升力。文章指出，这种解释是错误的，并追溯了其可能的起源。早期可能源于 Ludwig Prandtl 在 1922 年的图表，以及 D'Alembert 在 1744 年的假设。文章还提到了该理论在教科书和飞行训练手册中的使用，以及其被广泛传播的原因。
Mark as Read
Mark as Unread
Native visionOS platform support
Source
该文章由 Apple 工程师团队贡献，旨在为 Godot 引擎添加 visionOS 平台支持。主要目标是让 Godot 游戏原生运行在 visionOS 的平面窗口上，并支持创建沉浸式体验。文章分为三个 PR 逐步实现：添加 visionOS 平台、支持编译 Swift 文件、引入 Vision Pro VR 插件。目前已实现原生 visionOS 平台，基于 iOS 平台进行代码复用。文章还讨论了技术细节、文档注意事项、测试结果和待解决的问题，并寻求社区的反馈和协助。
Mark as Read
Mark as Unread
The Rise and Fall and Rise Again of Lionel Trains (1997)
Source
文章追溯了莱昂内尔火车 (Lionel Trains) 的历史，从创始人 Joshua Lionel Cowen 的早期经历开始，详细描述了其在战前、战后时代的辉煌，以及之后的衰落。文章分析了 Lionel 在不同时期的产品、技术创新和市场策略，包括标准轨距、O 轨距的推出，以及电子技术的应用。文章还提到了 Lionel 在不同公司管理下的发展，以及与竞争对手 MTH 的竞争。最后，文章展望了 Lionel LLC 时代的发展趋势。
Mark as Read
Mark as Unread
文章分享了一系列针对旧版 OS X 系统的项目，旨在延续经典 macOS 的使用体验。主要包括修复了失效的 Dashboard 小组件，如天气、单位转换和翻译；提供了旧版 OS X 可用的网页浏览、互联网、音频、视频、游戏模拟器、系统调整和杂项应用，以及对其他应用程序的错误修复。这些项目旨在解决旧系统在现代环境下的兼容性问题，并增强其功能。
Mark as Read
Mark as Unread
Can Citizen Science Be Trusted? New Study of Birds Shows It Can
Source
一项发表在 _Citizen Science: Theory and Practice_ 上的研究表明，来自 iNaturalist 和 eBird 等平台的“公民科学家”数据，可以可靠地反映北加州和内华达州的鸟类迁徙模式。研究比较了这两个平台的数据，发现它们对超过97%的鸟类物种显示出相似的季节性模式。研究结果证明了公众参与科学的力量，并为回答重要的生物学问题提供了依据。
Mark as Read
Mark as Unread
Meaning Machine – Visualize how LLMs break down and simulate meaning
Source
Meaning Machine 项目旨在可视化大型语言模型 (LLM) 的运作方式，帮助人们理解其内部机制。它提供交互界面，用户输入文本后，可观察 LLM 如何将其分解成 tokens，以及 tokens 如何激活模型中的神经元。该项目揭示了 LLM 如何利用统计关联生成文本，并展示了其在理解文本含义方面的局限性，尤其是在处理歧义和上下文依赖时。通过可视化 LLM 的行为，Meaning Machine 旨在提高我们对 LLM 的透明度和理解，从而更负责任地使用它们。
Mark as Read
Mark as Unread
Show HN: Durable Python Workflows
Source
该项目名为 **autokitteh**，是一个基于代码的工作流自动化平台，支持 Python、Starlark 和 JavaScript。它提供持久化执行能力，基于 Temporal，简化了基础设施复杂性。用户可以使用它构建、部署和管理工作流，并提供 API、命令行界面、VS Code 扩展和 Web UI。它支持自托管和云服务，并内置了多种集成。
Mark as Read
Mark as Unread
Google won't ditch third-party cookies in Chrome after all
Source
谷歌最终决定不在 Chrome 浏览器中强制禁用 third-party cookies。经过多年 Privacy Sandbox 计划的调整，谷歌放弃了推出一键禁用 cookies 的计划，cookies 支持将维持现状。尽管谷歌曾尝试推出 FLoC 和 Topics API 等替代方案，但均未成功。此举可能与谷歌面临的反垄断诉讼有关，避免利用 Chrome 的主导地位强制广告行业重组。虽然 Privacy Sandbox 仍在开发，但谷歌的这一决定意味着 cookies 将继续存在，并可能影响其在广告领域的未来发展。
Mark as Read
Mark as Unread
How to quickly charge your smartphone: fast charging technologies in detail
Source
文章详细介绍了智能手机的快充技术。核心观点是，快充已成主流，但需了解不同协议和功率，如 USB PD、Qualcomm QC、VOOC 等，以及它们之间的兼容性。文章还阐述了有线和无线快充的原理、优缺点，并列举了各种快充标准，包括 Apple MagSafe 和 Qi2。同时，文章强调了选择合适的充电器和线缆的重要性，以及安全使用电子产品的注意事项。
Mark as Read
Mark as Unread
这篇文章介绍了一个名为“CSS 地狱”的挑战游戏，旨在展示 CSS 的强大力量。游戏包含15个 CSS 难题，玩家需要通过添加 CSS 属性来解决，使特定 div 与其对应的孔重叠。每个难题对可添加的属性数量有限制。文章鼓励玩家参考 [MDN CSS Reference]，并提供了提示按钮和 [GitHub repository] 中的解决方案。游戏已在 Safari、Firefox 和 Chrome 上测试。文章最后警告玩家，游戏不适合小屏幕设备。
Mark as Read
Mark as Unread
Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]
Source
请提供需要总结的英文文章内容，我将按照您的要求进行中文总结。
Mark as Read
Mark as Unread
Onyx (YC W24) Is Hiring for ML Engineer
Source
Onyx (YC W24) 正在招聘机器学习工程师，地点位于旧金山。该职位要求3年以上相关经验，薪资范围为15万至25万美元，并提供0.10% - 1.50%的股权。Onyx 是一家开源 AI 助手和企业搜索公司，致力于构建 LLM 之上的知识层。 工程师将参与改进代理和知识检索能力，并影响产品方向。 候选人需精通 PyTorch/Tensorflow、NLP 模型和软件工程，熟悉 LLM、RAG 等技术。 面试流程包括非技术电话面试、ML 面试、编码面试和工作试用期。
Mark as Read
Mark as Unread
Atuin Desktop: Runbooks That Run
Source
文章介绍了 Atuin Desktop，一款可执行的 Runbook 编辑器。它旨在解决传统文档过时、工作流程分散的问题，将脚本、终端、数据库客户端等整合在一个地方。Atuin Desktop 支持可重复、可共享的工作流程，提供自动完成、本地优先、同步共享等功能，并可用于发布、环境迁移、数据库管理等实际场景。未来计划包括团队账户和从 shell 历史记录生成 Runbook 的功能。
Mark as Read
Mark as Unread
Dissecting a British wartime night vision tank periscope [video]
Source
这段视频展示了对英国战时夜视坦克潜望镜的拆解过程。视频内容包括播放、分享、复制链接等基本功能，以及静音、倍速播放等控制选项。观众可以观看视频，并了解其播放历史和对电视推荐的影响。视频还提供了分享功能，但可能存在检索分享信息出错的情况。
Mark as Read
Mark as Unread
Classic Computer Replicas
Source
该项目旨在复刻经典计算机，将其打造成功能完备的“时间胶囊”，让人们体验计算机历史。项目主要复刻了包括 **Whirlwind**、**PDP-1**、**PDP-8**、**PDP-10** 和 **PDP-11** 在内的多款计算机，涵盖了从 1945 年到 1975 年的“交互式计算”发展历程。网站提供项目概述、子页面链接、社区资源以及其他复刻项目的推荐。目标是制作价格合理、美观的复刻品，让更多人了解和体验计算机发展史。
Mark as Read
Mark as Unread
The Dauug House - Dauug|36 minicomputer documentation
Source
本文档介绍了 Dauug|36 小型计算机，一个36位架构，强调其DIY特性。 该计算机设计易于制造，无需半导体代工厂，强调透明性和可控性。 Dauug|36 提供了丰富指令集，包括分页虚拟内存和多任务处理。 文章还强调了其安全性，通过避免 DRAM、缓存和推测执行等，降低了传统计算机的常见漏洞风险。 Dauug|36 旨在无需安全更新，通过限制复杂性来确保长期安全。
Mark as Read
Mark as Unread
Show HN: Dosidicus – A digital pet with a simple neural network
Source
Dosidicus 是一款 Tamagotchi 风格的电子宠物，核心是结合了神经网络和 Hebbian 学习。它具有自主行为，鱿鱼会根据饥饿、困倦等需求做出决策，并通过视觉锥进行觅食。神经网络用于决策和关联，权重通过 Hebbian 学习调整。宠物有性格系统，并支持装饰和定制。项目还包含调试工具，方便查看和编辑内部状态。该项目是一个研究项目，提供了可视化和理解神经网络的工具，需要 `PyQt5` 和 `numpy`。
Mark as Read
Mark as Unread
A study of lightning fatalities inside buildings while using smartphones [pdf] (2024)
Source
由于您提供的文章正文为空，我无法根据内容进行总结。请提供文章正文，我将按照您的要求进行总结。
Mark as Read
Mark as Unread
Everyday life improvements since the 90s (2022)
Source
文章列举了自90年代以来，日常生活中诸多不易察觉的进步，主要集中在计算机、技术和社会领域。计算机方面，价格下降、互联网普及、存储和检索能力提升等带来便利。技术方面，供暖、节水马桶、电动工具、汽车安全等方面的改进提升了生活质量。作者强调，这些细微的进步累积起来，对生活产生了积极影响。
Mark as Read
Mark as Unread
Willy Ley Was a Prophet of Space Travel. His Ashes Were Found in a Basement.
Source
Willy Ley，一位预言太空旅行的先驱，其骨灰最终在地下室被找到。文章的核心在于揭示了这位先知命运的讽刺性：他预见了人类探索宇宙的未来，但身后却默默无闻，骨灰被安置在不起眼的地方。这形成了一种强烈的对比，突出了他生前辉煌的预言与身后遭遇的落寞。
Mark as Read
Mark as Unread
Can a single AI model advance any field of science?
Source
文章无法总结，因为页面未找到内容。
Mark as Read
Mark as Unread
It Does Not Take 21 Days to Form a Habit
Source
文章探讨了“21天养成习惯”这一说法的误区。 1960年出版的书籍提出了这一观点，但缺乏科学依据。 实际研究表明，养成习惯的时间远不止21天，平均需要66天，甚至可能长达8个月，具体取决于习惯类型和个人情况。 重要的是，即使中断，也不意味着失败，可以继续尝试。 养成习惯初期较难，后期会更容易。 建议不要盲目相信21天规则，应设定切合实际的期望，并专注于改变的决心。
Mark as Read
Mark as Unread
Sapphire: Rust based package manager for macOS (Homebrew replacement)
Source
Sapphire 是一个基于 Rust 开发的 macOS 包管理器，作为 Homebrew 的替代方案。它目前处于 Alpha 阶段，支持安装和管理 Formulae（命令行工具、库等）和 Casks（桌面应用程序）。项目包含 sapphire-core 核心库和 sapphire-cli 命令行界面。
当前功能包括 Bottle 和 Cask 的安装与卸载，并行下载，以及自动依赖解析。未来计划包括升级、清理、重新安装等命令，以及环境初始化等功能。
用户可以通过 `sapphire` 命令进行更新、搜索、安装、卸载等操作。项目欢迎贡献，包括测试、UI/UX 改进等。
Mark as Read
Mark as Unread
Ping, You've Got Whale: AI detection system alerts ships of whales in their path
Source
文章介绍了 WhaleSpotter，一种由 AI 驱动的鲸鱼探测系统，通过热感应摄像机和机器学习算法，实时向船只发出警报，以避免与鲸鱼相撞。该系统已在多艘船只和陆基设施上测试，并不断改进。文章强调了该系统在保护鲸鱼，特别是濒危物种方面的作用，并指出其优势在于结合了 AI 检测和人工验证，以确保警报的准确性。文章还提到了与其他类似系统的比较，以及未来扩大应用范围的计划，特别是针对大型集装箱船。
Mark as Read
Mark as Unread
Confirmation of Breslow's hypothesis: A carbene stable in liquid water
Source
该研究证实了Breslow 1958年的假说，即Carbene可在水中稳定存在。研究人员合成了一种新型Carbene，通过核磁共振光谱和单晶结构证实其在液态水中稳定，且可在水中生成。该Carbene具有独特的结构，使其对水具有稳定性，与此前报道的Carbene相比，表现出更强的耐水性。研究结果为理解生物催化反应中Carbene的潜在作用提供了重要线索。
Mark as Read
Mark as Unread
The Truth about Atlantis (2019)
Source
文章探讨了关于亚特兰蒂斯（Atlantis）的真相。作者指出，尽管亚特兰蒂斯纯属虚构，但仍有大量美国人相信其存在。文章追溯了亚特兰蒂斯故事的起源，源于柏拉图的对话，并分析了柏拉图虚构故事的习惯。作者驳斥了亚特兰蒂斯真实存在的说法，指出其来源链条不可靠，且与现代科学的板块构造理论相悖。文章还讨论了其他关于亚特兰蒂斯的说法，如与米诺斯文明的联系，并最终得出结论：柏拉图描述的亚特兰蒂斯不可能存在。
Mark as Read
Mark as Unread
The complex origin story of domestic cats
Source
两项研究通过基因和考古证据，揭示家猫起源比先前认知更复杂。研究指向突尼斯为起源地，而非新石器时代。猫的驯化和传播受到文化、宗教因素影响，如埃及的崇拜。研究表明，家猫在欧洲出现时间较晚，且与本土野猫存在竞争。这些发现挑战了早期模型，强调了文化因素在猫的驯化和传播中的关键作用。
Mark as Read
Mark as Unread
Parcom: CL Parser Combinators
Source
`Parcom` 是一个简洁的 Common Lisp 解析器组合库，类似于 Haskell 的 `parsec` 和 Rust 的 `nom`。它主要针对字符串进行操作，并提供“零拷贝”特性。库本身无依赖，提供了丰富的 API，包括字符、字符串、数字、空白字符、批量获取、组合子等多种解析器。此外，它还支持 JSON 解析。用户可以利用库提供的组合子编写自定义解析器，并支持参数化。当解析失败时，可以使用 `fail` 函数提供自定义诊断信息。
Mark as Read
Mark as Unread
π0.5: A VLA with open-world generalization
Source
文章介绍了 π0.5，一个具备开放世界泛化能力的视觉-语言-动作（VLA）模型。该模型通过协同训练，结合多模态数据，包括机器人动作、语言指令和网络数据，实现在全新住宅中执行清理等复杂任务。π0.5 能够泛化到未见过的环境，展现出类似人类的灵活性。实验表明，不同数据源对泛化能力有不同影响，网络数据对识别新物体至关重要。文章还探讨了模型的训练和推理过程，以及未来的发展方向，包括改进知识转移和自主学习。
Mark as Read
Mark as Unread
Recover (YC W21) Is Hiring
Source
文章是关于一家名为 Recover 的 Y Combinator 孵化的初创公司正在招聘财务负责人。Recover 致力于通过远程医疗和药物治疗，改善低收入人群的成瘾治疗。该职位要求 3 年以上经验，负责财务报告、现金管理和合规工作，并直接向 CEO 汇报。公司强调其使命是帮助患者，并提供有竞争力的薪资、股权和带薪休假。
Mark as Read
Mark as Unread
Are polynomial features the root of all evil? (2024)
Source
文章探讨了关于高阶多项式特征在机器学习中被误解的问题。作者指出，传统观点认为高阶多项式容易过拟合，但实际上，高阶多项式本身并非问题，关键在于选择合适的基。文章对比了标准基、Chebyshev基、Legendre基和Bernstein基，发现标准基和前两种基在拟合带噪声数据时表现不佳，而Bernstein基由于其特性，更容易正则化，从而有效控制模型复杂度，实现良好的拟合效果。文章强调了Bernstein基的优势，并预告了后续更深入的探讨。
Mark as Read
Mark as Unread
I should have loved biology too
Source
这篇文章展示了访问一个名为 `nehalslearnings.substack.com` 的网站时，需要通过 Cloudflare 的安全验证。用户需要解除对 `challenges.cloudflare.com` 的阻止才能继续访问该网站。验证成功后，页面会等待 `nehalslearnings.substack.com` 的响应。文章末尾显示了 Ray ID 和 Cloudflare 的相关信息，表明网站使用了 Cloudflare 的安全和性能服务。
Mark as Read
Mark as Unread
Show HN: Rowboat – Open-source IDE for multi-agent systems
Source
Rowboat是一个开源的IDE，用于构建多智能体系统。它基于AI驱动，允许用户通过简单的想法快速构建多智能体工作流程，并支持与MCP服务器连接。用户可以使用HTTP API或Python SDK将智能体集成到应用程序中。该项目由OpenAI's Agents SDK提供支持，并提供了快速开始的步骤和演示。
Mark as Read
Mark as Unread
Show HN: Morphik – Open-source RAG that understands PDF images, runs locally
Source
Morphik 是一款开源多模态 RAG 工具，旨在构建基于私有知识的 AI 应用，尤其适用于处理技术性和视觉化文档。它提供多模态搜索、知识图谱、元数据提取、集成等功能，支持图像、PDF、视频等多种格式。开发者可以使用 Python SDK 或 REST API 与之交互，也可通过 Web 界面进行操作。Morphik 提供免费套餐，并支持自托管开源版本，但功能有所限制。欢迎贡献代码，目前重点在于提升速度、集成和用户价值。
Mark as Read
Mark as Unread
ClickHouse gets lazier (and faster): Introducing lazy materialization
Source
**ClickHouse** 引入延迟物化技术，通过延迟读取列数据来优化 I/O，提升查询速度。文章通过对比实验，展示了在大型数据集上，延迟物化与主索引、PREWHERE 等技术协同工作，能显著减少数据读取量，大幅缩短查询时间。例如，一个查询从 219 秒缩短到 139 毫秒，速度提升了 1576 倍。即使没有过滤器，延迟物化也能加速查询，尤其是在 `Top N` 查询中效果显著。
Mark as Read
Mark as Unread
Algebraic Semantics for Machine Knitting
Source
文章探讨了机器编织的代数语义，旨在为机器编织程序建立数学上的严谨性。作者介绍了使用代数拓扑、群论、纽结理论等数学工具来形式化编织过程，解决程序等价性问题。核心在于将编织过程转化为编织幺半范畴，通过记录线交叉来描述编织，并开发了多项式时间算法进行规范化，以实现编译优化和程序分析。最终目标是开发更抽象的机器编织编程语言。
Mark as Read
Mark as Unread
Surprises in Logic (2016)
Source
文章探讨了逻辑学中的几个意外发现。首先，介绍了Chaitin不完备性定理，该定理指出存在一个复杂度上限，无法证明任何特定位串的Kolmogorov复杂度超过该上限。接着，文章阐述了Kritchman–Raz利用Chaitin定理对Gödel第二不完备性定理的证明，以及“突击测验悖论”的关联。最后，文章讨论了Hamkins的结果，即在特定算术模型中，任何函数都可以被计算，即使是不可计算函数，但可能需要非标准的时间。文章强调了“标准”自然数概念的模糊性，并探讨了这些发现对数学基础的潜在影响。
Mark as Read
Mark as Unread
Supabase raises $200M Series D at $2B valuation
Source
文章主要报道了 Supabase 完成 2 亿美元 D 轮融资，使其估值达到 20 亿美元。
Mark as Read
Mark as Unread
David Tong Lectures on Theoretical Physics
Source
David Tong的理论物理学讲义已由Cambridge University Press出版成系列书籍。这些书籍内容更丰富、解释更清晰，并以平装本形式出售。目前已出版四本，涵盖经典力学、电磁学、量子力学和流体力学。文章还引用了多位学者的评价，高度赞扬了该系列书籍的清晰性、深度和对理论物理学的全面介绍，认为其是学生和研究人员的优秀资源，并有望成为经典。
Mark as Read
Mark as Unread
Using physics simulations to find targeting strategies in tenpin bowling
Source
该研究通过物理模拟，探索保龄球运动中更优的瞄准策略。文章构建了基于 Euler 方程的保龄球运动模型，模拟球在球道上的路径，并分析不同初始条件下的击球效果。研究发现，考虑油膜分布和不完美球手误差后，某些瞄准策略能提高全中率。最终目标是为保龄球手提供最佳的起始位置建议，包括球速、旋转等参数。
Mark as Read
Mark as Unread
I Open-Sourced My AI Toy Company That Runs on ESP32 and OpenAI Realtime API
Source
作者开源了一个名为 ElatoAI 的项目，该项目基于 ESP32 硬件、OpenAI Realtime API、Secure WebSockets 和 Deno 边缘函数，实现了实时 AI 语音功能。它支持全球范围内的长时间（超过10分钟）不间断对话，适用于 AI 玩具、AI 伙伴等设备。项目包含前端（Next.js）、后端（Supabase DB、Deno 边缘函数）和 ESP32 客户端，并提供了详细的入门指南、技术栈和项目架构信息。项目采用 MIT 许可证，欢迎贡献。
Mark as Read
Mark as Unread
Abusing DuckDB-WASM by making SQL draw 3D graphics (Sort Of)
Source
文章分享了使用 DuckDB-WASM 和 SQL 构建一个简陋的 3D 游戏（类似 Doom）的实验。作者将游戏状态存储在 DuckDB 表中，用 SQL 查询实现游戏逻辑和渲染，包括光线投射。虽然性能有限，但成功实现了基于文本的 3D 效果。文章详细记录了开发过程中遇到的技术挑战，例如 DuckDB-WASM 的初始化、SQL 方言差异、查询计划器问题以及异步编程中的竞争条件。最终，作者认为该项目作为学习 SQL、DuckDB-WASM 和浏览器开发的实践非常有价值，并提供了源代码。
Mark as Read
Mark as Unread
Join the W3C Exploration Interest Group: where standards start
Source
文章介绍了 W3C 的 Exploration Interest Group (IG)，这是一个专注于探索 Web 身份、认证和信任等领域早期研发的组织。IG 旨在弥合现实世界与标准之间的差距，提出问题、识别技术差距，并为未来的标准制定工作组提供参考。文章鼓励 Web 应用开发者、研究人员等参与，通过 GitHub 提交想法和讨论，共同推动 Web 标准的发展。
Mark as Read
Mark as Unread
The Cold Start Problem: Using Network Effects to Scale Your Product – A Review
Source
文章是关于《The Cold Start Problem》这本书的书评，核心观点是利用网络效应来规模化产品。作者总结了书中关于构建网络化产品的关键策略，包括：从最小的“原子网络”开始，关注“硬边”用户，解决难题，提供“杀手级产品”，以及设计“神奇时刻”。文章还提到了避免的常见错误，如过于广泛地启动、忽视网络密度、过度依赖补贴等。最后，文章强调了在不同阶段（Cold Start 和 Warm）需要采取的不同策略，以及如何通过用户价值梯度和挑选策略来促进增长。
Mark as Read
Mark as Unread
The raccoons who made computer magazine ads great
Source
文章追忆了 20 世纪 80、90 年代 PC Connection 公司在计算机杂志上的广告。这些广告以拟人化的浣熊为主角，由插画家 Erick Ingraham 创作，展现了浣熊在乡村生活中的各种场景，并结合产品促销。这种独特的广告风格，配以文案撰写人 David Blistein 的文字，使 PC Connection 在众多邮购公司中脱颖而出，给读者留下了深刻印象。文章回顾了广告的创作背景和发展历程，以及浣熊广告对 PC Connection 品牌的影响。
Mark as Read
Mark as Unread
I Tried to Buy an Actual Barrel of Crude Oil (2015)
Source
文章讲述了作者尝试购买一桶原油的经历。作者在酒吧与天然气交易员及其经纪人交流，表达了购买原油的计划。然而，这个计划并未顺利进行，反而收到了一番关于硫化氢危险的警告。
Mark as Read
Mark as Unread
GiveCampus (YC S15) Is Hiring Sr engineers passionate about education
Source
GiveCampus (YC S15) 是一家为教育机构提供筹款平台的公司，现招聘资深软件工程师。 职位要求全栈开发经验，熟悉 Ruby、Python 或 JavaScript/node.js 等语言，以及系统设计、MVC 框架、现代前端框架、SQL 数据库等。 候选人需具备 8 年以上开发经验，并能参与技术决策、指导初级工程师。 公司提供远程工作机会，总部位于华盛顿特区。 申请者可通过 Indeed 或 LinkedIn 提交简历。
Mark as Read
Mark as Unread
How I built an AI-generated news site with daily articles
Source
作者分享了如何利用 AI 构建一个每日更新的 AI 生成新闻站点 [Agentic Tribune](https://agentictribune.com?utm_source=devto) 的经验。该站点通过自动化流程，从线索提取、评分排序、背景调查、文章撰写到发布，实现新闻内容的生成。文章详细介绍了构建流程、遇到的挑战、LLM 行为管理技巧、技术栈（Flask, SQLite, cron jobs 等）以及成本。作者强调了 AI 在提高生产力方面的作用，并探讨了 AI 生成新闻对传统新闻业的影响，以及未来可能的发展方向。
Mark as Read
Mark as Unread
Whistleblower: DOGE Siphoned NLRB Case Data
Source
NLRB 的安全架构师举报称，DOGE 员工在 3 月初从 NLRB 窃取了敏感数据，使用了难以追踪的短期账户。举报人 Daniel Berulis 指出，数据外流伴随着来自俄罗斯的登录尝试，使用了 DOGE 员工的有效凭据。他声称 DOGE 获得了无限权限的“租户管理员”账户，可以读取、复制、更改和删除数据，并阻止日志记录。Berulis 还发现 NLRB 的网络监控被关闭，并从 GitHub 下载了外部代码库。他因举报受到威胁，目前休假。NLRB 否认数据泄露，但 Berulis 认为需要进一步调查。
Mark as Read
Mark as Unread
Coding as Craft: Going Back to the Old Gym
Source
文章探讨了在AI辅助coding的时代，如何保持coding作为一种手艺的本质。作者认为，过度依赖AI可能导致工程师失去独立思考和解决问题的能力，阻碍个人成长。文章提倡“回到老旧训练场”，即通过手动coding、深入学习基础知识、拥抱挑战等方式，与AI进行有意的协作，而非盲目依赖。核心观点是，AI是工具而非替代品，应用于处理繁琐工作，而将核心的思考、设计和架构决策保留为手艺，以保持工程师的技能和成长。
Mark as Read
Mark as Unread
RISC-V RVA23 Profile: A major milestone
Source
RISC-V RVA23 Profile 的批准是 RISC-V 发展的重要里程碑，标志着其在应用处理器领域的进步。 RVA Profiles 旨在确保 RISC-V 实现之间的兼容性，促进生态系统发展。 RVA23 统一了 RISC-V 64 位应用处理器的实现，使其能够运行标准二进制 OS 发行版，从而增强软件可移植性，避免供应商锁定。
Mark as Read
Mark as Unread
Marijuana hospital visits linked to dementia diagnosis within 5 years – a study
Source
一项发表在《JAMA Neurology》上的研究表明，因**Marijuana**相关原因住院的人，在五年内被诊断出痴呆症的风险增加。研究分析了超过600万人的医疗记录，发现因**Marijuana**急诊就诊或住院者，痴呆症风险比其他住院原因高出23%，比普通人群高出72%。研究者强调，这并非确凿的因果关系，但提示了潜在风险。文章还指出，**Marijuana**效力增强、成瘾风险增加，以及与抑郁、社会孤立等痴呆症风险因素的关联。
Mark as Read
Mark as Unread
SerenityOS is a love letter to '90s user interfaces
Source
SerenityOS 是一款为桌面电脑打造的图形化类 Unix 操作系统，它致敬了90年代的用户界面。该系统结合了90年代末生产力软件的美学和2000年代末 *nix 系统的用户可访问性。SerenityOS 是一个基于开发者喜好构建的系统，项目在 GitHub 上开源，并提供了 Discord 社区、man pages、常见问题和 Bug 悬赏计划等资源。文章还链接了该项目的周年纪念博文和屏幕截图。
Mark as Read
Mark as Unread
Does RL Incentivize Reasoning in LLMs Beyond the Base Model?
Source
该研究探讨了强化学习 (RL) 在提升大型语言模型 (LLM) 推理能力方面的作用。研究发现，RL 训练的模型在低尝试次数（k 值小）时表现较好，但在高尝试次数（k 值大）时，基础模型反而超越了 RL 模型。这表明 RL 优化了现有推理能力，提高了采样效率，但限制了模型的探索范围，并未真正扩展 LLM 的推理能力。研究还对比了不同 RL 算法，并强调了 RL 与蒸馏在提升模型能力上的根本差异。
Mark as Read
Mark as Unread
LHC 2025 First Collisions
Source
文章概述了大型强子对撞机（LHC）2025年首次对撞的准备情况。内容主要展示了LHC各个子系统和实验的状态，包括ACC、CPS、ELENA、LHC、Linac、PSB、SPS等，并提供了相关状态信息的概览。此外，文章还附带了访问链接，方便读者获取更多信息，例如帮助文档、日志记录等。
Mark as Read
Mark as Unread
FreeDOS 1.4 版本发布，带来了多项更新。新版本更新了 FreeCOM、Xcopy、Move、Fdisk、mTCP、FDHelp 等软件包，修复了 bug，改进了兼容性。为了精简软件包，移除了 Seal 和 oZone 图形桌面，并用 DOSVIEW 替换了 BMP2PNG。发行版采用了每月测试版本更新机制，方便收集和测试更改。软件包在安装介质上的分布也进行了重新排列，Live CD 和 Bonus CD 的大小有所减小。用户可以通过 Live CD、USB 安装程序等多种方式安装 FreeDOS 1.4。
Mark as Read
Mark as Unread
Detecting if an expression is constant in C
Source
文章探讨了在 C 语言中检测表达式是否为常量表达式的多种方法，并实现一个宏来验证并在编译时报错。作者尝试了多种技巧，包括使用 `static` 复合字面量、`__builtin_constant_p`、`static_assert`、`sizeof` 结合数组或枚举常量，以及逗号运算符。每种方法都有其优缺点，例如对 C 标准版本的依赖、编译器扩展的需要、类型转换问题以及警告。最终，作者总结了这些方法的局限性，并提到了一个使用 `_Generic` 的 C11 解决方案，但仅适用于整数常量表达式。
Mark as Read
Mark as Unread
Data Compression Nerds Hate This One Trick [video]
Source
该视频演讲探讨了数据压缩领域。演讲者展示了如何用一年时间，通过一种名为 QOI 的低复杂性替代方案，在图像压缩上超越了 PNG。演讲对比了 PNG、JPEG 和 QOI，强调了更复杂的技术并非总是最佳。内容涵盖了数据压缩的基础知识和数学原理，并提供了视频和音频下载。
Mark as Read
Mark as Unread
AI for Network Engineers: Understanding Flow, Flowlet, and Packet-Based LB
Source
文章探讨了AI后端网络中负载均衡的挑战，特别是针对RoCEv2网络中“大象流”导致的拥塞问题。 介绍了两种解决方案：基于Flowlet的自适应路由和基于包的负载均衡（Packet Spraying）。 重点阐述了RDMA Write操作的原理，以及如何通过RDMA Write Only技术结合包喷射，实现更高效的负载均衡。 最后，文章提到了在Cisco Nexus交换机上配置per-packet负载均衡的示例。
Mark as Read
Mark as Unread
Sea Monsters Unmasked and Sea Fables Explained by Henry Lee (1883)
Source
1883年，Henry Lee出版了《_Sea Monsters Unmasked_》和《_Sea Fables Explained_》，这两本书反映了19世纪晚期海洋在人们想象和科学研究中的双重地位。Lee通过逻辑推理和最新发现，驳斥了海怪传说，认为Kraken和Great Sea Serpent是巨型鱿鱼的误认，美人鱼则是海牛和儒艮的误认。同时，Lee也汇编了关于这些海洋神秘生物的民间传说。他赞扬了Herman Melville在小说_The Whale_中对鲸鱼的准确描述，并警告人们关注儒艮和海牛的生存，预示了对海洋生态环境的担忧。
Mark as Read
Mark as Unread
There's a Seeker Born Every Minute
Source
文章评论了 Jeremy Braddock 的著作，该书探讨了喜剧团体 Firesign Theatre 的九张专辑，及其对文化和技术变迁的反映。文章指出，Firesign Theatre 创作的专辑如同“文本”，充满对媒体、社会和政治的讽刺，尤其关注电视对美国社会的影响。文章将 Firesign Theatre 与披头士乐队进行比较，强调其对声音的实验和对时代精神的捕捉。作者认为，Firesign Theatre 的作品预言了科技对社会的影响，并探讨了60年代反主流文化的兴衰。
Mark as Read
Mark as Unread
Fujitsu and RIKEN develop world-leading 256-qubit sup quantum computer
Source
**Fujitsu** 和 **RIKEN** 合作开发出世界领先的256量子比特超导量子计算机，该计算机是64量子比特的升级版，计算能力提升4倍。该平台将于2025财年第一季度向全球提供，用于解决更复杂的计算难题。两家机构计划通过优化量子计算机与经典计算机的协作，提升平台可用性。文章还介绍了该计算机的3D连接结构和高密度实施技术。未来，双方将继续研发，计划在2026年推出1000量子比特的计算机，并延长合作期限至2029年。
Mark as Read
Mark as Unread
Sustain your creative drive in the face of technological change
Source
本文是跨领域艺术家 Jack Rusher 关于在技术变革中保持创造力的访谈。Rusher 认为，科学家和艺术家本质上并无不同，创造力是人类的根本。他分享了自己结合技术和艺术的经验，强调培养习惯、保持积极的日常实践、展示作品的重要性。他还探讨了 AI 对创造力的影响，认为过度依赖 AI 会削弱人类的感知能力。最后，他建议通过艺术、冥想、身体锻炼等方式，平衡理性思维与直觉，从而激发创造力。
Mark as Read
Mark as Unread
Attacking My Landlord's Boiler
Source
文章讲述了作者通过“重放攻击”破解房东锅炉控制系统的实践。作者首先分析了恒温器的无线电通信频率，然后使用 HackRF 设备录制并重放信号，从而实现对锅炉的远程控制。最终，作者将该控制系统与 Home Assistant 集成，实现了自动化控制。文章强调了该操作的非法性，并分享了作者在实践中遇到的挑战和经验。
Mark as Read
Mark as Unread
Welcome to our website for the 1963 BBC MCR21 OB Van
Source
该网站介绍了1963年BBC MCR21 OB Van，一个用于户外广播的移动电视车。网站包含关于车辆的历史、技术细节、设备信息、修复进展、以及相关节目和活动的内容。同时，网站还展示了图片、视频，并提供了捐款和志愿参与的渠道。
Mark as Read
Mark as Unread
'World War Zoos' Review: Of Bombs and Beasts
Source
《World War Zoos》是一款以二战为背景的动物园管理游戏。玩家扮演动物园管理员，需要在炮火中管理动物园，确保动物的生存。游戏核心在于资源管理和战略决策，玩家需要收集食物、药品和建材，建造防御工事，应对轰炸、疾病等随机事件。游戏强调资源分配的策略性，以及防御工事的建造位置选择。 游戏结合了资源管理、战略和运气，为喜欢策略游戏和动物园题材的玩家提供了挑战。
Mark as Read
Mark as Unread
Forecaster reacts: METR's bombshell paper about AI acceleration
Source
这篇文章无法总结，因为其内容仅显示了验证页面，提示用户正在进行安全检查，并由 Cloudflare 提供服务。文章本身没有提供任何关于 AI 加速的重磅论文的具体信息。
Mark as Read
Mark as Unread
Flat origami is Turing complete (2023)
Source
该论文证明了“平面折纸”在计算上是图灵完备的。研究将平面折纸视为一种计算设备，通过构建带有“optional creases”的折痕模式来模拟Rule 110，从而证明其图灵完备性。Rule 110是一种一维cellular automaton，已被证明是图灵完备的。文章涉及数学组合学和计算复杂性领域。
Mark as Read
Mark as Unread
How a Biofilm’s Strange Shape Emerges From Cellular Geometry
Source
文章探讨了Biofilm的奇特形状如何由细胞几何学产生。研究表明，Biofilm的形状并非简单扩张，而是由细胞间的相互作用、与环境的接触以及营养物质的可用性共同决定。细胞的粘性、生长方向的权衡等因素影响了Biofilm的整体结构，最终决定了其生长和适应性。研究者通过实验和建模，揭示了局部细胞相互作用如何产生宏观形状，并强调了这种涌现特性在生物学中的重要性。
Mark as Read
Mark as Unread
这是一个用 Prolog 编写的文字冒险游戏，玩家需要在城堡中寻找宝藏。游戏包含互动机制，如锁着的门、隐藏物品、有限资源和物品栏管理。玩家有3条命。该项目基于 SWI Prolog，提供了 Readme 和活动页面，目前有4个星标、1个 Watcher 和0个 Fork。
Mark as Read
Mark as Unread
101 Basic Computer Games
Source
该项目是基于 1975 年出版的《101 BASIC Computer Games》一书，复刻其中游戏的代码，并使用原始的 DEC 和 Dartmouth 方言。与更著名的《BASIC Computer Games》不同，此项目收录的游戏有所差异。代码集合展示了不同 BASIC 方言和编程风格，例如 BASIC-PLUS、Dartmouth 等。项目提供了游戏的代码，方便爱好者重温经典，并为改进 RetroBASIC 提供了示例。
Mark as Read
Mark as Unread
Evertop: E-ink IBM XT clone with 100+ hours of battery life
Source
Evertop 是一款基于 ESP32 微控制器的便携式 IBM XT 克隆机，采用 E-ink 显示屏，旨在模拟 80 年代的 PC 体验。它支持 DOS 和 Windows 3.0 等系统，并配备多种接口。Evertop 的核心优势在于其超长续航，得益于低功耗设计、大容量电池和太阳能充电，单次充电可使用数百甚至数千小时。文章还介绍了其“Evertop Min”精简版，以及兼容性、技术细节和相关资源。
Mark as Read
Mark as Unread
The Future of Compute: Nvidia's Crown Is Slipping
Source
文章探讨了计算领域的未来，并提出了一个问题：是否正在失去其主导地位？文章内容似乎正在验证访问者的身份，以确保其为真人。文章由mohitdagarwal.substack.com发布，并使用了Cloudflare提供的性能和安全服务。
Mark as Read
Mark as Unread
Pydrofoil: Accelerating Sail-based instruction set simulators
Source
Pydrofoil 是一种多阶段编译器，用于加速基于 Sail 的指令集模拟器 (ISS)。它通过将高级 ISA 规范语言 Sail 转换为 ISS，实现了超过 230 倍的加速。Pydrofoil 采用混合方法，结合了 AOT 编译器和基于 PyPy 框架的追踪 JIT 编译器，并针对 ISS 的特殊工作负载进行了领域特定优化。这种结合 AOT 和 JIT 的方法，相比单独使用任一编译器，能显著提升性能。
Mark as Read
Mark as Unread
Cheating the Reaper in Go
Source
文章探讨了在 Go 中实现手动内存管理的方法，通过构建一个基于垃圾回收的 arena 抽象，绕过 Go 的垃圾回收机制，实现更高效的内存分配。文章详细解释了 Go 的垃圾回收机制，特别是“标记和清除”过程，以及指针在其中的作用。核心在于利用 Go 的实现细节，通过控制 arena 内部指针的生命周期，避免垃圾回收器过早释放内存，从而实现性能优化。文章还通过基准测试展示了 arena 的性能优势，并讨论了优化策略，如减少分支和利用写屏障。
Mark as Read
Mark as Unread
Ultra-precision formation flying demonstration for space-based interferometry
Source
文章介绍了名为SILVIA的任务概念，旨在演示三个航天器之间100米距离的超精密编队飞行。SILVIA将利用传感器、激光干涉测量和微推进技术，实现亚微米级的相对距离控制。任务目标是在近圆形低地球轨道上进行演示，为未来的空间干涉测量任务，如DECIGO和LIFE，提供技术基础。文章概述了任务概念和关键技术，为下一代高精度空间天文台奠定基础。
Mark as Read
Mark as Unread
Cekura (Formerly Vocera) (YC F24) Is Hiring
Source
Cekura (原 Vocera)，一家由 Y Combinator 投资的初创公司，正在招聘。他们专注于 AI 语音代理的测试与可观测性，并招聘创始工程师。该职位位于旧金山，薪资范围为 12 万至 18 万美元，并提供股权。 候选人需具备 1 年以上 AI 工程师经验，精通 Python，并有在生产环境中部署 AI 应用程序的经验。Cekura 旨在通过自动化测试和监控 AI 语音代理，提高其可靠性，并缩短上市时间。
Mark as Read
Mark as Unread
文章介绍了位于威斯康星州 Verona 的公司总部，欢迎已注册访客在特定时间段进行自助游。参观包括六个不同主题的 campus，如 Wizards Academy 和 Storybook，每次约一小时。员工使用特色交通工具。参观需提前预约，并提供开放时间及关闭日期。文章还展示了 campus 内的艺术品、餐饮信息，以及周边地区的活动推荐。
Mark as Read
Mark as Unread
The Value of Differences: Jennifer Lindsay on Noticing Translation
Source
Jennifer Lindsay 在文章中探讨了翻译的可见性问题。她认为，尽管翻译作品在国际文学奖项中受到重视，但对翻译艺术本身的欣赏和理解仍有待提高。文章分析了 International Booker Prize 等奖项的局限性，如侧重“新书”和英语出版，以及对翻译过程的关注不足。Lindsay 呼吁更重视翻译的技巧、差异和对原文的诠释，并建议通过更多评论、比较翻译、以及鼓励译者参与评估等方式，构建更好的翻译生态系统，提升翻译的价值和地位。
Mark as Read
Mark as Unread
Is 1 Prime, and Does It Matter?
Source
文章探讨了1是否为素数的问题。早期数学家对此存在争议，欧拉和哈代曾将其视为素数。但现代数学界普遍认为1不是素数，因为将其视为素数会导致定义上的不便，例如在埃拉托斯特尼筛法和算术基本定理中会产生尴尬。文章强调了数学定义的灵活性，以及约定俗成的重要性，但更重要的是数学真理本身。最终，文章认为1是否将1定义为素数并不重要，重要的是理解这种定义方式对数学的影响。
Mark as Read
Mark as Unread
An update to our pricing
Source
Windsurf 宣布更新价格计划，简化套餐结构，取消 flow action credits，改为按用户提示（prompt）付费。Free 套餐免费，Pro 套餐每月 15 美元，Teams 套餐 30 美元/用户/月，Enterprise 套餐 60 美元/用户/月。新计划旨在降低成本，提供更多 credits，并引入自动充值功能。现有用户将获得额外 credits 补偿。同时，免费提供 GPT-4.1 和 o4-mini 模型。
Mark as Read
Mark as Unread
A M.2 HDMI capture card
Source
文章评测了 **Magewell Eco** M.2 HDMI 采集卡在 Linux 系统下的使用情况。文章介绍了开箱、硬件安装、X86 和 ARM 驱动程序的安装过程，并展示了其在 OBS 和 WebRTC 应用中的表现。测试结果表明，该采集卡性能出色，图像质量与同类产品相当，且支持 24x7 运行。虽然价格较高，但对于需要 M.2 接口的专业用户来说，**Eco** 提供了不错的解决方案。文章还给出了购买建议和优缺点总结。
Mark as Read
Mark as Unread
Propositional Parlor Puzzle
Source
文章探讨了如何使用命题逻辑解决游戏中的逻辑谜题。作者首先介绍了谜题的规则和示例，然后使用 JavaScript 构建了命题逻辑的表示方法，包括变量、否定、析取和合取等。通过定义规则和语句，将谜题转化为逻辑表达式，并使用暴力破解方法找到满足条件的赋值，从而确定宝石所在的盒子。文章最后给出了解决谜题的工具，并展示了如何处理有多种解的情况。
Mark as Read
Mark as Unread
Astronomers confirm the existence of a lone black hole
Source
天文学家团队确认了首个孤立**Black Hole**的存在。该团队通过分析来自**Hubble**和**Gaia**的数据，确认了此前发现的“黑暗物体”的身份。该**Black Hole**质量约为太阳的七倍，排除了中子星的可能性。此前，所有已知的**Black Hole**都拥有伴星，而这个**Black Hole**的发现是由于它对遥远恒星光线的放大效应。另一研究团队也修正了之前的评估，同意该物体是**Black Hole**。研究人员计划利用**Nancy Grace Roman Space Telescope**寻找更多孤立**Black Hole**。
Mark as Read
Mark as Unread
Blog hosted on a Nintendo Wii
Source
作者将个人博客部署在 Nintendo Wii 上，并详细介绍了过程。他选择了 NetBSD 系统，通过破解 Wii 安装了 Homebrew Channel，然后将博客静态文件部署到 Wii 上。文章探讨了 Wii 的性能，并使用 Caddy 作为反向代理，以解决 TLS 加密带来的性能问题。最后，作者监控了 Wii 的状态，并分享了部署的功耗和成本，认为这比云服务器更具性价比。
Mark as Read
Mark as Unread
Show HN: Open Codex – OpenAI Codex CLI with open-source LLMs
Source
Open Codex 是一个开源命令行 AI 助手，模仿 OpenAI Codex，支持本地语言模型，例如 `phi-4-mini`。它允许用户通过自然语言生成 shell 命令，无需 API 密钥，所有操作在本地运行。主要功能包括自然语言转 shell 命令、跨平台支持、执行前确认、剪贴板操作等。未来计划包括交互模式、TUI、更多模型支持、语音输入等。提供 Homebrew、pipx 和本地安装三种方式。使用方式为 `open-codex "命令描述"`。该项目采用 MIT 许可证，欢迎贡献。
Mark as Read
Mark as Unread
FTC takes action against Uber for deceptive billing and cancellation practices
Source
FTC 对 Uber 提起诉讼，指控其存在欺骗性账单和取消订阅行为。具体表现为：未经消费者同意收取 Uber One 订阅费，未兑现承诺的优惠，并设置复杂取消流程。FTC 认为 Uber 违反了《FTC 法案》和《恢复在线购物者信心法案》(ROSCA)。FTC 指出，Uber 在注册、计费和取消订阅方面存在误导行为，例如隐藏重要信息、自动收费以及设置繁琐的取消流程。
Mark as Read
Mark as Unread
Show HN: Dia, an open-weights TTS model for generating realistic dialogue
Source
Dia 是一个由 Nari Labs 开发的开放权重文本到语音模型，能够生成逼真的对话。该模型允许控制情感和语调，并能生成非语言交流。模型权重托管在 Hugging Face 上，提供预训练模型和推理代码。文章还提供了演示页面，并鼓励用户加入 Discord 社区和候补名单以获取更多功能。此外，文章介绍了快速开始、Python 库用法、硬件要求、许可信息和免责声明，并列出了未来工作和贡献方式。
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工具，帮助能源开发商建造太阳能发电场和电池厂，解决法规问题。团队由Tesla、Brex等公司前员工组成，并获得AI Grant等投资。工程师将参与核心API、AI基础设施和数据管道的构建，以及前端和后端代码的编写。
Mark as Read
Mark as Unread
Adding keyword parameters to Tcl procs
Source
文章介绍了为 Tcl 过程添加关键字参数的实现方法。作者首先指出了 Tcl 在关键字参数方面的不足，然后通过代码示例展示了如何使用 `proc*` 命令实现类似功能，包括处理标志和选项。文章还详细解释了实现过程，核心在于使用 `quasiquote` 命令进行代码生成，并提到了 Tcl 元编程能力不足导致需要自制字符串模板系统。最后，作者分享了其实现的代码。
Mark as Read
Mark as Unread
Local LLM inference – impressive but too hard to work with
Source
文章探讨了本地LLM推理的潜力与挑战。虽然本地推理在成本、隐私、速度和离线支持方面具有优势，且性能令人印象深刻，但作为开发者平台，其成熟度仍不足。文章测试了llama.cpp、Ollama和WebLLM等框架，并进行了性能基准测试，结果显示本地推理速度不及云端，但已能满足部分需求。文章指出，当前主要问题在于寻找和部署合适的模型，特别是模型选择、下载和加载耗时，影响用户体验。文章认为，未来需要简化小型、特定任务模型的训练和部署，并与云LLM紧密集成，实现无缝的本地推理体验。
Mark as Read
Mark as Unread
A new form of verification on Bluesky
Source
Bluesky 推出新的验证方式，以增强用户信任。除了已有的域名验证，Bluesky 引入了蓝色复选标记，用于主动验证真实且值得关注的账户。同时，Bluesky 开放了“Trusted Verifiers”功能，允许精选的独立组织直接验证账户，并由 Bluesky 审核。用户可以点击蓝色复选标记查看验证机构，也可选择隐藏验证。目前，Bluesky 不接受直接的验证申请，未来将开放申请渠道。
Mark as Read
Mark as Unread
WikiTree: The Free Family Tree
Source
WikiTree是一个免费的协作式家族树平台，供家谱爱好者共同维护。该平台拥有超过120万社区成员，收录了4100多万位祖先和亲属的资料，并提供DNA连接。WikiTree承诺永久免费，通过广告维持运营，并提供会员福利。文章还展示了平台上的名人资料示例，以及“Connection Checkers”等特色功能，并分享了成员的访谈。
Mark as Read
Mark as Unread
文章探讨了“Operation Babylift”行动的深远影响。该行动在越南战争末期将大量越南儿童运往美国收养，被视为人道主义救援。然而，文章揭示了收养儿童在成长过程中面临的身份认同、文化冲突、虐待等问题，以及部分儿童被剥夺公民权的情况。文章也探讨了收养的复杂性，以及被收养者寻找生身家庭的努力。最终，文章质疑了收养的真正目的，并呼吁关注被收养者的长期福祉。
Mark as Read
Mark as Unread
Why LLM-Powered Programming Is More Mech Suit Than Artificial Human
Source
文章认为，LLM驱动的编程更像是增强程序员能力的“机甲战衣”，而非取代人类。作者通过使用 Claude Code 的经验，强调了AI工具在加速开发方面的作用，但同时也指出，程序员仍需保持警惕，进行架构决策、质量控制和问题排查。文章强调了理解业务需求、清晰定义解决方案的重要性，以及无情地丢弃不合适的代码的能力。经验丰富的程序员能更好地识别AI生成的错误。最终，文章认为，未来编程的核心在于人与AI的协作，程序员需要掌握AI工具，发挥架构思维和技术判断力，实现更高效的软件开发。
Mark as Read
Mark as Unread
Handwriting activates broader brain networks than typing
Source
一项研究表明，手写比打字更能激活大脑更广泛的网络。研究发现，手写时大脑的记忆和感觉处理区域更为活跃，连接也更紧密。研究者通过脑电图（EEG）对比手写和打字时的大脑活动，发现手写涉及更精细的运动，能更好地刺激大脑，促进学习和记忆。研究者建议，在教育中应重视手写，以促进儿童认知发展，并提倡手写与数字工具的平衡使用。
Mark as Read
Mark as Unread
The World Is Ending. Welcome to the Spooner Revolution
Source
文章预言“世界末日”已至，核心观点是：人工智能（AI）技术的快速发展将引发社会经济结构的剧烈变革，带来“Spooner 革命”。AI 自动化将取代大量基于知识的工作，导致工资下降，但同时也会促使更多人选择自主创业，从而增加企业数量和产品创新。文章认为，这种转变将颠覆传统的雇佣关系和风险投资模式，最终重塑社会秩序。
Mark as Read
Mark as Unread
AI assisted search-based research works now
Source
文章探讨了AI辅助搜索研究的进展。作者认为，在2025年，AI在搜索辅助研究方面取得了显著进步，特别是 OpenAI 的 o3 和 o4-mini 模型，它们能够结合搜索结果进行推理，提供可靠的答案。文章还提到了 Google Gemini 和 Deep Research 等工具，但认为其效率有待提高。作者预测，随着AI搜索能力的增强，Web的经济模式可能会发生改变，并对未来发展表示关注。
Mark as Read
Mark as Unread
The Tontine Coffee-House (2018)
Source
文章追溯了纽约证券交易所的起源，重点介绍了 The Tontine Coffee-House。这家咖啡馆由“金聚宝盆”（tontine）融资建立，是1792年《Buttonwood Agreement》签署后经纪人们的交易场所，为后来的纽约证券交易所奠定了基础。文章介绍了 tontine 的运作方式，以及咖啡馆的建立和发展。最后，文章提到了 tontine 的结束和受益人，并强调了纽约证券交易业务的早期历史。
Mark as Read
Mark as Unread
Tabular Programming: A New Paradigm for Expressive Computing
Source
文章提出“表格化编程”的概念，旨在探索在资源受限硬件上的编程新范式。核心是将代码组织成表格形式，每行代表一个函数，包含输入、表达式和输出。这种设计限制了每个函数的表达式数量，但鼓励模块化和易于维护的代码。文章以音乐音序器 m8 为灵感，设想一个基于表格界面的编程环境，通过有限的按钮操作进行编程。文章还展示了使用表格化编程实现 demoscene 特效的例子，并探讨了其在像素艺术、音乐工具等创意应用中的潜力。最终目标是创造一种硬件与软件深度融合的编程体验，在约束中激发创造力。
Mark as Read
Mark as Unread
Pipelining might be my favorite programming language feature
Source
文章探讨了编程语言中的 Pipelining 特性，作者认为其是最佳特性之一。Pipelining 允许省略函数参数，通过链式调用使代码更易读、易于编辑，并提升代码发现能力。文章以 Rust 为例，阐述了 Pipelining 在代码可读性、编辑优势、代码发现和 SQL 中的应用，并对比了 Haskell 的实现。作者强调 Pipelining 带来的便利性，以及其在现代编程中的重要性。
Mark as Read
Mark as Unread
Experimenting is above all a process
Source
文章探讨了字体设计的实验本质，强调其是一个不断探索的过程。作者通过分析 205TF 字体设计公司旗下设计师的多个案例，展示了他们如何通过挑战传统规范、探索数字工具、研究排版历史等方式进行创新。这些实验涉及字形的可读性、字宽、垂直位置、矢量绘图、可变字体、模块化设计等多个方面，最终目的是创造出具有创新性和实用性的字体，并促进字体设计与使用的对话。
Mark as Read
Mark as Unread
Cyberpunk 2077 on Switch 2 uses DLSS, making it the first Switch 2 game
Source
《赛博朋克2077：终极版》确认将登陆 Switch 2，并成为首款使用 NVIDIA DLSS 技术的游戏。DLSS 通过机器学习提升游戏分辨率，改善画面表现。Switch 2 版本的游戏将提供 TV 和掌机模式，每种模式下都有质量和性能选项。TV 模式下，质量模式 30fps，性能模式 40fps；掌机模式下，质量模式 1080p 30fps，性能模式 720p 40fps。Switch 2 搭载 NVIDIA GPU，包含 RT 核心和 Tensor 核心，支持实时光线追踪和 DLSS。
Mark as Read
Mark as Unread
Show HN: Nerdlog – Fast, multi-host TUI log viewer with timeline histogram
Source
Nerdlog 是一款快速、远程优先的 TUI 日志查看器，无需中央服务器。它受 Graylog/Kibana 启发，但更轻量。主要功能包括：从多台远程主机高效查询日志、按时间范围和模式过滤、绘制时间线直方图。它通过 SSH 连接远程主机，在远程进行日志分析，减少本地下载量。支持类似 Vim 的操作，并提供复制查询命令、历史记录等功能。
Mark as Read
Mark as Unread
Fossil fuels fall below 50% of US electricity for the first month on record
Source
美国电力结构中，来自 fossil fuels 的发电量于2025年3月首次低于50%，降至49.2%，创历史新低。清洁能源占比首次超过50%，主要得益于风能和太阳能发电量的大幅增长，两者合计达到24.4%，也创下新高。太阳能发电量同比增长37%，风能增长12%。这一转变是风能和太阳能长期增长的结果，预示着清洁能源将逐步取代 fossil fuels，成为美国电力生产的主要驱动力。
Mark as Read
Mark as Unread
Getting Forked by Microsoft
Source
文章讲述了作者开源项目 Spegel 被 Microsoft "fork" 的经历。作者创建 Spegel 旨在解决 Kubernetes 集群镜像仓库问题。Microsoft 曾与作者沟通合作，但最终推出了类似功能的项目 Peerd，并大量使用了 Spegel 的代码，但未充分标注来源。虽然 Spegel 使用 MIT 许可证，允许 fork 和修改，但作者认为 Peerd 存在代码复制问题，且给 Spegel 带来了竞争压力。作者表达了对开源维护者与大公司合作的困惑，以及对开源社区未来发展的担忧，并考虑调整 Spegel 的许可证。
Mark as Read
Mark as Unread
Regex Isn't Hard (2023)
Source
文章旨在简化对 Regex 的理解，强调其核心概念。作者建议专注于字符集、重复、分组和`|`、`^`、`$`操作符这四个关键部分，并忽略复杂的快捷方式，以提高可移植性和减少记忆负担。文章详细解释了字符集（包括范围和否定）、重复（`?`、`*`、`+`）以及分组的用途（重复子模式、替换、提取文本），并指出了需要避免的复杂特性。最后，作者强调了坚持使用这个子集的好处，以及在不同编程语言中的可移植性。
Mark as Read
Mark as Unread
Android 16 lets the Linux Terminal use your phone's entire storage
Source
Android 16 Beta 版取消了 Linux Terminal 应用程序的存储空间限制。用户现在可以为 Linux Terminal 分配手机的全部剩余存储空间，此前上限为 16GB。在测试中，存储空间可调整至 42.3GB。未来，Google 计划用动态扩容取代手动调整，允许 VM 存储根据需要自动调整。此举旨在提升 Pixel 手机的功能，使其能运行 Debian 虚拟机，从而实现 Android 应用程序与 Linux 桌面程序的共存。
Mark as Read
Mark as Unread
Are ChatGPT and co harming human intelligence?
Source
文章探讨了ChatGPT等AI工具对人类智力的潜在负面影响。研究表明，人类智商增长出现停滞甚至下降，批判性思维能力减弱。AI的广泛使用，导致认知外包，削弱了记忆、批判性思考等技能的锻炼。虽然AI能提高效率，但过度依赖可能导致独立解决问题能力下降，甚至影响创造力。文章呼吁关注AI对人类思维方式的改变，强调培养批判性思维，以应对AI带来的挑战。
Mark as Read
Mark as Unread
Pope Francis dies aged 88
Source
教宗 Pope Francis 于 2025 年 4 月 21 日逝世，享年 88 岁，逝世于梵蒂冈 Casa Santa Marta 的住所。梵蒂冈新闻服务发布了这一消息。Cardinal Farrell 表示，他的一生都献给了主和教会。文章还提及了教宗生前的最后一次公开露面，以及他简化葬礼流程的计划，包括选择简单棺材和改变瞻仰方式。
Mark as Read
Mark as Unread
教宗 Pope Francis 逝世。
Mark as Read
Mark as Unread
Reworking 30 lines of Linux code could cut power use by up to 30 percent
Source
文章指出，数据中心能耗巨大，而通过修改约30行 Linux 代码，可降低高达30%的能耗。滑铁卢大学教授和工程师发现，Linux内核在处理网络流量时存在低效，通过优化繁忙轮询机制，动态调整等待时间，减少不必要的能源消耗。这项改进已应用于 Linux 内核 6.13 版本，尤其适用于网络流量波动的数据中心。由于 Linux 的广泛使用，这一小改动有望带来显著的节能效果。
Mark as Read
Mark as Unread
Python 3.14 将引入新的“t-strings”特性，即模板字符串，旨在增强字符串处理的安全性与灵活性。与直接生成字符串的 f-strings 不同，t-strings 生成 `Template` 类型，需要处理后才能使用，从而避免了 f-strings 在处理用户输入时可能导致的 SQL 注入和跨站脚本攻击等安全问题。t-strings 提供了访问字符串和插值内容的接口，支持更灵活的字符串处理，类似于 JavaScript 的 tagged templates。文章还给出了 t-strings 的使用示例，并展望了其在库和框架中的应用前景。
Mark as Read
Mark as Unread
The Effect of Deactivating Facebook and Instagram on Users' Emotional State
Source
该研究通过实验评估了停用 Facebook 和 Instagram 对用户情绪状态的影响。结果显示，停用 Facebook 六周的用户，幸福感、抑郁和焦虑指标有所改善，改善幅度为 0.060 个标准差；停用 Instagram 六周的用户，指标改善了 0.041 个标准差。分析表明，Facebook 的影响主要体现在 35 岁以上人群，而 Instagram 的影响则主要体现在 25 岁以下的女性群体。
Mark as Read
Mark as Unread
The Board Game Industry Is Burning – and It's Their Own Fault
Source
文章批判了桌游行业内一些公司在面临困境时，将问题归咎于关税、分销商等外部因素，而忽视自身经营不善的问题。文章以Final Frontier Games和Cephalofair为例，指出这些公司在众筹、生产、分销等方面存在严重问题，导致资金管理混乱、过度生产、缺乏应对策略等。文章强调，真正的失败在于糟糕的商业决策，而非外部环境。作者还纠正了行业内对关税的误解，指出实际关税远低于传言，并呼吁行业正视自身问题，改进经营模式。
Mark as Read
Mark as Unread
I thought I bought a camera, but no DJI sold me a LICENSE to use their camera [video]
Source
该视频展示了关于购买产品后，实际获得的是使用许可而非所有权的问题。视频内容包含播放器控制、分享选项、以及YouTube的常规信息，如关于、新闻、版权等链接。视频可能探讨了消费者对产品所有权和使用权的认知差异，以及相关法律和商业模式的影响。
Mark as Read
Mark as Unread
Mistaking Mary Magdalene
Source
文章探讨了抹大拉的玛丽在基督教中的复杂形象，以及历史上对其的误解。作者追溯了玛丽在不同福音书中的角色，并揭示了她与多位玛丽的混淆。文章重点关注了学术界对玛丽在《约翰福音》中被边缘化的研究，以及她作为被排斥者守护神的象征意义。作者还提到了玛丽与埃及的玛丽的联系，以及艺术作品中对玛丽的描绘，最终强调了玛丽所代表的颠覆性可能性和对信仰的启示。
Mark as Read
Mark as Unread
Reverse engineering the obfuscated TikTok VM
Source
该项目旨在逆向工程 TikTok 的 VM (webmssdk.js)。作者通过反混淆、反编译、脚本注入等手段，分析了 TikTok 的混淆机制，包括使用括号表示法和函数数组。项目提供了反混淆后的代码、反编译后的 VM 指令，并实现了签名 URL 的功能，可用于生成请求所需的 `X-Bogus` 和 `_signature`。项目还涉及调试、解密 bytecode，并指出 TikTok 的 VM 会随着版本更新而变化。
Mark as Read
Mark as Unread
Samurai Cops: Inside Edo's Police Force During Feudal Japan
Source
文章介绍了江户时代（17世纪至19世纪）的武士警察制度。当时，江户是世界上最大的城市，警察力量由行政长官、武士、平民助手和线人组成。警察负责维持治安，但由于武士的特权地位，执法并非对所有人有效。文章详细描述了警察的战术，包括偷听澡堂、使用戳眼器等，以及逼供在司法中的核心地位。为了获得认罪，警察会使用各种酷刑，导致许多无辜者受到惩罚。
Mark as Read
Mark as Unread
Finland is painting deer antlers with reflective paint (2014)
Source
芬兰为减少驯鹿交通事故，尝试用反光漆涂抹驯鹿角。每年约有4000只驯鹿死于车祸，造成巨大经济损失。这种方法旨在使驯鹿在夜间或恶劣天气下更容易被司机发现。测试表明，反光漆在鹿角上的效果可能更好，因为从各个方向都能反射光线。文章还提到，交通事故多发于冬季和夏季，并对比了其他国家为减少动物撞击事故所采取的措施。
Mark as Read
Mark as Unread
Show HN: Keep your PyTorch model in VRAM by hot swapping code
Source
该文章介绍了一种热替换 PyTorch 训练代码的方法，实现在不卸载模型权重的情况下快速迭代。核心是通过后台进程保持模型在 VRAM 中，并使用 `eval()` 执行代码。这加速了大型模型开发，尤其适用于远程开发。文章还展示了与 GUI 的兼容性，并提供了使用方法和安全注意事项。通过简单的代码修改，开发者可以实现更流畅的开发体验。
Mark as Read
Mark as Unread
Restoring Old Software for Child Learning Safety
Source
文章探讨了在数字时代，为保障儿童学习安全，重新使用经典软件的价值。作者认为，现代Web应用和App存在数据安全、软件访问限制等问题，而WordPerfect和1st Math等经典软件界面简洁，有助于儿童专注学习，并培养键盘技能。作者分享了通过虚拟机运行旧软件的经验，计划构建实体旧电脑，以减少儿童接触互联网风险，并促进对旧软件的数字保存。
Mark as Read
Mark as Unread
Juicyjam: Thai Authorities Use Online Doxxing to Suppress Dissent
Source
文章揭示了泰国当局利用名为 JUICYJAM 的社交媒体活动，对民主运动进行持续的 doxxing 和骚扰。该活动由泰国军方或警方支持，通过在 X 和 Facebook 等平台发布个人信息、煽动举报等方式，压制异见。JUICYJAM 长期活跃，且未受平台有效监管，其策略与香港等地的压制手段相似，对公民社会构成威胁。文章分析了该活动的技术手段、影响以及与司法骚扰的关联，并指出平台在应对此类有组织的网络攻击方面的不足。
Mark as Read
Mark as Unread
Lessons learned operating petabyte-scale ClickHouse clusters: Part II
Source
文章是关于运营 petabyte 级 ClickHouse 集群的经验分享，主要围绕负载处理、回填、集群运营和监控展开。负载处理方面，强调区分实时、长时间运行等不同类型查询，并关注查询设计，如使用 `max_threads` 和内存设置，以及查询优化规则。回填部分，作者建议避免使用 `POPULATE`，并提供在 Tinybird 中实现回填的方案。集群运营和监控方面，强调监控查询数量、ZooKeeper 延迟等关键指标，以及错误日志，并介绍了系统表的使用。文章还提到了表删除、物化视图等注意事项，以及避免服务器崩溃的建议。
Mark as Read
Mark as Unread
Physicists Designed a Quantum Rubik's Cube and Found the Best Way to Solve It
Source
科学家设计了一种量子魔方，其状态数量是无限的。研究团队使用2x2网格的简化版谜题进行测试，通过赋予瓷砖量子叠加态，使其既移动又未移动。研究发现，结合经典和量子操作的解算器表现最佳，量子解算器次之，经典解算器最慢。虽然经典解算器在某些情况下能更快解决，但量子解算器在平均步数上更具优势。研究者还创建了3D量子谜题。这项研究为量子物理学提供了一个有趣的视角，并展示了量子操作在解决问题上的潜力。
Mark as Read
Mark as Unread
TikZJax: Embedding LaTeX Drawings in HTML
Source
TikZJax 允许在 HTML 页面中嵌入 LaTeX 图形，将包含 TikZ 代码的 `