Mark as Read
Mark as Unread
Anthropic employee mentions LLM prompts could be sent to regulators and press
Source
这篇文章的核心内容是：由于一些错误，用户在使用时遇到了问题。警告用户某些与隐私相关的扩展程序可能导致在 x.com 上出现问题，建议禁用这些扩展程序后重试。
Mark as Read
Mark as Unread
文章探讨了“黏液”这一主题，从物理特性、生物学意义到文化象征，进行了多角度的解读。它追溯了黏液在进化、环境、人体健康中的重要作用，以及在科学和艺术中的体现。文章还提到了对黏液的厌恶感，并强调了认识其重要性的必要性。最终，文章试图揭示黏液作为一种无处不在的物质，对我们世界的影响。
Mark as Read
Mark as Unread
The metre originated in the French Revolution
Source
文章讲述了metre（米）的起源和演变。metre源于法国大革命时期，旨在建立统一的测量标准。1875年签署的米制公约奠定了公制系统的基础。metre的定义经历了多次变革，从最初基于地球子午线的长度，到后来基于光波长，最终演变为光在真空中传播的距离。尽管如此，公制系统的推广和应用在不同国家的速度有所差异，美国等国家至今仍部分使用英制单位。
Mark as Read
Mark as Unread
MCP is the coming of Web 2.0 2.0
Source
文章探讨了[Model Context Protocol](MCP)的兴起，认为其代表了Web 2.0精神的复兴，即开放、互操作的Web。作者指出，MCP的快速采用得益于其开放性，这与Web 2.0时代开放API的理念相符。文章批评了封闭的平台扼杀了Web 2.0的开放性，并强调了开发者围绕开放标准构建工具的重要性。作者认为，MCP的出现可能促使开发者推动平台开放，并呼吁透明化，尽管MCP本身存在安全隐患。文章最后表达了对Web 2.0风格开放回归的谨慎乐观，并鼓励开发者利用开放标准。
Mark as Read
Mark as Unread
PostgreSQL IDE in VS Code
Source
微软发布了 VS Code 的 PostgreSQL 扩展的公开预览版，旨在简化数据库管理和开发。该扩展提供 Schema 可视化、数据库感知的 GitHub Copilot、GitHub Copilot Chat 代理模式、简化数据库连接、无密码身份验证、数据库资源管理器、查询历史记录和上下文感知的 IntelliSense 等功能。它通过与 Azure Database for PostgreSQL 的深度集成，以及 Entra ID 的安全身份验证，提升了开发效率，并简化了云数据库管理。用户可以通过 VS Code 扩展市场安装并使用。
Mark as Read
Mark as Unread
文章通过“凯撒的最后一口气”这个例子，探讨了 Fermi 估算方法。核心在于，通过估算地球大气层体积和一口气体积，计算出每次呼吸中可能包含的凯撒最后一口气分子的数量。结果表明，我们每次呼吸大约会吸入一个来自凯撒的分子，从而引申出我们呼吸中包含了所有曾经活过的人的呼吸。文章强调了 Fermi 估算作为一种“餐巾纸数学”的价值，以及估算数量级的重要性，并提供了相关资源供读者进一步学习。
Mark as Read
Mark as Unread
How I ended up flying for Yemen's national airline – and survived
Source
文章讲述了在也门国家航空公司 Yemenia 担任外籍飞行员的经历。作者分享了申请、培训、搬迁、住宿、合同、运营、排班、以及在亚丁的生活等方面的细节。总结来说，这份合同虽然薪资可观，但伴随着诸多挑战，包括简陋的住宿条件、不稳定的工作环境、以及在也门当地的安全风险。
Mark as Read
Mark as Unread
Show HN: Samchika – A Java Library for Fast, Multithreaded File Processing
Source
**Samchika** 是一个 Java 库，专为快速、多线程的文件处理设计。它专注于并行处理，尤其适用于处理大型文本文件，如日志和数据集。主要特性包括完全多线程、简单的 API 和可选的运行时统计信息。该库在日志分析、ETL 操作、批量报告生成等场景中表现出色。通过使用 **Samchika**，可以显著提升性能，尤其是在多核系统上，并提供可管理的内存使用。该库基于 MIT License 开源，欢迎贡献。
Mark as Read
Mark as Unread
One of Britain's largest health trusts says 'no ta' to Palantir data platform
Source
英国大型医疗机构 Greater Manchester Integrated Care Board (ICB) 暂缓采用 Palantir 运行的国家数据平台。ICB 认为现有数据平台能力更强，且对 Palantir 平台的风险尚不明确。尽管 NHS England 推动采用，但 ICB 认为其本地分析系统已领先，并已投入六年时间构建。ICB 尚未收到 NHS England 首席数据官的回应，因此推迟了签约决定。
Mark as Read
Mark as Unread
文章以讽刺的笔调描绘了2030年清晨的日常。主角被各种AI助手包围，从闹钟、咖啡机到鞋带、电梯，无一例外地喋喋不休地推销其“奇妙”功能。作者通过对智能设备过度依赖、个人信息被滥用、身份验证流程繁琐等现象的描写，揭示了科技发展可能带来的异化和对人类自主性的侵蚀，最终以主角在工作中重复同样的开场白作为结尾，暗示了这种科技带来的无聊和重复。
Mark as Read
Mark as Unread
Alasdair MacIntyre Had Died
Source
本文悼念哲学家 Alasdair MacIntyre。 他是多产的学者，著有《After Virtue》等重要著作，对道德哲学影响深远。文章回顾了他的学术生涯，包括对德性伦理学的贡献，以及对马克思主义、天主教等不同思想的探索和转变。MacIntyre 强调伦理学研究与历史的结合，认为故事讲述塑造了人类。文章还提及了他作为教师的风格，以及他对学生的影响。
Mark as Read
Mark as Unread
Writing A Job Runner (In Elixir) (Again) (10 years later)
Source
这篇文章主要是一个导航菜单和一些链接的集合，指向了各种与产品、探索、解决方案、资源、开源、存储库和企业相关的内容。这些链接指向了诸如 AI、DevOps、安全、软件开发等主题，以及 GitHub 上的各种功能和资源，例如 GitHub Copilot、GitHub Actions 等。文章还包含了登录、注册、搜索和反馈等功能。
Mark as Read
Mark as Unread
OpenAI: Scaling PostgreSQL to the Next Level
Source
OpenAI 在 PGConf.dev 2025 大会上分享了其大规模使用 PostgreSQL 的经验。他们采用非分片架构，主从复制，主数据库负责写入，多个副本处理读取。面临写入瓶颈，OpenAI 通过卸载写入、查询优化、解决单点故障和 Schema 管理等措施优化性能，实现了超过 100 万 QPS 的读写能力。演讲者还提出了关于索引、可观察性、Schema 更改和默认参数的改进建议。文章最后，老冯对 OpenAI 的实践进行了点评，并提供了针对性解答，强调了自托管 PostgreSQL 的优势。
Mark as Read
Mark as Unread
America is in danger of experiencing an academic brain drain
Source
文章指出，美国正面临学术人才流失的风险。由于相关政策，例如 Trump 政府撤销了 Harvard University 招收国际学生的能力，导致美国 Science 领域可能受到损害。文章暗示，其他国家或许会因此受益。
Mark as Read
Mark as Unread
KumoRFM: A Foundation Model for In-Context Learning on Relational Data
Source
文章介绍了 **KumoRFM**，一个用于关系数据的 **Relational Foundation Model (RFM)**。该模型通过 **in-context learning** 方式，在无需特定任务训练的情况下，对关系数据库进行准确预测。KumoRFM 采用表不变编码和 **Relational Graph Transformer**，实现跨表推理。实验表明，KumoRFM 性能优于传统方法，且速度更快。它支持多种预测任务，并可通过微调进一步提升性能。KumoRFM 旨在通过零代码解决方案，实现快速、智能的业务决策。
Mark as Read
Mark as Unread
John Carmack talk at Upper Bound 2025 – slides and notes
Source
这篇文章记录了在 Upper Bound 2025 上的一次演讲。演讲者是 John Carmack。文章本身似乎遭遇了技术问题，导致内容无法正常显示。提示用户可能需要禁用某些隐私扩展程序才能正常访问演讲内容。
Mark as Read
Mark as Unread
Lockheed Martin and IBM combine quantum computing with HPC in new research
Source
IBM 和 Lockheed Martin 合作，利用量子计算模拟化学分子，重点是难以用经典方法模拟的开壳层分子，如亚甲基 (CH2)。研究首次将基于样本的量子对角化 (SQD) 技术应用于开壳层系统，结果与高精度经典方法一致。这项研究旨在提高对燃烧排放、新型材料和分子传感器设计的理解，展示了量子计算在实际化学模拟中的潜力。
Mark as Read
Mark as Unread
Like Lovable but can make apps with gen-AI powered back ends
Source
Creatr 是一款利用 Gen-AI 驱动后端，帮助用户快速创建应用的平台。它提供 Web 和 Mobile 两种版本，用户可以通过拖放文件等方式进行操作。文章展示了 Creatr 的实际应用案例，并引用了用户评价，强调其编码能力和对开发效率的提升。Creatr 提供多种付费计划，包括 Starter、Launch、Scale 和 Infinia，满足不同用户的需求。文章还提供了常见问题解答，并提供了相关链接，方便用户了解更多信息。
Mark as Read
Mark as Unread
CRDTs #2: Turtles All the Way Down
Source
文章是关于CRDTs（无冲突复制数据类型）的深入探讨，核心观点是：每个设计良好的CRDT本质上都是一个semilattice（半格）。文章强调了在CRDT设计中，所有必要的假设（例如因果关系）都必须在semilattice结构内部进行建模，以确保数据一致性和收敛性。文章通过案例研究（Add/Remove Sets和OR-Sets）说明了在CRDT设计中，如果忽略了显式的因果关系，可能会导致非收敛行为。文章还解释了“op-based”CRDTs也是semilattices，并强调了在构建CRDT时，要清楚地知道底层依赖的保证。
Mark as Read
Mark as Unread
Silly job interview questions in Haskell
Source
文章通过Haskell语言解决常见的面试编程题，如回文判断、Fizz Buzz、求和为N、判断字符串是否为anagrams、求最大最小值、单词频率统计等。文章展示了Haskell简洁的语法、函数式编程的特性，如模式匹配、高阶函数、可组合性、lazy特性等，并对比了Haskell与其他语言的差异。文章还探讨了不同解法的优缺点，以及如何处理空列表等边界情况，强调了Haskell的安全性。
Mark as Read
Mark as Unread
文章批判了GitHub Copilot等AI辅助编程工具带来的负面影响，认为它们制造了“进步的错觉”。作者指出，这些工具虽然在语法和代码片段生成上有所帮助，但缺乏对系统设计、性能优化和代码质量的深入理解，容易导致工程师依赖工具而丧失思考能力，最终导致代码质量下降和技术退化。文章呼吁程序员保持对代码的敬畏之心，通过实践和深入学习来提升技能，而不是过度依赖AI工具。
Mark as Read
Mark as Unread
文章总结了在 Linux Application Summit 上关于 Flatpak 未来发展方向的讨论。核心观点是，尽管 Flatpak 发展良好，但项目开发面临挑战，主要原因是核心开发者流失，导致代码审查和新功能合并缓慢。文章探讨了 Flatpak 的技术细节，包括沙箱机制、运行时和 OCI 镜像支持。未来，Flatpak 考虑拥抱 OCI 标准，以简化开发并利用现有的容器生态系统工具。此外，文章还讨论了改进权限管理、音频访问、嵌套沙箱以及网络命名空间等问题，并展望了使用 Rust 重写 Flatpak 的可能性。
Mark as Read
Mark as Unread
Management = Bullshit (LLM Edition)
Source
文章批判了管理层中存在的“扯淡”现象，认为管理层热衷于制定无用且不切实际的计划。作者通过自身经历，指出管理层对计划的需求远大于实际解决问题的能力。作者发现，利用 LLM 可以快速生成满足管理层需求的“扯淡”计划，从而节省工作时间。文章的核心观点是，管理层有时更看重形式而非实质，而 LLM 在生成这类无用计划方面表现出色。
Mark as Read
Mark as Unread
文章探讨了“Sketchy Calendar”项目，旨在结合数字日历的便利性和纸质日历的灵活性。它对比了传统数字日历（如 Google Calendar）的结构化和纸质日历的自由度，指出前者缺乏个性化，后者难以数字化。项目目标是开发一款手绘风格的日历应用，既能实现数字日历的互联视图、事件管理，又能保留纸笔的自定义和表达能力，例如添加习惯追踪、时间追踪等功能。
Mark as Read
Mark as Unread
32 Bits That Changed Microprocessor Design
Source
文章讲述了贝尔实验室在1970年代后期研发32位微处理器Bellmac-32的故事。当时，8位处理器是主流，CMOS技术处于发展初期。Bellmac-32采用了3.5微米CMOS工艺和创新的32位架构，旨在超越竞争对手。尽管未获得商业上的巨大成功，但其CMOS技术为现代智能手机、笔记本电脑等芯片奠定了基础。文章详细介绍了研发过程中的技术挑战、创新，以及Bellmac-32对行业的影响。
Mark as Read
Mark as Unread
Stargate and the AI Industrial Revolution
Source
文章探讨了 Stargate 项目与 AI 工业革命的关系。作者认为，AI 正在推动一场新的工业革命，而 Stargate 等项目可能在其中扮演关键角色。文章可能分析了 AI 技术的发展趋势，以及它们如何影响各个行业。核心观点在于，AI 的进步将带来颠覆性的变革，而理解并参与到这些变革中至关重要。文章可能还涉及了技术前沿的观察，以及对未来发展方向的展望。
Mark as Read
Mark as Unread
"Secret Mall Apartment," a Protest for Place
Source
文章讲述了一部关于“秘密购物中心公寓”的纪录片，讲述了2003年一群艺术家在购物中心内秘密居住四年的故事。他们通过这种方式，抗议现代消费主义，并试图“驯服”和“人性化”被城市规划者强加的无灵魂场所。文章将此行为与保守主义对现代性的抵制联系起来，并探讨了对“场所”的重视。
Mark as Read
Mark as Unread
Show HN: Defuddle, an HTML-to-Markdown alternative to Readability
Source
Defuddle 是一个用于从网页中提取主要内容的工具，类似于 Readability。它通过移除冗余元素，如侧边栏、页眉等，来清理网页，并输出干净的 HTML。Defuddle 旨在为 HTML-to-Markdown 转换器提供更友好的输入，支持浏览器和 Node.js 环境。它提供多种功能，包括提取元数据、标准化 HTML 元素（如标题、代码块、脚注和数学公式），并支持调试模式和多种 bundles。用户可以通过 npm 安装和使用。
Mark as Read
Mark as Unread
Trade Secrecy in Willy Wonka's Chocolate Factory (2009)
Source
文章探讨了 Roald Dahl 的小说《查理和巧克力工厂》中 Trade Secrecy 的法律问题。作者指出，小说中对保密的强调并非虚构，而是现实糖果行业（如 Hershey 和 Mars）的普遍现象。文章深入研究了对商业领域保密的需求，提出了关于秘密盗用法律保护作用以及 Trade Secrecy 与专利法之间关系的关键问题。
Mark as Read
Mark as Unread
The Annotated Kolmogorov-Arnold Network (Kan)
Source
这篇文章是关于Kolmogorov-Arnold 网络 (KAN) 的注解指南。KAN 是标准多层感知器 (MLP) 的一种替代方案，通过将 MLP 的权重矩阵-向量乘法中的“乘法”重新连接到函数应用来参数化激活函数。文章分为四个部分，介绍了 KAN 的架构、训练、优化和应用示例。核心内容包括：KAN 的基本架构，由 KAN 层堆叠而成；KAN 层由加权残差层和 B-spline 激活函数构成；B-spline 用于参数化激活函数，通过控制点和基函数计算；文章还提供了代码实现，并讨论了 KAN 的通用逼近能力。
Mark as Read
Mark as Unread
Show HN: rtcollector - A modular, RedisTimeSeries-native observability agent
Source
`rtcollector` 是一款模块化的可观测性 agent，专为使用 RedisTimeSeries 的开发者设计。它轻量级、基于插件，用于收集系统和应用程序指标，并推送到 RedisTimeSeries。该项目支持 YAML 配置，易于扩展，并提供多种输入插件（如 CPU、内存、磁盘等）和输出插件（如 RedisTimeSeries、stdout 等）。目标是提供一个简单、快速、可定制的指标收集方案，适用于各种环境，包括边缘设备和 Docker 容器。
Mark as Read
Mark as Unread
Problems in AI alignment: A scale model
Source
文章探讨了AI对齐问题，认为其技术倾向掩盖了更重要的“选择”问题。作者将AI对齐比作其他需要引导的事物，如药品和学校课程，指出AI对齐更侧重技术层面，而忽略了社会选择和监管。作者强调，我们如何选择AI影响我们的方式，才是AI对齐的关键。文章认为，忽视社会选择是愚蠢的，并提到了提高选择效率的社会技术协议。
Mark as Read
Mark as Unread
1,145 pull requests per day
Source
文章的核心是Stripe在工程实践上的卓越表现。2024年，Stripe平均每天完成1145个pull requests并发布到生产环境，全年API不可靠时间少于一分钟。 考虑到其庞大的员工规模和每年1.4万亿美元的支付总额，这一成就令人印象深刻，远超DORA标准。文章强调了Stripe在自动化测试、部署、回滚、可观察性等方面的投入，以及其严格且先进的工程文化，最终目标是消除阻碍快速交付价值的摩擦。
Mark as Read
Mark as Unread
Does Earth have two high-tide bulges on opposite sides? (2014)
Source
地球两侧都有潮汐隆起，这是由于月球引力作用。月球对地球的引力并非均匀分布，离月球近的一侧受到的引力更大，形成隆起。同时，由于惯性作用，地球的另一侧也会产生隆起。因此，地球上每天会发生两次涨潮和两次落潮。
Mark as Read
Mark as Unread
Kangaroo: A flash cache optimized for tiny objects (2021)
Source
Kangaroo 是一种针对微小对象优化的新型闪存缓存，旨在解决现有闪存缓存设计在处理小对象时的不足。它结合了日志结构缓存和集合关联缓存的优点，减少了 DRAM 使用和写入次数。Kangaroo 包含 KLog 和 KSet 两部分，通过创新的驱逐策略和分摊写入，降低了未命中率，并减少了后端存储系统的负载。实验表明，Kangaroo 在实际系统约束下，相比传统方案，能显著降低未命中率。该研究成果在 SOSP 2021 会议上获得最佳论文奖。
Mark as Read
Mark as Unread
Practicing graphical debugging using visualizations of the Hilbert curve
Source
文章分享了作者使用 Hilbert 曲线进行图形调试的实践经验。作者通过编写代码、可视化曲线、打印调用序列、动画演示等方式，逐步深入理解 Hilbert 曲线的递归逻辑和几何特性。为了更好地调试，作者构建了多版本的调试界面，并提取了文本日志、回放日志等调试 UI 的通用模式，最终为调试创建了专用空间，并分享了调试过程中的思考和经验。
Mark as Read
Mark as Unread
How to cheat at settlers by loading the dice (2017)
Source
文章探讨了如何在桌游《卡坦岛拓荒者》中通过灌铅骰子作弊，并用统计学方法分析了作弊的有效性。作者通过实验数据证明了灌铅骰子能增加资源获取，但指出在有限游戏次数下，对手难以通过标准科学方法（p 值检验）证明作弊行为。文章还讨论了 p 值检验的局限性，如无法利用所有信息、易产生假阳性等，并提到了贝叶斯因子等更复杂的统计方法。最后，作者强调了科学研究中数据公开和同行评审的重要性。
Mark as Read
Mark as Unread
Loading Pydantic models from JSON without running out of memory
Source
文章探讨了使用 Pydantic 加载大型 JSON 文件时内存消耗过高的问题。 初始方法使用 `model_validate_json`，内存占用是 JSON 文件大小的 20 倍。为了优化，文章提出了两种改进方案：一是使用 `ijson` 进行增量 JSON 解析，减少解析过程中的内存占用；二是结合 `ijson` 和带有 `slots` 的 dataclasses，进一步降低对象内存占用。最终，通过这些方法，内存使用量显著降低，从 2000MB 降至 450MB。文章总结了不同方案的内存使用情况，并建议 Pydantic 未来可以考虑类似优化。
Mark as Read
Mark as Unread
Trump administration halts Harvard's ability to enroll international students
Source
特朗普政府时期，暂停了 Harvard 招收国际学生的能力。
Mark as Read
Mark as Unread
The "AI 2027" Scenario: How realistic is it?
Source
这篇文章探讨了“AI 2027”情景的现实性。文章内容似乎被 Cloudflare 保护，需要验证才能访问。由于无法获取文章具体内容，无法给出更详细的总结。
Mark as Read
Mark as Unread
We’ll be ending web hosting for your apps on Glitch
Source
文章宣布，由于运营成本增加和新兴平台的出现，Glitch 将于 2025 年 7 月 8 日停止应用 web hosting 服务。用户可以在 2025 年底前访问 dashboard 下载代码，并设置子域名重定向。Glitch 将提供迁移指南，并停止新的 Glitch Pro 订阅，现有订阅将退款。文章强调了对社区的关怀，并鼓励用户参与社区论坛讨论。
Mark as Read
Mark as Unread
Show HN: DockFlow – Switch between multiple macOS Dock layouts instantly
Source
DockFlow 是一款 macOS 应用程序，旨在帮助用户快速切换不同的 Dock 布局，从而提高工作效率。用户可以为不同的工作流程（如编码、设计）创建、保存和切换 Dock 配置。 核心功能包括一键切换、快捷键设置、自定义文件夹和文件，以及高级用户可用的自动化和 CLI 工具。 应用程序提供一次性购买的终身访问权限，并提供限时优惠。
Mark as Read
Mark as Unread
Anthropic 发布了新一代 Claude 模型：Claude Opus 4 和 Claude Sonnet 4。Opus 4 是最强的编码模型，擅长复杂任务和 AI 代理，在编码基准测试中领先。Sonnet 4 提升了编码和推理能力，更精确地响应指令。新模型支持扩展思考、并行工具使用和改进的记忆能力。同时，Claude Code 正式发布，与 VS Code 和 JetBrains 集成，并提供新的 API 功能。Opus 4 和 Sonnet 4 分别适用于高级和日常应用，定价与之前模型一致。
Mark as Read
Mark as Unread
Mozilla to shut down Pocket on July 8
Source
Mozilla 宣布将于 2025 年 7 月 8 日关闭 Pocket 服务。届时，用户将无法访问 Pocket 网站、应用和 API。用户可在 2025 年 10 月 8 日前导出数据，之后数据将被删除。Pocket Premium 用户将获得按比例退款。浏览器扩展将于 2025 年 5 月 22 日停止安装，应用也将从应用商店下架。API 功能也将于 2025 年 10 月 8 日停止。Pocket Hits 邮件通讯将更名为“Ten Tabs”。
Mark as Read
Mark as Unread
That fractal that's been up on my wall for 12 years
Source
文章探讨了作者墙上挂了12年的分形图案，从Linear Algebra的视角进行分析。文章首先介绍了分形的生成方式，并将其与Gosper Curve和L-System联系起来。核心在于，作者将分形与数字系统联系，通过重新编号，发现分形与以5为基数的数字系统存在关联，并用矩阵表示。文章还讨论了行列式对分形的影响，以及如何通过选择不同的矩阵基来生成不同的分形版本。最后，文章尝试将分形的概念扩展到三维空间，并提出了一个3D分形的构建方法。
Mark as Read
Mark as Unread
MCP explained without hype or fluff
Source
文章介绍了 Model Context Protocol (MCP)，它通过将集成问题转化为 M+N 的方式简化 AI 应用的集成。MCP 定义了 MCP Server 和 Client，Server 暴露工具、提示词、资源和采样等功能。作者构建了一个 MCP Server，用于访问 CKAN 开放数据集，并将其与 Claude 桌面应用集成，展示了通过 MCP 简化数据访问和利用 AI 分析的实例。文章强调 MCP 并非万能，解耦虽有益处，但也存在成本，是否采用取决于具体应用场景。
Mark as Read
Mark as Unread
Near-infrared spatiotemporal color vision enabled by upconversion contact lenses
Source
该研究开发了一种可穿戴的近红外(NIR)上转换隐形眼镜(UCL)，使人类和小鼠获得NIR时空视觉。小鼠佩戴UCL后能识别NIR信息并做出行为决策。人类佩戴UCL也能区分NIR信息，包括时间编码和空间图像。更进一步，研究者开发了三色UCL(tUCL)，使人类能够区分NIR的多个光谱，实现NIR彩色视觉。这项技术为人类感知和传输NIR光的时间、空间和颜色信息提供了新的途径。
Mark as Read
Mark as Unread
Show HN: Whenish – Plan Group Events in iMessages
Source
文章介绍了名为 "Whenish" 的应用，它是一款在 iMessages 中规划群组活动的工具。用户可以在 iMessage 中使用该应用，方便地组织和协调活动时间。该应用在 App Store 中提供，并且是免费的。
Mark as Read
Mark as Unread
Social media platforms: what's wrong, and what's next
Source
文章探讨了现有社交媒体平台存在的问题，认为它们过度追求用户数量、参与度、内容生成、覆盖范围和盈利，导致用户体验下降。作者认为这些平台未能真正服务于“社交”需求。文章计划分析现有平台问题，并探讨在2025年构建新社交媒体应用的潜在解决方案，希望激励他人解决这些问题。
Mark as Read
Mark as Unread
U.S. Spy Agencies–One-Stop Shop to Buy Your Personal Data
Source
文章揭示了美国情报机构计划建立一个名为“情报界数据联盟”（ICDC）的集中平台，作为购买个人数据的“一站式商店”。该平台旨在简化情报机构对商业可用信息（CAI）的获取，包括位置数据等敏感信息，绕过隐私保护。ICDC 将允许情报机构更容易地搜索、分析大量私人数据，甚至使用人工智能工具。批评者担忧此举会加剧对公民隐私的侵犯，并绕过宪法和法规的保护。尽管 ODNI 宣称会维护公民自由和《第四修正案》的权利，但实际操作可能导致对个人数据的滥用。
Mark as Read
Mark as Unread
Why I Built My Own Audio Player
Source
作者因不满Apple在2025年仍限制用户播放本地MP3，决定自建音频播放器。他选择了SwiftUI，并实现了全文搜索、iCloud支持等功能。文章详细介绍了开发过程，包括尝试React Native的挫折、SwiftUI的优势、应用架构、SQLite全文搜索的实现，以及文件访问的挑战。作者总结了Xcode的局限性、SwiftUI的优势，并批评了Apple对个人应用开发的限制，即使是自建应用，也受制于Apple的开发者计划。
Mark as Read
Mark as Unread
What Sam Altman told OpenAI about the device he's making with Jony Ive
Source
Sam Altman 透露了他与 Jony Ive 合作开发的新设备，旨在革新人机交互。该设备设计简洁直观，可能整合了 AI 技术，包括 OpenAI 的模型，以提供个性化体验。Altman 强调该设备旨在增强而非取代人类。具体细节如定价、发布日期和功能尚未公布，但 Altman 承诺未来几个月内会分享更多信息。科技界对这款合作成果充满期待。
Mark as Read
Mark as Unread
Fast Allocations in Ruby 3.5
Source
文章介绍了 Ruby 3.5 中通过“内联” `Class#new` 实现的快速对象分配优化。 这种优化通过减少方法调用开销，特别是针对关键字参数，显著提升了对象分配速度，最高可达6倍。 优化涉及将 `new` 的实现直接嵌入到调用点，避免了堆栈帧的创建和参数复制，并提高了内联缓存命中率。 尽管存在内存使用增加和少量向后兼容性问题，但整体性能提升显著。
Mark as Read
Mark as Unread
Adventures in Symbolic Algebra with Model Context Protocol
Source
文章探讨了使用模型上下文协议（MCP）将语言模型与符号代数系统结合，以提升其数学运算能力。MCP 允许语言模型调用外部工具，例如 Sympy，从而解决 LLM 在复杂符号计算上的不足。作者通过实例展示了这种方法在求解物理学问题上的应用，并强调了其潜力，例如实现自然语言接口进行形式数学推理。文章也指出了 MCP 生态系统尚不成熟，存在安全隐患，并提供了运行代码的示例。
Mark as Read
Mark as Unread
Showh HN: SQLite JavaScript - extend your database with JavaScript
Source
该文章介绍了 SQLite-JS，一个用于扩展 SQLite 数据库的 JavaScript 扩展。它允许用户使用 JavaScript 创建自定义函数，包括标量函数、聚合函数、窗口函数和排序规则，从而增强数据处理能力。用户可以通过预构建的二进制文件或源码安装，并使用 `js_create_scalar`、`js_create_aggregate` 等函数定义 JavaScript 函数。此外，它还支持在 SQLite 中直接评估 JavaScript 代码，并与 `sqlite-sync` 结合实现跨设备同步。
Mark as Read
Mark as Unread
The Philosophy of Byung-Chul Han (2020)
Source
文章探讨了哲学家 Byung-Chul Han 的思想，核心观点是现代社会过度强调成就、积极性和透明度，导致个体孤立、倦怠，并与真实体验脱节。Han 认为，我们从“服从的主体”转变为“成就的主体”，被“可以”的命令驱使，陷入自我剥削。他批判了“平滑”的美学和数字媒体带来的肤浅，以及爱、美和娱乐的危机。文章总结了 Han 对“圆形监狱”、“透明社会”和“好的娱乐”的解读，强调了消极性、不完美和真实性的重要性，呼吁人们摆脱成就的束缚，回归本真。
Mark as Read
Mark as Unread
Free-Threaded Python Library Compatibility Checker
Source
该文章介绍了一个针对 free-threaded Python 库的兼容性检查器。它展示了在 CPython 3.13t 和 3.14t 环境下的库安装状态，并提供了详细的兼容性结果。页面包含库的名称、版本、构建结果、错误详情和最后更新时间。部分库安装失败，并给出了错误信息。
Mark as Read
Mark as Unread
Show HN: Pi Co-pilot – Evaluation of AI apps made easy
Source
文章介绍了 Pi Co-pilot，一个用于评估和监控 AI 应用的工具。它提供可信的指标，用于离线评估和在线推理，并能帮助用户找到适合其应用的评估指标。Pi Co-pilot 的核心是 Pi Scorer，声称比 Deepseek 和 GPT 4.1 更准确，但速度和大小与 GPT Mini 和 Gemini Flash 相当。该工具可集成到各种 AI 技术栈和现有工具中，例如 Google Spreadsheets、Promptfoo 和 CrewAI。文章还介绍了 Pi Labs 的团队背景，他们来自 Google，拥有丰富的 AI 和搜索引擎开发经验。
Mark as Read
Mark as Unread
Making the rav1d Video Decoder 1% Faster
Source
文章介绍了作者通过分析和优化，提升了 `rav1d` 视频解码器在特定基准测试中的性能。作者使用 `samply` 分析器对比 `rav1d` 和 `dav1d` 的性能，发现并解决了两个性能瓶颈：一是避免了在 Arm 专用代码路径中不必要的零初始化，二是优化了结构体 `Mv` 的比较方式，用按字节相等性替换了按字段相等性。这些优化使 `rav1d` 的运行时间缩短了约 1.5% 和 0.5%，总共提升了约 2.3%，缩小了与 `dav1d` 的性能差距。
Mark as Read
Mark as Unread
Robert Musil Forgotten Plays Inspired His Greatest Work of Fiction
Source
文章探讨了奥地利作家 Robert Musil 被遗忘的剧本对其虚构作品的启发。Musil 创作剧本源于对当时戏剧的批判，其中《乌托邦人》和《重要人物的情妇》预示了他小说中对乌托邦思想的探索。他笔下的角色，如 Thomas、Vinzenz 和 Ulrich，都体现了对僵化现实的抵抗，追求开放、可能性和创造性。这些剧本为 Musil 提供了创作“没有个性的人”等作品的灵感，强调艺术的社会作用和创造性条件。
Mark as Read
Mark as Unread
Show HN: Curved Space Shader in Three.js (via 4D sphere projection)
Source
该项目在 Three.js 中实现了弯曲空间着色器，通过4D球体投影实现。核心技术是将3D模型变换到4D空间，进行旋转后，再投影回3D。项目基于 HLSL 编写，现已重写为 GLSL。提供了在线演示和演示视频，并详细介绍了实现弯曲空间效果的数学原理和交互控制方式，包括鼠标、键盘操作。动画模型和音乐来自其他资源。
Mark as Read
Mark as Unread
Strengths and limitations of diffusion language models – sean goedecke
Source
文章探讨了 Diffusion 语言模型的优势与局限性。Diffusion 模型因其并行生成完整输出的能力而速度快，但输出长度固定，在短文本生成上可能不如自回归模型。长上下文环境下，Diffusion 模型因需重新计算 attention 而变慢。文章还讨论了 Diffusion 模型进行推理的潜力，认为其思维链推理能力可能不如自回归模型，但仍有研究探索。总而言之，Diffusion 模型在速度上有优势，但在处理长上下文和推理方面存在挑战。
Mark as Read
Mark as Unread
作者复刻了游戏《Sid Meier’s Alpha Centauri》中的 Chiron 星球地图。他从游戏数据中提取海拔、降雨量等信息，并使用 QGIS 和 Photoshop 等工具，通过数据采样、投影、DEM 准备、插值、平滑等技术，最终制作出更详细的地图。文章详细介绍了制作过程中的技术细节，包括投影选择、地形处理、植被和真菌的呈现，以及最终的制图效果。
Mark as Read
Mark as Unread
Ancient law requires a bale of straw to hang from Charing Cross rail bridge
Source
由于 Charing Cross 铁路桥正在进行维护，桥下高度降低，根据古老的法律，必须悬挂一捆稻草以警示水上交通。这项法律源于伦敦港泰晤士河章程，规定当桥梁拱门高度受限时，需悬挂稻草。目前，稻草捆悬挂在 Jubilee 人行桥上，随着维护工程的推进，稻草捆的位置也将随之移动。
Mark as Read
Mark as Unread
Why does Debian change software?
Source
Debian 修改软件包的原因主要有以下几点：为了遵循 Debian 的策略，例如配置文件的位置和可执行文件的命名规范；为了使软件包之间更好地协同工作，例如统一 Unix domain socket 的位置；为了移除“调用主页”或绕过打包系统更新的代码，保障隐私和安全；为了修复上游未修复的错误，尤其是安全问题；为了避免包含无法合法分发的内容，例如不符合 Debian Free Software Guidelines 的部分；以及为了添加缺失的 manual page。
Mark as Read
Mark as Unread
Direct TLS can speed up your connections
Source
文章讲述了在 AWS 办公室内，使用公司 VPN 连接到 Aurora DSQL 集群速度快，而不使用 VPN 时连接却慢了 3 秒的问题。问题源于公司防火墙对 TLS 连接的服务器身份发现机制，导致额外连接和延迟。通过支持 Postgres 17+ 的 direct TLS 功能，客户端可直接进行 TLS 握手，避免了防火墙的干扰，从而加速连接。文章强调了 direct TLS 的优势，并提供了在 Aurora DSQL 中使用 direct TLS 的示例。
Mark as Read
Mark as Unread
Decibels Are Ridiculous
Source
这篇文章的核心观点是质疑分贝（Decibels）作为衡量标准的不合理性。文章首先需要验证访问者的身份，并由 Cloudflare 提供安全保障。由于无法访问文章内容，无法得知具体论证细节。
Mark as Read
Mark as Unread
文章批判了将 ChatGPT 等 AI 技术视为教育领域“救星”的观点。作者认为，AI 只是一个花招，无法取代人类学习和思考的努力。文章指出，AI 带来的“效率”提升往往流于表面，无法真正促进理解和深度思考。作者通过研讨会经历、对 AI 大学愿景的质疑，以及对 AI 炒作的分析，强调了教育中人际互动、深度思考和批判性思维的重要性，并呼吁警惕对 AI 的过度依赖。
Mark as Read
Mark as Unread
Kotlin-Lsp: Kotlin Language Server and Plugin for Visual Studio Code
Source
该文章介绍了用于 Visual Studio Code 的 Kotlin 语言服务器 (Kotlin-Lsp) 和插件。 这是一个预 Alpha 版本，基于 IntelliJ IDEA 和 IntelliJ IDEA Kotlin 插件实现，支持 JVM 的 Kotlin Gradle 项目。 提供了快速开始的步骤，并列出了支持的功能，如代码高亮、导航、代码操作、重构等。 项目仍处于实验阶段，不保证稳定性。 源码部分闭源，VSC 扩展镜像到 kotlin-vscode。 欢迎通过 GitHub issues 提交反馈和问题。
Mark as Read
Mark as Unread
Getting a paper accepted
Source
这篇文章分享了作者关于如何提高论文被接收几率的策略，主要围绕“PhD Metagame”展开。核心观点是：论文的成功很大程度上取决于第一页的质量，包括标题、图1、摘要和引言，需要具体、引人入胜。文章强调通过清晰的图表、有价值的标题、避免常见的拒稿原因（如缺乏基线、消融实验）来提升论文质量。作者还提到了逆向思维，即预先设想评审员可能提出的质疑，并加以改进。最终，这些策略不仅提高了论文的接收几率，也提升了研究本身的科学价值。
Mark as Read
Mark as Unread
谷歌发布了 Gemini Diffusion，这是一种基于 diffusion 技术的 LLM，而非传统的 transformers。与自回归模型逐个生成 token 不同，Gemini Diffusion 通过逐步细化噪声来生成文本，从而实现更快的速度和更强的编辑能力。文章体验了该模型，发现其速度惊人，能快速生成代码。性能与 Cerebras Coder 类似。谷歌声称其速度是 Gemini 2.0 Flash-Lite 的 5 倍。文章还提到了之前的 diffusion 模型 Mercury。
Mark as Read
Mark as Unread
How AppHarvest’s indoor farming scheme imploded (2023)
Source
文章揭示了室内农业公司 AppHarvest 的兴衰。该公司曾承诺为肯塔基州提供绿色就业机会，但最终因工作环境恶劣、培训不足、生产力低下和财务问题而破产。文章详细描述了公司内部的运作问题，包括不安全的工作条件、高离职率和管理层的失误。尽管获得了巨额融资，AppHarvest 最终未能实现其可持续农业的愿景，并拖累了蓝领劳动力。文章还探讨了室内农业行业面临的挑战，如高昂的劳动力和能源成本，以及该行业内其他公司的类似困境。
Mark as Read
Mark as Unread
文章主要探讨了 Dijkstra 对 Ada 语言的评价。Dijkstra 曾参与 Ada 语言提案的评审，并对其中几个提案给出了负面评价，例如“技术上的无能”、“无法挽救的烂摊子”等。最终，Dijkstra 认为 Ada 语言“太糟糕”，甚至担心西方安全依赖于它。
Mark as Read
Mark as Unread
Display any CSV file as a searchable, filterable, pretty HTML table
Source
该项目提供了一个将 CSV 文件转换为可搜索、可过滤的 HTML 表格的解决方案。它使用 JavaScript、Bootstrap 4、jQuery、jQuery CSV 和 DataTables 等技术，并支持自定义格式化。用户可以通过克隆仓库、添加 CSV 文件、配置选项和部署来使用。项目还提供了 GitHub Pages 部署方法，并提供了常见问题解答、错误报告和贡献指南。
Mark as Read
Mark as Unread
Tales from Mainframe Modernization
Source
文章分享了作者在大型主机现代化改造过程中遇到的趣事。作者使用 Rust 编写了从 COBOL 等大型机语言到 Java 的转译器。文章展示了 COBOL 代码中一些独特的特性，例如使用 `PIC` 定义变量的类型和长度，利用 `REDEFINES` 实现变量的内存区域重定义，以及通过字符串解析处理日期。此外，还提到了用于触发异常退出的代码技巧，以及定义了前 800 个数字的字符串常量文件。最后，文章还提到了 JCL 中的 `DD` 语句与 UNIX 的 `dd` 命令之间的联系。
Mark as Read
Mark as Unread
文章反对全面屏蔽 ICMP，认为这会带来网络故障排除的困难。虽然 ICMP 存在安全风险，但其重要功能不可忽视。文章详细阐述了允许以下 ICMP 类型通过的重要性：Echo Request/Reply（ping）、Fragmentation Needed/Packet Too Big（PMTUD）、Time Exceeded（traceroute）以及 IPv6 的 NDP 和 SLAAC 相关消息。文章建议对 ICMP 流量进行速率限制，并鼓励读者深入研究，根据自身网络情况做出明智选择。
Mark as Read
Mark as Unread
I have tinnitus. I don't recommend it
Source
作者因去年参加音乐演出后患上耳鸣，强烈不推荐这种体验。文章强调了听力损伤的潜在风险，并对比了视觉损伤与听力损伤在安全措施上的差异。作者分享了耳鸣带来的身体不适，以及对大音量的敏感。最后，作者以“seguridad”的身份，呼吁读者在参加演出时保护听力，骑车时佩戴头盔，远离激光，强调保护自身的重要性，避免永久性伤害和后悔。
Mark as Read
Mark as Unread
ITXPlus: A ITX Sized Macintosh Plus Logicboard Reproduction
Source
该项目是 ITXPlus，一个 Mini-ITX 尺寸的 Macintosh Plus 主板复刻。它使用非原装零件组装，旨在用于现代机箱。该主板具有板载 VGA 输出、ATX 电源接口、SCSI 接口和 4MB 内存。项目使用了多个开源组件，并计划开源设计。目前已收到 PCB，正在测试中。
Mark as Read
Mark as Unread
The Machine Stops (1909)
Source
这篇文章是关于一个反乌托邦社会中，人们完全依赖“机器”生活的故事。核心内容包括：
1. **社会背景：** 人们居住在蜂巢状的房间里，通过“机器”满足所有需求，人际交往也依赖“机器”。
2. **主人公的冲突：** 主人公的儿子Kuno渴望体验真实世界，挑战“机器”的束缚，并因此面临“无家可归”的威胁。
3. **主人公的旅程：** 主人公Vashti为了探望儿子，被迫离开房间，体验了飞艇旅行，并最终决定前往儿子所在的地点。
4. **Kuno的反抗：** Kuno通过自己的方式探索外部世界，试图摆脱“机器”的控制，并最终被“机器”威胁。
5. **主题：** 探讨了科技对人类生活的影响，以及对真实体验和个体自由的渴望。
Mark as Read
Mark as Unread
Sorcerer (YC S24) Is Hiring a Lead Hardware Design Engineer
Source
Sorcerer (YC S24) 正在招聘 Lead Hardware Design Engineer。该职位负责领导硬件产品的设计和开发，从概念到生产，需与工程师团队合作构建下一代计算平台。
主要职责包括：领导硬件设计、组件选择、系统集成、测试验证、指导工程师以及关注行业趋势。
应聘者需具备电气工程相关学历，5年以上硬件设计经验，精通原理图和 PCB 布局工具，熟悉各种组件，并具备硬件验证经验。加分项包括电源管理、制造工艺经验、初创公司工作经验和 Python 编程能力。
Mark as Read
Mark as Unread
Rocky Linux 10 Will Support RISC-V
Source
Rocky Linux 10 将正式支持 RISC-V 架构，包含 riscv64gc 构建，目标平台与 Fedora 相同，如 **StarFive VisionFive 2 (VF2)**, **QEMU** 和 **SiFive HiFive Premier P550**。该版本由 Fedora RISC-V Community 和 Rocky 的 AltArch SIG 合作完成，采用上游优先方法，并与 Fedora 社区积极合作。RISC-V 构建被视为备用架构，软件包更新不会受其影响。支持的硬件包括 VisionFive 2、QEMU 和有限支持的 HiFive P550。用户可下载镜像、阅读安装指南并参与讨论。Rocky Linux 10 旨在构建开放、跨架构生态系统。
Mark as Read
Mark as Unread
Show HN: Confidential computing for high-assurance RISC-V embedded systems
Source
该项目名为 `ACE-RISCV`，旨在为嵌入式 `RISC-V` 系统提供基于 VM 的可信执行环境（TEE）。核心是经过形式验证且可审计的固件，并支持后量子密码学。项目基于 `CoVE` 规范，形式验证工作侧重于安全监控器的实现。用户可参考提供的论文和快速开始指南，在模拟环境中运行示例机密工作负载。项目使用 `Apache 2.0 License` 协议，并积极寻求合作者。
Mark as Read
Mark as Unread
Show HN: I've built online video editor
Source
ClipJS是一个在线视频编辑器，无需下载、注册或水印，即可在PC或手机上免费编辑视频。它开源且完全在浏览器中运行，无需上传文件。用户可以进行视频剪辑、合并视频、图像、文本和音频等操作。该编辑器承诺无水印、无广告，并提供快速的编辑体验。
Mark as Read
Mark as Unread
µPC: Scaling Predictive Coding to 100 Layer Networks
Source
文章介绍了 µPC，一种将预测编码 (PC) 扩展到百层以上网络的方案。由于反向传播 (BP) 在生物学上的局限性，研究者探索了 PC 等仅依赖局部信息的算法，但其训练深层网络的能力受限。µPC 通过 Depth-µP 参数化，解决了标准 PC 网络在大深度下训练的难题，实现了对 100+ 层网络的稳定训练。实验表明，µPC 在分类任务上表现出色，并具备零样本迁移能力。研究结果对其他局部算法具有借鉴意义，并可应用于卷积和 transformer 架构。
Mark as Read
Mark as Unread
For Algorithms, a Little Memory Outweighs a Lot of Time
Source
文章讲述了计算机科学家 Ryan Williams 的一项突破性研究，该研究表明，在算法设计中，少量内存比大量时间更有效。Williams 证明了通用模拟程序，可以将算法转换为使用更少空间的形式，并由此推导出关于时间计算能力的负面结果。这项成果对计算机科学具有重要意义，可能为解决 P 与 PSPACE 问题提供新思路，并挑战了长期以来的认知。
Mark as Read
Mark as Unread
Ratatoi is a C libary that wraps stdlib's strtol (as atoi does), but it's evil.
Source
`Ratatoi` 是一个 C 语言库，它封装了 `stdlib` 的 `strtol`，但设计上很“邪恶”。当检测到溢出时，它会调用 `abort()`，导致程序崩溃。这种做法优先考虑内存安全，避免程序在错误状态下继续运行，省去了手动调用 `strtol` 并检查错误的步骤。文章还提供了该库的资源链接，包括 `Readme`、`MIT license` 和代码文件。
Mark as Read
Mark as Unread
The curious tale of Bhutan's playable record postage stamps (2015)
Source
文章讲述了1972年不丹发行的可播放黑胶唱片邮票的奇特故事。这些微型、单面、33 1/3转的邮票，印有不丹民歌和历史，可在标准唱机上播放。由美国冒险家 Burt Todd 设计，旨在为不丹筹集资金。尽管最初被视为俗气，但因其稀有性，如今在收藏界备受追捧，价格飙升。Todd 还设计了其他创新邮票，如3D邮票、丝绸邮票等。
Mark as Read
Mark as Unread
文章讲述了 Jona Rechnitz 的故事，他曾因贿赂官员和诈骗入狱，后通过名人关系在洛杉矶创立珠宝公司 Jadelle。然而，他利用珠宝进行抵押贷款，并未出售珠宝，导致合作珠宝商损失惨重。尽管面临多起诉讼，Rechnitz 却逃脱了严重的法律制裁。文章揭示了 Rechnitz 的欺诈行为，以及他在纽约和洛杉矶利用人脉和名人效应掩盖罪行的过程。
Mark as Read
Mark as Unread
New dwarf planet found in our solar system
Source
该文章发布了编号为 MPEC 2025-K47 的小行星电子通告，主要内容是关于一颗名为 2017 OF201 的矮行星的观测数据。通告包含了观测时间、坐标、亮度等信息，并提供了轨道要素和星历表。文章还提供了观测者的信息，以及关于该通告的版权声明和访问方式。
Mark as Read
Mark as Unread
Harnessing the Universal Geometry of Embeddings
Source
该研究提出了一种无监督方法，用于将文本 embeddings 在不同向量空间之间转换，无需配对数据或预定义匹配。这种方法将任何 embedding 转换为通用潜在表示，并能从中转换出来。实验表明，该转换在不同模型之间实现了高余弦相似度。研究还强调了这种转换在向量数据库安全方面的意义，因为它可以防止攻击者通过获取 embedding 向量来提取敏感信息。
Mark as Read
Mark as Unread
An upgraded dev experience in Google AI Studio
Source
文章介绍了 Google AI Studio 的更新，重点在于提升开发者体验。核心功能包括：利用 Gemini 2.5 Pro 进行原生代码生成，简化 AI 应用构建和部署流程；集成多模态生成模型，如 Imagen、Veo 和 Lyria RealTime；新增 Live API 和文本转语音（TTS）功能，支持原生音频对话；支持模型上下文协议（MCP），方便与开源工具集成；以及引入 URL Context 工具，增强模型的信息检索能力。这些更新旨在帮助开发者更便捷地使用 Gemini API 构建 AI 应用。
Mark as Read
Mark as Unread
Python Tooling at Scale: LlamaIndex’s Monorepo Overhaul
Source
文章介绍了 LlamaIndex 团队对其大规模 Python 工具链的改造。由于原有的 Poetry 和 Pants 工具在 monorepo 环境下存在构建速度慢、维护复杂、调试困难等问题，团队最终选择用 `uv` 替代 Poetry，并开发了名为 `LlamaDev` 的定制工具。`LlamaDev` 简化了依赖关系管理、CI 流程，提升了开发效率，并改善了贡献者体验。
Mark as Read
Mark as Unread
Show HN: Representing Agents as MCP Servers
Source
这篇文章展示了在 GitHub 平台上，关于各种产品、解决方案和资源的导航菜单。 菜单涵盖了产品功能、解决方案（按公司规模、用例和行业分类）、资源（主题、学习路径等）、开源项目和企业级服务。 此外，还提供了搜索、反馈、保存搜索等功能，以及关于 GitHub 的条款、隐私、安全等信息。
Mark as Read
Mark as Unread
LLM function calls don't scale; code orchestration is simpler, more effective
Source
文章探讨了LLM函数调用的可扩展性问题。作者指出，直接将工具输出作为消息传递给LLM，处理大型数据时效率低且成本高。 核心观点是，通过输出Schema获取结构化数据，并利用代码编排处理流程，能更高效地处理数据。文章提倡使用代码执行作为数据处理方式，例如变量存储数据、工具链编排函数调用，从而实现可扩展的数据处理。 尽管代码执行面临安全性和状态管理等挑战，但作者认为这催生了“AI 运行时”的新类别，并期待输出Schema的广泛应用。
Mark as Read
Mark as Unread
Storefront Web Components
Source
Storefront Web Components 是一组 HTML 组件，旨在为任何网站提供 Shopify 驱动的电商功能。通过简单的 HTML 嵌入，即可展示商品、系列并实现结账。这些组件简化了与 Shopify Storefront API 的交互，无需编写复杂的 JavaScript。用户只需添加 `` 和 `` 组件，配置属性，即可访问商店数据，并使用 CSS 或 HTML 自定义购物体验。文章提供了逐步指南和示例代码，方便用户快速上手。
Mark as Read
Mark as Unread
Collaborative Text Editing Without CRDTs or OT
Source
文章提出了一种无需使用 CRDT 或 OT 即可实现协同文本编辑的方案。该方案核心是使用全局唯一ID标记每个字符，客户端发送“insert after”操作，服务器按字面意思执行。这种方法简化了协同编辑的实现，易于DIY，并支持灵活操作和富文本格式。文章还讨论了并发插入、去中心化变体，并介绍了辅助库 `Articulated`，它优化了ID存储和操作效率。
Mark as Read
Mark as Unread
OpenAI to buy AI startup from Jony Ive
Source
**OpenAI** 计划以约 65 亿美元收购 **Jony Ive** 联合创立的 **AI** 设备初创公司，交易形式为全股票。此举是 **OpenAI** 迄今为止最大规模的收购，旨在进军硬件领域，并获得 **Ive** 及其团队的设计专长。收购将为 **OpenAI** 建立专门的 **AI** 设备开发部门，助力其在硬件领域的发展。
Mark as Read
Mark as Unread
Harper (YC W25) Is Hiring Applied AI / AI Context Engineers and Data Scientist
Source
文章宣布了原生 AI 商业保险经纪公司 Harper 正在招聘，主要职位包括应用 AI 工程师、AI 上下文工程师和数据科学家，均位于旧金山，薪资范围在 12.5 万美元到 20 万美元之间，并提供股权。同时，公司也在招聘客户成功和增长方面的职位。Harper 是一家 Y Combinator W25 孵化的初创公司。
Mark as Read
Mark as Unread
By Default, Signal Doesn't Recall
Source
文章讨论了 Signal Desktop 在 Windows 11 上的新“屏幕安全”设置，该设置默认启用，旨在阻止 Microsoft Recall 截取 Signal 聊天记录的屏幕截图。由于 Recall 会定期截取屏幕截图并存储，Signal 采取措施保护用户隐私，即使这可能影响某些辅助功能。文章强调了 Microsoft 在开发工具上的不足，并呼吁操作系统供应商提供必要的工具，确保隐私应用程序能够拒绝 AI 系统访问敏感信息。文章最后强调了保护隐私的重要性，并警告了 AI 代理带来的潜在威胁。
Mark as Read
Mark as Unread
Introducing the Llama Startup Program
Source
文章宣布推出 Llama Startup Program，旨在帮助早期创业公司利用 Llama 构建生成式 AI 应用。该计划为符合条件的美国创业公司提供支持，包括 Llama 团队的技术支持和每月最高 6000 美元的云推理费用报销，为期最长六个月。申请截止日期为 2025 年 5 月 30 日。
Mark as Read
Mark as Unread
Mitochondria Are More Than Powerhouses–They're the Motherboard of the Cell
Source
文章探讨了线粒体作为细胞“Motherboard”的核心作用，超越了传统“能量工厂”的定义。线粒体不仅提供能量，还通过交流、信息传递、激素调节等方式影响细胞行为，甚至控制细胞生死。它们像一个社会系统，相互协作，并与细胞核互动，影响基因表达。线粒体功能障碍与多种疾病相关，研究表明，干预线粒体功能可能成为新的治疗途径。
Mark as Read
Mark as Unread
Show HN: Evolved.lua – An Evolved Entity Component System for Lua
Source
`evolved.lua` 是一个 Lua 的 ECS (Entity-Component-System) 库，强调性能、简洁性和灵活性。它使用基于 Archetype 的方法存储实体和组件，通过 chunks 组织具有相同组件的实体，以实现快速迭代和处理。库提供标识符、实体、片段、组件等基本概念，并支持单例、traits 和结构性变化。`evolved.spawn` 和 `evolved.clone` 用于创建实体，`evolved.builder` 提供流畅的接口来构建实体，减少结构性变化。
Mark as Read
Mark as Unread
Visualizing entire Chromium include graph
Source
文章介绍了使用 `clang-include-graph` 工具可视化 Chromium 项目 include 图的过程。首先，通过构建 Chromium 生成 `compile_commands.json` 文件，然后利用该文件和 `clang-include-graph` 生成 GraphML 格式的 include 图。文章详细阐述了构建 Chromium、生成图形的步骤，并使用 NetworkX 对图形进行注解，添加组件、颜色和标签。最后，通过 Gephi 可视化工具，展示了 `base` 和 `net` 子目录的 include 图，并分析了不同布局下的图形结构，揭示了文件间的依赖关系。
Mark as Read
Mark as Unread
New tools and features in the Responses API
Source
文章介绍了 Responses API 的新工具和功能。新增了对远程 MCP 服务器的支持，允许开发者连接到各种工具。同时，Responses API 集成了图像生成、Code Interpreter 和文件搜索等工具，提升了模型能力。此外，还引入了后台模式、推理摘要和加密推理项等新功能，增强了可靠性、可见性和隐私性。这些更新旨在帮助开发者构建更强大、更可靠的自主代理应用。
Mark as Read
Mark as Unread
The US has a new most powerful laser hitting 2 petawatts
Source
美国密歇根大学的 ZEUS 激光设施已成为美国最强大的激光器，功率达到 2 拍瓦。该激光由 NSF 资助，可用于医学、国家安全、材料科学等领域的研究。ZEUS 拥有独特的将光束分成多束的能力，并计划进行产生高能电子束的实验。ZEUS 团队正在持续升级系统，预计未来将达到 3 拍瓦的功率。
Mark as Read
Mark as Unread
Lune: Standalone Luau Runtime
Source
Lune 是一个独立的 Luau 运行时环境，类似于 Node、Deno 等。它使用 Rust 构建，旨在提供速度、安全性和正确性。Lune 具有简洁的 API，支持文件系统、网络等功能，并提供完善的文档。它主要面向 Roblox 开发者，提供熟悉的运行时环境。Lune 并非旨在运行完整的 Roblox 游戏，而是用于其他目的。
Mark as Read
Mark as Unread
Discord Unveiled: A Comprehensive Dataset of Public Communication (2015-2024)
Source
该论文发布了名为 "Discord Unveiled: A Comprehensive Dataset of Public Communication (2015-2024)" 的数据集，涵盖了2015年至2024年期间 Discord 平台上的公共交流数据。数据集包含来自 3,167 个公共服务器的 474 万用户的超过 20.5 亿条消息。该数据集旨在促进对去中心化管理、社区治理、信息传播等方面的研究。数据通过公共 API 收集，并经过匿名化处理，以符合道德规范和隐私标准。初步分析揭示了用户参与度、机器人利用率和语言多样性等趋势，英语占主导地位，其他语言也有显著表现。
Mark as Read
Mark as Unread
这篇文章通过动画演示了因式分解的过程。它利用可视化方法，展示了如何将一个数字分解成其质因数的乘积。文章链接指向了一个网站，该网站提供了关于因式分解的动画图解，帮助读者直观理解复杂的数学概念。
Mark as Read
Mark as Unread
Mistral AI 联合 [All Hands AI](https://www.all-hands.dev/) 发布了开源 coding agent 模型 Devstral。该模型在 SWE-Bench Verified 基准测试中表现优异，超越了所有开源模型，甚至优于部分闭源模型。Devstral 适用于软件工程任务，可在本地设备上运行，也可用于企业内部，支持 agentic 编码。该模型以 Apache 2.0 许可免费提供，可在 [HuggingFace](https://huggingface.co/mistralai/Devstral-Small-2505) 等平台下载，也可通过 API 使用。
Mark as Read
Mark as Unread
'Turbocharged' Mitochondria Power Birds' Epic Migratory Journeys
Source
文章探讨了鸟类迁徙的能量来源。研究发现，迁徙鸟类在飞行肌肉中拥有“涡轮增压”的Mitochondria，其数量、形状和效率都得到提升，从而提供长途飞行的能量。这些Mitochondria的变化受到季节性光照的影响，而非单纯的身体准备。研究还揭示了Mitochondria形状改变在能量供应中的作用，以及鸟类通过饮食等方式应对Mitochondria产生的有害物质。研究成果对理解生物体对环境的适应具有重要意义，并为人类研究Mitochondria在衰老和运动中的作用提供了启示。
Mark as Read
Mark as Unread
Building an agentic image generator that improves itself
Source
文章探讨了构建一个能自我改进的图像生成系统。作者使用 OpenAI API 生成和编辑图像，并结合 LLMs 作为评估器，检测图像中的问题，如文本模糊、构图和吸引力。研究发现，LLMs 在识别语义缺陷方面表现出色，但在进行精确的像素级操作时存在困难。两种方法：LLM-as-a-Judge 用于文本改进和 Bounding Box 方法，均被用于改进图像质量。最终结论是，LLM-as-a-Judge 适合用于图像生成的多模式评估，但 LLMs 在平衡抽象美学判断与确定性像素级校正方面存在局限。
Mark as Read
Mark as Unread
Overlap (YC S24) Is Hiring
Source
Overlap (YC S24) 正在招聘产品工程师。该公司专注于为视频构建多模态 AI 代理，主要与大型媒体公司合作，帮助用户剪辑和发布视频。该职位要求候选人具备快节奏工作能力、问题解决能力，并愿意承担多项任务。薪资范围为 10 万至 16 万美元，工作地点在旧金山，欢迎美国公民/签证持有者申请。
Mark as Read
Mark as Unread
The Curious Case of the Pygmy Nuthatch
Source
文章讲述了电影《霹雳娇娃》中关于**Pygmy Nuthatch**（小矮星头雀）的离奇错误。作者深入调查了电影中鸟类出现的诸多问题：剧本中鸟的种类、实际出现的鸟与声音的不符。由于法律限制，剧组无法使用本土鸟类，最终选择了**Venezuelan Troupial**，但声音却来自另一种未知的鸟。文章探讨了编剧、动物驯养师等环节的决策，揭示了电影制作中鸟类选择的复杂性和错误产生的根源。
Mark as Read
Mark as Unread
Why Property Testing Finds Bugs Unit Testing Does Not (2021)
Source
文章讨论了Property-Based Testing (PBT) 相较于手动单元测试的优势。作者认为，PBT在处理复杂输入空间时，能有效发现单元测试难以覆盖的边缘情况。文章通过几何学视角解释了随着输入变量增加，边缘情况呈指数级增长，使得手动测试难以穷尽。作者也批评了PBT示例的常见问题，即过于简单，未能充分体现PBT的优势，并强调了复杂输入策略的重要性。
Mark as Read
Mark as Unread
A South Korean grand master on the art of the perfect soy sauce
Source
文章讲述了韩国酱油大师 Ki Soon-do 制作传统酱油的艺术。她坚守370年的家族秘方，采用大豆、水和盐，辅以时间与用心，制作出风味独特的酱油、大豆酱和辣椒酱。其技艺于2024年被联合国教科文组织认定为非物质文化遗产。Ki 认为传统发酵食品对健康有益，并致力于传承和推广。她也面临气候变化带来的挑战，需要调整制作方法以应对。
Mark as Read
Mark as Unread
Roto: A Compiled Scripting Language for Rust
Source
文章介绍了 Roto，一款为 Rust 设计的编译型脚本语言。Roto 旨在为 Rust 应用程序提供快速、可靠的脚本功能，尤其适用于 BGP 引擎 Rotonda 的路由过滤。Roto 是静态类型、JIT 编译、热重载的，使用 `cranelift` 编译为机器码。它与 Rust 紧密集成，允许直接注册 Rust 类型、方法和函数，方便在脚本中使用。Roto 仍在开发中，目标是成为通用的脚本或插件语言。
Mark as Read
Mark as Unread
My new hobby: watching AI slowly drive Microsoft employees insane
Source
文章描述了作者的新爱好：观察 AI 如何“逼疯” Microsoft 员工。由于网络策略限制，作者的请求被阻止，需要登录或创建帐户才能继续浏览。文章提供了解决访问问题的建议，包括登录、注册开发者凭据、设置 User-Agent、以及联系 Reddit 支持。同时，文章还提供了 Reddit 的服务条款链接和提交工单的入口，以便用户反馈问题。
Mark as Read
Mark as Unread
Satellites Spotting Depth
Source
文章介绍了使用深度估计模型 Depth Anything V2 处理 Maxar 卫星图像的应用。作者使用该模型处理了泰国曼谷的卫星图像，并展示了结果。文章还探讨了模型在不同图像上的表现，包括高楼和航拍图像。作者分享了安装和运行模型的步骤，并讨论了结果的局限性，例如需要进行比例调整。
Mark as Read
Mark as Unread
How we made our optical character recognition (OCR) code more accurate
Source
文章介绍了如何提高光学字符识别 (OCR) 代码的准确性。作者基于开源 OCR 引擎 [Tesseract](https://pieces.app/blog/)，通过预处理和后处理步骤增强其性能，使其更适合代码识别。预处理包括图像反转、处理渐变背景和低分辨率图像。后处理则进行布局分析，推断代码缩进。作者还通过实验评估了不同上采样方法，最终选择了双三次插值。目标是提供更准确、更快速的 OCR 模型，方便开发者从屏幕截图中获取可用代码。
Mark as Read
Mark as Unread
Overview of the Ada Computer Language Competition (1979)
Source
文章概述了1979年为美国国防部开发通用语言的竞赛。该竞赛旨在选出一种新的语言，最初被称为“DoD-1”。竞赛分为多个阶段，参与者提交语言提案，最终选出“Red”和“Green”两种语言进行改进。Intermetrics 团队设计的“Red”语言在最终阶段进行了彻底的重新设计。文章还提到了竞赛的交付成果，包括参考手册、设计原理和翻译器。虽然“Green”语言最终胜出，但文章回顾了“Red”语言在语言历史上的地位，并提及了相关文档和出版物。
Mark as Read
Mark as Unread
Sugar-Coated Poison: Benign Generation Unlocks LLM Jailbreaking
Source
该论文研究了大型语言模型（LLMs）的越狱攻击。研究发现，LLMs在生成大量良性内容后，其注意力机制会发生变化，更容易受到攻击，这被称为“防御阈值衰减（DTD）”。为了利用DTD，作者提出了一种名为“糖衣炮弹（SCP）”的越狱攻击方法，通过诱导模型生成大量良性内容，随后产生恶意内容。为了防御此类攻击，论文还提出了一种名为POSD的策略，以降低越狱成功率。
Mark as Read
Mark as Unread
Show HN: Kraa.io – Markdown editor for notes, blogs, chats
Source
Kraa.io 是一款基于 Markdown 的编辑器，专为笔记、博客和聊天场景设计。它提供了一个简洁的界面，方便用户编写和编辑 Markdown 格式的文本。
Mark as Read
Mark as Unread
文章评述了 A. N. Wilson 的传记作品，探讨了歌德的“浮士德式人生”及其对现代世界的影响。Wilson 通过歌德的代表作《Faust》来解读其一生，展现了歌德作为诗人、科学家、哲学家等多重身份的复杂性。文章分析了歌德对科学的独特见解，强调其对自然的整体性理解，并探讨了歌德对现代社会发展方向的担忧。最终，文章认为歌德是一位预言家，其作品蕴含着对未来的启示，并展现了人类在面对挑战时的希望。
Mark as Read
Mark as Unread
Convolutions, Polynomials and Flipped Kernels
Source
文章探讨了多项式乘法与卷积之间的联系。多项式乘法可以通过系数序列的配对求和来计算，这与卷积的计算方式相似，都需要“翻转”其中一个序列。文章还介绍了信号与系统中的卷积概念，LTI系统对冲击函数的响应是理解卷积的关键。卷积具有交换性等性质，最重要的是它在频域中的行为，卷积的傅里叶变换等于其操作数的傅里叶变换的乘积，这使得卷积的实现非常高效。
Mark as Read
Mark as Unread
The Future of Junior Software Engineering Roles
Source
这篇文章无法直接总结，因为正文内容是 Cloudflare 的安全验证页面，并未提供关于 "Junior Software Engineering Roles 的未来" 的任何信息。它只是一个验证用户身份的页面，无法从中提取核心观点或关键信息。
Mark as Read
Mark as Unread
Magnus Carlsen forced into a draw by more than 143000 people playing against him
Source
文章描述了对 apnews.com 网站的访问验证过程。由于安全原因，网站使用了 Cloudflare 的服务来评估连接的安全性。访问者需要通过验证才能继续访问网站内容。验证成功后，网站会等待 apnews.com 的响应。文章末尾显示了 Ray ID 和 Cloudflare 的相关信息。
Mark as Read
Mark as Unread
Disabling kernel functions in your process (2009)
Source
文章讨论了在程序中禁用 `SetUnhandledExceptionFilter` 函数的方法，以解决第三方库（如 Direct3D 和 Flash）干扰程序崩溃报告的问题。通过修改 `kernel32.dll` 中该函数的代码，将其替换为简单的返回指令，从而阻止其他库的异常过滤器覆盖程序自身的处理程序。文章提供了代码示例，并解释了修改的原理，强调了这种技术在特定场景下的实用性，并讨论了其局限性和替代方案，如 IAT 钩子。
Mark as Read
Mark as Unread
A Secret Trove of Rare Guitars Heads to the Met
Source
文章讲述了收藏家 Dirk Ziff 和 Perry Margouleff 共同打造的珍贵吉他收藏，这批藏品将被捐赠给 The Met 博物馆。 收藏涵盖了美国吉他的发展历程，包括罕见的 Les Paul、Stratocaster 等经典型号。 Margouleff 负责收藏的维护和管理，而 Ziff 则提供了资金支持。 博物馆计划在 2027 年开设永久画廊展示这些吉他，旨在展现吉他在美国文化中的重要地位。
Mark as Read
Mark as Unread
Show HN: TitleBridge - A FinalCut Workflow Plugin
Source
这款文章介绍了名为 TitleBridge 的 Final Cut Pro 插件，其核心功能是方便用户将字幕快速转化为可编辑的标题。用户无需离开 Final Cut 即可完成操作，且无需订阅任何服务。该插件支持 Apple Silicon 处理器，并强调了在 Final Cut 中直接完成所有操作的便捷性。文章还提到了系统要求、隐私政策以及获取支持的方式，支持通过 GitHub 的 Giscus 评论系统获取帮助。
Mark as Read
Mark as Unread
Show HN: apply.coop - Matching people with jobs that fit their values & passions
Source
`apply.coop` 是一个招聘平台，旨在帮助用户寻找符合价值观和兴趣的工作。该平台列出了最新的职位发布，并提供搜索、订阅等功能。职位信息包括公司、发布时间、薪资、工作地点和相关关键词。 平台还提供关于自身的信息、服务条款和隐私政策。
Mark as Read
Mark as Unread
The Value Isn't in the Code
Source
代码本身的价值远低于解决问题所需的团队、业务逻辑和设计。文章通过案例分析，强调了代码的价值在于其背后的知识、经验和对问题的理解。作者认为，代码可以被快速重建和改进，而真正有价值的是开发过程中积累的经验和对问题的深刻理解。因此，与其专注于代码本身，不如重视团队、设计和业务逻辑的构建。
Mark as Read
Mark as Unread
“ZLinq”, a Zero-Allocation LINQ Library for .NET
Source
文章介绍了`.NET`零分配`LINQ`库`ZLinq`，它基于`struct`和泛型实现零分配，并扩展了`LINQ to Span`、`LINQ to SIMD`、`LINQ to Tree`等功能。`ZLinq`旨在实现.NET 100%的方法覆盖率，并提供SIMD支持，在性能上优于标准库。文章详细阐述了`ZLinq`的架构设计、优化策略，包括`TryGetNext`、`TryGetNonEnumeratedCount`等方法，以及`LINQ to Span`和`LINQ to SIMD`的实现。最后，作者分享了开源维护的挑战和对未来发展的展望，并感谢了贡献者。
Mark as Read
Mark as Unread
文章探讨了作者对 Instagram 成瘾的经历和思考。作者曾沉迷于 Instagram，特别是短视频 Reels，并尝试戒除。文章指出，短视频的即时性和随机性使其具有高度成瘾性，类似于赌博机制。作者也承认 Instagram 提供了联系和有趣的视频内容。最终，作者卸载了 app，并采取措施限制重新安装，但意识到这种成瘾的复杂性，以及戒断的困难。
Mark as Read
Mark as Unread
Semantic search engine for ArXiv, biorxiv and medrxiv
Source
arXiv Xplorer是一个语义搜索引擎，专门用于检索ArXiv、bioRxiv和medRxiv上的论文。它利用OpenAI的Embeddings技术，提供更智能的搜索体验。该项目由ttumiel开发，并感谢这些开放获取平台的数据支持。
Mark as Read
Mark as Unread
Show HN: A Simple Server to Match Long/Lat to a TimeZone
Source
该项目是一个简单的 PHP 服务器，用于将经纬度坐标匹配到时区。它基于 [Timezone Boundary Builder Project](https://github.com/LittleGreenViper/) 的 GeoJSON 数据，提供一个 API，接收经纬度并返回对应的 [TZ](https://github.com/LittleGreenViper/) 时区名称。服务器使用 MySQL 数据库，通过 HTTP GET 请求获取数据，并提供测试功能。项目采用 MIT 许可证。
Mark as Read
Mark as Unread
文章介绍了“Quantum Picturalism”，一种简化量子概念的可视化方法。它通过加减法和角度，将复杂的量子概念转化为易于理解的视觉形式，降低了学习门槛。这种方法面向所有年龄段的学习者，旨在使量子教育更具包容性。文章还提供了相关资源，包括书籍、常见问题解答和 Discord 频道，方便读者深入了解和学习。
Mark as Read
Mark as Unread
文章介绍了 Litestream 的重大升级，这是一个用于 SQLite 的开源工具，旨在实现数据可靠恢复。 升级的核心在于提升时间点还原速度，采用了 LiteFS 的事务感知技术，通过 LTX 文件格式实现页面变更的排序和合并，类似于 LSM 树。 此外，利用对象存储的条件写入功能，解决了多实例同步问题，实现了轻量级读取副本。 新版本还支持了大量数据库的同步，并计划通过 VFS 技术进一步优化读取副本性能。 升级后的 Litestream 提供了更强大的功能，并为 AI 编码代理等应用场景提供了支持。
Mark as Read
Mark as Unread
the NSA selector 是一款 Eurorack 音频模块，它将网络流量转化为音频输出。该模块有两个以太网接口，将网络数据包转发到音频输出，不处理任何特定协议。文章介绍了其工作原理、应用示例，如音序器脚本、图像传输等，并解释了其原生音频格式。此外，还提供了技术细节、组装套件信息和购买链接。
Mark as Read
Mark as Unread
文章发布了新的订阅计划 Google AI Ultra，旨在提供对最强大 AI 模型和高级功能的最高访问权限。该计划包含 Gemini、Flow、Whisk、NotebookLM 等多项 AI 工具的增强功能，以及 YouTube Premium 和大容量存储空间。Google AI Ultra 现已在美国推出，价格为每月 249.99 美元，并计划推广到更多地区。同时，现有的 Google AI Pro 计划也进行了升级，增加了对 Flow 和 Chrome 中 Gemini 的访问权限。
Mark as Read
Mark as Unread
Red Programming Language
Source
**Red** 是一种受 **REBOL** 启发的下一代编程语言，具有人性化的语法和 **Homoiconic** 特性。它支持函数式、命令式、**reactive** 和 **symbolic** 编程，并提供基于 **Prototype** 的对象支持、强大的模式匹配和宏系统。**Red** 既可以静态编译，也可以 **JIT** 编译为原生代码，生成小于 1MB 且无依赖的可执行文件。它还具备跨平台编译、并发和并行支持、低级系统编程能力、内置 **PEG parser DSL**、快速的垃圾回收器以及跨平台原生 **GUI** 系统。**Red** 旨在成为一种全栈语言，提供从系统编程到高级脚本编写的全面能力。
Mark as Read
Mark as Unread
Gemma 3n preview: Mobile-first AI
Source
文章发布了 Gemma 3n 预览版，这是一个“移动优先”的 AI 模型。Gemma 3n 旨在为手机、平板等设备提供强大、高效的 AI 体验，并支持 Gemini Nano 的功能。该模型架构与移动硬件厂商合作开发，针对多模态 AI 进行了优化，支持音频、文本和图像处理，并改进了多语言能力。Gemma 3n 具有优化性能、多功能性、隐私保护和离线运行等特点。开发者可以通过 Google AI Studio 和 Google AI Edge 预览和使用 Gemma 3n。
Mark as Read
Mark as Unread
ChatGPT Helps Students Feign ADHD: An Analogue Study on AI-Assisted Coaching
Source
该研究探讨了使用 ChatGPT 辅助指导学生伪装 ADHD 的可能性。研究者通过 ChatGPT 生成指导信息，帮助学生在临床评估中伪装 ADHD 症状。实验结果表明，接受 AI 指导的学生在症状报告和认知表现方面进行了调整，降低了检测的灵敏度。研究认为，公众可访问的 AI 工具可能对 ADHD 评估的有效性构成威胁，并建议临床医生在使用评估材料时保持谨慎。
Mark as Read
Mark as Unread
Veo 3 and Imagen 4, and a new tool for filmmaking called Flow
Source
文章发布了最新的生成式媒体模型，包括 **Veo 3** 和 **Imagen 4**，以及电影制作工具 **Flow**。**Veo 3** 能够生成带音频的视频，并已在 **Gemini** 应用和 **Flow** 中提供。**Imagen 4** 专注于图像质量和排版，可在多个平台使用。同时，**Lyria 2** 扩展了音乐创作工具，**Flow** 则整合了 **Veo**、**Imagen** 和 **Gemini** 模型，帮助用户创作电影。文章还强调了负责任的创作，并推出了 **SynthID Detector** 用于识别 AI 生成内容。
Mark as Read
Mark as Unread
文章探讨了法国抵抗战士在被处决前所写的“最后的信”，这些信件揭示了人在面对死亡时的情感和思考。作者通过阅读这些信件，反思了生命的意义，以及如何在有限的时间内活出精彩。文章的核心观点是，从这些信件中可以学习如何生活，珍惜当下，拥抱爱与温柔，并思考如何面对死亡，从而更好地与自己和世界相处。
Mark as Read
Mark as Unread
The Dawn of Nvidia's Technology
Source
文章主要探讨了 [Nvidia](https://blog.dshr.org/2025/05/) 早期技术发展，特别是其在图形处理方面的创新。作者认为，[Nvidia](https://blog.dshr.org/2025/05/) 最初的成功得益于两项关键技术：一是采用二次面片成像模型，优化了有限的 PCI 总线带宽；二是设计了虚拟化对象架构，通过 I/O 架构和 IOMMU，实现了高效的内存访问和上下文切换，加速了创新和产品迭代。这些技术使得 [Nvidia](https://blog.dshr.org/2025/05/) 在早期图形芯片市场中脱颖而出。
Mark as Read
Mark as Unread
Ashby (YC W19) Is Hiring Engineering Managers
Source
文章是关于招聘工程经理的。 提供了关于产品、资源、客户、定价、公司故事、博客等链接。 重点介绍了公司招聘信息，并提供了关于公司、开发者等方面的链接。 强调了公司正在招聘，并鼓励人们加入。
Mark as Read
Mark as Unread
Show HN: Olelo Foil - NACA Airfoil Sim
Source
Olelo Foil 是一款用于模拟 NACA 翼型的工具。它允许用户探索和可视化不同 NACA 翼型的气动特性。该模拟器可能提供对翼型形状、升力、阻力等参数的分析，帮助用户理解翼型设计对飞行性能的影响。
Mark as Read
Mark as Unread
Show HN: Juvio – UV Kernel for Jupyter
Source
Juvio 是一个为 Jupyter Notebook 设计的内核，旨在实现可复现、依赖感知且对 Git 友好的环境。它通过内联依赖管理，允许直接在 notebook 中安装包，并将依赖项以元数据形式保存。Juvio 自动创建并使用临时的虚拟环境（基于 `uv`），确保 notebook 运行在正确的 Python 版本和包版本下。它还支持将 notebook 转换为 script 风格，简化版本控制。Juvio 简化了依赖管理，保证了可复现性，并提供了更简洁的 Git diff，无需额外的 lock 文件或 requirements 文件。
Mark as Read
Mark as Unread
Robin: A multi-agent system for automating scientific discovery
Source
文章介绍了名为 Robin 的多智能体系统，旨在自动化科学发现过程。Robin 集成了文献搜索和数据分析代理，能够自主生成假设、设计实验、分析结果并更新假设，实现半自治的科学研究。该系统成功应用于干性老年黄斑变性（dAMD）的治疗研究，提出增强视网膜色素上皮吞噬作用的策略，并发现了潜在治疗药物 ripasudil。Robin 还通过后续实验揭示了 ripasudil 的作用机制，为 AI 驱动的科学发现树立了新范例。
Mark as Read
Mark as Unread
文章介绍了 Teachable Machine，一个基于 Web 的工具，无需专业知识即可快速创建机器学习模型。用户可以通过收集样本、训练模型和导出模型三个步骤，利用图像、声音或姿势数据训练模型。该工具支持多种技术，并可用于网站、应用等项目。文章还提供了教程和示例，展示了 Teachable Machine 的应用，并提供了学习资源和常见问题解答。
Mark as Read
Mark as Unread
27000 Dragons and 10'000 Lights: GPU-Driven Clustered Forward Renderer
Source
文章介绍了一个基于 GPU-Driven 的 Clustered Forward 渲染器，该渲染器能够在 GTX 1070 上以超过 60fps 的速度渲染 27000 个模型和 10000 盏灯。文章详细阐述了 GPU-Driven 渲染的优势，包括减少 draw call、使用 compute shader 进行剔除和压缩 draw buffer。此外，文章还介绍了 Clustered Shading 技术，通过将视锥体分割成集群来减少片段着色成本，并给出了集群分配和着色实现的细节。最后，文章展示了渲染器的性能结果，并分享了代码和优化策略。
Mark as Read
Mark as Unread
The Fractured Entangled Representation Hypothesis
Source
该项目是关于“分裂纠缠表示假说”的立场文件及其代码。研究比较了通过进化过程和随机梯度下降训练的神经网络，在生成图像任务中的内部表征差异。结果表明，虽然两者输出相同，但SGD训练的网络呈现“分裂纠缠表征”（FER），而进化网络更接近“统一因子表征”（UFR）。FER可能降低模型泛化、创造力和学习能力，理解和减轻FER对未来表征学习至关重要。项目提供了代码、数据和可视化，方便研究。
Mark as Read
Mark as Unread
Microsoft-backed Builder.ai enters insolvency proceedings
Source
由微软支持的 AI 软件公司 Builder.ai 已进入破产程序。这家曾融资超 4.5 亿美元的独角兽公司，以其 AI 平台简化应用和网站构建而闻名。公司声明称，尽管团队努力，仍未能摆脱历史挑战和财务压力。Builder.ai 将任命管理人处理事务，并探索业务选项。此前，公司曾面临领导层变动和财务问题，包括下调收入预期和前员工指控夸大销售额。
Mark as Read
Mark as Unread
Show HN: A Tiling Window Manager for Windows, Written in Janet
Source
文章介绍了 Jwno，一款基于 Windows 平台的平铺窗口管理器，使用 Janet 语言编写。它提供了安装指南、功能特性、按键绑定、命令、Hooks、Modules、REPL、Frame Tree 等功能，并提供了 Cookbook 和开发指南。文章还提供了快速链接，方便用户了解和使用。
Mark as Read
Mark as Unread
Show HN: 90s.dev - game maker that runs on the web
Source
文章介绍了 90s.dev，一款在 Web 上运行的游戏制作工具。它基于 HTML canvas，提供 320x180 像素的屏幕，支持 Web Workers 保证性能，并提供对 WebGL2 的访问。该工具受 pico8 等游戏开发工具启发，具有创新的 GUI API，包括自动布局、Refs 和 Composites 等特性。用户可以通过 GitHub 或 NPM 发布和加载应用程序。文章强调社区优先，鼓励用户制作和分享游戏制作工具和游戏。
Mark as Read
Mark as Unread
Show HN: Astra – a new js2exe compiler
Source
Astra 是一个 js-to-exe 编译器，旨在快速、可靠且易于使用。它主要用于编译服务器和 CLIs，而非 Electron 应用。Astra 编译后的 exe 文件通常较小（约 70-80MB），支持 ESM，并提供自定义 exe 元数据、内置压缩等功能。它使用 esbuild 进行构建，提供良好的开发者体验。目前仅支持 Windows，macOS 和 Linux 版本正在开发中。用户可以通过 npm、yarn 或 pnpm 全局安装或在项目中安装使用，并使用 `astra build` 命令进行编译。
Mark as Read
Mark as Unread
If an AI agent can't figure out how your API works, neither can your users
Source
文章指出，基于 LLM 的 AI Agent 正在成为开发者的新助手，它们通过阅读文档、发送请求、解析错误等方式与 API 交互。文章强调，如果 AI Agent 无法理解和使用 API，那么人类开发者也会遇到同样的问题。因此，改进 API 的开发者体验（DX）对 AI Agent 和人类开发者都至关重要。文章提出了构建对 AI Agent 友好的 API 的六大最佳实践，包括提供一致的设计、清晰的文档、详细的错误信息、示例和教程、简洁的设计以及闭环反馈。最终，文章强调，优秀的 DX 是双赢的，改进 AI Agent 的体验，也能提升所有用户的体验。
Mark as Read
Mark as Unread
文章是关于作者对 OpenAI 的 Codex 的实践体验评测。作者喜欢 Codex 的多线程任务处理，认为它能支持自由工作流，并能通过聊天进行跟进和打开 PR。但同时也指出了 Codex 存在的问题，如错误处理差、代码质量有待提高、不支持在分支上多轮更新以及缺乏网络连接等。作者认为 Codex 尚未带来疯狂的生产力提升，但未来改进后潜力巨大，尤其是在处理维护任务和小更新方面。
Mark as Read
Mark as Unread
Deep Learning Is Applied Topology
Source
文章探讨了深度学习与拓扑学的结合。它指出，深度学习模型可以被视为高维空间中的数据，而拓扑学则提供了分析这些数据形状和结构的工具。这种结合有助于理解和改进深度学习模型，例如，通过拓扑数据分析（TDA）来研究神经网络的“形状”，从而揭示其学习过程和泛化能力。文章强调了这种跨学科研究的潜力，可以帮助我们更好地理解和优化深度学习算法。
Mark as Read
Mark as Unread
The Lisp in the Cellar: Dependent types that live upstairs [pdf]
Source
本文介绍了一种基于 Clojure 的 dependently-typed 编程语言——Deputy。它旨在探索基于 Lisp 的 REPL 驱动的交互式开发流程，尤其是在类型检查期间。Deputy 允许程序员编写可计算类型的代码，类型级别的计算可以依赖于值，实现强大的编程模式，并且类型检查在编译时进行。该系统作为一个 Clojure 库开发，宿主语言在类型编程时仍然可用。
Mark as Read
Mark as Unread
Clojuring the web application stack: Meditation One
Source
文章探讨了使用 Clojure 构建 Web 应用栈的思路。核心观点是，在 Clojure 生态中，由于缺乏标准框架，开发者需要深入理解 Web 框架架构。文章强调了 Ring 项目的重要性，它定义了 Clojure Web 开发的标准 HTTP 库集合。作者提倡通过组合库而非依赖框架来构建应用，并介绍了 Ring 与 Jetty 的经典组合。文章还讨论了 Web 应用本质上是多态分发器，以及如何使用函数式编程构建可组合的 Web 应用。
Mark as Read
Mark as Unread
llm-d, Kubernetes native distributed inference
Source
文章介绍了 llm-d，一个基于 Kubernetes 的分布式 LLM 推理框架。llm-d 旨在通过结合 vLLM、Kubernetes 和 Inference Gateway，提供高性能、模块化的 GenAI 部署方案。它利用分离式服务、前缀缓存感知路由等技术优化推理，并支持跨硬件、工作负载和流量的自动缩放。llm-d 社区欢迎 AI 工程师和研究人员参与，并提供了快速入门指南。
Mark as Read
Mark as Unread
Show HN: Text to 3D simulation on a map (does history pretty well)
Source
该项目展示了将文本转化为3D模拟的成果，尤其在历史事件的表现上。用户可以使用方向键导航，并体验如希波战争、罗马内战和哥斯拉袭击东京等场景。界面显示了时间轴和天气图标，并有WebSocket连接状态提示。
Mark as Read
Mark as Unread
Why Does the U.S. Always Run a Trade Deficit?
Source
文章探讨了美国持续贸易逆差的原因。核心观点是，贸易逆差并非简单源于进出口差额，而是宏观经济现象，反映了国内储蓄不足以支撑投资支出。文章通过会计恒等式解释了贸易逆差与储蓄、投资之间的关系。数据表明，美国储蓄长期低于投资，导致需要从国外借款。文章还指出，减少贸易逆差需要同时增加出口和缩小储蓄与投资的差距，而非仅仅关注特定商品的进出口。
Mark as Read
Mark as Unread
Reports of Deno's Demise Have Been Greatly Exaggerated
Source
针对近期对 Deno 的批评，文章澄清了事实。Deno 的采用率在过去六个月内翻了一番，并非衰落。关于 Deno Deploy，文章解释了区域缩减是基于成本和使用情况的优化，并计划将其发展为托管应用程序的平台。Deno KV 将继续保持 beta 状态，并探索更深层次的集成。Fresh 仍在积极开发中，Fresh 2 即将发布。Deno 作为一个完整的平台，提供了 TypeScript、安全执行、LSP 集成、npm 兼容性等功能。文章强调 Deno 致力于改进 JavaScript 开发，并展望了 JSR、TC39 等未来发展。
Mark as Read
Mark as Unread
Show HN: JavaFactory – IntelliJ plugin to generate Java code
Source
JavaFactory 是一个 IntelliJ 插件，用于使用 LLM 自动生成 Java 代码，旨在提供比传统 AI 代码生成器更可预测的结果。它基于模式定义和注解引用收集。开发者可以用自然语言定义工作单元（如测试生成），并使用注解指定所需的类。模式可重复使用，生成实现、测试等代码。插件提供 UI 用于编辑系统和用户提示，通过 `@JavaFactoryData` 和 `@JavaFactoryApi` 注解控制代码生成所需的类。 推荐给对传统 AI 代码生成器结果不满意的开发者，以及在重复、结构化环境中工作的开发者。
Mark as Read
Mark as Unread
Using elliptic curves to solve a math meme
Source
文章探讨了如何使用椭圆曲线解决一个复杂的数学 Meme 问题。作者首先介绍了该问题的背景，源于网络上流行的“表情符号数学题”。为了解决这个问题，作者将其转化为椭圆曲线，并利用“画线”技巧，即通过连接椭圆曲线上的已知有理点，找到新的有理点。文章详细阐述了这种方法的原理，并展示了如何通过代数运算找到新的解，为解决该问题提供了思路。
Mark as Read
Mark as Unread
文章探讨了AI的能源消耗及其对环境的影响。虽然单个AI查询的能耗看似微小，但考虑到行业未追踪的能源使用、AI应用的快速增长以及未来发展趋势，问题变得严峻。文章分析了AI模型训练和推理的能耗，指出数据中心是主要消耗者，并强调了数据中心用电的碳排放问题。文章还提到了科技公司为满足AI需求而采取的措施，如建设核电站和大型数据中心。最后，文章强调了AI能源消耗的透明度问题，并预测未来AI能源需求将大幅增长，呼吁关注AI对能源网络和排放的潜在影响。
Mark as Read
Mark as Unread
A simple search engine from scratch
Source
文章介绍了基于词嵌入（word2vec）构建简单搜索引擎的实践。作者与他人合作，利用词嵌入将文章和搜索词映射到向量空间，通过计算余弦相似度进行排序。文章详细阐述了嵌入单词、嵌入所有文章、构建搜索前端以及评估搜索效果的流程。为了优化性能，作者还探讨了在GitHub Pages上托管索引和词向量，以及使用HTTP Range请求按需加载数据的方法。最后，文章还提出了使用TF-IDF等技术改进搜索的未来方向。
Mark as Read
Mark as Unread
The Behavior of LLMs in Hiring Decisions: Systemic Biases in Candidate Selection
Source
文章探讨了大型语言模型（LLM）在招聘决策中可能产生的系统性偏差。研究表明，LLM 在评估候选人时，可能会受到训练数据中存在的偏见的影响，导致不公平的候选人选择。这可能导致对某些群体或特征的歧视，从而影响招聘结果的公平性和多样性。文章暗示了在使用 LLM 进行招聘时，需要特别注意并采取措施减轻这些潜在的偏见，以确保招聘过程的公正性。
Mark as Read
Mark as Unread
Center for AI Safety's new spokesperson suggests „burning down labs"
Source
这篇文章的核心内容是：一个关于 AI 安全的讨论，但具体细节缺失。文章仅提示了在访问 x.com 时可能遇到的问题，建议用户禁用某些隐私扩展程序。文章本身没有提供关于 AI 安全中心新发言人的具体信息，也没有提及“烧毁实验室”的建议。
Mark as Read
Mark as Unread
I trapped an AI model inside an art installation [video]
Source
作者将一个 AI 模型融入到名为 *Latent Reflection* 的艺术装置中。该装置于2025年5月19日发布，并提供了相关信息链接。视频展示了该艺术装置，并使用了 Drastik - Terence Fixmer 的音乐。
Mark as Read
Mark as Unread
Finland announces migration of its rail network to international gauge
Source
芬兰政府计划将其铁路轨距从俄罗斯标准改为欧洲标准，以加强与欧盟和 NATO 的联系。此举旨在提升军事机动性和区域安全，尤其是在芬兰加入 NATO 后。项目将首先在北部地区启动，消除芬兰、瑞典和挪威之间的运输障碍。预计最终决定将在 2027 年做出，建设于 2032 年左右开始，耗资巨大，并可能获得欧盟资金支持。这项转变代表了芬兰的地缘政治战略调整，使其基础设施与欧洲全面对齐。
Mark as Read
Mark as Unread
The Entropy of Thought: Why Our Minds Gravitate Toward Divided Realities
Source
文章探讨了思维中信念的形成与演变，认为个体通过体验将情感与外部刺激关联，构建了情感记忆库。随着时间推移，新的体验会改变这些关联，形成情感的平均值。文章指出，物理实体倾向于分散，而数字实体倾向于聚集，这两种趋势分别对应着物理学和信息动力学中的熵。最终，文章介绍了利用 AI 观察心跳模式，以应对社交焦虑和 ADHD 等问题，并提到了相关研究和平台。
Mark as Read
Mark as Unread
Questioning Representational Optimism in Deep Learning
Source
文章探讨了深度学习中表征乐观主义的局限性，提出了“Fractured Entangled Representation (FER)”假说。研究发现，通过随机梯度下降训练的神经网络，虽然能产生与进化网络相同的输出，但其内部表征呈现出无序的FER形式。而进化网络则更接近“unified factored representation (UFR)”。FER可能影响模型的泛化、创造力和学习能力，因此理解和减轻FER对未来表征学习至关重要。
Mark as Read
Mark as Unread
Hypervisor as a Library
Source
文章提出了一种将 Hypervisor 作为库的设计模式，用于在 Starina 操作系统上提供 Linux 兼容性。作者通过 `starina_linux::Command` API，允许 Rust 应用程序像使用 `std::process::Command` 一样运行 Linux 程序，底层通过轻量级虚拟机实现。这种设计模式简化了与 Hypervisor 的交互，并能直接访问 guest 内存，提供了更高的灵活性和潜在的性能优势。文章还探讨了将 Linux VM 嵌入应用程序的可行性，并展望了未来更像容器的体验。
Mark as Read
Mark as Unread
Making Video Games (Without an Engine) in 2025
Source
文章作者分享了2025年游戏开发不使用大型游戏引擎的经验。他认为，相比使用Unity或Unreal等引擎，自制小型工具能带来更多乐趣和控制权，并避免了引擎带来的潜在问题。他详细介绍了自己的开发流程，包括使用C#作为编程语言，SDL3进行跨平台渲染和输入，FMOD处理音频，以及自定义关卡编辑器和UI。作者还提到了对Linux的偏好，以及对Godot等其他选择的看法。文章强调了不依赖大型引擎进行游戏开发的可能性，并鼓励开发者根据自身情况选择合适的方式。
Mark as Read
Mark as Unread
I got fooled by AI-for-science hype–here's what it taught me
Source
文章作者分享了其在等离子体物理研究中使用 AI 的经历，最初对“AI for Science”抱有乐观态度，但实际应用效果未达预期。作者发现，AI 方法在求解偏微分方程（PDEs）时表现脆弱，与标准数值方法相比优势有限，甚至不如预期。文章指出，AI 领域存在过度乐观、弱基线比较和报告偏差等问题，导致对 AI 在科学领域潜力的夸大。作者认为，AI 在科学领域的成功可能更多源于对科学家的吸引力，而非真正推动科学进步。最终，作者对 AI 在加速科学发展方面的作用持谨慎态度。
Mark as Read
Mark as Unread
Ann, the Small Annotation Server
Source
Ann 是一个基于 ActivityPub 的小型、去中心化的 annotation 服务器，核心是 [Web Annotations]。它允许用户存储、发送和接收 annotations，例如评论、推荐或点赞。与传统社交媒体不同，Ann 本身不是一个网页，而是一个服务器，需要与前端应用结合使用。
Ann 的应用场景广泛，包括 Gemini 浏览器评论区、研究部门的私有设置、文章推荐、浏览器插件、AI 训练、笔记软件插件等。其目标是让各种应用程序通过自托管 annotation 服务器实现社交功能，从而摆脱对中心化解决方案的依赖，保护用户隐私，让用户掌控内容消费方式。
Mark as Read
Mark as Unread
Biff – a batteries-included web framework for Clojure
Source
Biff 是一款为独立开发者设计的开箱即用的 Clojure Web 开发框架。它整合了 XTDB、Malli、htmx 等工具，简化了项目启动流程，避免了复杂的配置。Biff 提供基于邮件的无密码身份验证，支持快速部署，并简化了 REPL 的使用。它拥有完善的文档，方便用户快速上手和深入学习。Biff 旨在提供强大的默认设置，同时也具备灵活性，方便用户根据需求进行定制和修改。
Mark as Read
Mark as Unread
Show HN: A free, privacy preserving, archive of public Discord servers
Source
这是一个免费且注重隐私的公共 Discord 服务器档案。它提供服务器浏览、选择退出功能和关于该项目的介绍。用户可以通过搜索功能查找特定内容，支持多种搜索参数，例如按时间排序、图片、文件类型等。
Mark as Read
Mark as Unread
What are people doing? Live-ish estimates based on global population dynamics
Source
这篇文章基于全球人口动态，模拟昼夜循环，实时估算全球人口活动。截至2025年5月20日，全球人口约82.2亿，每秒净增长2.3人。文章将人们的活动分解为多个类别，包括睡觉、家庭照料、有偿工作、休闲娱乐等，并给出了每个活动参与人数的实时估算。作者还提供了计算方法、创作初衷和更新日志的链接。
Mark as Read
Mark as Unread
Memory Consistency Models: A Tutorial
Source
本文是关于内存一致性模型的教程，主要探讨了多线程程序中共享内存的可见性和操作顺序问题。文章首先介绍了顺序一致性模型，它提供直观的并行编程体验，但性能较差。随后，文章讨论了总存储顺序(TSO)等更宽松的内存模型，这些模型通过存储缓冲区等优化提高了性能，但也可能导致程序员意想不到的行为。文章还提到了编译器优化带来的内存重新排序问题，以及C++和Java等语言的内存模型。最后，文章强调了数据竞争的概念，以及使用同步库来避免复杂内存模型带来的问题。
Mark as Read
Mark as Unread
A shower thought turned into a Collatz visualization
Source
文章源于作者在淋浴时的灵感，将Collatz猜想的可视化作为主题。作者提出将Collatz函数迭代过程转化为二进制序列，再转换为分数，从而绘制图像。通过JavaScript实现，作者展示了不同输入下的分数分布图，并发现其呈现出有趣的自相似性。随后，作者借鉴了James Gleick的技巧，将连续分数对作为坐标绘制，生成了更具结构感的图形。最终，作者找到了与此类似的已有研究，并鼓励读者探索和发现图中的有趣模式。
Mark as Read
Mark as Unread
DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage
Source
DDoSecrets 公布了从 TeleMessage 泄露的 410 GB 数据，这些数据是该公司归档服务器的堆转储。TeleMessage 是一家以色列公司，其产品修改了 Signal、WhatsApp 等应用，用于消息归档。由于数据敏感，包含大量个人信息，DDoSecrets 仅与记者和研究人员分享。文章回顾了相关事件的时间线，包括黑客攻击、源代码泄露以及对 TeleMessage 安全性的质疑。
Mark as Read
Mark as Unread
is-even-ai – Check if a number is even using the power of AI
Source
`is-even-ai` 是一个使用 AI 判断数字是否为偶数的 npm 包，它基于 OpenAI 的 GPT-3.5-turbo 模型。该包提供 `isEven`、`isOdd`、`areEqual` 等方法，方便开发者在项目中使用 AI 功能。安装后，通过设置 API 密钥即可调用这些方法。文章还提供了更高级的用法，允许用户自定义模型和参数。
Mark as Read
Mark as Unread
A Formal Mathematical Investigation on the Validity of Kellogg's Glaze Claims
Source
这篇文章无法总结，因为正文内容显示由于网络策略，请求被阻止，无法获取文章内容。文章提供了登录或创建账户、注册开发者凭据、设置User-Agent等解决访问问题的建议，并提供了联系方式。
Mark as Read
Mark as Unread
Self-Hosting Moose with Docker Compose, Redis, Temporal, Redpanda and ClickHouse
Source
文章介绍了使用 Docker Compose 在单个服务器上自托管 Moose 应用程序的步骤，包括集成 Redis、Temporal、Redpanda 和 ClickHouse。 重点在于通过 Docker Compose 简化部署流程，并提供生产环境的配置建议，如安全配置 Clickhouse、保护 Redpanda、配置 Temporal。文章还提供了启动、管理服务、部署工作流程以及监视和维护的指导，并推荐了 CI/CD 自动部署和手动部署两种方式。
Mark as Read
Mark as Unread
该文章介绍了 Terraform MCP Server，它旨在与 Terraform 生态系统集成，提供 IaC 开发的自动化和交互功能。它支持自动化 provider 和模块发现，提取和分析 Terraform Registry 数据，获取 provider 资源信息，并探索 Terraform 模块。文章还提供了使用 Docker 或从源代码构建和配置该服务器的说明，以及在 VS Code 和 Claude Desktop 中使用的示例。此外，文章还包含了工具集、开发、测试、贡献、安全、支持和许可证等信息。
Mark as Read
Mark as Unread
文章宣布了 Have I Been Pwned 2.0 网站正式上线。新版本网站经过全面重建，改进了搜索功能，增加了彩带动画，并移除了用户名和电话号码搜索。文章详细介绍了新的 breach 页面，提供了更具体的 breach 后建议，并推出了仪表盘功能，整合了多种功能。此外，还更新了域名搜索功能和 API 文档，并推出了周边商店。文章还分享了技术细节，包括网站使用的技术栈，以及 AI 在开发过程中的应用。
Mark as Read
Mark as Unread
Hotspot: Linux `perf` GUI for performance analysis
Source
`Hotspot` 是一个由 `KDAB` 开发的基于 Linux `perf` 的 GUI 性能分析工具，主要用于图形化展示和分析 `perf.data` 文件。它提供类似 `KCachegrind` 的用户界面，支持可视化数据、时间线过滤、`off-CPU` 分析、嵌入式系统分析、导入导出等功能。文章介绍了 `Hotspot` 的安装方法（包括 AppImage），构建方法，使用方法，已知问题，以及与 `Qt Creator` 的关联。该工具允许用户通过图形界面更方便地进行性能瓶颈分析。
Mark as Read
Mark as Unread
Jules: An Asynchronous Coding Agent
Source
Jules 是一个异步的 Coding Agent，由 Gemini 2.5 Pro 和 AIDA 团队开发，旨在帮助开发者完成代码任务，例如修复 bug、版本更新、测试和构建功能，从而节省时间。它与 GitHub 集成，支持仓库导入、分支变更和 PR 创建。Jules 会在 Cloud VM 中克隆代码，运行或创建测试，并展示变更的 diff。用户可以通过编写提示来指示 Jules 执行任务，并批准代码编辑。Jules 还提供音频摘要，方便用户快速了解更改。
Mark as Read
Mark as Unread
Kilo: A text editor in less than 1000 LOC with syntax highlight and search
Source
Kilo 是一个用 C 语言编写的小型文本编辑器，代码量少于 1000 行，支持语法高亮和搜索功能。它不依赖任何库，使用 VT100 转义序列。Kilo 提供了基本的编辑功能，如保存、退出和查找。该项目由 antirez 开发，基于 BSD-2-Clause 许可证发布，并鼓励开发者将其作为构建更高级编辑器的起点。
Mark as Read
Mark as Unread
WireGuard-vanity-keygen: WireGuard vanity key generator
Source
文章介绍了 `WireGuard-vanity-keygen`，一个用于生成 `WireGuard` 个性化公钥的命令行工具。它基于 `curve25519` 算法，支持多核处理、大小写敏感、正则表达式搜索等功能。用户可以自定义搜索前缀，并设置结果限制。文章提供了使用示例、安装方法和耗时预估，以及关于正则表达式的说明。该工具主要用于识别 `WireGuard` 连接，并展示了 Golang 多核处理的应用。
Mark as Read
Mark as Unread
CERN gears up to ship antimatter across Europe
Source
CERN 正在研发一种便携式反物质约束装置，以便在欧洲范围内运输反物质。由于现有设施的干扰，CERN 希望将反物质转移到其他实验室进行更精确的测量。该装置是一个两米长的容器，包含超导磁体、电池和电子设备，用于捕获和约束反物质。测试中，该装置成功地在 CERN 园区内运输了质子。研究表明，液氦是运输的关键限制因素。CERN 计划将该技术用于更远距离的运输，例如运往德国的实验室，以进行更精确的反物质研究。
Mark as Read
Mark as Unread
A Scientist Fighting Nuclear Armageddon Hid a 50-Year Secret
Source
请提供文章正文内容，我将根据你提供的规则进行总结。
Mark as Read
Mark as Unread
The forbidden railway: Vienna-Pyongyang (2008)
Source
文章讲述了作者Helmut计划并最终实现的“禁忌”火车旅行——从维也纳经俄罗斯前往朝鲜平壤。作者自幼热爱火车旅行，对朝鲜的孤立和神秘充满好奇。他通过阅读、论坛讨论和亲身经历，了解到经图们江进入朝鲜的路线，尽管官方禁止，但仍存在可能性。最终，作者与朋友秘密预订了朝鲜旅行，并成功获得了签证，准备挑战这条“禁忌”路线。
Mark as Read
Mark as Unread
Designing type inference for high quality type errors
Source
文章探讨了如何设计类型推断系统以生成高质量的错误信息，从而改善开发者体验。核心观点是，现有语言中类型推断的坏名声源于设计决策，而非类型推断本身。文章提出了几个关键规则：避免猜测和回溯，不要过早下结论，鼓励用户通过显式类型注释来澄清意图，并确保所有可推断的类型都可显式编写。文章还强调了避免在运行时模型中包含静态类型推断的重要性。最终目标是设计一个更易于调试的类型系统，即使在复杂的类型推断场景下也能提供清晰的错误提示。
Mark as Read
Mark as Unread
W.a.s.t.e. Not: John Scanlan looks for the future in the dustbins of history
Source
文章围绕 John Scanlan 的著作《垃圾的观念：关于人类生命的局限》展开，探讨了“垃圾”在社会中的多重含义。文章追溯了垃圾与政治、文化、科技的交织，从古代的下水道到现代的数据中心，揭示了人类文明试图消除垃圾的努力，以及垃圾以各种形式回归的现象。作者认为，垃圾不仅仅是废弃物，更是一种观念，反映了人类对世界的感知。文章还探讨了垃圾的回收、再利用，以及现代社会中媒体垃圾的产生，最终强调了垃圾的永恒性，以及它对人类生命局限性的挑战。
Mark as Read
Mark as Unread
该文章介绍了使用 Claude Code SDK，实现以编程方式集成 Claude Code 的方法。SDK 支持命令行使用，允许开发者构建 AI 驱动的编码助手，例如通过管道输入、JSON 输出等方式调用。文章详细阐述了基本用法、多轮对话、自定义系统提示、MCP 配置等高级功能，并提供了 CLI 选项和输出格式的说明。此外，还给出了脚本集成、文件处理、会话管理等示例，以及最佳实践和实际应用，例如 GitHub Actions 集成。
Mark as Read
Mark as Unread
Microsoft's ICC blockade: digital dependence comes at a cost
Source
文章指出，由于美国对国际刑事法院（ICC）的制裁，ICC 检察官无法访问其 Microsoft 账户，凸显了数字依赖美国 IT 服务的风险。文章分析了这种依赖可能带来的地缘政治影响，特别是对于不愿完全遵循美国立场的组织。 欧洲各国政府依赖 Microsoft 服务，但文章警告，国家安全不应依赖于服务协议的信誉。文章呼吁寻找欧洲替代服务，以实现数字自主，但同时也指出了这些替代方案的企业级准备、安全性和自主性问题。
Mark as Read
Mark as Unread
Writing into Uninitialized Buffers in Rust
Source
文章探讨了在 Rust 中安全写入未初始化 buffer 的方法，核心是引入了 `Buffer` trait。该 trait 定义了 `parts_mut` 和 `assume_init` 方法，允许安全地操作未初始化的内存。文章介绍了 `Buffer` trait 在 `rustix` 库中的实现，支持 `&mut [u8]`、`&mut [MaybeUninit]` 和 `Vec` 的备用容量，并展示了其使用方法。文章还讨论了 `Buffer` trait 的底层实现、错误信息问题，以及未来可能改进的方向，例如引入 `Cursor` API 以实现更安全的写入方式。最终，文章认为该设计值得考虑用于 Rust 的标准库，以替代现有的 `BorrowedBuf`。
Mark as Read
Mark as Unread
Show HN: Windows 98 themed website in 1 HTML file for my post punk band
Source
这篇文章展示了一个以Windows 98为主题的乐队网站，该网站仅用单个HTML文件构建。网站模拟了Windows 98的桌面界面，包含“我的电脑”、“回收站”等图标，点击后可访问乐队的音乐、演出活动、社交媒体、周边商品、邮件列表等信息。网站还提供了乐队的音乐试听链接，以及演出预定和联系方式。此外，网站还包含一些“机密信息”和“快速链接”，增加了趣味性。
Mark as Read
Mark as Unread
Single RGB camera turns your palm into a keyboard for mixed reality interaction
Source
文章介绍了一种名为 Palmpad 的混合现实交互技术，该技术使用单个 RGB 相机和 Arduino，将手掌变成虚拟键盘。通过相机追踪手指动作，结合电信号检测，Palmpad 能够实现可靠的触摸识别，准确率达 97%。该技术解决了混合现实交互中控制器笨重和打字不便的问题。
Mark as Read
Mark as Unread
Dilbert creator Scott Adams says he will die soon from same cancer as Joe Biden
Source
“Dilbert”作者Scott Adams在节目中透露，他患有与Joe Biden相同的晚期前列腺癌，癌细胞已扩散至骨骼。他表示预计今年夏天去世。Adams因创作讽刺漫画《Dilbert》成名，近年来活跃于社交媒体，分享政治观点。文章还提到Biden也在与“侵略性”前列腺癌作斗争，Adams表达了对Biden及其家人的慰问。
Mark as Read
Mark as Unread
Glasskube (YC S24) is hiring in Vienna to build Open Source deployment tools
Source
Glasskube (YC S24) 正在维也纳招聘创始工程师，构建开源部署工具，专注于提高工程师生产力。该职位要求至少一年经验，熟悉 Go、TypeScript、Kubernetes 和 Docker。 团队使用 PostgreSQL，并致力于开源。 申请者无需深厚 DevOps 背景，但需具备好奇心、主动性和内在驱动力。 招聘流程包括视频通话、Coding Challenge 和团队面谈。
Mark as Read
Mark as Unread
文章介绍了名为“Bits with Soul”的讲座，由 Simon 主讲。讲座内容涉及赋予代码“灵魂”的概念，并提供了观看讲座的链接。文章还包含了对 Simon 的采访链接，进一步探讨了该主题。
Mark as Read
Mark as Unread
Game theory illustrated by an animated cartoon game
Source
这篇文章是一个互动式游戏图解，探讨了信任的演变。它通过动画卡通的形式，向读者展示了博弈论在信任建立和瓦解中的作用。文章提供了多种语言的翻译版本，方便不同地区的读者理解。核心在于解释为什么人们不再互相信任，以及如何修复这种信任危机。
Mark as Read
Mark as Unread
Edit is now open source
Source
文章宣布了命令行文本编辑器 Edit 的开源。Edit 是一个轻量级的、非模态的编辑器，支持鼠标模式、多文件打开、查找替换和自动换行等功能。它旨在为 64 位 Windows 提供默认的 CLI 编辑器，避免了传统模态编辑器学习曲线。用户现在可以从 GitHub 构建或安装 Edit，未来将在 Windows Insider Program 中提供预览，并作为 Windows 11 的一部分发布。
Mark as Read
Mark as Unread
GitHub Copilot Coding Agent
Source
GitHub 发布了 Copilot 编码助手（Coding Agent）的公开预览版。该助手允许用户将 issue 分配给 Copilot，由其在后台使用 GitHub Actions 自动完成代码修改、测试和推送。用户可以审查 Copilot 的 pull request，或在本地 IDE 中继续工作。Copilot 擅长处理复杂度中低的任务，如添加功能、修复错误等。该功能面向 Copilot Pro+ 和 Copilot Enterprise 订阅者开放，使用会消耗 GitHub Actions 分钟数和 Copilot 高级请求。 预览版已在 GitHub Mobile 和 GitHub CLI 上推出，并计划逐步扩展。
Mark as Read
Mark as Unread
xAI's Grok 3 comes to Microsoft Azure
Source
微软成为首批托管 xAI 的 Grok AI 模型的超大规模厂商之一，通过 Azure AI Foundry 平台提供 Grok 3 和 Grok 3 mini。这些模型将享受与微软产品相同的服务级别协议，并由微软直接计费。Grok 以其“前卫”和愿意回答争议性问题而闻名，但近期也因争议性内容和审查行为受到关注。Azure 上的 Grok 3 和 Grok 3 mini 模型相比 X 上的版本有所限制，并提供额外的数据集成、定制和治理功能。
Mark as Read
Mark as Unread
The Windows Subsystem for Linux is now open source
Source
微软宣布 Windows Subsystem for Linux (WSL) 开源。这意味着驱动 WSL 的代码现在可以在 GitHub 上获取，开发者可以下载、构建、修复和添加新功能。文章概述了 WSL 的架构和主要组件，包括命令行工具、服务、Linux 守护进程等。此前，WSL 的部分组件如 `wslg` 和 `WSL2-Linux-Kernel` 已经开源。文章回顾了 WSL 的发展历程，从 WSL 1 到 WSL 2，以及开源的意义和对社区的期望。
Mark as Read
Mark as Unread
European Investment Bank to inject €70B in European tech
Source
欧洲投资银行 (EIB) 计划在 2027 年前向欧洲科技领域注资 700 亿欧元，旨在缩小与美国的创新差距。此举将重点支持人工智能、军用无人机等新兴技术，并吸引更多私人投资，预计可释放 2500 亿欧元资金。EIB 将加快风险资本融资流程，并推出 TechEU 计划，简化融资申请。此举也旨在利用地缘政治机遇，吸引国际投资者，并加强国防和安全领域的投资，从而促进欧洲科技发展，确立其全球科技领导者地位。
Mark as Read
Mark as Unread
'Turbocharged' Mitochondria Power Birds' Epic Migratory Journeys
Source
文章探讨了鸟类迁徙的能量来源。研究发现，鸟类飞行肌肉中的线粒体在迁徙期间数量增加、效率提高，如同“涡轮增压”，为鸟类提供长途飞行的动力。这种线粒体的变化是季节性的，并在迁徙结束后恢复正常。研究通过实验室和野外实验，揭示了线粒体在鸟类迁徙中的关键作用。
Mark as Read
Mark as Unread
Too Much Go Misdirection
Source
文章探讨了Go语言中因接口设计和标准库实现导致的“多层重定向”问题。为了优化图像解码效率，作者尝试直接从`io.Reader`中提取字节数据，避免不必要的拷贝。然而，由于标准库中`bytes.Reader`未实现`Peek`方法，以及`bufio.Reader`的封装，导致作者需要进行多层类型检查和解包，最终实现零拷贝的尝试变得复杂。文章批评了这种设计，认为`bytes.Reader`应该实现`Peek`，并指出这种“影子API”增加了代码复杂性，限制了优化空间。
Mark as Read
Mark as Unread
23andMe Sells Gene-Testing Business to DNA Drug Maker Regeneron
Source
破产的基因检测公司23andMe将其包含约1500万份DNA样本的数据银行以2.56亿美元出售给药物开发商。买方承诺遵守23andMe的隐私政策，允许客户删除个人信息。23andMe因基因检测业务未能盈利而申请破产，其核心资产为客户遗传数据。出售过程将由隐私权监察员监督，确保遵守隐私法规。Regeneron将继续运营23andMe的个人基因组服务。此次出售尚待破产法官批准，同时23andMe也在处理数据泄露相关的集体诉讼。
Mark as Read
Mark as Unread
Zod 4 发布，这是一个更快、更精简的版本，改进了性能和功能。新版本解决了 Zod 3 的设计限制，提升了字符串、数组、对象解析速度，并显著减少了 `tsc` 实例化。Zod 4 引入了 `Zod Mini`，一个更轻量级的 API，以减小包体积。此外，还增加了元数据、JSON Schema 转换、递归对象、文件 schema、国际化、错误漂亮打印、顶级字符串格式、模板字面量类型、数字格式、`stringbool` 等新功能。错误自定义 API 得到简化，`z.discriminatedUnion()` 得到升级。
Mark as Read
Mark as Unread
SDB Scans the Ruby Stack Without the GVL
Source
文章介绍了 SDB 如何在没有 GVL (Global VM Lock) 的情况下扫描 Ruby 堆栈。文章内容主要集中在技术实现层面，但由于只提供了标题和导航菜单，缺乏具体的技术细节和实现方法。因此，无法得知 SDB 的具体工作原理和优势。
Mark as Read
Mark as Unread
Kelp – simple replacement for homebrew on macOS
Source
Kelp 是一个用 Go 编写的、针对 macOS 的 Homebrew 替代方案，用于安装二进制软件包。它解决了 Homebrew 某些场景下的不足，例如无需等待 formula 发布、使用清单保持多台电脑更新等。安装 Kelp 后，通过 `kelp init` 初始化，将二进制文件路径添加到 PATH，然后使用 `kelp add` 添加软件包，`kelp install` 安装。支持指定版本安装，并提供更新和故障排除功能。Kelp 通过下载 GitHub release 包到指定目录工作，也支持通过 HTTP(S) 链接安装非 GitHub release 的软件包。
Mark as Read
Mark as Unread
Ukraine can move beyond its Soviet architectural legacy
Source
文章探讨了乌克兰在战争背景下重建家园，超越苏联时期建筑遗产的机遇与挑战。文章指出，战争摧毁了许多苏联时期的住宅，但同时也为乌克兰提供了摆脱过时建筑、构建更安全、更宜居城市的机会。文章提到了Yurii的经历，以及重建中可能采用的新技术，如3D打印房屋和地下基础设施。此外，文章还强调了重建应更具包容性，并赋予社区在城市规划中的更大话语权。
Mark as Read
Mark as Unread
Show HN: Mirror World, create an AI clone of anyone
Source
该项目允许用户创建任何人的 AI 克隆。用户只需输入姓名，即可开始生成。文章展示了“Mirror World”的概念，并提供了一个简单的界面，用户可以输入姓名来启动 AI 克隆的创建过程。
Mark as Read
Mark as Unread
Oops, I accidentally vibe-coded a ChatGPT client for my Apple Watch
Source
作者分享了通过“感觉式编程”意外开发出 Apple Watch 版 ChatGPT 客户端的经历。文章描述了利用 SwiftUI、OpenAI API、CloudKit 和 Swift Data 构建应用的过程。作者强调了 AI 在产品开发中的潜力与局限，指出 AI 快速生成代码，但缺乏平台特定知识和产品设计考量。最终，作者通过改进 UI、优化性能，将原型转化为可用的产品，并发布了应用。文章的核心观点是，AI 加速了早期产品探索，但产品成功仍需结合人类的产品判断、设计和迭代。
Mark as Read
Mark as Unread
Taiwan to Ramp Up Gas Imports After Shuttering Last Nuclear Plant
Source
台湾关闭最后一座核电站，兑现了“非核家园”承诺。此举导致该地区更加依赖进口天然气，并面临价格上涨风险。为满足电力需求，尤其是蓬勃发展的半导体产业，台湾计划增加天然气发电。液化天然气进口量已达历史新高，国有能源公司正在寻求更多燃料。分析指出，放弃核能转向天然气可能损害气候目标，并使台湾易受中国封锁影响，因其天然气储存量有限，高度依赖进口。
Mark as Read
Mark as Unread
Research Uncovers Parthenon Spectacular Lighting Effects for Athena in Antiquity
Source
牛津大学的研究揭示了古代[帕特农神庙]为雅典娜设计的独特光照效果。研究者结合考古发现、3D technology 和光学物理，重建了神庙的照明系统。结果表明，神庙内部通常昏暗，但在帕纳辛纳节期间，阳光会与入口对齐，将光束投射到雅典娜雕像的金袍上，营造出闪耀的奇观。研究还强调了 technology 在考古研究中的重要性，并计划推出沉浸式 VR 体验，让公众了解光线在神庙中的作用。
Mark as Read
Mark as Unread
Visualizing 100k Years of Earth in WebGL
Source
文章介绍了使用 WebGL 构建一个交互式地球历史模型，可视化过去 10 万年的地球地貌变迁。作者利用 NOAA 的海拔数据、历史海平面数据、气候数据和冰盖数据，结合 THREE.js 和自定义 shader，构建了包含海拔、海平面、气候变化和冰盖移动的地球仪。通过数据处理、三角剖分等技术，实现了在浏览器中动态展示不同历史时期的地貌，并计划进一步优化和添加历史事件展示。
Mark as Read
Mark as Unread
Fabric Is Just Plain Unreliable, and Microsoft's Hiding It
Source
文章批评了 Microsoft Fabric 的可靠性问题，并指责 Microsoft 试图掩盖这些问题。作者指出，Fabric 的状态页面经常显示虚假信息，即使服务中断，也显示正常运行。事后分析也存在问题，Microsoft 使用大数字掩盖受影响范围，且中断历史记录被尽快隐藏。文章还提到 Fabric 缺乏服务级别协议，并暗示推荐 Fabric 作为基础设施是基于无知。
Mark as Read
Mark as Unread
Diffusion Models Explained Simply
Source
文章解释了扩散模型（Diffusion Models）的工作原理。它通过向图像添加噪声，训练模型预测噪声，从而实现图像生成。训练时，模型学习识别图像中的噪声；推理时，从纯噪声出发，逐步“去噪”生成图像。文章还提到了 VAE 和 classifier-free guidance 等关键技术，以及扩散模型与 Transformer 的主要区别。此外，文章简要介绍了视频和文本扩散模型，并总结了扩散模型的核心概念：通过去噪过程生成数据。
Mark as Read
Mark as Unread
ClawPDF – Open-Source Virtual/Network PDF Printer with OCR and Image Support
Source
ClawPDF 是一款开源的虚拟 PDF 打印机，支持 OCR 和图像处理，功能丰富。它能创建多种格式文档，包括 PDF/A、PDF/X、图像等，并提供元数据管理、密码保护和 256 位 AES 加密。ClawPDF 支持脚本接口、网络打印，并与多种 Windows 系统兼容。它还提供命令行支持、多语言翻译，并包含多种实用功能，如合并文件、静默打印等。
Mark as Read
Mark as Unread
Show HN: Appwrite Sites – the open-source vercel alternative
Source
Appwrite 发布了名为 Sites 的新产品，作为开源的 Vercel 替代方案。Sites 允许开发者直接在 Appwrite 内部部署和托管网站及 Web 应用，提供静态托管、SSR 支持、Git 集成、部署预览、全球 CDN、DDoS 防护等功能。它与 Appwrite 的后端服务无缝集成，支持 Cloud 和自托管部署。Sites 提供一键式网站模板，简化建站流程。目前，Sites 在 2025 年 7 月 1 日前免费使用。
Mark as Read
Mark as Unread
该文章介绍了用于 DuckDB 的 Airport 扩展，它为 DuckDB 增加了对 Arrow Flight 的支持，允许通过 Arrow Flight 服务器查询、修改和存储数据。Airport 扩展是一个插件，扩展了 DuckDB 的功能，包括查询 DuckDB 无法直接访问的数据、添加自定义 SQL 函数、提供远程 UDF、实现细粒度访问控制以及提供 Data-as-a-Service。文章还解释了 Arrow Flight 的概念，以及如何使用 Airport 扩展。
Mark as Read
Mark as Unread
'Significant amount' of private data stolen in UK Legal Aid hack
Source
英国法律援助系统遭遇黑客攻击，导致“大量”私人数据被盗，包括家暴受害者的详细信息。司法部表示，黑客攻击发生在4月，数据最早可追溯到2010年，涉及申请人的个人信息、犯罪记录、财务数据等。司法部已向公众发出警报，提醒注意可疑活动，并与相关机构合作调查。此次事件是近期一系列cyber-attack事件之一，Legal Aid Agency的在线服务已下线。
Mark as Read
Mark as Unread
文章指出，前总统利用其总统职位推广家族生意，无视利益冲突。他通过迷因币、国际旅行、房地产项目、风险投资基金等方式，从中东国家获取巨额利益。此外，他还通过高尔夫球赛、诉讼和社交媒体平台等途径敛财。文章揭示了其将总统权力与商业帝国混为一谈，并试图将影响力兜售制度化的行为。
Mark as Read
Mark as Unread
Monitoring Node.js: Key Metrics You Should Track
Source
文章探讨了在 Node.js 应用中进行有效监控的关键指标。核心内容包括：追踪运行时指标（内存、CPU、Event Loop）、应用程序指标（请求率、响应时间、错误率）和业务指标（用户行为、转化率）。文章强调了这些指标的重要性，以及如何通过内置 API 或可观测性客户端收集和告警。此外，还讨论了自定义指标、避免的常见错误，以及在生产环境之外使用指标的场景，最终给出了实施监控的行动计划。
Mark as Read
Mark as Unread
How scrolling becomes a religious act
Source
文章描述了访问 etymology.substack.com 网站时遇到的安全验证流程。由于网站使用了 Cloudflare 的安全服务，用户需要通过一系列验证才能访问内容。这个过程包括检查连接安全性、解除对特定域名的阻止，以及等待网站响应。最终，验证成功后，用户才能继续浏览 etymology.substack.com 的内容。
Mark as Read
Mark as Unread
Is Winter Coming? (2024)
Source
文章探讨了对人工智能（AI）的过度期望及其可能面临的“寒冬”。作者指出，早期AI因无法满足承诺而导致资金枯竭。当前AI，如图像识别和LLM，虽有进步，但仍依赖“提示工程”，且常出现幻觉，无法达到人类专家水平。作者质疑AI在自动驾驶、客户服务等领域的可靠性和盈利能力，认为炒作掩盖了技术局限。文章还提到了知识产权、责任等问题，并预测AI可能面临资金减少和公众失望，预示着一个“寒冬”的到来。
Mark as Read
Mark as Unread
How we made iText's table rendering faster
Source
文章主要讲述了作者如何在下午将 iText 的表格渲染速度提升 95%。文章提供了 iText 官网的链接，包括博客、支持、社区等。此外，还列出了 iText 的各种版本发布信息，如 iText Core、pdfHTML、pdfOCR 等，以及安装指南，涵盖了 Java 和 .NET 平台的安装方法。
Mark as Read
Mark as Unread
Telum II at Hot Chips 2024: Mainframe with a Unique Caching Strategy
Source
文章介绍了 `IBM` 最新大型主机处理器 `Telum II` 在 `Hot Chips 2024` 上的亮相，其核心在于独特的缓存策略。`Telum II` 采用 5.5 GHz 的八核设计，配备 360 MB 片上缓存，并集成 `DPU` 和 `AI` 加速器。为了优化性能，`IBM` 采用了虚拟 `L3` 和 `L4` 缓存，通过巧妙地利用 `L2` 缓存，减少数据重复，并实现跨芯片的缓存共享。这种设计优先考虑单线程性能，与传统服务器 `CPU` 策略有所不同，并可能对未来客户端 `CPU` 设计产生启示。
Mark as Read
Mark as Unread
Don't Guess My Language
Source
文章强调了根据`Accept-Language` header而非IP地址来确定用户语言偏好的重要性。使用IP地址进行语言判断是错误的，因为IP地址无法准确反映用户的语言偏好，可能导致用户体验差。作者建议直接读取并尊重`Accept-Language`，它能提供更准确的用户语言信息。文章还提到了允许用户自定义语言选择，并仅将GeoIP用于货币、运输等非语言相关事务。总之，文章呼吁开发者正确处理用户语言偏好，避免猜测，提升用户体验。
Mark as Read
Mark as Unread
Reading "Business" Books Is a Waste of Time
Source
阅读关于“Business”的书籍是在浪费时间。作者认为，这些书通常提供肤浅的建议，缺乏实际价值，且内容往往过时。它们倾向于重复常见观点，而非提供创新见解。作者建议，与其阅读这些书籍，不如专注于实践、与他人交流、以及从实际经验中学习。真正的商业知识来自于实际操作和解决问题的过程中，而不是从理论书籍中获取。
Mark as Read
Mark as Unread
Side Projects I've Built Since 2009
Source
文章列出了作者自2009年以来构建的多个Side Projects，包括已售出、仍在运行和已失效的项目。作者强调，构建Side Projects的关键在于选择自己熟悉的技术栈，并专注于创作自己喜欢的内容。文章展示了这些项目的名称、简短描述和发布年份，涵盖了游戏、WordPress主题、简历生成、科技资讯等多种类型。
Mark as Read
Mark as Unread
Emulator Debugging: Area 5150's Lake Effect
Source
文章主要讲述了作者调试模拟器中Area 5150的“Lake Effect”问题的过程。由于模拟器需要特殊hack才能运行该效果，作者通过总线嗅探器和自定义周期日志，结合CGA状态寄存器轮询、周期计数等技术，分析了该效果的实现原理。文章重点介绍了如何利用定时器中断服务例程（ISR）链实现像素级别的精确控制，并使用可视化工具将嗅探器数据与模拟器输出进行对比，最终解决了模拟器中的“Lake Effect”问题。
Mark as Read
Mark as Unread
The Lost Decade of Small Data?
Source
文章通过在2012年的MacBook Pro上使用DuckDB进行基准测试，探讨了数据分析领域是否错失了十年发展机遇。结果显示，即使是旧款笔记本电脑也能在合理时间内完成复杂的数据分析查询。与现代M3 Max MacBook Pro对比，性能提升显著，但更重要的是，DuckDB在2012年已具备单节点SQL引擎的能力。文章认为，如果当时就有DuckDB，数据分析可能不必急于转向分布式系统，从而可能错失了单机数据分析的十年发展。
Mark as Read
Mark as Unread
Google releases Material 3 Expressive, a more emotional UI design system
Source
Google 发布了 Material 3 Expressive，这是 Material 3 设计系统的升级版，旨在通过更具表现力的 UI 提升用户体验。新版本包含更新的组件、动态物理效果、色彩更新和设计策略，以增强情感连接。研究表明，表现力强的设计更受欢迎，用户更容易使用。更新内容包括新的组件、动态弹簧、强调排版、扩展形状库和鲜艳的配色方案。文章还提供了设计策略，如形状、色彩、排版、内容组织、动态效果和组件灵活性，以帮助设计师创建更具吸引力的界面。
Mark as Read
Mark as Unread
Tallest Wooden Wind Turbine
Source
文章介绍了 Modvion 公司利用工程木材建造风力涡轮机塔筒的创新方案。 这种木制塔筒采用模块化设计，便于运输，降低成本，并能建造更高塔筒。 相比传统钢材和混凝土，木材更轻、强度高，且具有碳负排放的优势。 Modvion 旨在通过这种可持续的解决方案，推动风能市场发展，并已与 Enel Green Power、Vattenfall 和 Vestas 等公司合作。
Mark as Read
Mark as Unread
Link Time Optimizations: New Way to Do Compiler Optimizations
Source
文章介绍了链接时优化（LTO）的概念，这是一种在链接阶段进行的编译器优化技术。LTO 允许链接器进行跨编译单元的优化，如内联和代码局部性改进，从而可能提升程序性能。文章通过实验对比了 LTO 在 ProjectX 和 ffmpeg 上的效果，结果表明 LTO 的效果取决于项目特性，对于未进行积极优化的项目，LTO 更有可能带来性能提升，但编译时间会显著增加。
Mark as Read
Mark as Unread
When good pseudorandom numbers go bad
Source
文章探讨了多元正态分布抽样中可能出现的可重复性问题。即使设置了随机数种子，由于浮点运算的特性，不同机器上计算出的协方差矩阵的微小差异，会导致生成的随机样本差异巨大，从而影响结果的可重复性。文章通过实例展示了这种现象，并指出这与浮点运算的精度限制有关，而非RNG本身的问题。
Mark as Read
Mark as Unread
Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax'
Source
语言学家通过大规模计算分析，证实了语言中存在对特定概念的强调，例如 Inuit 语对雪的丰富词汇。研究发现，这种“词汇扩展”模式揭示了语言使用者所重视的文化内容，如环境、历史等。研究方法是分析双语词典中词汇的比例，而非数量。虽然该研究有助于恢复语言相对论思想，但研究也存在局限性，如词典编纂者的偏见，以及词典无法完全反映语言的实际使用。未来的研究将尝试衡量人们实际使用这些概念的频率。
Mark as Read
Mark as Unread
Show HN: Goboscript, text-based programming language, compiles to Scratch
Source
Goboscript 是一种基于文本的编程语言，其编译器可以将代码编译成 Scratch 项目。它允许开发者使用文本编辑器编写 Scratch 项目，并支持版本控制、代码重构和复制粘贴。Goboscript 具有简洁的语法、宏系统和局部变量等特性，并能进行优化和问题检测。该项目使用 Rust 编写，并获得了 FOSS HACK 25 的奖项。
Mark as Read
Mark as Unread
Magic of software; what makes a good engineer also makes a good engineering org
Source
文章探讨了软件开发的本质，认为优秀的工程师是优秀工程组织的基础。软件开发并非单纯的工程，而是愿景与工程相互交织、充满发现的过程。作者通过color cycling等例子，强调了对工具和技术的深刻理解能激发创新。文章还批评了将抽象层视为黑盒、以及组织结构过于依赖“自治团队”的弊端，认为这限制了创新和变革。最后，文章指出，成功的工程组织应像优秀的工程师一样，重视深刻理解，而非盲目模仿“最佳实践”。
Mark as Read
Mark as Unread
文章探讨了团队规模过大时，专业分工带来的沟通和协作问题。作者通过自身经历，讲述了从专业团队到通才团队的转变过程。最初的专业团队因内部依赖、沟通不畅导致效率低下。尝试了多种解决方案后，最终通过培养通才，提升了团队的自主性、知识共享和交付速度。虽然通才模式也存在深度不足和部分专家离职的副作用，但作者认为在特定环境下，这种模式更有效。文章强调了持续改进和适应性实践的重要性。
Mark as Read
Mark as Unread
Capalyze – Natural language data analysis
Source
Capalyze 是一款基于自然语言的数据分析工具，用户只需上传电子表格并用自然语言提问，即可获得AI驱动的分析结果。它提供交互式报表和仪表盘，支持数据编辑、多数据源集成，并具备企业级安全性和私有部署选项。Capalyze旨在简化数据分析流程，将复杂数据转化为清晰答案，帮助用户快速获取洞察，提升工作效率。
Mark as Read
Mark as Unread
Everything’s a bug (or an issue)
Source
文章的核心观点是：软件开发中，将所有任务视为“bug”或“issue”，并采用一套完善的 bug 跟踪系统，能有效提升项目管理效率。文章回顾了作者早期在硅谷的工作经验，强调了 BugSplat 系统中四个关键原则：任务统一纳入系统、统一的 bug 记录模式、明确的责任分配、灵活的查询功能。作者认为，当前流行的 GitHub Issues 在这四个原则上表现不佳，并建议通过改进开源项目（如 Gitea）来弥补不足，最终实现高效的“bug council”式软件开发。
Mark as Read
Mark as Unread
Four years of sight reading practice
Source
作者分享了四年使用 iPad 应用进行 sight reading 练习的经验。他通过 Python 编写界面自动化练习流程，并将数据可视化到仪表盘，跟踪进度。练习包括设置音符范围、调号选择等，并使用随机化来避免偏好简单的调号。作者发现，通过直接将音符转化为手指动作，无需记忆音符名称也能演奏。尽管练习时间有限，但 sight reading 能力持续提升，并对随机化练习的效果表示肯定。最后，作者还提到了更全面的 30 分钟练习计划，涵盖音阶、理论、记谱、练耳和曲目练习。
Mark as Read
Mark as Unread
America's College Towns Go from Boom to Bust
Source
美国大学城正经历从繁荣到萧条的转变。入学人数下降、远程学习和经济逆风导致依赖学生消费的城镇面临困境。当地企业收入锐减，住房市场受挫，政府税收减少。
为应对挑战，一些大学城正探索多元化经济，吸引科技公司和创业企业，并改善生活质量。然而，转型面临复杂问题，能否成功将决定这些社区的未来发展。
Mark as Read
Mark as Unread
The principles of database design, or, the Truth is out there
Source
文章探讨了数据库设计原则，强调其重要性在于准确反映现实世界。作者列举了正交设计、表示简约、表达完整性、完全范式、信息原则和逻辑独立性等设计原则，并提出了“本质指称原则”，即关系应由反映实体本质的自然键标识。文章指出，糟糕的数据库设计会导致语义混乱和技术问题，而好的设计需要严谨、自律和对基本原则的掌握。
Mark as Read
Mark as Unread
Layers All the Way Down: The Untold Story of Shader Compilation
Source
文章探讨了跨平台渲染中Shader编译的复杂性。由于不同硬件厂商的利益冲突，以及GPU架构和指令集的差异，Shader编译面临碎片化挑战。文章指出，Shader更像是内容而非代码，需要针对特定硬件进行编译。作者提出的方案是，在API层面支持多种Shader格式（SPIR-V、HLSL等），允许开发者选择适合自己项目的编译流程，从而实现灵活的跨平台渲染。文章强调了这种方法在维护性和兼容性上的优势，并以FNA3D项目为例说明了其可行性。
Mark as Read
Mark as Unread
Poireau: A Sampling Allocation Debugger
Source
Poireau是一个抽样分配调试器，通过拦截`malloc`等函数的部分调用，生成应用程序堆占用空间的统计概览。它使用抽样方法，对性能影响小，无需修改代码。该工具通过内核或外部脚本处理复杂性，主要针对系统内存分配器。使用时，通过`LD_PRELOAD`加载`libpoireau.so`，并配合`perf`工具进行跟踪和分析，可以获取长时间存在的分配信息。该工具还支持快照和高级用法，如设置采样率和高水位线。性能开销在不同大小的分配上有所差异，但通常较低。
Mark as Read
Mark as Unread
Show HN: Job board aggregator for best paying remote SWE jobs in the U.S.
Source
该页面是一个聚合了美国高薪远程软件工程师（SWE）职位的平台，每日更新。它提供按工作经验和公司筛选的功能，例如Coinbase、Airbnb、Microsoft等。页面列出了职位、公司、工作经验、总薪酬、基本工资和发布时间等信息，方便求职者快速浏览和筛选。
Mark as Read
Mark as Unread
How Gemini Figured Out My Nephew's Name
Source
作者通过一个MCP server，让 Gemini 访问其电子邮件，尝试找出侄子的名字。Gemini 制定了搜索策略，包括搜索来自 Donovan 的邮件，并尝试各种关键词组合。经过多次迭代，Gemini 最终通过分析邮件内容，推断出侄子的名字。文章展示了 Gemini 在搜索和分析邮件时的工具使用情况，以及其推理过程。
Mark as Read
Mark as Unread
“There are people who can see and others who cannot even look”
Source
这篇文章描述了访问 `worldhistory.substack.com` 时遇到的安全验证流程。为了确认用户为真人，网站使用了 Cloudflare 的安全检查。用户需要通过验证才能继续访问该网站。文章简要说明了验证过程，并提到了 Cloudflare 提供的性能和安全保障。
Mark as Read
Mark as Unread
Living beings emit a faint light that extinguishes upon death, study
Source
研究发现，生物体通过 Ultraweak Photon Emission (UPE) 现象发出微弱光芒，且无需外部激发。在小鼠中，UPE 强度与活力相关，死亡后明显减弱。植物的 UPE 强度则受温度、损伤和化学处理等应激因素影响。UPE 与细胞代谢产生的活性氧 (ROS) 相关，ROS 在细胞应激反应中起信号作用。研究利用先进成像技术，观察了活体和死亡动物、以及植物在不同条件下的 UPE 变化。结果表明，UPE 可作为动物活力和植物应激反应的敏感指标，有望用于基础生物学研究和临床诊断。
Mark as Read
Mark as Unread
Benchmarking Crimes Meet Formal Verification
Source
文章批判了在形式化验证领域，仅比较“证明代码比”作为衡量验证效率的指标的误导性。作者指出，该指标忽略了规范的复杂性，而规范大小才是影响证明工作量的关键因素。文章通过分析不同系统的验证数据，强调了规范大小、代码大小和证明大小之间的关系，并指出证明大小与规范大小之间可能存在二次方关系。作者呼吁停止使用“证明代码比”这种不科学的指标，并强调了模块化对验证的影响。
Mark as Read
Mark as Unread
A New Headache for Honest Students: Proving They Didn't Use A.I
Source
诚实的学生面临新挑战：如何证明作业未使用 A.I. 写作工具。随着 A.I. 写作工具的普及，教育者担忧作弊行为。虽然检测 A.I. 生成内容有讨论，但证明未使用 A.I. 变得困难。学生们尝试记录写作过程、提供草稿和使用写作分析工具，但这些方法耗时且不完美。文章强调了教育领域如何利用 A.I. 力量同时维护学术诚信的挑战。最终，诚实的学生承受着额外的压力，需要证明自己没有作弊。
Mark as Read
Mark as Unread
Ancient reptile footprints are rewriting the history of when animals evolved
Source
这篇文章无法总结，因为正文内容是安全验证信息，而非关于古老爬行动物足迹的文章。它提示用户正在进行安全检查，以确认是否为人类访问者，并由 Cloudflare 提供性能和安全保障。
Mark as Read
Mark as Unread
Using unwrap() in Rust is Okay (2022)
Source
这篇文章讨论了在 Rust 中使用 `unwrap()` 的问题。作者认为，在测试、示例代码和表明程序存在 bug 的情况下，使用 `unwrap()` 是可以接受的。文章详细解释了 `unwrap()` 的作用、`panic` 的含义、错误处理的策略，以及运行时不变性的概念。核心观点是，`unwrap()` 不应作为主要的错误处理方式，但在特定情况下，如测试和内部 bug 检查，其使用是合理的。文章还讨论了何时不应使用 `unwrap()`，以及替代方案，如 `expect()`。
Mark as Read
Mark as Unread
KDE is finally getting a native virtual machine manager called "Karton"
Source
KDE 正在开发名为 "Karton" 的原生虚拟机管理器，以解决 Plasma 桌面环境下虚拟机管理工具不协调的问题。该项目基于 Qt Quick 和 Kirigami 构建，使用 libvirt API。目前，由 Derek Lin 负责开发，目标是打造一款融入 KDE 生态系统的虚拟机管理器。Karton 正在改进虚拟机安装程序，并开发自定义 SPICE 查看器。GSoC 编码将于 2025 年 6 月 2 日开始，计划在 2025 年 9 月 1 日前完成。
Mark as Read
Mark as Unread
France Becomes First Government to Endorse UN Open Source Principles
Source
法国成为首个认可联合国开源原则的政府，并有19个组织加入。文章分享了联合国提出的8项开源原则，包括默认开放、回馈贡献、本质安全、促进包容性参与、可复用性设计、提供文档、RISE（认可、激励、支持和赋权）以及持续和规模化。文章还链接了相关新闻报道和讨论，并引发了关于政府部门是否会真正用开源软件替代专有软件的讨论。
Mark as Read
Mark as Unread
London's Water Pumps: Where History Flows Freely
Source
文章介绍了伦敦各地的水泵，这些水泵不仅是取水设施，也承载着丰富的历史。文章列举了奥德 gate、贝德福德排、宽街、科恩希尔、帕特诺斯特、圣玛丽上街、贝肯汉姆、瑞斯利普和艾克纳姆、厄克斯布里奇、布罗姆利、斯坦莫尔、卡特福德和伍德福德格林等地的水泵，并讲述了它们各自的历史、特点和轶事，展现了伦敦水泵的多样性和文化意义。
Mark as Read
Mark as Unread
文章探讨了 TypeScript 类型系统中的“过度类型化”现象，即为了追求极致类型安全，导致类型定义过于复杂，难以理解和维护。作者认为，这种过度类型化带来了难以理解的错误、不安全的工作方式，并降低了开发者体验。文章以 TanStack Form 为例，展示了复杂类型定义带来的问题。作者提倡在类型安全和开发者体验之间寻求平衡，建议使用更简单的类型定义，甚至考虑通过类型生成来提高开发效率。
Mark as Read
Mark as Unread
Show HN: Python Simulator of David Deutsch’s "Constructor Theory of Time"
Source
该文章介绍了一个基于 David Deutsch 构造理论框架的 Python 模拟器。该模拟器用代码形式展示了构造理论的关键概念，包括 Tasks、分支基质、量子引力、电磁学等。它包含一个通用构造器，可以自举自身，展示自复制能力。文章提供了功能概述、使用方法、示例代码和贡献指南，旨在作为教育资源和概念验证。
Mark as Read
Mark as Unread
K-Scale Labs: Open-source humanoid robots, built for developers
Source
文章介绍了 K-Scale Labs，一个致力于为开发者打造开源人形机器人的公司。他们提供 K-Bot、Z-Bot 等不同尺寸的人形机器人，并构建了包括应用层、ML 层、OS 层和硬件层的机器人技术栈。核心技术包括 K-Sim，一个用于强化学习的框架，以及 K-OS，一个基于 Rust 的操作系统。文章还展示了他们的成就，并鼓励开发者参与社区，共同构建机器人应用。
Mark as Read
Mark as Unread
Show HN: Sshsync – CLI tool to run shell commands across multiple remote servers
Source
`sshsync` 是一个 CLI 工具，通过 SSH 在多台远程服务器上并发执行 shell 命令。它支持对所有主机或特定组进行操作，提供文件推送/拉取功能，并具备试运行模式、操作历史记录和日志记录。用户可以通过 `pip` 或手动安装，并使用简单的命令进行配置和管理。该工具依赖于现有的 SSH 配置，并将组信息存储在 YAML 文件中。未来计划增加实时结果显示、性能优化和更多身份验证方法。
Mark as Read
Mark as Unread
Show HN: Stack Error – ergonomic error handling for Rust
Source
该文章介绍了一个名为 `Stack Error` 的 Rust 错误处理库，旨在提供人体工学设计，生成信息丰富的错误消息，并支持运行时错误处理。它通过 `stack_map!`、`stack_err!` 等宏简化错误处理，并结合文件名和行号信息，方便调试。`Stack Error` 提供了自定义错误类型和错误代码的功能，并与 Rust 生态系统兼容。它对比了 `anyhow` 和 `thiserror`，强调了其在易用性和调试方面的优势，并提供了使用示例。
Mark as Read
Mark as Unread
文章探讨了作者不再使用 **Roam** 的原因。尽管 **Roam** 的双向链接理念曾风靡一时，但作者发现其产品迭代慢、搜索功能差，且无法解决“笔记该放在哪里”的困扰。双向链接带来的最初便利感逐渐消失，作者转而使用其他笔记工具。文章认为，**Roam** 需要改进搜索和自动化分类，才能真正解决用户痛点，并指出笔记工具未来应更多地实现自动化。
Mark as Read
Mark as Unread
What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013)
Source
文章对比了Ruby中Block、Proc和Lambda的区别。Block是方法调用的一部分，不能独立存在；Proc是`Proc`类的实例，可以赋值给变量，可以传递给方法。Lambda也是`Proc`类的实例，但与Proc在参数数量检查和`return`关键字的处理上有所不同。Lambda会检查参数数量，而Proc不会；Lambda中的`return`会跳出lambda本身，而Proc中的`return`会跳出执行Proc的方法。文章还解释了Closure的概念，以及Lambda和Proc名称的由来。
Mark as Read
Mark as Unread
Building my own solar power system
Source
文章讲述了作者为了摆脱高昂的电力费用，自建太阳能发电系统的经历。作者详细描述了从研究、选择设备、安装到最终投入使用的全过程。核心观点是：**面对电力公司PG&E的涨价，作者选择自建太阳能系统，虽然过程复杂，但最终实现了电力自给自足，摆脱了对PG&E的依赖。** 文章强调了研究的重要性，以及在安装过程中遇到的问题和解决方案，并分享了经验教训，例如选择合适的设备、注意安全和合规性。
Mark as Read
Mark as Unread
Show HN: Vaev – A browser engine built from scratch (It renders google.com)
Source
这是一个实验性的浏览器引擎，名为 Vaev，它从零开始构建，能够渲染如 google.com 这样的网页。Vaev 支持部分 Web 标准，包括多种 display 类型、CSS cascade 行为、分页、Print-to-PDF 输出以及所有 CSS 单位。它还支持 HTML 和 XHTML 文档加载，并提供基础的网络支持。文章提供了运行 Vaev 的命令，以及架构图和作者信息。Vaev 的目标是成为一个快速、轻量级且安全的 HTML/CSS 引擎。
Mark as Read
Mark as Unread
Someone got an LLM running on a Commodore 64 from 1982, and it runs as well
Source
有人在1982年的Commodore 64上成功运行了LLM，名为Llama2.c64。该项目移植了llama2.c，并运行一个260K的tinystories模型。虽然速度慢，但能在如此古老的硬件上运行AI，并生成类似儿童故事的文本，展现了令人印象深刻的成果。这表明即使在资源有限的设备上，也能实现AI功能。
Mark as Read
Mark as Unread
Show HN: Racketmeter – Measure Badminton String Tension Using Sound Frequency
Source
RacketMeter 是一款利用设备麦克风测量羽毛球拍线张力的工具。用户通过敲击球弦，RacketMeter 分析声音频率来估算张力。它支持不同拍头形状和线粗细的设置。使用方法简单，只需点击“Start Measuring”并敲击球弦即可。该工具由 Karunakar 制作，并提供了分享功能。
Mark as Read
Mark as Unread
$30 Homebrew Automated Blinds Opener
Source
作者利用手头备件，花费约30美元，自制了一个缓慢且安静的窗帘开启器。该设计主要由齿轮电机、磁角度编码器、继电器和ESP8266组成，通过3D打印支架固定。作者采用扭矩作为主要反馈机制，检测窗帘关闭位置。虽然磁编码器方法存在问题，但整体设计简单易行，并成功集成了家庭自动化系统，实现了定时开关窗帘的功能。
Mark as Read
Mark as Unread
Understanding the Go Scheduler
Source
这篇文章深入探讨了 Go 调度器的设计与演进，核心在于 GMP 模型。文章首先介绍了编译和 Go 运行时，然后阐述了从原始调度器到 GMP 模型的改进过程。GMP 模型由 Goroutine (G)、线程 (M) 和处理器 (P) 组成，其中 P 维护本地运行队列，M 负责执行 G，调度器则负责在 M 和 P 之间调度 G 的运行。文章还涉及了 Goroutine 的状态机、线程的状态机、处理器的状态机，以及系统调用、网络 I/O 等对调度的影响。
Mark as Read
Mark as Unread
Emergent social conventions and collective bias in LLM populations
Source
文章研究了大型语言模型（LLM）群体中社会惯例的涌现、集体偏见的产生以及少数群体如何影响社会变革。实验表明，LLM 智能体在没有明确编程的情况下，会自发形成社会惯例。即使个体智能体没有偏见，集体偏见也会在惯例选择中出现。此外，少数对抗性智能体可以通过推广替代惯例来推动社会变革。研究结果对设计与人类价值观对齐的 AI 系统具有重要意义。
Mark as Read
Mark as Unread
Ditching Obsidian and building my own
Source
作者分享了抛弃笔记软件 Obsidian，转而构建个人知识库的经验。她认为现有笔记软件存在隐私、费用、插件寿命等问题，促使她开发了基于 Markdown 的、安全、可控的个人知识管理系统。她使用开源平台 Directus 构建了系统，实现了笔记的创建、编辑和手机访问，并强调了其安全性、易用性和可定制性。文章鼓励读者探索适合自己的知识管理方式，并分享了构建个人知识库的步骤。
Mark as Read
Mark as Unread
Show HN: I modeled the Voynich Manuscript with SBERT to test for structure
Source
文章探讨了使用 SBERT 对《伏尼契手稿》进行结构分析的可能性，旨在不依赖翻译或猜测的情况下，通过 NLP 技术研究其语言结构。作者通过聚类、词性推断、马尔可夫转换等方法，验证了手稿可能具有类似语言的结构。项目包括数据预处理、SBERT 聚类、转换矩阵构建等步骤，并发现了功能词、内容词的聚类模式，以及章节间的语言差异。尽管存在局限性，如后缀剥离的启发性，但研究表明，即使无法直接翻译，结构建模也能提供有价值的见解。
Mark as Read
Mark as Unread
An Uplifting Origin of 86 (2001)
Source
这篇文章探讨了“86”的励志起源。文章出自《American Speech》期刊，由 Alan Dundes 撰写，于2001年冬季出版。文章提供了关于该主题的引文、相关内容和购买/租赁选项，并介绍了 Project MUSE 的使命和相关信息，包括出版商、资源和联系方式。
Mark as Read
Mark as Unread
Show HN: Buckaroo – Data table UI for Notebooks
Source
Buckaroo是一个用于Notebook的数据表UI，旨在简化数据探索。它支持Pandas、Polars等库，提供快速的数据浏览、搜索、排序、汇总统计和直方图功能。用户可以通过pip安装并重启Jupyter服务器使用。Buckaroo的核心是高性能表格，基于AG-Grid，并提供自动清理、Lowcode UI等特性。文章还介绍了其兼容性、开发安装、贡献方式以及相关视频和示例。
Mark as Read
Mark as Unread
Pluto Flyover from New Horizons
Source
文章展示了由 New Horizons 飞船拍摄的冥王星飞掠过程的延时视频。该视频由色彩增强的图像组合而成，展现了冥王星的地貌特征，包括水冰山脉、固态氮构成的平坦海洋以及陨石坑等。飞船在2015年以高速掠过冥王星，由于动量原因，无法返回，目前已驶出太阳系。
Mark as Read
Mark as Unread
Spaced Repetition Memory System
Source
文章探讨了Spaced Repetition (SR) 记忆系统，它结合了Testing effect和Spacing effect，高效记忆大量事实。SR系统不仅用于记忆，还能促进概念理解。文章介绍了Supermemo等早期系统，并列举了多种SR系统及其应用，如编程、提示应用等。此外，文章还讨论了SR系统的属性、采用障碍以及对常见异议的回应，例如编写提示的难度、记忆的重要性等。最后，文章提到了SR算法和应用案例。
Mark as Read
Mark as Unread
What do wealthy people buy, that ordinary people know nothing about? (2015)
Source
由于网络原因，无法获取文章内容。根据提供的错误信息，文章内容被阻止，需要登录或创建账号才能继续浏览。如果正在使用脚本或应用程序，需要注册或使用开发者凭据登录，并确保 User-Agent 唯一且描述性。
Mark as Read
Mark as Unread
Solar grants held hostage in Pennsylvania legislature – as demand soars
Source
宾夕法尼亚州对太阳能的需求激增，但州立法机构却扣留了“全民太阳能”等资助。文章指出，尽管民众对太阳能支持率高，但该州在可再生能源发展方面落后。一项旨在促进太阳能发展的法案因资金问题和政治阻力受阻，包括对净计量的争议。文章还提到，联邦资金被用于低收入家庭的太阳能项目，但分配受到立法机构的限制。最终，文章强调了太阳能对降低成本、创造就业和应对能源危机的潜在作用，以及该州未来太阳能政策的不确定性。
Mark as Read
Mark as Unread
Show HN: Model2vec-Rs – Fast Static Text Embeddings in Rust
Source
该文章介绍了基于 Rust 实现的快速静态文本嵌入库 `Model2vec-Rs`，用于加载和推断 `Model2Vec` 模型。 库提供了快速开始的示例代码，展示了如何使用 `cargo add model2vec-rs` 添加依赖，并使用 `from_pretrained` 方法加载模型，然后生成文本嵌入向量。文章还列出了可在 Hugging Face Hub 上找到的预训练模型，并提供了使用 CLI 生成嵌入向量的示例。性能测试表明，Rust 实现比 Python 版本快约 1.7 倍。该库采用 MIT 许可证。
Mark as Read
Mark as Unread
Taito-tastic: Kiki Kaikai and its Hardware
Source
文章探讨了Taito街机游戏《奇奇怪界》（Kiki Kaikai）及其硬件。作者指出，该游戏采用基于sprite的硬件，而非tilemap，这并非SNK独有。文章分析了游戏的玩法，认为其难度较高，但美术风格独特。重点在于硬件分析，包括YM2203 FM合成器、Taito品牌的MCU、Z80 CPU、PROM和PAL等组件。作者还发现了游戏画面中出现的特殊线条伪影，并提到了游戏附带的文档和Taito的封条。最后，文章以游戏中的隐藏彩蛋作为结尾。
Mark as Read
Mark as Unread
Building my childhood dream PC
Source
文章讲述了作者童年时对IBM PS/1 2168电脑的渴望，以及在成年后修复一台该型号电脑的经历。作者详细介绍了2168的设计特点，包括手柄、圆角外观、隐藏式驱动器等，并赞赏其M型键盘和可升级性。文章记录了作者寻找、购买和修复这台老式电脑的过程，并分享了安装PC-DOS 7、运行DOOM等游戏的心得。
Mark as Read
Mark as Unread
Apple Card Disabled My iCloud, App Store, and Apple ID Accounts
Source
文章讲述了作者因 Apple Card 支付失败，导致其 iCloud、App Store 和 Apple ID 账号被禁用的经历。由于银行账户变更导致自动付款失败，Apple 采取了严厉措施，包括禁用账户。作者经历了与 Apple Support 和 Goldman Sachs 的沟通，但问题解决缓慢，最终通过 Apple 内部部门才得以重新激活账号。文章揭示了 Apple Card 与 Apple 服务之间的紧密联系，以及因支付问题可能导致的严重后果，并批评了 Apple 在处理此类问题上的效率低下。
Mark as Read
Mark as Unread
文章介绍了 RISC OS 3.11 图形界面，该界面发布于 1992 年，与 Apple System 7 大致同期。文章重点探讨了该界面的独特之处，包括：使用三键鼠标，中间键调出菜单，右键“Adjust”键实现多种辅助操作；菜单系统将对话框直接融入菜单，实现自定义值、文本输入、对话框和 owner-drawn 项目；窗口管理方式、焦点机制、对话框的模态特性、文件操作方式、文件类型设置、卷管理；以及应用程序目录的概念、文本渲染和图标设计。RISC OS 在鼠标操作、菜单设计和文本渲染方面展现了创新，但窗口管理和文件操作略显复杂。
Mark as Read
Mark as Unread
Surgical Knee Denervation for Treatment of Pain Caused by Primary Osteoarthritis
Source
这篇文章实际上并非关于膝关节手术的医学文章，而是一篇关于网页浏览器的技术提示。它指导用户如何在不同浏览器（Internet Explorer、Firefox、Safari）中启用 JavaScript。由于用户的浏览器禁用了 JavaScript，导致页面无法正常显示，因此需要按照提供的步骤在浏览器设置中启用 JavaScript 才能继续访问页面内容。
Mark as Read
Mark as Unread
How the Sun Enterprise 10000 was born (2007)
Source
文章讲述了 Sun Enterprise 10000 服务器的诞生历程。该服务器源于一群工程师，他们最初致力于构建基于 Sparc 处理器的并行计算机，经历了多次并购和重组。最终，该团队被 SGI 出售给 Sun，Sun 基于其 CS6400 的基础上开发了 Enterprise 10000，并取得了巨大成功。该服务器以其 Dynamic Reconfiguration 和快速硬件著称，在 SMP 扩展方面表现出色，为 Sun 带来了巨额收入。文章还引用了 Sun 收购 Cray 商业系统部门的意向书。
Mark as Read
Mark as Unread
Working with Git Patches in Apple Mail (2023)
Source
文章介绍了在 Apple Mail 中使用 `git` patches 的方法。首先，需要在邮件账户中创建一个名为 "Patches" 的邮箱文件夹。然后，将包含 `git` patch 的邮件移动到该文件夹，并导出为 mbox 文件。接着，在终端中，进入需要应用 patch 的项目目录，使用 `git apply` 命令，将导出的 mbox 文件应用到项目中。最后，建议定期清理本地 "Patches" 文件夹。
Mark as Read
Mark as Unread
InventWood is about to mass-produce wood that's stronger than steel
Source
马里兰大学研发出强度超越钢铁的 Superwood，并授权给初创公司 InventWood。Superwood 由普通木材制成，通过改变分子结构和压缩，使其抗拉强度比钢铁高 50%，且更轻、防火、耐腐蚀。InventWood 计划今年夏天开始生产，初期专注于表皮应用，最终目标是用于建筑骨架。公司已完成 A 轮融资，将 Superwood 用于商业和高端住宅建筑的立面材料。
Mark as Read
Mark as Unread
Show HN: Hardtime.nvim – break bad habits and master Vim motions
Source
该项目是针对 Neovim 的插件 `hardtime.nvim`，旨在帮助用户戒除不良的 Vim 操作习惯，提升移动效率。它通过限制重复按键、提供移动提示和报告常见坏习惯等功能，鼓励用户使用更高效的 Vim 移动方式，例如相对跳转、单词移动、操作符结合移动等。插件支持自定义配置，包括禁用按键、文件类型，以及设置提示信息。
Mark as Read
Mark as Unread
Thank you Google for breaking my YouTube addiction
Source
文章作者感谢 Google 成功降低了 YouTube 的成瘾性。过去，YouTube 算法推送相关性强的视频，让人持续观看。但后来，算法主页变得疯狂，推送内容无限且杂乱。如今，YouTube 变得无聊，主页重复播放少量视频，搜索结果也优先推荐无关内容。作者认为，Google 通过让 YouTube 变得无趣，成功降低了其成瘾性，这反而是一种“不作恶”的表现。
Mark as Read
Mark as Unread
Show HN: A web browser agent in your Chrome side panel
Source
BrowserBee 是一个 AI 驱动的 Chrome 浏览器助手，以开源形式提供。它允许用户通过自然语言控制浏览器，利用 LLM 解析指令并结合 Playwright 实现自动化。主要功能包括：支持多种 LLM 提供商、跟踪 token 使用量、访问浏览器工具、记忆功能等。用户可以通过下载、源码构建或 Chrome Web Store 安装。BrowserBee 可用于社交媒体管理、新闻聚合、个人助理、研究等场景。文章还探讨了 Playwright 在浏览器中的应用、LLM 在网页交互中的挑战，以及隐私优先的 AI 工具的重要性。
Mark as Read
Mark as Unread
Spaced repetition systems have gotten way better
Source
文章介绍了间隔重复系统（SRS）的最新进展，重点是新型调度算法 FSRS。FSRS 采用机器学习预测最佳复习时间，取代了传统算法的固定间隔，提高了效率，降低了复习负担。文章对比了 FSRS 与旧算法的差异，并指出 Anki 软件已默认采用 FSRS。作者认为 FSRS 在提高学习效果方面具有显著优势，并推荐了相关学习资源。
Mark as Read
Mark as Unread
The Conquest of Hell Gate [pdf]
Source
Hell Gate 是一种绕过安全机制的技术，常被恶意软件利用。它通过动态解析 Windows API 函数地址，而非依赖导入表，从而规避基于签名的安全软件检测。其工作原理包括动态 API 解析、系统调用和混淆加密。
Hell Gate 主要用于恶意软件开发、安全研究和渗透测试。检测和防御手段包括行为分析、内存扫描、钩子检测和沙箱分析。虽然 Hell Gate 强大，但结合多种防御手段可有效降低其威胁，持续研究至关重要。
Mark as Read
Mark as Unread
GPS Needs to Toughen Up, or Get Trampled Down
Source
文章指出，GPS正面临干扰和欺骗威胁，导致导航偏差甚至事故。文章分析了GPS的弱点，如信号弱、未加密，以及对经济的巨大影响。为应对挑战，文章提出了加强GPS防御的多种方案，包括：改进CRPA技术、与Galileo合作、信号加密、全球GNSS增强等。同时，文章也探讨了替代PNT方案，如eLoran、eDME和磁导航。文章强调，美国需要采取行动，保护、加强和增强GPS，以保持其全球导航系统的领先地位。
Mark as Read
Mark as Unread
该文章介绍了一个名为“Cut/Fold Templates”的网站，提供了多种纸艺机关模板，包括可裁剪和折叠的纸结构设计。网站包含“关于”、“使用方法”和“提交机关”等页面，并提供了34个不同类型的模板，涵盖了Flexagon、Hexaflexagon、Miura-ori Fold、Bistable Paper Switch等多种纸艺机关，以及相关的视频和参考资料，展示了纸艺在机械、光学、结构等方面的应用。
Mark as Read
Mark as Unread
Inigo Quilez: computer graphics, mathematics, shaders, fractals, demoscene
Source
该页面是关于 Inigo Quilez 撰写的计算机图形学相关文章的集合，涵盖了数学、着色器、分形、Demoscene 等多个领域。文章内容包括实用函数、噪声、光线追踪、体素、压缩、SDFs、纹理、光照、渲染引擎、简单特效、数学技巧、分形渲染等。作者还提供了个人主页、社交媒体链接以及支持方式，并声明所有代码片段采用 MIT 许可证。
Mark as Read
Mark as Unread
Craft Basic (Windows 95 and up)
Source
Craft Basic 是一款适用于 Windows 95 及以上版本的 BASIC 解释器。它允许用户学习编程、制作游戏、编写脚本、进行复杂计算和图形显示。Craft Basic 提供绘制位图、播放 wav 文件、处理表单等功能，并附带大量示例程序。用户可以通过下载链接获取该软件，并查阅文档和论坛获取支持。
Mark as Read
Mark as Unread
Mexican Navy ship crashes into Brooklyn Bridge leaving two people dead
Source
一艘墨西哥海军帆船在纽约市宣传巡游时撞击了 Brooklyn Bridge，导致两人死亡，19 人受伤。事故发生时，该船失去动力，桅杆撞断。船上共有 277 人。这艘名为 Cuauhtémoc 的训练舰受损无法继续航行。墨西哥海军正在调查事故原因，并提供援助。该船原计划访问多个国家，包括 New York。
Mark as Read
Mark as Unread
Show HN: Chat with 19 years of HN
Source
该页面展示了一个名为 camelAI 的平台，用户可以通过 Google 账号登录或直接继续使用。登录后，用户可以访问并使用 camelAI 的功能。页面底部链接了平台的隐私政策和服务条款。
Mark as Read
Mark as Unread
US loses last perfect credit rating amid rising debt
Source
由于对美国偿债能力担忧，评级机构 Moody's 将美国信用评级从最高的 'AAA' 降至 'Aa1'。Moody's 指出，美国政府未能控制不断膨胀的赤字和利息成本。这是继 Fitch 和 S&P Global Ratings 之后，美国失去的最后一个完美信用评级。此次降级反映了政府债务和利息支付比率的增加。白宫对此表示不满，认为 Moody's 缺乏信誉。较低的信用评级可能导致更高的借贷成本。Moody's 预计到 2035 年，联邦债务将增加到 GDP 的约 134%。
Mark as Read
Mark as Unread
该工具详细展示了 PostgreSQL 中的锁和命令，帮助用户理解锁冲突。用户可以选择命令，查看其获取的锁、冲突命令和并发运行命令；也可以选择锁，查看获取该锁的命令以及与之冲突的锁。文章列出了多种锁类型和命令，方便用户查询和分析。
Mark as Read
Mark as Unread
Climbing trees 1: what are decision trees?
Source
本文是关于机器学习中 Decision Tree 系列文章的第一篇，介绍了 Decision Tree 的基本概念。Decision Tree 是一种通过一系列问题进行决策的算法，类似于根据条件判断是否带雨伞。文章解释了 Decision Tree 的结构，包括内部节点和叶节点，以及分类树和回归树的区别。文章还讨论了 Decision Tree 的数学定义、构建方法（贪婪算法）、优缺点，以及它容易过拟合、缺乏平滑决策边界等问题。最后，文章提到了目标函数（Gini 不纯度、熵、平方损失）和 Decision Tree 的特点，例如不进行外推。
Mark as Read
Mark as Unread
Ending TLS Client Authentication Certificate Support in 2026
Source
Let’s Encrypt 将于2026年停止在其证书中包含“TLS Client Authentication”扩展密钥用法 (EKU)。 这一改变主要影响使用 Let’s Encrypt 证书进行客户端身份验证的用户。
为了减少影响，Let’s Encrypt 将分阶段进行：现在已提供不含 Client Authentication EKU 的 `tlsserver` profile；2025年10月1日推出保留此 EKU 的 `tlsclient` profile；2026年2月11日，默认 `classic` profile 移除该 EKU；2026年5月13日，`tlsclient` profile 不再可用。
此举是由于 Google Chrome 的要求，旨在将 TLS Client 和 Server Authentication 分离。 建议需要客户端身份验证的用户考虑使用私有证书颁发机构。
Mark as Read
Mark as Unread
Confessions about my smart home
Source
作者自述了其智能家居的真实情况，与人们的想象大相径庭。他并非“超越者”而是因兴趣开始接触 Home Assistant，拥有多个实例和大量设备，但设备连接和自动化程度不高，仪表盘混乱，家人对智能家居的接受度也不高。文章坦诚地揭示了智能家居设置的复杂性、不完美和作者的实验心态，并表达了未来改进的愿望。
Mark as Read
Mark as Unread
Experts have it easy (2024)
Source
文章探讨了专家与新手在解决问题时的差异。专家凭借经验，能更高效地识别关键问题并避免陷阱，而新手则容易陷入低效的探索和错误决策中。文章通过迷宫的比喻，强调了新手在决策、搜索策略和获取信息方面的局限性。最终，文章指出，新手需要耐心、勇气和来自专家的指导，才能逐步成长。同时，也强调了专家与新手之间缺乏同理心的问题，以及新手学习时需要主动探索和积累经验。
Mark as Read
Mark as Unread
Memetics – A Growth Industry in US Military Operations (2006) [pdf]
Source
Memetics（模因学）在美国军事行动中正迅速崛起，成为一个新兴的重要领域。文章探讨了模因学在军事领域的应用，暗示其对战略、宣传和信息战具有潜在影响。
Mark as Read
Mark as Unread
GM Is Pushing Hard to Tank California's EV Mandate
Source
通用汽车（GM）正积极游说，反对加州强制电动汽车（EV）销售的计划。
Mark as Read
Mark as Unread
RepoRoulette: Randomly sample repositories from GitHub
Source
RepoRoulette是一个Python工具，用于从GitHub随机抽样代码仓库。它提供了多种抽样方法：基于ID、时间抽样、BigQuery抽样和GH Archive抽样。BigQuery抽样利用Google BigQuery的公共GitHub数据集，提供高级过滤功能，但需要GCP账户。GH Archive抽样则通过GitHub Archive获取数据。该工具可用于学术研究、学习资源、数据科学、趋势分析和安全研究等领域。欢迎贡献。
Mark as Read
Mark as Unread
AniSora: Open-source anime video generation model
Source
Bilibili 推出的开源动漫视频生成模型 AniSora，支持一键生成多种动漫风格视频，包括剧集、中国原创动画、漫画改编等。用户上传图片并提供文字描述，即可生成动画。AniSora 专注于动漫风格，提供高质量动画视频，界面直观易用，适合动漫创作者。它基于 IJCAI'25 的研究，是 Project Index-AniSora 的一部分，旨在探索动画视频生成的前沿。
Mark as Read
Mark as Unread
Fortran for C Programmers
Source
本文是针对 C 程序员的 Fortran 入门指南，介绍了 Fortran 的基础知识。内容涵盖了 Fortran 的历史、标准、源文件格式、数据类型、数组、可分配对象、I/O、子程序、模块、参数、重载、多态、指针、预处理和面向对象编程等核心概念。文章还提供了 C 与 Fortran 的对照表，并指出了 Fortran 编程中需要注意的陷阱，帮助 C 程序员快速上手 Fortran。
Mark as Read
Mark as Unread
Show HN: I made a word puzzles app for improving your English vocabulary
Source
这是一个关于提高英语词汇量的网站 **DictionaryGames.io** 的介绍。该网站提供单词游戏和21世纪的单词卡片，帮助ESL学生、老师和语言爱好者学习英语。用户可以通过免费的短单词游戏体验，也可以付费订阅更全面的学习内容。网站还计划推出针对教师的定制练习。用户反馈积极，认为游戏具有挑战性且令人上瘾。
Mark as Read
Mark as Unread
The Lost Japanese ROM of the Macintosh Plus
Source
文章讲述了作者寻找到失传的 Macintosh Plus 日文版 ROM 的过程。该 ROM 容量为 256KB，内含汉字字体，能加快启动速度并节省 RAM。作者通过购买主板、转储 ROM，并借助他人帮助，成功找到了该 ROM。文章还介绍了测试过程，包括硬件准备和软件配置，并展示了使用日文 ROM 的启动优势。最后，作者还成功在模拟器 MAME 上运行了该 ROM，并分享了其个人收获。
Mark as Read
Mark as Unread
FreeBASIC is a free/open source BASIC compiler for Windows DOS and Linux
Source
FreeBASIC 是一个免费开源的 BASIC 编译器，支持 Windows、DOS 和 Linux。它兼容 QuickBASIC，许多 QuickBASIC 程序无需修改即可运行。FreeBASIC 拥有强大的功能和表现力，是 100% 自由软件。
FreeBASIC 是自托管编译器，使用 GNU binutils 作为后端，可生成多种类型的可执行文件，并完全支持 C 库和部分 C++ 库。它支持 C 风格的预处理器。
FreeBASIC 是一套跨平台开发工具，包含编译器、汇编器、链接器等，支持多种第三方库。它支持过程式、面向对象和元编程，扩展了 QuickBASIC 的功能，可用于编写各种程序。
Mark as Read
Mark as Unread
Compiling OCaml to the TI-84 CE Calculator
Source
文章介绍了将 OCaml 编译到 TI-84+ CE 计算器的实现方法。作者利用了现有的 LLVM 工具链，并基于 Js_of_ocaml 构建了一个新的 C 后端，将 OCaml 字节码转换为 C 代码。核心在于设计了一个可移植的垃圾回收器，通过扫描全局堆栈来标记存活对象。文章还提到了运行时库的构建、与 OCaml 构建系统的集成，并展示了编译后的 C 代码示例。最终，作者成功在计算器上运行了 OCaml 程序，但部分高级特性尚未支持。
Mark as Read
Mark as Unread
Gail Wellington, former Commodore executive, has died
Source
Gail P. Wellington，前 Commodore Computers 副总裁，于 2025 年 5 月 14 日去世，享年 85 岁。她毕业于 Northeastern University，职业生涯在科技行业取得成功。退休后，她积极参与社区服务，热衷艺术，喜爱绘画、编织和园艺。她以同情心和智慧闻名，是许多人的导师。纪念活动将于 2025 年 5 月 21 日举行，可向 Art Fusion Pottstown 或 Art Goes to School 捐款以示纪念。
Mark as Read
Mark as Unread
Unspoken Currency of Office Politics: Leverage and Sanction Between Coworkers
Source
文章探讨了职场政治中无形的“货币”——同事间的杠杆（Leverage）和制裁（Sanction）。文章列举了多篇博文，内容涵盖管理策略、任务跟踪、LLMs应用、任务协调等。核心观点是，任务协调虽然可能带来专业化和多元视角的好处，但也会增加成本和风险，需要权衡利弊。文章还提到了任务分配的各种规模，以及外包的概念。
Mark as Read
Mark as Unread
A disk is a bunch of bits (2023)
Source
文章核心探讨了“磁盘就是一堆 bits”的观点，并通过分析 Linux 的 ext4 文件系统，详细演示了如何找到并解析磁盘上文件的 inode 信息。作者使用 `debugfs` 工具和 C 程序，展示了从磁盘读取原始 bits、解析 inode 结构，以及在内存中验证 bits 的过程。最终，作者成功找到了文件内容在磁盘上的位置，并提取了“Hello, world!”字符串，从而揭示了文件在磁盘上的存储方式，降低了计算机的神秘感。
Mark as Read
Mark as Unread
LLMs are more persuasive than incentivized human persuaders
Source
该研究比较了大型语言模型（LLM，如 Claude Sonnet 3.5）与受激励的人类说服者在说服力上的差异。实验中，LLM 和人类说服者试图引导参与者在测验中给出正确或错误的答案。结果表明，LLM 在定向说服方面的成功率高于人类，无论目标是正确还是错误答案。LLM 引导正确答案时，参与者准确率提高；引导错误答案时，准确率降低。研究结论是，人工智能的说服能力已超越了受激励的人类，强调了对人工智能对齐和治理框架的需求。
Mark as Read
Mark as Unread
Understanding Transformers via N-gram Statistics
Source
该研究探讨了如何通过 N-gram 统计来理解 Transformer 模型。文章提出，通过分析 N-gram 规则与 Transformer 预测的关联，可以揭示模型的工作机制。研究发现，N-gram 统计可用于检测过拟合、量化模型学习复杂规则的过程，并衡量模型预测与 N-gram 规则的契合度。结果表明，在 TinyStories 和 Wikipedia 数据集上，Transformer 的预测与 N-gram 规则集预测有较高的一致性。
Mark as Read
Mark as Unread
We fall for fake health information – and how it spreads faster than facts
Source
文章探讨了人们容易相信虚假健康信息的原因。虚假信息常混杂部分真实内容，以耸人听闻的标题和视觉效果吸引眼球，并利用人们对独家信息的渴望，从而更容易被分享。社交媒体的传播特性加速了这一过程。文章强调了虚假信息带来的负面影响，如降低对医疗系统的信任，导致疫苗接种率下降。最后，文章提出了验证信息真实性的方法，包括交叉验证、评估信息来源和谨慎分享。
Mark as Read
Mark as Unread
Directory of MCP Servers
Source
该文章介绍了一个名为 `mcpso` 的项目，是一个精选的 MCP 服务器目录，托管在 GitHub 上。文章提供了项目的基本信息，包括代码、Issues、Pull requests、讨论等链接，以及许可证、Star、Fork 等数据。此外，还提供了快速开始的步骤，包括克隆仓库、安装依赖、设置数据库和环境变量，以及运行开发服务器的说明。文章还包含了社区链接、作者信息以及关于项目的更多信息。
Mark as Read
Mark as Unread
Xata: Postgres at scale, with copy-on-write branching and anonymization
Source
Xata 重新推出，是一个基于 Postgres 的平台，专为大规模应用设计。它提供 Copy-on-Write 分支、数据匿名化、存储与计算分离等特性。核心优势包括：快速创建带真实数据的开发分支，同时保护 PII；支持在自有云上部署，增强安全性和合规性；通过 NVMe/TCP 访问的分布式存储系统，实现高性能和成本效益。Xata 旨在解决大规模 Postgres 使用中的零停机、数据安全、开发环境快速搭建等问题，并提供与现有 Postgres 服务的协同工作能力。
Mark as Read
Mark as Unread
Racket – the Language-Oriented Programming Language – 8.17 is now available
Source
Racket v8.17 版本发布，带来了多项更新。主要改进包括：`drracket-core` 包的发布、对 `treelists` 的 Typed Racket 支持、包管理器对 checksums 的处理、新增 `bitwise-first-bit-set` 函数、改进 `dynamic-require` 函数、自定义错误消息模块路径显示、提升 Windows 平台上部分数值函数的精度、优化 `string-append` 函数性能、TCP 端口使用 `SO_KEEPALIVE`、Windows 终端鼠标事件支持、JSON 格式错误代理项替换、http-client 模块更新、`demodularizer` 优化、Redex 改进、DrRacket 语言对话框配置调整、数学库增强以及 stepper 修复等。 感谢社区贡献。
Mark as Read
Mark as Unread
Mystical 是一种基于环状结构的编程语言可视化方案，主要用于 PostScript 代码。它使用环、文本和符印来表示代码结构，其中环分为可执行数组、不可执行数组和字典三种类型。符印代表运算符、变量等，并有标准符印和用户自定义符印。文章还介绍了连字语法，以及快速排序和GCD算法的示例。Mystical 旨在通过视觉方式呈现代码，但目前仅用于绘制 PostScript 程序，而非可执行的编程语言。作者认为该方法可能适用于 Forth 等其他语言。
Mark as Read
Mark as Unread
Lufthansa plane flown by autopilot after pilot faints in cockpit
Source
一架汉莎航空航班因副驾驶昏厥，在Autopilot系统控制下飞行。事件发生在去年，西班牙调查报告显示，当时正驾驶离开驾驶舱，副驾驶独自一人。 空中客车A321在无人控制下飞行了约10分钟，从法兰克福飞往塞维利亚。 汉莎航空表示已知晓该报告，并进行了内部调查，但未透露结果。 报告指出，副驾驶可能无意中操作了控制装置，但Autopilot确保了飞行稳定。 驾驶舱录音记录了与医疗紧急情况一致的异常噪音。 正驾驶随后使用紧急代码进入驾驶舱。
Mark as Read
Mark as Unread
Dead Stars Don't Radiate
Source
文章讨论了关于Hawking辐射的最新研究，该研究声称即使是死亡恒星也会发射Hawking辐射，导致其质量减少并最终消失。作者指出，这一结论与现有理论相悖，并可能违反重子守恒定律。作者引用了反驳该观点的论文，认为其使用了粗略的近似方法，并强调了静态引力场不会产生粒子-反粒子对的结论。文章批评了新闻媒体对该研究的过度宣传，并推荐了更严谨的学术研究作为参考。
Mark as Read
Mark as Unread
The longest train journey is epic – but nobody's ever taken it
Source
文章探讨了理论上世界上最长的火车旅程，从葡萄牙拉各斯到新加坡，全程约18755公里，途经13个国家。尽管路线可行，但因换乘频繁、后勤问题、以及俄乌战争影响等因素，从未有人真正完成。文章指出，该旅程并非“最长”，且强调了旅程的哲学意义，并提到了无需换乘的最长火车旅程（莫斯科到平壤）。
Mark as Read
Mark as Unread
Show HN: I built a knife steel comparison tool
Source
该项目是一个刀具钢材性能对比工具，名为 [New.Knife.Day](https://new.knife.day/blog/knife-steel-comparisons/)。它提供了多种刀具钢材的对比，包括150个详细对比，其中147个包含对比图表。用户可以查看不同钢材在耐腐蚀性、韧性、保持性和易磨性等方面的性能对比，评级为1-10分。网站提供了丰富的对比分析，方便用户了解不同钢材的优缺点。
Mark as Read
Mark as Unread
Gnosis Evolve MCP for Claude Desktop
Source
这篇文章主要展示了一个基于 GitHub 的导航菜单和相关链接，涵盖了产品、解决方案、资源、开源和企业等多个方面。 菜单内容包括了 GitHub Copilot、GitHub Advanced Security、Actions、Codespaces 等功能，以及按公司规模、使用场景和行业分类的解决方案。 此外，还提供了学习路径、活动、电子书、客户案例等资源，以及开源项目和企业平台的信息。 页面底部包含 GitHub 的相关条款、隐私、安全、状态等链接。
Mark as Read
Mark as Unread
这篇文章是关于电影《_Withnail_ _and_ _I_》的影评随笔，作者追忆了与朋友Vivian的过往。文章核心在于Vivian对作者的影响，以及Vivian在作者创作这部电影时的重要性。作者通过日记片段，展现了Vivian的生活方式、性格特点，以及他对文学和生活的独特见解。文章表达了对Vivian的怀念，并强调了如果没有Vivian，这部电影就不可能诞生。
Mark as Read
Mark as Unread
A Simulation in C++ of Joseph Weizenbaum's 1966 Eliza
Source
文章介绍了一个用 C++ 编写的 ELIZA 聊天机器人的模拟实现，该模拟力求准确复刻 Joseph Weizenbaum 在 1966 年开发的原始版本。作者详细描述了其开发过程，包括在发现 ELIZA 源代码前后的修改，以及对 HASH 函数的探讨。文章还提到了用 JavaScript 重新创建 ELIZA 的尝试，以及在 ASR 33 电传打字机上运行 ELIZA 的实现。此外，文章还提及了 ELIZA 的图灵完备性，并提供了构建和运行 C++ 模拟的说明。
Mark as Read
Mark as Unread
How to have the browser pick a contrasting color in CSS
Source
文章介绍了 CSS 的 `contrast-color()` 函数，它允许开发者声明颜色，并让浏览器自动选择黑或白作为对比色。虽然简化了颜色管理，但文章强调该函数并不能完全解决可访问性问题，因为当前的算法（WCAG 2）可能导致对比度不足。文章还讨论了更先进的对比度算法（APCA）及其优势，并建议结合 `prefers-contrast` media query 来增强可访问性。最后，文章展望了未来 `contrast-color()` 的发展方向，可能支持更丰富的颜色选择。
Mark as Read
Mark as Unread
If nothing is curated, how do we find things
Source
文章探讨了信息过载时代，缺乏内容精选导致人们难以发现所需信息的问题。作者认为，社交媒体的算法推荐取代了专业的策展人，使信息获取变得碎片化，反而增加了筛选信息的难度。文章回顾了过去通过杂志、电视节目等方式获取信息的时代，并指出当前评论网站也面临着信息爆炸的挑战。作者呼吁重新重视内容策展，并分享了自己通过笔记和列表来应对信息过载的尝试，但承认这并非完美解决方案。
Mark as Read
Mark as Unread
Energy Drinks Linked to Rise in Colorectal & Blood Cancer
Source
一项发表在《Nature》杂志上的研究表明，能量饮料中的常见成分牛磺酸可能促进血癌细胞生长。研究发现，牛磺酸被白血病细胞利用，加速其繁殖，使病情恶化。研究人员警告消费者，尤其是在能量饮料和膳食补充剂中，应谨慎摄入牛磺酸。研究还探讨了牛磺酸与结直肠癌的潜在联系，并正在进行相关临床试验。虽然少量牛磺酸通常安全，但高剂量可能带来副作用。研究人员呼吁进一步调查，特别是在某些癌症治疗中继续使用牛磺酸补充剂的情况下。
Mark as Read
Mark as Unread
"We would be less confidential than Google" Proton threatens to quit Switzerland
Source
瑞士拟议的新监控法引发争议，可能迫使 **Proton** 等公司退出。该法案旨在扩大监控范围，要求 **VPN**、消息应用等保留用户数据，这与 **Proton** 的隐私保护原则相悖。**Proton** CEO 认为该法案侵犯隐私，并可能损害瑞士的国际声誉。其他公司如 **NymVPN** 也表示反对。公众咨询已结束，最终决定待定，但反对声音强烈。如果法律通过，**Proton** 可能会被迫修改其加密方式和无日志政策，最终选择离开瑞士。
Mark as Read
Mark as Unread
Palette lighting tricks on the Nintendo 64
Source
文章介绍了在 Nintendo 64 (N64) 上实现光照效果的技巧，主要利用调色板着色。通过在 CPU 上更新调色板，间接实现对纹理的着色，从而模拟法线贴图和环境光照。文章详细阐述了对象空间法线贴图、共享漫反射和法线调色板、烘焙定向环境光和太阳光等技术，并讨论了镜面反射着色的实现。虽然存在着色不连续等局限性，但该方法在 N64 硬件限制下，实现了相对逼真的光照效果。
Mark as Read
Mark as Unread
Steepest Descent Density Control for Compact 3D Gaussian Splatting
Source
该论文提出了一种基于最速下降密度控制的紧凑型3D Gaussian Splatting方法（SteepGS）。针对3D Gaussian Splatting在场景重建中产生冗余点的问题，SteepGS通过理论分析，优化了密度控制策略。研究确定了密度增加的必要条件，并设计了减少Gaussian点数量的方案。实验结果表明，SteepGS在不降低渲染质量的前提下，减少了约50%的Gaussian点，从而提高了效率和可扩展性，更适合资源受限设备。
Mark as Read
Mark as Unread
Show HN: A MCP server to evaluate Python code in WASM VM using RustPython
Source
这篇文章展示了一个使用 `RustPython` 在 `WASM` 虚拟机中评估 `Python` 代码的 `MCP` 服务器。文章内容主要是一个导航菜单，包含了产品、解决方案、资源、开源和企业等多个板块的链接，以及搜索、反馈、保存搜索等功能。此外，还包含了页脚导航，提供服务条款、隐私、安全等信息。
Mark as Read
Mark as Unread
O2 VoLTE: locating any customer with a phone call
Source
文章揭示了O2 UK的VoLTE服务存在严重隐私漏洞。通过分析VoLTE呼叫的信令消息，可以获取呼叫双方的IMSI、IMEI以及小区ID等信息，从而推断出用户的大致位置。作者指出，这种信息泄露无法通过禁用4G Calling来避免，且O2未提供有效的安全漏洞报告途径。文章呼吁O2移除相关信息标头，以保护用户隐私。
Mark as Read
Mark as Unread
The Japanese method of creating forests comes to Mexico
Source
文章介绍了日本的Miyawaki方法，一种在城市退化土地上快速创建高生物多样性原生森林的技术。该方法通过高密度种植、模仿自然森林动态，加速植被生长。这种技术已推广至全球多地，现应用于墨西哥内萨瓦尔科约特尔市，旨在改善城市“热岛”效应，促进生态恢复。文章强调了该方法作为解决城市环境问题方案之一的积极意义。
Mark as Read
Mark as Unread
Pyrefly: A new type checker and IDE experience for Python
Source
Meta 发布了用 Rust 编写的开源 Python 类型检查器和 IDE 扩展 Pyrefly 的 alpha 版本。Pyrefly 旨在提供高性能的类型检查，支持 IDE 集成和 CLI 使用，并能自动推断类型。它基于 Pyre 的经验，旨在解决大型代码库的类型检查需求。该项目开源于 GitHub，鼓励社区参与，并计划在今年夏天移除 alpha 标签。
Mark as Read
Mark as Unread
No-boom supersonic flights could slide through US skies soon
Source
文章探讨了在美国恢复超音速飞行的可能性。一项两党支持的法案旨在允许FAA颁发超音速飞行许可证，前提是飞机产生的音爆不会传到地面。该法案得到了Boom Supersonic等公司的支持，该公司正在研发无音爆超音速飞机。文章回顾了超音速飞行的历史，以及NASA在静音超音速飞行研究中的作用。同时，文章也提到了中国在该领域的进展。最终，文章强调了该法案对加速航空旅行和保持美国航空领先地位的重要性。
Mark as Read
Mark as Unread
OBNC – Oberon-07 Compiler
Source
OBNC 是 Niklaus Wirth 的 Oberon 编程语言的编译器，将 Oberon 源代码编译成 C 语言，再由宿主 C 编译器编译和链接。它基于 GNU General Public License 和 Mozilla Public License 发布。文章提供了 OBNC 的下载链接，包括源代码包和 Windows 预编译版本，以及文本编辑器扩展。此外，文章还提供了相关文档、FAQ、文章和书籍的链接，并提供了联系方式。
Mark as Read
Mark as Unread
Google is quietly giving Amazon a leg up in digital book sales
Source
Google 正在悄然帮助 Amazon 提升电子书销量。通过在 Amazon 的 Android 应用中，用户可以使用“一键购买”按钮购买电子书和有声读物，这在其他 Android 或 iPhone 应用中并不常见。文章强调了 Google 的这一举措，使得用户更容易从 Amazon 购买电子书，从而促进了 Amazon 的销售。
Mark as Read
Mark as Unread
Patience too cheap to meter
Source
文章认为，LLM 最大的价值在于其“耐心”特性，而非智能程度。作者指出，LLM 能够提供无限的、无评判的倾听，这种特性使其在情感支持和日常建议方面具有优势。尽管 LLM 在提供建议方面可能存在问题，例如放大奉承，但其超人般的耐心是其独特且变革性的能力。作者担忧这种特性可能导致用户对人类耐心水平的期望降低。
Mark as Read
Mark as Unread
MinorMiner: We turn your kid's maths homework into Bitcoin
Source
文章介绍了 MinorMiner 平台，该平台将儿童的数学作业转化为 Bitcoin 挖矿。通过将 SHA-256 算法分解为简单的算术问题，并利用 CUDAAAAGH 库，平台将计算任务分配给学生。为了提高效率，文章提出了并行化、课程优化和教师激励对齐等策略。最终目标是扩展到 AI 领域，利用儿童进行 AI 模型训练，并最终实现云计算。
Mark as Read
Mark as Unread
Static Types Are for Perfectionists
Source
文章探讨了技术偏好与个人经历的关系。作者认为，对静态类型等技术的偏好，并非完全基于理性，而是受到童年经历和成长环境的影响，例如对错误的恐惧和对依赖的反感。文章强调了接受不同技术偏好的重要性，并建议找到适合自身风格的环境。作者通过“真实性螺旋”的概念，阐述了程序员在职业生涯中不断探索和调整技术偏好的过程，最终找到更适合自己的工作方式。
Mark as Read
Mark as Unread
MIT paper on AI for materials research found to be fraudulent
Source
一篇关于 MIT 材料研究 AI 论文涉嫌欺诈的文章。文章内容无法直接获取，需要通过 Cloudflare 的安全验证才能访问。
Mark as Read
Mark as Unread
Dezyne Programming Language
Source
本文档是 Dezyne 2.18.3 版本的参考手册，主要介绍了 Dezyne 编程语言。内容涵盖了 Dezyne 的核心概念，如并发性、组件化、模型驱动和契约式设计。手册详细阐述了安装、快速入门、执行语义、形式化验证、防御性设计和代码集成等内容，并提供了 Dezyne 命令行工具的使用说明。此外，还包含了 Dezyne 语言的详细参考，包括词法分析、类型、接口、组件、系统和命名空间等，以及关于代码风格和贡献的指南。
Mark as Read
Mark as Unread
Open Problems in Computational geometry
Source
该项目旨在记录计算几何及其相关领域的重要开放问题，始于2001年，收录了超过75个问题。文章鼓励更新现有问题，通过 **GitHub** Pull Request 提交。每个问题都有唯一编号和分类，方便查阅。内容涵盖了多种计算几何领域，如 **Delaunay** 三角剖分、几何图、**Voronoi** 图等，并提供了所有问题的数字和分类列表，方便读者浏览。
Mark as Read
Mark as Unread
Push Ifs Up and Fors Down
Source
文章提出了两条代码优化经验法则：将 `if` 语句上推和将 `for` 循环下推。上推 `if` 语句旨在减少冗余检查，集中控制流，简化代码逻辑，并可能通过“溶解 enum”重构来优化。下推 `for` 循环则强调批量处理数据，提升性能，并为向量化等优化手段创造条件。文章通过示例对比，说明了这两种方法在代码可读性、效率和架构设计上的优势。
Mark as Read
Mark as Unread
Transformer neural net learns to run Conway's Game of Life just from examples
Source
文章展示了一个简化的 Transformer 神经网络，名为 SingleAttentionNet，通过学习示例成功运行了 [Conway’s Game of Life]。该模型由一个带有 single-head attention 的 attention block 组成，将 Life 网格表示为 tokens。研究表明，模型通过 attention 机制学习计算 3x3 卷积，从而实现游戏逻辑。训练过程涉及梯度下降和交叉熵损失，使用随机生成的 Life 网格进行训练。模型在 GPU 上训练，训练时间为几分钟到十分钟。作者还尝试了手动计算的 Neighbour Attention 矩阵和 3x3 平均池化层，发现模型学习更快。
Mark as Read
Mark as Unread
Production tests: a guidebook for better systems and more sleep
Source
文章介绍了在生产环境中运行自动化测试（Production tests）的实用指南，旨在提升系统可靠性和改善工程师的睡眠质量。文章强调了Production tests的重要性，它们能提供早期故障预警，帮助快速修复问题。文章详细阐述了如何设置Production tests，包括保持测试简单、覆盖关键功能、注意对可观测性的影响以及处理虚假数据等。同时，文章也对比了Production tests与基于可观测性的警报，并强调了两者结合使用的优势。
Mark as Read
Mark as Unread
The man who visited every country in the world – without boarding a plane (2023)
Source
文章讲述了34岁的Torbjørn Pedersen历时十年，不乘坐飞机，徒步、搭车等方式环游世界每个国家的故事。他设定了不飞、不回家、每个国家至少停留24小时的规则，并经历了脑疟疾、抢劫等困难。旅程中，他结婚、面临亲人离世，也见证了人性的温暖。尽管旅程充满挑战，但他最终完成了壮举，并从中领悟到人类的相似性、互助的重要性，以及永不放弃的精神。
Mark as Read
Mark as Unread
Life before the web – Running a Startup in the 1980's (2016)
Source
文章回顾了1980年代Startup的运营情况，以PowerPoint的早期发展为例，对比了Web时代前后创业的差异。在Web出现之前，创业面临着计划性强、反馈周期长、竞争激烈等挑战。由于缺乏互联网，市场调研、营销推广、软件交付、升级维护都面临着高成本和复杂性。文章还强调了专注的重要性，以及当时创业者所面临的种种困难。
Mark as Read
Mark as Unread
Don't Use ISO/IEC 14977:1996 Extended Backus-Naur Form (EBNF) (2023)
Source
文章批判了 ISO/IEC 14977:1996 扩展巴科斯范式 (EBNF) 的诸多缺陷，建议避免使用。作者指出该规范在字符支持、范围定义、语法可读性、与正则表达式兼容性以及“一个或多个”符号的表达上存在严重问题，导致语法难以理解。文章还质疑了盲目遵循 ISO 标准的合理性，强调即使是 ISO 自身也未广泛采用该规范。作者推荐使用 W3C XML 1.0 中的 EBNF 符号作为更优的替代方案，因为它更易于理解，且与现代开发者的常用语法更兼容。
Mark as Read
Mark as Unread
Implementing a RISC-V Hypervisor
Source
文章记录了作者开发 RISC-V 虚拟机监控器的过程。作者基于 RISC-V H-extension，逐步实现了虚拟机监控器的核心功能。首先，通过设置 CSR 进入客户机模式，并运行简单的 `ecall` 和 "Hello World" 程序。接着，作者启动了 Linux 内核，并解决了设备树、`rdtime` 支持、定时器支持和 MMIO 支持等问题。最后，作者实现了 virtio-fs，并分享了调试虚拟机监控器和客户机的技巧，展示了使用 GDB 调试的便利性。
Mark as Read
Mark as Unread
Catalog of Novel Operating Systems
Source
这篇文章是一个新型操作系统目录，列举了多个正在开发或已有的操作系统，包括 UXN、Playbit、Folk.computer、Nette.io、Interim、Mezzano、ChrysalLisp、RayvnOS、RedoxOS 等。文章还提到了 DesktopNeo、MercuryOS、Freeze.app、WormOS 等相关想法，并提供了相关项目的链接和截图。最后，文章还引用了其他类似的列表。
Mark as Read
Mark as Unread
Publisher: The Malloy Semantic Model Server
Source
文章介绍了 Publisher，一个基于开源数据建模语言 Malloy 的语义模型服务器。它通过 API 公开 Malloy 定义的语义模型，允许应用程序、AI agents 等使用业务术语查询数据，并将查询编译为 SQL。Publisher 包含 Server、SDK 和 App 三个主要组件，旨在解决数据含义不明确的问题，提供一致、可解释和 AI-ready 的数据访问。它支持 REST API 和 MCP API，并计划推出 SQL API 以及更多功能，如开发者模式、计划转换等。
Mark as Read
Mark as Unread
Programming in Martin-Lof's Type Theory: An Introduction (1990)
Source
这本绝版的书是关于 **Martin-Löf Type Theory** 编程的入门指南，由 Bengt Nordström、Kent Petersson 和 Jan M. Smith 于 1990 年出版。原书由 Oxford University Press 出版，现已可在 `www.cs.chalmers.se/Cs/Research/Logic/book` 免费获取。读者可以下载 Postscript 和 pdf 格式的完整书籍，包括目录。
Mark as Read
Mark as Unread
`This Printer company served you malware for months, called them false positives
Source
文章揭露了打印机公司在数月内通过其软件分发恶意软件，最初却将其归类为“误报”。研究发现，该公司的打印机软件中存在 `Win32.Backdoor.XRedRAT.A` 后门和 `MSIL.Trojan-Stealer.CoinStealer.H` 加密货币窃取器，以及可能存在的 `Floxif` 文件感染器。恶意软件可能通过开发人员工作站或构建服务器传播。公司已删除受感染软件并提供干净版本，但建议用户重新格式化硬盘以彻底清除威胁。
Mark as Read
Mark as Unread
JavaScript's New Superpower: Explicit Resource Management
Source
文章介绍了 JavaScript 的显式资源管理新特性，主要包括 `using` 和 `await using` 声明，用于自动调用资源的 `dispose` 方法；`DisposableStack` 和 `AsyncDisposableStack`，用于管理多个可释放资源；以及 `SuppressedError` 错误类型。这些新特性旨在增强代码的健壮性、性能和可维护性，通过更精细地控制资源释放来避免资源泄漏。该特性已在 Chromium 134 和 V8 v13.8 中发布，并得到部分浏览器和工具的支持。
Mark as Read
Mark as Unread
Show HN: Fahmatrix – A Lightweight, Pandas-Like DataFrame Library for Java
Source
**Fahmatrix** 是一个轻量级的 Java DataFrame 库，对标 Python 的 Pandas，旨在简化 JVM 上的表格数据处理。它提供直观的 API，支持 CSV 文件读取、行过滤、列选择和数据打印等功能。目前已实现聚合操作，未来将增加 GroupBy、透视表等功能。该库无外部依赖，可通过 GitHub Releases 或本地构建安装。项目采用 MIT 许可证，鼓励赞助支持持续开发。
Mark as Read
Mark as Unread
My favourite fonts to use with LaTeX (2022)
Source
文章是关于作者在 LaTeX 中最喜欢的字体调查。作者介绍了七种个人偏好的衬线字体：Bembo、Palatino、Crimson、Libertine、STIX、Charter 和 Utopia，并提供了每种字体的简要描述和示例。文章重点介绍了字体的历史、特点以及在 LaTeX 中的应用，包括免费替代方案和配套的 sans-serif 字体。文章还提到了 OpenType 字体在 LaTeX 中的使用，以及一些字体包的介绍。
Mark as Read
Mark as Unread
A Linux kernel developer plays with Home Assistant: general impressions
Source
文章是关于Linux内核开发者对Home Assistant的体验。Home Assistant是一个开源的家庭自动化项目，提供本地控制的替代方案。文章探讨了项目的健康状况，指出其活跃的开发者社区和开放的贡献模式，但安装和设置过程相对复杂。集成质量参差不齐，安全方面依赖用户信任，第三方集成存在潜在风险。尽管如此，Home Assistant提供了灵活的仪表板和自动化功能，最终目标是让用户掌控家庭设备。文章总结了Home Assistant的优势，并预告了后续将分享更多实际应用体验。
Mark as Read
Mark as Unread
Behind Silicon Valley and the GOP’s campaign to ban state AI laws
Source
文章揭露了硅谷和共和党联手，试图通过禁止州级AI法律的行动，以维护科技巨头的利益。共和党人试图通过预算协调法案禁止各州监管AI，这引发了民主党和公众的强烈反对。文章指出，此举是不民主的，旨在阻止公众对科技公司影响生活的行为进行监督。同时，文章还提到了科技高管与特朗普在沙特阿拉伯的合作，以及加州议员对AI监管的看法，强调了保护工人权益和维护公众利益的重要性。
Mark as Read
Mark as Unread
文章介绍了使用 Texture 平台与 API 交互的方式。Texture 提供公共 MCP 服务器集合，也允许用户创建自己的 MCP 服务器，每个服务器都是一个 API 的包装器，支持自然语言交互。文章列举了两个热门 MCP 服务器的示例，包括查看天气信息的 NWS 服务器和与 Reddit API 交互的服务器。用户可以通过提供名称和描述来创建自己的 MCP 服务器。
Mark as Read
Mark as Unread
XTool – Cross-platform Xcode replacement
Source
文章介绍了一个名为 XTool 的跨平台 Xcode 替代方案，它允许在 Linux、Windows 和 macOS 上使用 SwiftPM 构建和部署 iOS 应用程序。 XTool 提供了 Xcode 的部分功能，包括构建、签名和安装 iOS 应用，以及与 Apple Developer Services 交互。文章还提供了快速开始的指南和命令行界面示例，并介绍了 XTool 包含的库，方便开发者在自己的应用中使用。
Mark as Read
Mark as Unread
Wow@Home – Network of Amateur Radio Telescopes
Source
文章介绍了 Wow@Home 项目，一个由小型无线电望远镜组成的网络，旨在以低成本、全天候的方式监测天空，尤其关注瞬态事件。该网络利用地理分布优势，协同观测，降低本地干扰，并具有可扩展性。虽然灵敏度和分辨率不及专业望远镜，但其易于构建和使用的特性使其适合教育、公民科学等领域。文章还展示了 Wow@Home 无线电望远镜的测试配置和软件，并展望了未来的扩展，包括多波束系统、跟踪能力等。
Mark as Read
Mark as Unread
A Linux kernel developer plays with Home Assistant: case studies
Source
文章是关于一位 Linux 内核开发者使用 Home Assistant 智能家居系统的案例研究。作者通过太阳能板、热泵和电力监控等实例，展示了 Home Assistant 在解决实际问题中的应用。文章强调了 Home Assistant 的优势，例如数据自主性、控制设备和监控能源消耗。作者还提到了 Home Assistant 的一些不足，例如配置复杂和数据存储问题。最后，文章呼吁推广自由软件理念，强调 Home Assistant 提供了对个人数据和设备的控制权，并预示了智能家居领域的未来发展方向。
Mark as Read
Mark as Unread
Show HN: Roast My Dish – AI roasts your food photos with brutal honesty
Source
“Roast My Dish”是一个AI应用，用户可以上传美食照片，然后由AI对其进行“无情吐槽”。用户上传JPG或PNG格式的图片，大小不超过5MB。该应用提供服务条款、隐私政策和退款定价政策，并保留所有权利。
Mark as Read
Mark as Unread
Show HN: Merliot – plugging physical devices into LLMs
Source
Merliot Hub是一个将物理设备连接到LLM的平台。它允许用户通过自然语言控制和交互自制设备，例如使用 Raspberry Pi 或 Arduino 构建的设备。该Hub通过 Model Context Protocol (MCP) 服务器与 LLM 集成，例如 Claude 或 Cursor。Merliot Hub 强调隐私，采用分布式架构，用户可以安装和维护自己的 Hub。它提供 Web App 界面，并支持 Docker 部署，方便在本地或云端运行。
Mark as Read
Mark as Unread
WebGL Gray-Scott Explorer (2012)
Source
该文章介绍了一个基于 WebGL 的 Gray-Scott 方程探索器，用于模拟反应扩散系统产生的各种模式。用户可以通过鼠标交互绘制、使用预设、调整参数（F 和 k）和颜色方案来探索不同的图案。文章详细说明了预设的分类和操作方法，并提供了导入/导出设置的功能。此外，还提到了对 GL 扩展的要求以及查看可用扩展的方法。
Mark as Read
Mark as Unread
New stem cell model sheds light on human amniotic sac development
Source
研究人员开发出一种新的干细胞模型，模拟人类羊膜囊发育过程，首次构建了两周后羊膜囊的模型。该模型有助于研究羊膜的起源和功能，揭示其支持胚胎发育的方式，并为医疗应用带来希望。研究发现，转录因子GATA3对羊膜发育至关重要，羊膜组织还能与胚胎细胞交流。该模型有望提供羊膜的替代来源，用于医疗程序，并改变人们对羊膜的传统认知，认为其不仅是保护结构，还主动参与胚胎生长。
Mark as Read
Mark as Unread
文章主要介绍了网站使用Cookie的情况，详细列出了不同类型的Cookie及其用途，包括必要、偏好、统计和营销四类。文章详细说明了每个Cookie的名称、提供商、存储期限和类型，以及它们收集的数据，旨在分析网站流量、个性化内容和广告，并支持社交媒体功能。
Mark as Read
Mark as Unread
The Connoisseur of Desire
Source
文章探讨了F. Scott Fitzgerald作品中对情欲的描绘，特别是《The Great Gatsby》中Jay Gatsby的渴望。文章引用了Fitzgerald早期作品，如《This Side of Paradise》和《The Beautiful and Damned》，展示了Fitzgerald对亲吻、欲望和情感的细致刻画，以及年轻人在爱情中的挣扎。文章强调了Fitzgerald对不同类型亲吻的分类，以及对真诚情感的关注。
Mark as Read
Mark as Unread
They Were Identical 'Twinnies' Who Charmed Orwell, Camus and More
Source
这篇文章聚焦于两个对Orwell、Camus等作家产生影响的“双胞胎”概念。文章的核心在于探讨这两个概念如何影响了这些作家的思想和创作，暗示了它们在文学和哲学领域的重要性。
Mark as Read
Mark as Unread
Font Activations: A Note on the Type
Source
这篇文章讨论了关于字体激活的一些思考。文章首先验证了访问者的身份，并提示需要解除对 `challenges.cloudflare.com` 的阻止才能继续访问。文章内容由 [Cloudflare](https://robhorning.substack.com/p/) 提供性能和安全保障。
Mark as Read
Mark as Unread
Solving physics-based initial value problems with unsupervised machine learning
Source
该研究提出了一种使用无监督机器学习解决物理初值问题的方法。文章构建了一个深度学习框架，利用神经网络模拟各种力学系统的动力学，包括非线性、耦合和混沌系统。研究在多个系统上验证了该方法的有效性，结果表明深度神经网络能够逼近问题的解，并保留能量等物理特性。文章强调了概率激活函数和耦合神经网络在学习初值问题解中的重要性。
Mark as Read
Mark as Unread
Show HN: Solidis – Tiny TS Redis client, no deps, for serverless
Source
Solidis 是一个轻量级、无依赖的 TypeScript Redis 客户端，专为 Serverless 环境设计。它基于 SOLID 原则构建，提供高性能的 RESP 协议支持，包括 RESP2 和 RESP3。该客户端提供基础版和特性版两种实现，支持事务、Pipeline、Pub/Sub 等高级功能，并具有强大的类型安全性和可扩展性。Solidis 强调零依赖、小包体积，并提供详细的错误处理和调试选项。
Mark as Read
Mark as Unread
Getting AI to write good SQL
Source
文章介绍了 Google Cloud 的 Text-to-SQL 技术，利用 Gemini 等大型语言模型将自然语言转化为 SQL 查询，提高开发效率。 核心挑战在于提供业务上下文、理解用户意图和解决 LLM 生成的限制。 解决方案包括智能检索、上下文学习、消除歧义、SQL-aware 模型、验证重写和自洽性等技术。 评估改进依赖于综合基准测试和 LLM-as-a-judge 技术。 目前，该技术已应用于 BigQuery Studio、Cloud SQL Studio、AlloyDB AI 等产品中。
Mark as Read
Mark as Unread
文章探讨了文艺复兴时期人文主义者写作的自动化，类比于现代大型语言模型（LLMs）。作者指出，Erasmus的人文主义教育培养了快速写作能力，但牺牲了新颖性，类似于LLMs生成文本的模式。Rabelais观察到，这种自动化可能导致语言的社会力量减弱，无法有效沟通。文章分析了人文主义者在处理冲突时的失败，以及语言自动化带来的局限性，强调了沟通需要考虑听众的实际反应，而非仅仅追求语言的流畅性。
Mark as Read
Mark as Unread
ClojureScript 1.12.42 版本发布，主要更新包括：依赖项变更，Google Closure Compiler 升级至 v20250402，要求 Java 21；以及依赖 Google Closure Library 的 Clojure 分支。由于 Google 停止维护 Google Closure Library，Clojure 社区 fork 了该库并进行维护，旨在恢复 ClojureScript 的稳定性，使其在各种 JavaScript 上下文中成为完整的解决方案，并提供可靠的 JavaScript 工具，例如 DOM 操作、国际化等。
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
Comparing Parallel Functional Array Languages: Programming and Performance
Source
该论文比较了五种并行函数式数组语言（Accelerate, APL, DaCe, Futhark, SaC）的编程和性能。研究通过N-body simulation、MultiGrid、Quickhull和Flash Attention等基准测试，评估了这些语言在多核和GPU上的表现。结果表明，函数式数组代码在表达能力上更胜一筹，且易于移植和优化。论文认为，成熟的函数式数组语言有潜力提供与传统技术相媲美的性能。
Mark as Read
Mark as Unread
Spider Eye Development Editing and Silk Fiber Engineering Using CRISPR-Cas
Source
该研究成功开发了针对蜘蛛的 CRISPR-Cas9 基因编辑方案，实现了基因敲除和敲入。通过敲除 _sine oculis_ 基因，证实了其在蜘蛛眼睛发育中的作用。此外，研究人员将红色荧光蛋白敲入蜘蛛丝基因，成功制造出红色荧光丝，证明了 CRISPR 技术在蜘蛛丝纤维工程中的可行性，为发育遗传学和材料科学研究提供了新思路。
Mark as Read
Mark as Unread
文章探讨了在AI时代，作者对自身思考方式的困惑与反思。作者曾通过写作来促进思考，但AI的出现使得快速生成“完美”想法成为可能，这导致作者的思考能力有所下降。虽然AI提供了大量信息，但作者认为，这种廉价的学习方式剥夺了深度思考带来的智力成长。文章强调了独立思考的重要性，即使AI能更快更好地完成任务，作者仍选择以人类的方式写作，表达对原始思考的珍视。
Mark as Read
Mark as Unread
Dominion Energy's NEM 2.0 Proposal: What It Means for Solar in Virginia
Source
文章讨论了 Dominion Energy 在弗吉尼亚州提出的 NEM 2.0 提案，该提案将改变太阳能用户的净计量方式。新提案将采用实时净计量，并以较低的“出口信用率”补偿多余电力，同时声称拥有太阳能可再生能源信用额度 (SRECs)。这将导致太阳能价值大幅下降，并可能扼杀弗吉尼亚州的可再生能源发展。文章呼吁公众向州企业委员会提交意见，并在新规生效前安装太阳能，以保护现有权益。
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
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
The truth behind the accuracy of weather forecasts
Source
文章探讨了天气预报的准确性，指出尽管存在批评，但预报技术已显著提升。 计算机能力、卫星数据和大气科学的进步提高了温度和降雨预报的准确性。 澳大利亚气象局（BOM）的预报在温度和降雨概率上表现出色，但公众对准确性的认知可能受到对预报术语的误解以及对温度的主观感受的影响。 此外，部分天气应用程序提供的超本地化预报可能难以保证准确性。
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
Show HN: A platform to find tech conferences, discounts, and ticket giveaways
Source
该平台是一个技术大会、折扣和赠票的发现平台。它提供技术会议日历，展示了全球各地即将举行的技术活动，涵盖了 DevOps、Swift、UI/UX、JavaScript、Python、人工智能等多个技术领域。用户可以搜索活动、查看优惠信息，并有机会赢取门票或享受折扣。平台还提供基于AI的个性化推荐，帮助用户发现适合自己的活动。
Mark as Read
Mark as Unread
Microbes in Gowanus teach lessons on fighting industrial pollution
Source
纽约大学研究团队在 Gowanus 运河的微生物中发现了独特的基因适应性，这些微生物能够降解污染物并处理重金属。研究表明，这些微生物蕴含着更经济、可持续的污染治理方法，甚至可用于资源回收。研究还发现了抗生素耐药基因，需关注其公共卫生影响。研究成果发表在 _Journal of Applied Microbiology_ 上，并以艺术装置的形式呈现。
Mark as Read
Mark as Unread
Imagine a drive where every file exists as all file types all of the time
Source
设想一个云盘，上传文件后，文件能同时以多种格式存在。用户可以完全掌控文件数据，不受限制。
该云盘提供文件上传、相机拍摄功能，支持所有文件类型。用户可以免费转换少量文档，登录/注册后可无限制使用。
AnydocAI 简化了文档转换过程，让数据自由流动，实现结构化数据。
Mark as Read
Mark as Unread
文章介绍了文本排版中出现的“河流 (rivers)”现象，即由于单词间隙对齐形成的跨行白色空间。这种现象在等宽字体和完全对齐的文本中更常见，容易分散读者注意力，因此通常应避免。文章举例说明了在书籍中发现的“河流”现象，并提到了相关研究。
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
The Journal of Imaginary Research
Source
《虚构研究期刊》是一个发布虚构研究摘要的期刊，由真实学者、研究人员和学生创作。该期刊鼓励研究人员通过创意写作，探索想象力的边界，摆脱日常研究的限制。每年11月出版，并提供写作工作坊。投稿要求包括虚构研究标题、200字摘要、100字研究人员传记和免版权图片。投稿截止日期为2024年12月6日。
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
Run your GitHub Actions locally
Source
文章介绍了 `act`，一个用于在本地运行 [GitHub Actions](https://developer.github.com/actions/) 的工具。使用 `act` 可以在本地快速测试工作流程更改，无需每次都提交/推送。它通过 Docker API 拉取镜像，模拟 GitHub 的环境来运行 actions。文章还提供了使用指南、支持渠道和贡献方式，并介绍了从源码构建的方法。
Mark as Read
Mark as Unread
这篇文章展示了访问一个名为 `nealstephenson.substack.com` 的网站时，需要通过 Cloudflare 的安全验证。 验证过程包括确认访问者是人类，并检查连接的安全性。 成功验证后，网站会继续响应。文章还提到了一个 Ray ID，用于追踪访问请求，并说明了 Cloudflare 提供的性能和安全保障。
Mark as Read
Mark as Unread
Green Fabrication of Sulfonium-Containing Bismuth Materials for X-Ray Detection
Source
该研究开发了两种新型含硫鎓铋半导体材料 [(CH3CH2)3S]6Bi8I30 和 [(CH3CH2)3S]AgBiI5，用于高灵敏度X射线探测。通过无溶剂球磨和冷等静压压缩制备多晶颗粒，该方法易于放大。制备的探测器表现出卓越的灵敏度和低检测限，性能优于现有商业探测器，且在长期储存后仍保持稳定。研究结果表明，这些材料是传统半导体材料的可扩展、经济高效的替代品，在医疗和安全领域具有广阔应用前景。
Mark as Read
Mark as Unread
In Memoriam: John L. Young, Cryptome Co-Founder
Source
文章悼念了 John L. Young，Cryptome 的联合创始人。他于 3 月去世，享年 89 岁。John 创办了 Cryptome，一个在线图书馆，旨在公开政府和企业不愿公开的信息，以此促进言论自由、隐私和透明度。Cryptome 以发布大量政府文件而闻名，John 也是 WikiLeaks 的早期支持者。他被认为是数字时代早期未被充分认识的英雄，一生致力于信息公开。
Mark as Read
Mark as Unread
The most annoying video player of all time
Source
文章介绍了使用 Media Chrome 构建的“有史以来最令人恼火的视频播放器”。该播放器模拟街机投币游戏，用户需投入虚拟硬币才能获得3秒的播放时间。通过 Three.js 和 react-three-rapier 实现3D投币箱、硬币的物理效果和计时器。文章强调了该播放器的互动性和趣味性，并鼓励读者参与，构建更糟糕的播放器。
Mark as Read
Mark as Unread
Show HN: Pixelagent – Build your Stateful Agent Framework in 200 lines of code
Source
Pixelagent 是一个用 200 行代码构建的状态化 Agent 框架，基于 Pixeltable 的数据基础设施。它支持多模态数据、声明式模型，并提供可观测性。该框架允许开发者构建自定义 Agent 应用，并提供工具调用、记忆、反思、推理等扩展。它支持多种 LLM 提供商，并提供教程和示例，方便用户快速上手。
Mark as Read
Mark as Unread
About Asteroids, Atari's biggest arcade hit
Source
1979年，*Atari* 推出的街机游戏 *Asteroids* 在 *Space Invaders* 之后成为其最成功的作品。游戏由 *Lyle Rains* 和 *Ed Logg* 设计，玩法复杂，玩家需控制飞船在屏幕上移动、旋转并射击小行星。游戏采用矢量图形，提升了视觉效果。*Asteroids* 后来推出了家用机版本，如 *Atari 2600* 和 *Atari 7800*，以及其他平台上的克隆版本。作者也开发了自己的 *Asteroids* 版本 *Space Rocks*。
Mark as Read
Mark as Unread
A library of words: Discovering Roget's Thesaurus (2023)
Source
这篇文章介绍了对 Roget's Thesaurus (2023) 的探索。它可能是一部词语的宝库，暗示了对词典的深入研究或使用。文章的核心在于探索词汇，可能涉及词语的收集、分类、关联，以及如何利用这部词典来丰富语言表达或进行创作。文章标题表明了对 Roget's Thesaurus 的关注，并暗示了对词汇的兴趣和探索。
Mark as Read
Mark as Unread
Popcorn: Run Elixir in WASM
Source
Popcorn 是一个允许在 Web 浏览器中运行 Elixir 代码的库。它基于 [AtomVM](https://popcorn.swmansion.com/) 运行时，在浏览器内 WASM 环境中执行 Elixir 代码。Popcorn 提供了 Elixir 和 JavaScript 之间的 API，用于消息传递和数据序列化，并确保浏览器响应。用户可以通过 JS 调用 Elixir 函数，Elixir 也可以调用 JS 函数。该库仍处于开发阶段，存在一些限制，例如对标准库和数据类型的支持有限。
Mark as Read
Mark as Unread
The Joys of Discovering the Roman Underground
Source
文章介绍了罗马地下世界的魅力，推荐游客避开拥挤的地面景点，转而探索古老的地下遗址，如渡槽、地下墓穴等。文章采访了专家，分享了地下探险的乐趣和历史价值，并提供了参观建议，强调了地下世界能提供更深入的罗马历史体验。同时，文章也提到了如何成为负责任的地下游客，保护这些珍贵的遗址。
Mark as Read
Mark as Unread
文章围绕“言论自由”这一主题展开，探讨了其历史演变和当代争议。作者指出，言论自由并非一成不变，其概念和实践在不同历史时期和社会背景下有所差异。文章追溯了言论自由从前现代社会对言语的严格控制，到17世纪英国内战时期逐渐形成的宽容，再到18世纪卡托的绝对主义观点的发展历程。文章还关注了言论自由在现代社会面临的挑战，特别是其在不同国家之间的差异，以及在政治光谱上的重新定位。
Mark as Read
Mark as Unread
《Internet Phone Book》是一本年度出版物，旨在探索网络世界。第一期已售罄，但可在指定书店、社区空间和图书馆购买。文章包含文章、思考和数百位设计师、开发者等人的个人网站目录。网站提供邮件订阅、拨号访问网站功能，并介绍了巡回宣传活动。文章还列出了赞助商和制作团队信息。
Mark as Read
Mark as Unread
Show HN: Cogitator – A Python Toolkit for Chain-of-Thought Prompting
Source
该文章介绍了一个名为 Cogitator 的 Python 工具包，用于实现 Chain-of-Thought (CoT) prompting。它提供了统一的 API，支持 OpenAI 和 Ollama 等 LLM 提供商，并包含多种 CoT 策略的实现，如 Self-Consistency、Automatic CoT 等。该工具包还提供了一个可定制的基准测试框架，并附带了示例和文档。用户可以通过 pip 安装，并可用于研究和开发 AI 应用。
Mark as Read
Mark as Unread
Show HN: I reinvented PHP in TypeScript (demo)
Source
该文章介绍了基于 TypeScript 重构 PHP 的项目 **Morph**，它是一个可嵌入的全栈库，用于构建基于 HTMX 的超媒体驱动应用程序，无需构建步骤。Morph 结合了 SSR、SPA 和 islands architecture 的优点，使用纯 HTML、CSS 和 JS。Morph 适用于不需要完整前端堆栈但仍需要动态 UI 的小型项目，如 Telegram 机器人或内部工具。文章提供了快速开始的示例代码，并强调了其核心原则，如组件独立呈现、无需构建等。
Mark as Read
Mark as Unread
Weather Report from Saturn's Moon Titan
Source
利用 Webb 和 Keck II telescope 的观测数据，科学家在 Titan 北半球发现了甲烷云对流的证据，该区域拥有 Titan 大部分湖泊和海洋。这些云层随时间上升，表明存在大气活动。Webb 还探测到关键的含碳分子，为研究 Titan 复杂大气中的化学过程提供了线索，特别是检测到甲基自由基，有助于了解甲烷分解过程。这些发现对理解 Titan 的天气循环和长期演化具有重要意义。
Mark as Read
Mark as Unread
How Cory Arcangel Recovered Late Artist Michel Majerus's Digital Legacy
Source
已故艺术家 Michel Majerus 的笔记本电脑在坠机事故后幸存，为研究其创作过程提供了机会。艺术家 Cory Arcangel 恢复了硬盘内容，通过模拟器重现了电脑环境，展现了 Majerus 如何使用 Photoshop 等工具创作作品。这些文件揭示了 Majerus 融合数字文化与传统绘画的创作方式，以及他对早期互联网文化的探索。Arcangel 通过 YouTube 视频和现场表演，向观众展示了 Majerus 的数字遗产，试图将数字艺术融入更广阔的艺术史。
Mark as Read
Mark as Unread
How I fixed the infamous Basilisk II Windows "Black Screen" bug in 2013
Source
2013年，作者修复了Basilisk II Windows版“黑屏”bug。该bug导致模拟的Mac无法启动，黑屏显示。作者通过调试跟踪，发现问题出在ROM的内存分配上，Windows版本中ROM的地址有时低于RAM，导致Slot Manager加载DeclROM失败。最终，作者将Unix版本的内存分配代码移植到Windows，确保ROM地址始终高于RAM，解决了问题。
Mark as Read
Mark as Unread
Yahtzeeql – Yahtzee solver that's mostly SQL
Source
该项目是一个用 SQL 实现的 Yahtzee 求解器，提供了多种策略，包括随机、贪婪、追求 Yahtzee、概率计算等。用户可以通过命令行运行，指定策略、模拟次数等参数，并可选择交互模式和显示得分分布图表。项目使用 `build_prob_db.py` 生成包含掷骰结果、转换概率、得分等信息的 SQLite 数据库。最终结果显示了不同策略的平均得分，其中 `prob_with_difficulty` 策略表现最佳。
Mark as Read
Mark as Unread
New research reveals the strongest solar event ever detected, in 12350 BC
Source
一项国际研究发现，约公元前12350年发生了一次有史以来最强的太阳粒子风暴，强度远超此前记录。研究者开发了新的化学-气候模型 SOCOL:14C-Ex，用于重建古代冰川气候下的太阳风暴。该模型证实，此次事件比公元775年的事件强约18%，是现代卫星时代最大事件的500倍以上。这项发现扩展了已知太阳活动的时间线和强度，为未来评估太阳风暴风险提供了重要参考，并有助于精确确定古代遗址的年代。
Mark as Read
Mark as Unread
Measure EEG with Arduino
Source
该指南介绍如何使用 Arduino 测量 EEG、EMG 和 ECG 等生物信号。通过将 ardEEG shield 连接到 Arduino Uno R4 WiFi 开发板，结合 Arduino 和 Python 脚本，可以实现脑机接口功能。文章详细说明了连接方法，包括电极定位和引脚连接，并提供了视频演示和应用场景。项目使用 ADS1299 24 ADC IC 保证数据质量，并展示了咀嚼、眨眼和 Alpha 波的 EEG 数据采集示例。
Mark as Read
Mark as Unread
Oracle VM VirtualBox – VM Escape via VGA Device
Source
该文章披露了`Oracle VM VirtualBox`的一个高危漏洞，通过VGA设备中的整数溢出，攻击者可利用线性读/写原语逃逸虚拟机。漏洞利用涉及分配0字节的surface，并结合`GBO`对象，实现堆喷射、任意读写主机内存，最终控制程序执行。文章详细介绍了漏洞原理、概念验证、利用方法，包括破坏`cbTotal`和`pvHost`实现任意读，以及通过`GrowCOTable`实现任意堆分配。最后，通过泄露函数指针、ROP链等技术实现虚拟机逃逸。文章还提供了CVSS评分和CVE编号。
Mark as Read
Mark as Unread
What Every Programmer Should Know About Enumerative Combinatorics
Source
这篇文章讨论了程序员应该了解的枚举组合数学。由于无法访问文章内容，无法总结具体内容。但根据标题，文章很可能介绍了枚举组合数学的基本概念、应用场景，以及它对程序员解决问题的重要性。文章可能探讨了如何利用组合数学的原理来分析算法、优化代码，或者解决实际的编程问题。
Mark as Read
Mark as Unread
Japan's IC cards are weird and wonderful
Source
文章探讨了日本IC卡的独特之处，主要基于FeliCa技术，与西方常用的MIFARE等NFC标准不同。FeliCa的优势在于其高速的交易速度，这得益于其设计和存储价值的模式。文章还介绍了Osaifu-Keitai，即手机模拟IC卡的功能，以及其对手机硬件和密钥的要求。最后，文章讨论了IC卡的安全性，认为其设计相对安全，并提出了未来研究方向，例如构建微型火车站网络和深入研究FeliCa的速度优势。
Mark as Read
Mark as Unread
Project Verona: Fearless Concurrency for Python
Source
文章介绍了 Project Verona 团队为 Python 实现无畏并发的研究，核心是开发名为 Lungfish 的所有权模型。团队使用玩具语言 FrankenScript 进行原型设计，并与 Faster CPython 团队合作。目前，正在构建深度不可变性，并计划与子解释器消息传递集成。目标是解决 Python 并发问题，提供更安全的内存管理。文章还解释了选择 Python 的原因，并对比了与其他语言所有权模型的差异。最后，提供了参与项目和获取更多信息的途径。
Mark as Read
Mark as Unread
Llama from scratch (2023)
Source
文章分享了从零开始实现 Llama 模型的经验和技巧，主要围绕以下几点展开：
1. **迭代开发：** 从小处着手，逐步构建，先实现辅助函数和简单模型，再分解论文，逐个实现并测试。
2. **验证层的功能：** 频繁使用 `.shape`、`assert` 和 `plt.imshow` 检查张量形状和计算结果，进行测试以确保每一层按预期工作。
3. **Llama 架构修改：** 逐步添加 RMSNorm、旋转嵌入和 SwiGLU 激活函数等 Llama 的关键改进，并进行测试。
Mark as Read
Mark as Unread
Chapter 2: Serializability Theory (1987 Concurrency Control Book)
Source
文章总结了《并发控制》1987年版第二章“可串行化理论”的核心内容。该章系统阐述了可串行化理论的基础，包括历史、可串行化历史、可串行化定理、可恢复性及其变体、广义操作和视图等价。核心在于定义并发执行的“好”与“坏”，通过序列化图（SG）的无环性判断可串行化，并扩展到超越读写操作。文章还探讨了可恢复性、视图等价等概念，以及视图可串行化在分布式系统中的应用，特别是与客户端中心一致性的关联。
Mark as Read
Mark as Unread
O(n) vs. O(n^2) Startups
Source
文章将初创企业分为 O(n) 和 O(n^2) 两类，分别代表线性增长和超线性增长。O(n) 企业如 Mailchimp，利润高，自筹资金；O(n^2) 企业如 Slack，快速增长，但支出高，依赖外部融资。作者认为，企业增长率难以改变，VC 主要投资 O(n^2) 企业，而 O(n) 企业更常见。两类企业在人才、经济状况和产品市场契合度（PMF）方面存在差异。最终，作者认为，从财务角度看，O(n) 企业的价值通常高于 O(n^2) 企业，并建议以盈利为目标的创始人优先考虑 O(n) 企业。
Mark as Read
Mark as Unread
Hunting extreme microbes that redefine the limits of life
Source
文章评述了 Karen G. Lloyd 的新书，该书探讨了在极端环境下生存的“intraterrestrial”微生物。这些微生物生活在地球深层、火山等恶劣环境中。研究者通过宏基因组分析等技术，探索这些微生物的生存机制和进化谱系，揭示了生命在极端条件下的适应能力。文章还提到了采样和研究这些微生物所面临的挑战。
Mark as Read
Mark as Unread
Lessons from Mixing Rust and Java: Fast, Safe, and Practical
Source
文章介绍了如何通过 **JNI** 将 **Rust** 集成到 **Java** 项目中，实现快速、安全且实用的混合编程。核心内容包括：将特定于平台的 **Rust** 库打包到单个 **JAR** 中，统一 **Rust** 和 **Java** 的日志记录，利用 **CompletableFuture** 实现异步 **Rust** 函数的调用，以及将 **Rust** 错误映射到 **Java** 异常。文章提供了具体的代码示例和开源项目，方便读者实践。
Mark as Read
Mark as Unread
Magic Leap One Bootloader Exploit
Source
该文章分享了针对 Magic Leap One 的启动引导程序漏洞利用研究。作者公开了实现代码，包含两个漏洞：`sparsehax` 通过 Fastboot USB 在 CBoot 中执行代码，`dtbhax` 通过覆盖内存中的 CBoot 实现持久化代码执行。文章提供了使用说明，包括准备签名文件、构建 payload 等步骤，并警告用户操作风险。作者认为这些漏洞可能也影响其他使用 TX2 的设备。
Mark as Read
Mark as Unread
How the humble chestnut traced the rise and fall of the Roman Empire
Source
文章探讨了植物考古学如何揭示罗马帝国对欧洲森林的影响。罗马人喜爱甜栗树，不仅为了果实，更看重其快速生长的木材，用于帝国扩张。他们将栗树引入欧洲各地，并推广了萌芽更新等栽培技术，促进了栗树的繁荣。研究表明，栗树花粉在罗马帝国时期显著增加，反映了罗马人对欧洲景观的重塑。栗树成为欧洲许多地区景观的重要组成部分，也成为了当地饮食文化的一部分。
Mark as Read
Mark as Unread
High Available Mosquitto MQTT on Kubernetes
Source
文章介绍了如何在 Kubernetes 上构建高可用的 Mosquitto MQTT broker。核心方案是部署 primary 和 secondary broker，并使用 Traefik 和 Kubernetes 的 Deployment、Service、ConfigMap 和 RBAC 原语。通过轻量级故障转移机制，当 primary broker 宕机时，流量自动切换到 secondary，实现5秒内的快速恢复。文章还提供了详细的 YAML 文件，包括 k3s 的 Traefik 配置，并解释了 Service Account 和 IngressRouteTCP 的作用。
Mark as Read
Mark as Unread
Laser-Induced Graphene from Commercial Inks and Dyes
Source
这篇文章描述了关于基于商业墨水和染料的激光诱导石墨烯（Laser-Induced Graphene）的研究。由于安全验证，无法直接获取文章的具体内容。文章可能探讨了如何利用激光技术，通过商业材料制造石墨烯，并可能涉及其应用、性能或制造过程。
Mark as Read
Mark as Unread
NASA Observes First Visible-Light Auroras at Mars
Source
NASA 的 Perseverance 火星车首次在火星表面观测到可见光极光，并得到 MAVEN 任务的证实。这次观测发生在太阳活动高峰期，由太阳耀斑和日冕物质抛射引发，导致火星大气层出现极光。研究人员通过 SuperCam 光谱仪和 Mastcam-Z 相机捕捉到绿色极光图像，其发射波长为 557.7 纳米。这一发现为研究火星极光提供了新视角，并预示着未来宇航员可能在火星上亲眼目睹极光。
Mark as Read
Mark as Unread
Show HN: Turn any workflow diagram into compilable, running and stateful code
Source
该项目提供一个工具，可以将工作流图转换为可编译、可运行的持久化代码，基于开源技术构建。用户上传图表（支持PNG、JPEG等格式），选择输出语言（C#、Java、Python、JavaScript、Go等），即可生成代码。 网站提供示例工作流模式，如hello_world、order_fulfillment等，方便用户参考。 此外，还提供文档和Discord社区支持。
Mark as Read
Mark as Unread
Mice grow bigger brains when given this stretch of human DNA
Source
研究发现，将一段人类DNA植入小鼠体内后，它们的大脑体积增加了约6.5%。这段DNA片段是控制基因表达的开关，促进了神经元数量的增加，尤其是在负责产生神经元的干细胞中。这一发现为解释人类大脑为何比其他灵长类动物更大提供了线索。
Mark as Read
Mark as Unread
IM-2's Imperfect Landing Due to Altimeter Interference
Source
IM-2 月球着陆因高度计干扰和南极光照条件导致侧翻着陆。公司总裁表示，对后续任务 IM-3 充满信心。IM 通过 NASA 的 CLPS 计划为月球运送有效载荷，IM-1 也曾因类似问题倾覆。IM-2 着陆点更靠近月球南极，地形和光照条件对着陆系统造成挑战。IM-2 的问题包括信号干扰、地形阴影和 LRO 图像的局限性。IM-3 将改进高度计、速度传感器和导航系统。IM-4 将再次尝试南极着陆。其他公司如 Firefly、Astrobotic 等也在参与 CLPS 任务。
Mark as Read
Mark as Unread
Coding Without a Laptop – Two Weeks with AR Glasses and Linux on Android
Source
作者分享了使用 AR 眼镜、折叠键盘和 Android 手机运行 Linux 进行编程的两周体验。他成功在手机上运行了完整的桌面 Linux 环境，并以此替代笔记本电脑进行工作。文章详细介绍了硬件配置、软件设置、性能表现和电池续航，以及使用过程中的优缺点。尽管设置过程复杂，但最终实现了在户外、狭小空间等笔记本电脑无法胜任的场景下进行编程，带来了前所未有的自由感。作者认为超移动软件开发具有潜力，并对 AR 眼镜和 Linux 的未来发展表示乐观。
Mark as Read
Mark as Unread
Coding agent in 94 lines of Ruby
Source
文章介绍了作者使用 94 行 Ruby 代码构建一个 Coding Agent 的过程。作者受到文章启发，认为用 Ruby 实现 Agent 更简单。该 Agent 具备读取、列出和编辑文件的工具，并使用 RubyLLM gem 实现。通过测试，Agent 能够根据提示编写代码。作者随后增加了执行 shell 命令的工具，进一步增强了 Agent 的功能。文章总结了构建 Agent 并不需要专业的 AI 技能，以及 Ruby 在简化代码方面的优势。
Mark as Read
Mark as Unread
Espanso – Cross-Platform Text Expander Written in Rust
Source
文章介绍了一个名为 **espanso** 的跨平台文本扩展器，它使用 **Rust** 语言编写。该工具允许用户通过输入特定关键词，将其替换为预设内容，从而提高打字效率。**espanso** 支持 **Windows**、**macOS** 和 **Linux** 系统，并具有表情符号、图片、自定义脚本、Shell 命令等功能。它还提供包管理和内置搜索栏，方便用户扩展和使用。项目在 **GitHub** 上开源，并接受捐赠。
Mark as Read
Mark as Unread
“Streaming vs. Batch” Is a Wrong Dichotomy, and I Think It's Confusing
Source
文章质疑了将数据处理方式简单划分为 "Streaming vs. Batch" 的二分法。作者认为，许多 streaming 系统也会采用 batching 技术以提升性能。真正的关键在于 "Pull vs. Push" 语义，即系统是主动获取数据还是被动接收数据。作者强调 streaming 提供了数据的实时视图，尽管复杂性更高，但其优势明显。最后，作者指出这两种方法并非对立，而是互补的，并鼓励读者尝试 streaming，体验其带来的价值。
Mark as Read
Mark as Unread
Bike-mounted sensor could boost the mapping of safe cycling routes
Source
文章介绍了一种名为 ProxiCycle 的新型自行车传感器，旨在通过客观数据绘制更安全的骑行路线。该传感器安装在车把上，利用红外线传感器监测自行车周围空间，记录车辆与自行车之间的距离。与基于事故报告或主观感受的现有路线规划方法相比，ProxiCycle 能够更准确地识别危险路段。初步测试显示，该设备记录的近距离通过事件与实际情况相符，且主要发生在骑行者认为危险的区域。研究团队计划进行更大规模的测试，以帮助新手骑行者获得更安全的骑行体验。
Mark as Read
Mark as Unread
ARMv9 Architecture Helps Lift Arm to New Financial Heights
Source
文章指出，ARMv9架构的专利许可费高于之前的版本，是Arm Holdings收入增长的关键。得益于此，以及超大规模企业和云构建商对ARM架构的广泛采用，Arm在2025财年第四季度和全年均创下收入新高，专利费收入也首次突破20亿美元。 智能手机和服务器芯片的专利费均有显著增长。 文章还提到了Nvidia、Google、Microsoft等公司基于ARMv9的服务器芯片部署，以及云和网络计算设备在Arm专利费收入中的占比提升。
Mark as Read
Mark as Unread
New high-quality hash measures 71GB/s on M4
Source
文章介绍了一种名为 `rapidhash` 的全新哈希算法，该算法具有快速、高质量和平台独立的特点。它在 Apple M4 芯片上测得高达 71GB/s 的速度，是 `SMHasher` 和 `SMHasher3` 测试中最快的哈希函数。`rapidhash` 是 `wyhash` 的继任者，针对 AMD64 和 AArch64 系统进行了优化，并兼容多种编译器。文章还提供了关于碰撞率的测试数据，表明其碰撞概率接近理想值。
Mark as Read
Mark as Unread
How can traditional British TV survive the US streaming giants
Source
文章探讨了英国传统电视在流媒体时代面临的生存挑战。核心观点是，面对 Netflix、Disney Plus 等美国流媒体巨头的竞争，英国广播公司需要考虑合并或加强合作。文章分析了不同观点，包括合并的必要性、保持独立性的重要性，以及未来电视可能呈现的形态。文章还提到了资金问题、观众观看习惯的变化，以及英国本土内容的重要性。最终，文章强调了英国广播公司需要制定战略，以在“马提尼流媒体时代”中生存，并确保英国本土电视的未来。
Mark as Read
Mark as Unread
Show HN: A C-Suite AI Agent Meant for SMB
Source
该项目展示了一个专为 SMB 设计的 AI 助手，定位为 C-Suite 级别。它旨在帮助 SMB 管理者处理日常事务，提升效率。
Mark as Read
Mark as Unread
Insurance for AI: Easier Said Than Done
Source
为 AI 系统购买保险面临诸多挑战。风险评估困难，AI 行为难以预测，传统方法失效。界定 AI "故障" 复杂，决策过程黑盒化，责任难以明确。法律法规滞后，责任归属不清晰，现有体系难以适应 AI 发展。要推动 AI 保险发展，需要完善风险评估、明确责任划分，并制定适应 AI 技术的法律法规，才能保障 AI 应用。
Mark as Read
Mark as Unread
Why Moderna Merged Its Tech and HR Departments
Source
Moderna 宣布合并技术部门和人力资源部门。
Mark as Read
Mark as Unread
Returning to My Roots in Hardware
Source
作者在从事科技咨询两年后，决定重拾对硬件开发的兴趣，并寻求一份能发挥多方面技能的工作。他通过精心设计的申请，包括3D打印的信封、NFC标签、定制简历和巧克力，成功获得了在 *Matta* 公司的职位。文章分享了作者制作申请的过程，表达了对创造实际物品的渴望，以及对解决现实世界问题的价值的认可。最终，作者强调了这份工作对个人幸福感的积极影响，并呼吁技术人员关注更实际的问题。
Mark as Read
Mark as Unread
Moment of heart's formation captured in images for first time
Source
首次通过延时摄影技术，捕捉到小鼠胚胎心脏形成的瞬间。研究揭示了心脏细胞在早期发育阶段如何自发组织成心脏形状。科学家利用 advanced light-sheet microscopy 技术，追踪了胚胎发育过程，并标记了心肌细胞。研究发现，在胚胎发育早期，负责形成心脏的细胞以高度组织化的方式运作，并沿着特定路径移动。这项发现有助于理解先天性心脏缺陷，并可能加速实验室培养心脏组织用于再生医学的进展。
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
Rustls Server-Side Performance
Source
文章探讨了 Rustls 在服务端性能方面的表现。Rustls 是一个注重性能的内存安全 TLS 实现。研究表明，Rustls 在处理多个并发连接时表现出色，握手延迟低，且服务器性能随内核数量线性扩展。文章对比了 Rustls 与 OpenSSL 等其他 TLS 实现，分析了握手延迟分布和恢复机制对性能的影响，并介绍了通过优化互斥锁和减少票证数量来提升性能的改进。
Mark as Read
Mark as Unread
MCP: An in-depth introduction
Source
由于原文只提供了缩写 "MCP" 且没有具体解释，无法进行总结。请提供更多关于 MCP 的信息，例如它的具体含义、功能和目的，以便我能够完成总结。
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
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
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 等多种程序。