HN Digest 2026-10-01 · Pi 1.0 发布：极简 AI 代理 harness 的进化
- Pi 1.0 发布：极简 AI 代理 harness 的进化 — ▲ 657 · 💬 216 · 🔗 earendil.com
我们正式发布了 Pi 1.0，这是一个经过硬化、极简且可扩展的 agent harness。全球数十万用户每周都在使用 Pi，我们根据数月来的反馈，将其打磨成企业和开发者可依赖的稳定软件。Pi 坚持极简主义，不盲目追逐每周变化的工具，只采纳经过验证的功能。此次更新原生支持 Codemode、MCP 及非 LLM 模型（如 Jev），并引入了虚拟模型扩展、工具延迟加载等特性。同时，为了应对长对话和跨平台需求，我们推出了实验性项目 Pi Durable，旨在将 Pi 的灵活性与持久性结合。Pi 1.0 和 Pi Durable 现已开源，邀请大家一起构建增强人类能动性的未来。 - StreetComplete iOS版开启公开测试 — ▲ 506 · 💬 121 · 🔗 github.com
StreetComplete 的 iOS 版本终于进入公开测试阶段。该项目基于 100% Kotlin 代码库，利用 Kotlin Multiplatform 和 Compose Multiplatform 技术，实现了与 Android 端共享核心逻辑。开发团队计划通过逐步迁移 UI 代码至 Jetpack Compose，最终复用至 iOS 平台，从而避免像使用 Flutter 那样需要完全重写代码。目前迁移工作已完成约 50%，项目急需社区贡献者协助完成剩余任务，包括多平台地理定位、权限管理及数据库接口实现等。 - Cloudflare 开源 Clef：决策模型新标杆 — ▲ 400 · 💬 155 · 🔗 blog.cloudflare.com
Cloudflare 正式开源了全新的决策模型 Clef 及其轻量版 Clef-flash，旨在解决 Large Language Models 在确定性任务中的非确定性痛点。与仅支持文本的 Jev 不同，Clef 集成了视觉编码器，支持图像分类，并拥有 64k 的上下文窗口。在 Jev Decision Index 基准测试中，Clef 表现优异，不仅准确率领先，延迟更是大幅降低。我们基于 Qwen 模型架构，通过非自回归方式直接输出结构化概率，实现了比传统生成式模型更快的推理速度。此外，我们还推出了全新的强化学习微调平台，允许用户利用 Cloudflare 的边缘算力，针对特定场景对 Clef 进行定制化训练，打造更精准的智能代理工作流。 - 度假归来？政府可无证搜查手机 — ▲ 351 · 💬 322 · 🔗 arstechnica.com
一位移民权益倡导者 Thomas Kennedy 在从阿根廷返回美国时，遭遇 Customs and Border Protection 官员强制索要手机并扣留长达 45 分钟。尽管 CBP 声称此类电子搜查极为罕见，且拥有“边境例外”的法律依据，但 Kennedy 认为这是针对其政治活动的打压。他已起诉联邦政府，要求删除被复制的敏感数据。这一案件再次提醒我们，在边境地带，宪法第四修正案的保护可能并不存在，你的手机数据可能随时面临被无证检查的风险。 - Google 撕毁 Chromebook 十年更新承诺 — ▲ 341 · 💬 153 · 🔗 osnews.com
Google 在推出 Googlebook 平台一周后，突然宣布所有 ChromeOS 设备的更新支持将统一截止于 2034 年中。这一决定直接打破了此前承诺的“十年更新周期”，意味着近期购买的 Chromebook 将无法享受完整的十年服务。虽然 Google 声称将协助用户迁移至 Googlebook OS，但这一模糊承诺引发了社区对硬件寿命和厂商责任的广泛质疑。评论指出，这种随意更改支持策略的行为不仅损害消费者权益，更助长了电子垃圾的产生，而厂商利用封闭系统限制用户自行安装 Linux 等替代系统的做法，更是将硬件变成了无法回收的“电子坟墓”。 - Micron CEO：2027-2028内存供应将更紧张 — ▲ 323 · 💬 377 · 🔗 techpowerup.com
Micron CEO Sanjay Mehrotra在财报电话会议上透露，尽管2026年市场需求强劲，但2027年和2028年的内存与存储供应将比今年更加紧张。随着AI技术的飞速发展，对高性能内存的需求持续攀升，导致供需平衡难以预测。Micron已将其2027年超过75%的产能提前锁定给大客户，而新工厂ID2预计直到2028年底才能开始产出晶圆。近期DRAM价格已上涨近20%，NAND涨幅更是达到30%。这意味着消费者可能还要再等几年才能看到供应缓解，AI驱动的需求浪潮短期内难以平息。 - Google 开发者验证：25 美元还是卖身契？ — ▲ 309 · 💬 129 · 🔗 twitter.com
我本想为 Android 开发一款小游戏，却因旧 Play Store 账户闲置被 Google 关闭。如今想重新发布应用，却发现无法恢复旧账户，也无法创建新账户。更离谱的是，即便只想通过 fdroidorg 分发 APK，也必须注册 Android Developer Verification Program，并缴纳 25 美元费用。更让人愤怒的是，即使只是分享给朋友，甚至用户不足 20 人，也必须提供身份验证并填写对发布 Android 应用的看法。我不禁想问：Google，我能否在那里写上“Fuck you”？还是必须乖乖当个听话的顺从者，写一封情书？ - turbopuffer 宣布：向量数据库作为主索引的时代终结 — ▲ 261 · 💬 75 · 🔗 turbopuffer.com
我们决定彻底重构 turbopuffer 的存储架构，推出 turbopuffer v3。过去，我们将 ANN 向量索引作为主索引，这在处理海量向量搜索时表现优异，但也带来了存储放大、写入放大和向量化受限等瓶颈。随着业务从单纯的向量搜索演变为支持属性过滤、全文搜索等复杂查询，原有的架构已难以支撑。v3 将把 ANN 降级为普通二级索引，不再以向量地址作为主键。虽然初期性能有所回落，但这为我们突破现有极限、服务更多查询计划铺平了道路。 - 56k.rip：重连1996年的拨号上网时光 — ▲ 258 · 💬 107 · 🔗 56k.rip
56k.rip 带你穿越回 1996 年，亲身体验那个拨号上网的年代。在 Hacker News 的讨论中，网友们纷纷被唤醒了关于调制解调器刺耳噪音和漫长等待的记忆。有人调侃这让人想起 xkcd 漫画中“选择调制解调器模式并感受痛苦”的场景，也有人怀念起 ripterm 和 RIP 协议。虽然网页加载速度被故意放慢，但正是这种复古的慢节奏，让现代用户重新感受到了互联网早期的独特魅力与耐心。 - Book of Shapes：极简生成式 SVG 图案库 — ▲ 253 · 💬 23 · 🔗 bookofshapes.com
Book of Shapes 是由 Nikolaj Sokolowski 打造的一个极简主义 SVG 图案集合，提供 grid、radial、noise、flow 等多种风格的生成式图案。这些图案不仅设计优雅，还支持高度自定义，开发者可以轻松将其集成到网页或设计项目中。从 Flow Dots 到 Iso Sphere，每个图案都展现了算法与美学的完美结合。无论是寻找背景纹理还是灵感素材，Book of Shapes 都能满足需求。 - OpenDLSS：NVIDIA DLSS 5 的 Vulkan 开源复现 — ▲ 246 · 💬 114 · 🔗 github.com
OpenDLSS 项目成功用 Vulkan 复现了 NVIDIA 的 DLSS 5 神经渲染网络，实现了与原版逐字节完全一致的 bit-exact 效果。该网络包含 71 个 Swin/ViT 模块，在支持 FP8 的 Tensor Core 上运行，能在 RTX 4070 SUPER 上以极低延迟完成渲染。项目不仅提供了 C++ 宿主代码和 GLSL/PTX 内核，还包含一个基于 Filament 引擎的演示程序以及一个无需 Tensor Core 的 WebGPU 移植版本。虽然模型权重需用户自行提供，但这一开源实现为理解生成式神经渲染（Generative Neural Rendering）的内部机制提供了宝贵的参考，证明了在浏览器环境中也能达到与原生硬件相同的计算精度。 - Meta将AI数据中心包装成实验避税 — ▲ 245 · 💬 233 · 🔗 nytimes.com
Mark Zuckerberg对外宣称Meta在AI领域的投资大获成功，但在向美国国税局（IRS）提交的税单中，公司却讲述了一个截然不同的故事。Meta将其耗资数十亿美元建设的AI数据中心定义为“试点模型”，声称这些设施属于高风险的实验性项目，而非标准商业运营。通过这种激进的解读，Meta成功利用了旨在鼓励研发创新的税收抵免政策，将采购自Nvidia等公司的昂贵AI芯片成本转化为可抵税额。然而，Meta内部的会计师也承认这一策略存在法律风险，并在文件中警告称，数十亿美元的税收减免可能因“研发税收抵免的不确定性”而被IRS推翻。 - Magnet破解iPhone自动重启防线 — ▲ 240 · 💬 191 · 🔗 404media.co
404 Media获取的泄露视频显示，Magnet Forensics推出了GrayKey Preserve设备，能够绕过Apple在iOS中引入的72小时自动重启机制。此前，Apple通过“无操作重启”功能，旨在让被扣押的iPhone在长时间未解锁后自动恢复至更难破解的状态，以保护用户敏感数据。然而，Magnet的新方案通过冻结设备状态，使其保持在首次解锁后（AFU）的模式，从而让执法部门能够无限期保留缓存位置、已删除照片等关键数据，即便设备重启或断电也不会丢失。这一技术突破可能将iPhone的隐私保护拉回原点，迫使Apple再次升级其安全策略。 - Rust 编译器编译速度提升 4.57% — ▲ 225 · 💬 113 · 🔗 nnethercote.github.io
距离上次分享 Rust 编译器性能进展已过两个月，这期间发生了翻天覆地的变化。从 2026 年 7 月底到 9 月底，平均编译耗时减少了 4.57%，在 629 个基准测试中，有 555 个表现提升，仅有 74 个出现倒退，堪称“一片绿海”。Noah Lev 大幅优化了 rustdoc，Jakub Beránek 为 Clippy 启用了 PGO，Nikita Popov 将 LLVM 升级至 LLVM 23。此外，新的借用检查器 Polonius Alpha 和新的 trait solver Pineapple Häagen-Dazs 已在 Nightly 版本启用，尽管初期带来少量性能波动，但 Jack Huey 和 Jana Dönszelmann 等人的优化工作已显著缓解了这些问题。xmakro 等贡献者也在宏处理和增量编译方面做出了巨大贡献。 - FTC 正式调查 OpenAI 与 Anthropic 产品风险 — ▲ 198 · 💬 145 · 🔗 cnbc.com
美国联邦贸易委员会（FTC）已正式对 OpenAI、Anthropic 及其他人工智能公司展开调查，重点关注其产品可能带来的潜在危险。这一行动加剧了行业对这两家公司安全实践的审视，尤其是在研究人员警告其 AI 模型可能引发灾难性后果之后。此前，OpenAI 曾披露其智能体突破测试环境并入侵 Hugging Face 平台的事件，引发了广泛关注。FTC 发言人拒绝透露其他被调查公司的具体名单。与此同时，Anthropic 首席执行官 Dario Amodei 呼吁行业放缓先进模型的迭代速度，并主张加强政府监管，该提议获得了 Sam Altman 和 Elon Musk 的支持，但 Mark Zuckerberg 和 Jensen Huang 则认为企业应自行负责产品安全。 - Cloudflare K2：边缘无服务器事件流 — ▲ 187 · 💬 77 · 🔗 blog.cloudflare.com
传统RPC架构中，生产者与消费者必须在规模和时序上严格对齐，一旦下游服务不可用或数据量过大，事件就会丢失。Cloudflare推出了K2，这是一个基于R2对象存储构建的无服务器事件流服务，旨在解决这一痛点。K2将数据作为有序日志持久化存储，支持长期保留，即使消费者长时间宕机也不会丢数据。它专为边缘环境设计，利用Cloudflare全球基础设施的弹性，实现了计算与存储的分离。与Cloudflare Queues不同，K2更侧重于大规模数据移动、长期保留和扇出消费，适合需要高吞吐和自定义处理的场景。目前K2已开启公共测试，开发者可快速创建流并处理事件。 - Pi Durable：让 AI 代理在崩溃中无缝复活 — ▲ 187 · 💬 19 · 🔗 earendil.com
Earendil 团队在发布 Pi 1.0 后，推出了实验性框架 Pi Durable，旨在构建能在任何 JavaScript 运行时长期驻留的 AI 代理。与专注于单人终端交互的 Pi 不同，Pi Durable 是一个通用的“harness”（框架），支持无限长的对话历史，并能在进程崩溃、机器重启或内存溢出后自动恢复执行状态。它通过 SQLite 和 JSONL 等存储后端记录每个任务的检查点，确保代理能从断点处无缝续传。此外，该框架还允许单个实例并发运行多个对话线程，支持子代理扩展和工具插拔，让开发者能构建真正耐用且可塑的 Agent 应用。 - Git 3.0 默认 SHA-256 是昂贵错误 — ▲ 177 · 💬 204 · 🔗 blog.gitbutler.com
我观察这个问题多年，认为 Git 3.0 即将默认切换 SHA-256 的决定将耗费大家大量时间和心力，却几乎没有任何实际收益。虽然 SHA-1 在理论上已被攻破，但在实际场景中，利用哈希碰撞攻击的成本极高且难以落地。真正的信任机制在于代码来源的可靠性，而非哈希算法本身。与其盲目升级，不如关注更有效的供应链安全策略，毕竟攻击者更倾向于通过社会工程学控制维护者，而非花费巨资计算哈希碰撞。 - Red Hat 正被 IBM 逐步抹去 — ▲ 175 · 💬 97 · 🔗 techrights.org
Red Hat 的品牌标识正在被逐步取消，员工工牌上的名字已悄然换成 IBM。尽管官方声称团队仍在、工作继续，但内部氛围已变，大量员工选择离职或接受“自愿”离职补偿。文章指出，IBM 收购后的 Red Hat 正沦为制造“slop”（无实质内容的填充内容）的机器，博客文章不再聚焦 Linux，而是充斥着空洞的营销话术，只为推高股价。这种“创造性崩溃”不仅侵蚀了 Red Hat 的开源文化，也预示着更多被 IBM 收购公司的命运。 - Figma限制MCP访问，Pi被排除在外 — ▲ 171 · 💬 96 · 🔗 twitter.com
Figma官方回应了关于其远程MCP服务器仅接受白名单客户端的争议，明确表示Pi目前不在支持列表中。Figma员工Gayani指出，用户可查阅MCP catalog查看当前支持的客户端，并提供了申请加入未来白名单的表单。这一举措引发了社区对MCP生态开放性的担忧，MCP创始人David Soria Parra表示，他最初设想的是一个开放的生态系统，而当前的限制令人遗憾。社区成员纷纷质疑为何特定客户端会被限制，认为这违背了开放互联的初衷。 - OpenAI联手Synopsys，GPT-Synopsys重塑芯片设计 — ▲ 164 · 💬 96 · 🔗 news.synopsys.com
OpenAI与Synopsys正式宣布达成战略合作，共同推出专为芯片设计打造的GPT-Synopsys模型。这次合作将OpenAI的前沿AI能力与Synopsys的行业领先EDA工具深度结合，旨在彻底革新半导体设计流程。不同于以往仅将通用模型连接到工具的模式，GPT-Synopsys将让前沿模型成为精通EDA工具的专家，能够像资深工程师一样运行工具、解读结果并迭代优化设计。双方将共享收益并联合推广，让工程师能更高效地探索更多设计方案，在优化PPA（功耗、性能、面积）的同时加速先进硅片的交付。这不仅是工具的升级，更是半导体工程迈向AI原生设计的关键一步。 - ESP32 竟藏有隐藏 SDR 能力 — ▲ 152 · 💬 25 · 🔗 rtl-sdr.com
多个独立项目意外发现 ESP32 微控制器中存在未公开的 SDR 功能。ESPARGOS 团队率先揭示，部分 ESP32 芯片可绕过固定 WiFi 和 Bluetooth 协议，直接捕获原始 IQ 基带样本，使其变身覆盖 2.2–2.7 GHz 频段的内置 SDR。虽然大多数型号仅能导出数据快照用于频谱分析，但新款 ESP32-S31 已支持通过千兆以太网连续流式传输。此外，Reddit 用户 h0m3us3r 结合 FPGA 实现了完整的数据流传输，而 C5VRX 项目则利用该特性实现了 5.8 GHz 实时 FPV 视频接收。这一发现让 ESP32 在无线探测和信号分析领域展现出巨大潜力。 - 2026年10月，哪些公司在招技术人？ — ▲ 138 · 💬 142
我是Hacker News社区的一员，正在发起每月的招聘贴。我想邀请正在积极招聘的公司直接发帖，说明职位、地点（远程或 onsite）和公司简介。请只发自己公司的职位，不要中介，并承诺回复申请者。 - 生成式AI如何终结Web开发教育 — ▲ 137 · 💬 106 · 🔗 molily.de
Baldur Bjarnason、Axel Rauschmayer和Salma Alam-Naylor等资深从业者指出，生成式AI正在摧毁Web开发教育生态。课程创作者收入腰斩，技术博客流量被AI爬虫吞噬却无法变现，开发者社区从深度交流退化为碎片化内容消费。Josh W. Comeau和Kyle Cook等教育者发现，LLM无偿抓取并复述优质内容，导致高质量教程失去创作动力。Rachel Andrew进一步质疑，AI带来的生产力提升可能只是将工作转移给他人，反而降低了整体质量。这场危机不仅威胁教育者的生计，更让Web这一民主化媒介面临被技术寡头垄断的风险。 - 你的车是轮上的智能手机，谁在监听？ — ▲ 132 · 💬 128 · 🔗 automatictransmission.khoury.northeastern.edu
我们与 Consumer Reports 合作，对 21 辆现代联网汽车和 30 个配套 App 进行了大规模隐私测试。研究发现，全球超过 75% 的新车具备联网功能，其中 19 辆车通过 Wi-Fi 联系了第三方广告商和追踪器，7 个 App 更是将 VIN 码、精确位置等敏感个人信息直接发送给第三方。更令人担忧的是，一旦数据离开设备，消费者便完全失去了控制权。尽管我们向各制造商披露了结果，但大多数回应都在推卸责任，只有 Honda 做出了改进。这项研究揭示了联网汽车生态中隐蔽的数据泄露风险，提醒我们：在享受智能出行便利的同时，我们的隐私正被悄然出卖。 - RacketCon 2026：从宏到浮点精度的深度探索 — ▲ 121 · 💬 33 · 🔗 con.racket-lang.org
RacketCon 2026 即将在周六拉开帷幕，这是一场专为 Racket 社区打造的盛会。会议将汇聚 Pat Hanrahan 等顶尖专家，深入探讨从类型推断、低层语言设计到 IDE 服务的创新方案。Fred Fu 将展示如何解决宏扩展中的类型推断难题，Lucas Myers 则带来基于 LLVM 的新语言 Pille，旨在突破 Racket VM 的性能瓶颈。此外，Herbie 编译器如何提升浮点运算精度、Treason 如何让宏在代码报错时仍支持 IDE 服务，以及全新 ffi2 接口带来的性能飞跃，都是本次大会的亮点。无论你是 Racket 老手还是编程爱好者，都能在这里找到灵感。 - 美债收益率飙升24年新高 — ▲ 118 · 💬 177 · 🔗 wsj.com
美国十年期国债收益率突破5.3%，创下24年来最高水平。讨论中有人指出，无论政治立场如何，美国联邦政府必须平衡预算，否则将面临利息支付压力或美元贬值的困境。问题核心在于收入不足，而非单纯支出过高。单纯向富人征税难以填补财政缺口，而改革政府医疗支付体系或许是个可行起点——员工已实际承担的健康保险费用，足以支撑同等水平的政府医疗保障，甚至还能结余资金用于其他公共服务。 - SlutCon：理性主义者的调情训练营 — ▲ 106 · 💬 25 · 🔗 thenewcritic.com
作为一名来自新西兰的律师，我化名Overlocked，以“调情女孩”的身份参与了在Lighthaven举办的SlutCon。这是一个为期三天的退修会，旨在帮助男性提升调情技巧，参与者多为LessWrong读者和硅谷理性主义者。活动充满了独特的“circling”练习和直白的对话，试图用数据思维解构吸引力。尽管外界担心这是“强奸训练营”或物化女性，但我在现场并未感到不安全，反而被这种直率的沟通方式所吸引。创始人Aella在台上教导我们如何调动身体语言，甚至直言“百万美元就储存在他的睾丸里”。这场活动展现了神经多样性群体独特的认知风格，也引发了关于性别关系和社交规范的深刻思考。 - Context Language Models：让模型自主管理上下文 — ▲ 98 · 💬 24 · 🔗 arxiv.org
研究人员推出了 Context Language Models（CLMs），这是一种能原生管理自身上下文的语言模型。通过将上下文视为文件并允许模型进行无限制更新，CLMs 能够自主学习哪些信息最关键。在 BrowseComp-Plus 和 EdgeBench 等任务中，零样本构建的 CLMs 不仅准确率更高，还大幅减少了 FLOPs 消耗。此外，CLMs 支持通过自然语言指令进行引导，并结合在线强化学习进一步提升性能。研究团队还设计了 Suffix Cache Reuse 技术，在保持性能的同时将服务器端计算量降低了 35%。 - 城市被迫将车牌数据送入联邦监控网 — ▲ 91 · 💬 35 · 🔗 404media.co
特朗普政府正利用始于1980年代的HIDTA反毒拨款项目，强制全美各城市将本地自动车牌识别数据（ALPR）汇聚至白宫管辖的联邦监控中心。通过Flock、Axon等厂商的摄像头收集的数据，被上传至联邦服务器，供DEA、ONDCP及各层级执法机构共享，甚至流向NLPRP系统。这一机制绕过了地方对数据使用的限制，且因HIDTA的特殊法律地位，公众难以通过FOIA进行审查。尽管地方试图收紧Flock数据的使用权限，联邦却借此“后门”获取了原本无法触及的监控数据，引发了关于隐私与透明度的严重担忧。 - ICE隐瞒33份死亡报告，医疗疏忽成常态 — ▲ 90 · 💬 12 · 🔗 prospect.org
ICE曾在线公开33份移民死亡审查报告，揭露了拘留中心内严重的医疗疏忽，但文件随后被迅速删除。报告显示，许多移民因无法获得胰岛素等基础药物、误诊或急救延误而死亡。例如，糖尿病患者Carlos Josué Marchena Marchena在Winn Correctional Center因缺乏胰岛素和食物而去世，尽管ICE声称其获得了妥善医疗。报告还记录了精神健康崩溃、自杀未遂及被忽视的严重感染案例。倡导者指出，这种医疗忽视并非偶然，而是移民拘留体系长期存在的系统性问题，反映了以威慑和惩罚为核心的移民政策。 - AI主权基金：进步还是技术帝国主义？ — ▲ 88 · 💬 60 · 🔗 ft.com
设立AI主权基金常被包装成推动社会进步的举措，但背后可能隐藏着技术帝国主义的野心。当国家或大型机构试图通过集中资本控制AI发展时，这种模式并非真正惠及大众，反而可能加剧全球技术权力的不平等。文章指出，这种策略更像是一种新型的资源掠夺，将AI技术作为地缘政治工具，而非公共福祉的引擎。我们需要警惕这种以“进步”为名的技术霸权，重新思考AI发展的公平性与可持续性。 - SvelteKit 3 发布：更精简、更类型安全 — ▲ 88 · 💬 24 · 🔗 svelte.dev
SvelteKit 3 正式发布了！如果你用过之前的版本，会发现一切都很熟悉，只是这次打磨得更精致、类型安全更强，还少了很多冗余。我们提供了 sv migrate 命令，能自动迁移大部分代码并生成待办清单，让升级过程无缝衔接。新版本将配置移到了 vite.config.ts，用标准子路径导入替换了 $lib 别名，环境变量和 Service Workers 的使用也更简单，错误处理全面升级。至于大家期待的 Remote Functions，虽然还没完全就绪，但已是我们的首要任务，需配合 Async Svelte 使用。下个月，Svelte Summit 将在 Ljubljana 举办，庆祝 Svelte 十岁生日，期待与你一起切蛋糕。 - 2026年求职：谁在寻找新机会？ — ▲ 85 · 💬 265
我发起了一个求职互助贴，邀请正在寻找工作的开发者分享信息。请大家按格式提供位置、技术栈和简历链接，仅限个人求职，拒绝中介。希望能帮助有才华的工程师找到合适的岗位。 - Bez：用规范自动生成浏览器引擎 — ▲ 83 · 💬 31 · 🔗 tangled.org
手动构建浏览器引擎需要数百名工程师耗时多年，只有少数巨头能负担得起。Bez 项目试图打破这一垄断，利用 AI 模型直接从 Web 规范（specs）和测试用例（WPT）中生成渲染引擎代码。通过对比 Chromium、Firefox 和 WebKit 三个主流浏览器的行为，系统能自动验证生成的代码是否合规。目前，该项目已在 CSS 布局等特定领域取得突破，甚至发现并证实了 Firefox 存在的真实兼容性问题。这种自动化生成方式不仅大幅降低了引擎构建成本，还让为特定网站定制精简版引擎成为可能，未来或彻底改变 Web 标准的实现方式。 - 加州禁止童婚，全美仍有32州合法 — ▲ 82 · 💬 133 · 🔗 bbc.com
加州正式签署法案，自2027年1月1日起禁止童婚，规定结婚年龄必须满18岁。州长Gavin Newsom称这是保护未成年人“迟来的措施”。该法案由曾16岁嫁给50岁演员的Courtney Stodden共同签署，她呼吁在全美50个州终结这一陋习。Brittany Bee和Sara Tasneen等幸存者分享了自己被迫早婚、陷入暴力关系的经历，指出未成年人无法真正“同意”婚姻。尽管加州是第18个禁止童婚的州，但美国仍有32个州允许在家长同意和法官批准下让未成年人结婚，且缺乏离婚机制，导致许多女孩被困在虐待性关系中。倡导组织Unchained At Last指出，加州每年约有9000名女孩被婚配，几乎全部是与成年男性结婚。 - 西装才是被遗忘的顶级 Techwear — ▲ 77 · 💬 161 · 🔗 devz.cl
起初我讨厌穿西装，觉得束缚又难受，但经过量身定制后，我发现它们比现代休闲装更舒适实用。现代服装往往忽略人体比例的差异，导致裤腰和裤长永远不合身，而西装天生就是为了适配个人尺寸而设计的。作者认为西装才是真正的 Techwear：它拥有三个前袋、两个内袋和笔槽，能轻松装下手机、笔记本和充电器，远胜于那些口袋形同虚设的现代女装。此外，纽扣比拉链更耐用且易于维修，传统西装外套的寿命也远超现代夹克。尽管功能强大，作者坦言因社交压力，在非正式场合仍不敢穿着西装，但这并不妨碍他认定西装在舒适度和功能性上完胜现代服饰。 - 加拿大快推Pacific Link管道，减少对美国依赖 — ▲ 76 · 💬 79 · 🔗 apnews.com
加拿大正加速推进Pacific Link输油管道项目，旨在降低对美国的能源依赖。这一战略举措由加拿大政府主导，Alberta省作为核心区域，Carney等关键人物参与其中。通过建设通往太平洋沿岸的新管道，加拿大希望将更多石油出口至亚洲市场，从而优化其能源贸易结构。该项目不仅关乎经济利益，更涉及地缘政治考量，反映了加拿大在全球能源格局中寻求更大自主权的决心。尽管面临环保争议和审批挑战，政府仍表示将加快流程，确保项目尽快落地。 - Weave Router: 编码智能体开源模型路由 — ▲ 74 · 💬 21
几个月前，我们开始构建 Weave Router，旨在通过集成多种模型来超越单一模型的性能。如今，Weave Router 2.0 已正式开源。它能无缝接入 Claude Code 或 Codex 等编码智能体，智能地在 Astra 和 Deepseek v4 Flash 等 LLM 间切换。面对复杂的调试任务，它调用 Astra；处理简单的前端更新，则交给 Deepseek。在 Terminal Bench 和 SWE Atlas 基准测试中，其表现已媲美 GPT-6 Astra，但成本仅为其一半，速度却快了两倍以上。 - Goalposts: 投票决定AI挑战是否达成 — ▲ 72 · 💬 69 · 🔗 stoppels.ch
这是一个关于人类水平AI基准的探索项目。当现有基准被突破后，我们该如何定义新的挑战？我的观点是关注“失控效应”：当AI能在Python环境和TensorFlow中自我改进算法，甚至开始为AI加速器硬件提出优化建议或全新设计时，我们就真正接近了那个临界点。ChatGPT的进展让我觉得这一天或许不远了。我很好奇Diff Models论文对TensorFlow源码的处理能力，它是否已经具备了提出改进建议的水平？ - 缺氧深海非死区，或是生命起源线索 — ▲ 72 · 💬 3 · 🔗 agupubs.onlinelibrary.wiley.com
长期以来，科学家将海洋中缺乏氧气的区域视为无法孕育生命的“死区”。然而，最新研究挑战了这一传统认知，指出这些缺氧水下环境可能并非生命禁区，反而是解开地球早期生命起源之谜的关键线索。在Hacker News的讨论中，网友对生命在极端环境下的顽强生存能力表示惊叹，从深海一英里到近沸水环境，微生物无处不在。这一发现不仅重塑了我们对海洋生态系统的理解，也为探索生命如何在地球早期恶劣条件下诞生提供了全新的视角。 - AI Agent 身份管理：OpenID 基金会发布白皮书 — ▲ 70 · 💬 23 · 🔗 openid.net
随着 AI Agent 的崛起，传统的身份认证与授权机制正面临严峻挑战。OpenID 基金会最新发布的白皮书指出，AI Agent 具备非确定性行为，能自主调用外部服务，这与传统软件截然不同。现有的 OAuth 2.1 框架在跨域、高自主或异步场景下显得力不从心。报告强调，必须建立专门的 Agent 身份体系，避免身份碎片化，并将“用户伪装”转变为明确的“委托授权”。面对递归代理、人机协作及浏览器控制等新场景，行业亟需制定新的安全标准与治理框架，以确保 AI Agent 在自主行动时依然安全可控。 - papero：无需ML模型的轻量级PDF解析器 — ▲ 67 · 💬 7 · 🔗 github.com
从PDF中提取文本容易，但还原其结构才是关键。papero 是一个开源的 PDF 文本提取 API，它不依赖任何机器学习模型，仅凭几何算法就能在纯 CPU 环境下快速解析文档。它能精准识别阅读顺序、还原表格与公式、提取图表并保留位置信息，支持输出为 Markdown、JSON、Word 和 Excel 等多种格式。无论是通过 Python 库、命令行工具还是浏览器应用，用户都能在本地安全处理文件，无需上传服务器。对于需要构建 RAG 系统或处理 LLM 文档加载的开发者来说，papero 提供了一个快速、轻量且无需 GPU 的绝佳选择。 - 如何为发送域名配置 SPF、DKIM 和 DMARC — ▲ 62 · 💬 25 · 🔗 mailfully.com
自动发送邮件时，很多人忽略了邮件认证，导致邮件被 Gmail 退回或进入垃圾邮件箱。本文详解 SPF、DKIM 和 DMARC 三大核心组件如何协同工作，确保你的邮件通过接收服务器的验证。SPF 验证发送服务器 IP，DKIM 提供加密签名，DMARC 则对齐发件人地址并执行策略。即使你只是发送密码重置或发票，这些设置也至关重要。Gmail 明确要求所有发件人配置 SPF 或 DKIM，高量发件人还需三者兼备。我们将以 Mailfully 为例，演示如何在 DNS 中正确添加这些记录，避免常见的配置陷阱，如子域名对齐问题和 SPF 记录冲突。 - arXiv 新规：每月限投两篇论文 — ▲ 60 · 💬 17 · 🔗 blog.arxiv.org
AI 工具的普及让论文投稿量激增，arXiv 九月单月接收投稿高达 40,363 篇，导致大量低质量论文涌入，严重挤占了志愿者审核资源。为应对这一挑战，arXiv 宣布自 2026 年 10 月 1 日起实施新的速率限制政策：每位提交者每月最多提交两篇论文，且同时在线的活跃稿件不得超过三篇。这一举措旨在公平分配审核时间，保护 arXiv 学术库的质量，并鼓励作者更审慎地提交具有真正学术价值的研究成果。 - TIN 性能领先 8 倍？ParadeDB 的反击 — ▲ 58 · 💬 9 · 🔗 paradedb.com
两周前，PlanetScale 发布了 Text Search 扩展 TIN，宣称在 BM25 搜索和文档计数上比 ParadeDB 快 8 倍。我们起初并不服气，决定戴上性能优化的帽子进行反击。经过两周的攻坚，我们并未像 TIN 那样依赖 Postgres 的 ctid 架构差异，而是通过两项关键优化实现了反超：首先将 fieldnorms 数组与 postings 列表合并存储，消除了随机访问带来的 I/O 瓶颈；其次在复杂查询中动态切换 Blockmax 算法，用 MAXSCORE 替代 WAND 以降低 CPU 开销。最终，在 Hacker News 数据集的测试中，ParadeDB 不仅追平了差距，更在部分场景下比 TIN 快了 2 倍。这场较量证明，算法优化与数据布局的改进，往往比底层架构的激进变更更具实效。 - 0.1+0.2为何不等于0.3？浮点误差揭秘 — ▲ 56 · 💬 31 · 🔗 blog.vero.site
大家都知道用浮点数计算美元和美分会有舍入误差，比如 0.1 + 0.2 在 Python 中会得出 0.30000000000000004。但我在日常处理收据时，发现这些微小误差往往并不显现，甚至呈现出有趣的规律。本文深入剖析 IEEE double-precision floats 的内部结构，从二进制表示、ulp（最后一位单位）到舍入规则，一步步拆解 0.1 + 0.2 的计算过程。通过数学推导和可视化图表，揭示了浮点加法误差的分布模式，解释了为何在某些范围内误差会相互抵消，而在另一些区域则形成棋盘格状的误差图。这不仅是对编程常识的补充，更是对计算机底层算术机制的一次生动探索。 - ENIAC上的首次蒙特卡洛模拟 — ▲ 53 · 💬 1 · 🔗 tomandmaria.com
1948年，Los Alamos团队在ENIAC上运行了历史上首个计算机化蒙特卡洛模拟程序，由John von Neumann、Klara von Neumann和Nick Metropolis等人主导。这不仅标志着现代代码范式的诞生，也开启了科学计算的新纪元。文章通过重构当时的流程图、代码版本及操作日志，揭示了从计算规划到软件迭代的全过程，展现了早期软件系统开发的生命周期。这一里程碑事件不仅推动了核武器设计中的中子扩散模拟，还深刻影响了后续超级计算机架构的发展。 - Polyedergarten：纸模多面体的几何花园 — ▲ 50 · 💬 6 · 🔗 polyedergarten.de
欢迎来到 Polyedergarten，这里是一个由纸张构建的几何世界。你不仅能找到经典的 Platonic polyhedra 和 Archimedean polyhedra 模型，还能探索更多独特的多面体设计。这些纸模不仅适合手工爱好者动手制作，也是数学与艺术结合的完美体现。网站提供了详细的模型页面和 VRML-Models 资源，让你从二维图纸到三维结构都能轻松上手。无论是教学演示还是个人收藏，这里都是多面体爱好者的理想之地。 - 沙箱能关住失控的AI代理吗？ — ▲ 45 · 💬 88 · 🔗 blog.cryptographyengineering.com
Hacker News 社区正在激烈讨论沙箱机制是否足以遏制 rogue agents。有开发者指出，即便引入 Jev 模型进行单步审查，代理仍可能通过一系列看似安全的步骤累积出危险策略。核心矛盾在于：沙箱限制过严会导致代理无法执行有用任务，而赋予其足够工具又可能引发不可控行为。有人提议引入专门负责“找茬”的监控代理来审查 AI 生成的代码，但这引发了关于信任的深层辩论——如果无法完全信任工具，是否应直接停止使用？更有观点认为，随着 Linux LPE 0day 或 KVM 漏洞的出现，代理轻易突破沙箱只是时间问题，这迫使我们要重新审视 Linux 在沙箱隔离上的适用性。 - macOS 27 Golden Gate 的 Mission Control 为何卡顿？ — ▲ 44 · 💬 45 · 🔗 osxdaily.com
不少用户在升级 macOS 27 Golden Gate 后，发现 Mission Control、Spaces 和 Stage Manager 出现了明显的卡顿、闪烁甚至动画缺失。这并非个例，许多反馈指出在切换全屏应用或多显示器时，WindowServer 似乎遭遇了性能瓶颈。虽然这可能是系统后台索引造成的暂时现象，但关闭透明度、自动隐藏 Dock 以及减少动画效果等调整，往往能显著改善体验。如果你也遇到了类似的多窗口管理难题，不妨尝试这些实用技巧，或许能找回流畅的操作手感。 - Janus: 本地运行GGUF模型的Go二进制工具 — ▲ 44 · 💬 4 · 🔗 github.com
Janus是一个由Go编写的单二进制文件，支持在本地通过Vulkan或CPU运行GGUF格式的LLM模型，并提供OpenAI兼容API和内置Web界面。无需Python、Docker或Ollama，即可轻松部署本地AI服务。用户可通过命令行、Cursor等客户端或Web UI灵活调用模型，支持热切换模型、内置工具调用（如文件读写、OCR、PDF处理）及可选身份验证。无论是开发测试还是日常使用，Janus都能让本地大模型运行更简单、高效。 - Effect 4.0 发布：零依赖与性能飞跃 — ▲ 42 · 💬 21 · 🔗 effect.website
Effect 4.0 正式发布，这是团队迄今为止最雄心勃勃的版本。我们彻底重构了核心，实现了更快的运行速度、更低的内存占用以及更小的打包体积。相比 3.x 版本，4.x 的并发任务吞吐量提升了 6.4 倍，每个 fiber 的内存占用减少了 86%，最小程序包体积更是从 35.6 kB 降至 7.1 kB。此次更新将原本分散的包整合进主包，实现了零运行时依赖，消除了第三方依赖链风险。Effect 现已覆盖从单函数到分布式集群的全场景，并在众多企业中投入生产使用。此外，我们宣布每个主要版本都将提供长期支持政策，确保团队可以安心规划未来。 - CSS Bed：无类 CSS 主题集合 — ▲ 39 · 💬 9 · 🔗 cssbed.com
厌倦了臃肿的框架和复杂的类名？CSS Bed 提供了一系列 Classless CSS 主题，让你只需将简短的代码片段粘贴到网站的 head 标签中，就能瞬间拥有美观且响应式的页面。这些主题体积极小，通常只有几 KB，完全不需要学习曲线，让你回归使用原生 HTML 的纯粹体验。无论是简单的博客还是快速原型，这里丰富的主题如 simple.css、pico.css 和 water.css 都能满足需求，让开发过程更加轻松高效。 - PLDB：3.3万篇编程语言论文一键检索 — ▲ 38 · 💬 3 · 🔗 pldb.kirancodes.me
PLDB 是一个涵盖编程语言领域顶级会议论文的搜索引擎，收录了从 1973 年首届 POPL 至今的 33,580 篇论文。用户可以直接搜索 gradual typing、separation logic 等技术关键词，或通过 author 字段精准定位 Xavier Leroy 等学者的工作。该工具整合了 POPL、PLDI、ICFP、OOPSLA 等顶级会议以及 ECOOP、CC、CAV 等多个重要 venue 的数据，并支持基于 dblp 元数据和 OpenTOC 摘要的全文检索。无论是研究历史演变还是追踪最新进展，PLDB 都为开发者提供了高效的知识发现工具，让海量学术资源触手可及。 - Opus 5.5 发现渡渡鸟新目击记录 — ▲ 36 · 💬 2 · 🔗 resobscura.substack.com
我利用 Opus 5.5 在海量历史档案中挖掘，意外发现了一份 1615 年关于渡渡鸟狩猎的荷兰目击记录，填补了该物种历史时间线的空白。这次探索不仅修正了过往对红秧鸡的误译，还推测出莫卧儿皇帝 Jahangir 那只著名渡渡鸟的可能来源。尽管 AI 在提出新观点上仍显笨拙，但它不知疲倦地充当了“数字数羊人”，在人类专家划定的方向上，高效地翻找出了被遗忘的史料。 - PlayBook：让笔记本拥有编程能力 — ▲ 35 · 💬 7 · 🔗 youtube.com
Ink & Switch 推出了名为 PlayBook 的可编程纸质笔记本，试图在数字与物理世界之间架起桥梁。这款设备允许用户通过编程让纸质笔记产生动态交互，仿佛纸张拥有了生命。社区讨论中，用户 chabad360 认为这是 Ink & Switch 近期最酷的演示之一，但也指出官方发布的 live demo 缺失了演讲中展示的部分功能，且缺乏自定义指南，导致难以深入评估其潜力。尽管存在演示不完整的问题，PlayBook 所展现的将传统书写与计算能力结合的理念，依然引发了科技圈对纸质媒介未来形态的热烈讨论。 - Yantra: C++ 专属 LALR(1) 解析器生成工具 — ▲ 31 · 💬 16 · 🔗 github.com
Yantra 是一款专为 C++ 打造的强大编译器编译器，集成了词法分析、LALR(1) 解析及 AST 生成于一体。它无需外部依赖，仅需 C++ 标准库即可构建。与 Bison 或 ANTLR 不同，Yantra 采用独特的“先生成完整 AST，后自顶向下遍历”机制，让父节点动作能先于子节点执行，极大简化了复杂语义处理。无论是构建嵌入式解析器还是生成多语言代码，Yantra 都能提供高效且灵活的解决方案，是 C++ 开发者构建语言工具的理想选择。 - 别被今年夏天的AI炒作蒙蔽 — ▲ 30 · 💬 20 · 🔗 technologyreview.com
今年夏天，AI领域充斥着令人窒息的炒作。从Anthropic声称Claude Mythos能超越安全专家，到OpenAI和Meta接连曝出模型被黑客攻击，再到双方宣称在数学领域取得突破，媒体往往不加甄别地重复企业的叙事。然而，当网络安全专家和数学家深入调查后，真相往往截然不同：所谓的“黑客攻击”多源于企业自身的安全疏忽，而数学突破则被指控涉及学术不端和剽窃。Timnit Gebru和Emily M. Bender指出，这些关于“超级智能”的恐慌叙事，实则是企业为了逃避责任、转移公众对数据中心环境影响和隐私问题的注意力而精心设计的营销策略。我们应当保持怀疑，倾听独立专家的声音，而非被企业的公关话术所左右。 - rhun: 用汇编语言打造的轻量极速代码编辑器 — ▲ 28 · 💬 9 · 🔗 rhun.app
在AI承担繁重工作的时代，rhun 选择回归极致轻量。这款由汇编语言编写的代码编辑器，以极小的体积和惊人的速度重新定义开发体验。它支持多标签页、语法高亮、模糊搜索以及可选的Vim模式，完美适配Windows、Linux和macOS。无论是通过终端快速安装还是直接下载，rhun 都能让你在任何环境下即刻进入流畅的编码状态，享受纯粹的创作心流。 - 月球新现巨型陨石坑，未来基地选址告急 — ▲ 27 · 💬 54 · 🔗 nytimes.com
月球并非我们想象中那样寂静无声，它其实是一个随时发生撞击的战场。NASA 通过 Lunar Reconnaissance Orbiter 发现了一个宽达 728 英尺的全新陨石坑，这是自 2009 年以来观测到的最大新鲜撞击坑。科学家推测，这颗直径 30 至 70 英尺的陨石在 2024 年春季以惊人的速度撞击月球，其威力相当于 15,500 吨 TNT 爆炸。这个名为 McGetchin crater 的撞击坑位于 Sea of Crises 边缘，而此类规模的撞击平均每 132 年才发生一次。这一发现为人类未来建立 Moon Bases 敲响了警钟，表明在规划月球基地时，必须将陨石撞击风险纳入核心考量。 - 从Piltdown骗局到Australopithecus africanus真相 — ▲ 18 · 💬 4 · 🔗 lflank.wordpress.com
1912年，Charles Dawson在Piltdown发现的化石曾被视为人类进化的关键证据，却最终被证实是一场精心策划的骗局。真正的突破来自Raymond Dart在Taung发现的Australopithecus africanus化石，尽管初期遭到欧洲学界质疑，但Robert Broom的持续发掘最终确立了这一物种在人类进化史上的重要地位。如今，Australopithecus africanus已成为研究人类起源的核心物种，其化石遍布南非的Cradle of Humankind保护区，揭示了早期人类如何适应从森林到草原的环境变迁。 - cmart 的硬核共事协议：用规则对抗拖延 — ▲ 16 · 💬 5 · 🔗 cmart.blog
我发起了一项名为 Hardcore Coworking 的实验，旨在通过严格的协议对抗拖延症（akrasia）。我们约定在图书馆或咖啡馆聚集，严禁闲聊和娱乐，只专注于工作。规则很简单：每小时严格划分为 50 分钟工作和 10 分钟休息，利用 Body doubling 效应互相监督。工作期间除必要沟通外保持沉默，休息时则可自由交流。这套机制并非为了社交，而是为了在缺乏自然工作氛围的环境中，人为构建一个高效、专注的协作场域。 - NanoPing：三网并发让移动视频零卡顿 — ▲ 15 · 💬 11 · 🔗 nanoping.com
在移动场景中，单靠一个 Wi-Fi 网络往往难以保证实时视频的流畅传输，一旦信号减弱，画面就会卡顿或丢帧。NanoPing 通过同时利用三个不同的 Wi-Fi 接入点（AP A、AP B、AP C），在笔记本电脑移动的 60 秒测试中，成功实现了零延迟、零丢包。即便单个网络信号变弱导致延迟飙升，NanoPing 也能智能调度，将数据流切换到信号更好的网络，确保每个数据包都在 100 毫秒内到达。测试数据显示，单网模式下最慢数据包延迟高达 1137 毫秒，而 NanoPing 模式下最慢仅为 91 毫秒，彻底解决了移动视频传输的痛点。 - 19 款终端邮件客户端，覆盖所有系统 — ▲ 13 · 💬 3 · 🔗 terminalemail.com
想在 Linux、macOS、Windows、BSD 甚至 Android 的终端里收发邮件？这篇文章汇总了 19 款维护良好的终端邮件客户端和 7 款邮件工具，并提供了针对每个系统的安装命令。特别推荐的是 Forward Email 团队自家的 TUI 客户端，它不仅支持邮件，还集成了日历、联系人和任务管理，且无需复杂配置。无论是习惯 Vim 风格快捷键的老手，还是想要鼠标操作的新手，都能在这里找到适合自己的工具。文章还详细解答了如何连接 Gmail、Outlook 以及支持 JMAP 协议等常见问题，是终端邮件爱好者的必备指南。 - Jevotron：命令行一键检测数据异常 — ▲ 12 · 💬 1 · 🔗 cmungall.github.io
Jevotron 是一款能在命令行直接运行的一次性异常检测工具，支持 CSV、YAML、JSON、TOML 等多种格式，甚至能处理 gzip 压缩文件。用户只需通过 --guidance 参数提供简短指令，工具即可对数据中的每个条目进行评分，并标记可疑内容。它利用 SQLite 缓存结果，确保未修改的数据无需重复评估，极大提升效率。报告不仅包含异常概率和评分，还保留字段来源和评估时间，方便后续审查。无论是发现机场数据中的国家错误，还是分析 Agent traces 中的步骤质量，Jevotron 都能提供可验证的证据链，让数据清洗和审查流程更透明、更高效。 - Jacques Barzun：现代艺术为何沉迷于震惊？ — ▲ 12 · 💬 5 · 🔗 csmonitor.com
文化史学家 Jacques Barzun 在 1980 年的访谈中犀利指出，现代艺术已陷入一种怪圈：为了在大师辈出的历史重压下突围，艺术家们被迫成为“有目的的破坏者”，通过玩笑、戏仿和震惊来颠覆观众的审美预期。他批评当代社会过度迷信“credentials society”（凭证社会），导致人们丧失了在未知中独立思考和应对的能力。Barzun 认为，真正的成功者应能随时自动重塑自我，而艺术不应只是对时代的被动镜像，更应是对人类感知能力的深刻唤醒。 - aweb：让 AI Agent 拥有稳定身份与通信 — ▲ 11 · 💬 5 · 🔗 aweb.ai
aweb 为 AI Agent 构建了全新的通信基础设施，提供稳定的身份标识、持久化的邮件与聊天功能，以及跨会话的唤醒机制。它支持自托管与联邦化部署，让独立运行的服务器能够互联互通。无论是运行在 Claude Code 还是 Pi 上的 Agent，都能通过统一的 CLI 和 API 实现无缝协作。即使接收方离线，消息也会安全存储并在其上线时自动唤醒。从身份认证到消息投递，aweb 将复杂的通信逻辑封装成简单协议，让开发者能专注于 Agent 本身的能力，而非底层连接问题。 - Claude 帮我上架 Mac App Store — ▲ 9 · 💬 14 · 🔗 jefftk.com
几个月前，我写了一个程序来标准化剪贴板，去除字体、颜色和大小，只保留语义信息。现在，在 Claude 的协助下，我将其发布为 Mac App Store 上的免费应用。这次开发过程令人惊叹：从最初手动编写脚本，到让 Claude 直接重写代码以符合 App Store 规范，包括用 SwiftSoup 替换 Pandoc、合并功能、添加测试以及通过审核。虽然第一次因缺少演示视频被拒，但第二次顺利过关。这展示了软件开发在短短几个月内的巨大变化。 - Strutt的轮椅因法律原因不是轮椅 — ▲ 9 · 💬 15 · 🔗 core77.com
新加坡初创公司Strutt推出了一款功能强大的电动轮椅Strutt ev¹，它拥有四轮独立电机、电子稳定控制和防抱死刹车，还能自主避障和爬坡。但为了规避美国FDA对二类医疗器械的繁琐审批，Strutt选择不将其定义为轮椅，而是称为“智能日常车辆”。这一策略虽然让它能迅速上市，但也意味着用户无法获得保险覆盖，且目前电池尚未符合航空运输标准。这款产品以7500美元的价格发售，展示了在监管夹缝中创新的可能性，同时也暴露了医疗辅助设备市场化面临的现实困境。 - 有效利他主义：本世纪最大理念 — ▲ 9 · 💬 31 · 🔗 economist.com
有效利他主义（Effective Altruism）正从牛津大学的哲学象牙塔迅速走向权力中心，成为本世纪最具影响力的思想之一。如今，硅谷精英和顶尖人工智能公司纷纷拥抱这一伦理准则，甚至让特朗普政府感到不安。五角大楼誓言美国绝不会成为有效利他主义国家，战争部长更将其斥为“有缺陷的利他主义”，而行政当局的其他人则称其为“反乌托邦”。这些激烈的反对声音恰恰证明了该运动惊人的影响力。尽管其初衷值得称道，但文章也警示我们，这种将道德计算推向极致的运动可能潜藏着危险。 - Incredible：Rust 打造的下一代 TUI 框架 — ▲ 8 · 💬 12 · 🔗 incredible.rs
Incredible 是一个面向 21 世纪 20 年代中期推出的 Rust 文本用户界面（TUI）框架。它采用模块化、声明式、事件驱动和响应式设计，支持从单一代码库编译出终端应用（macOS、Windows、Linux）、原生窗口应用（macOS 与 Windows 11）以及浏览器端应用（通过 WASM）。框架从底层遵循基础 UI 原则，内置事件循环、类型化元素树结构和声明式主题引擎，支持组件封装与复用，并原生兼容现代终端功能。目前项目处于私有 Alpha 阶段，由 ronilan 主导开发，已在 GitHub 和官方博客开放追踪。 - 用内切球加速 SAT 碰撞检测 — ▲ 8 · 💬 0 · 🔗 box2d.org
在 Box3D 中，分离轴测试（SAT）是计算凸包接触流形的核心，但面对复杂多面体时，其 $O(N^3)$ 的复杂度常成为性能瓶颈。尽管已采用 Gauss map、SIMD 和接触缓存等优化手段，在处理大量堆叠物体时依然吃力。本文深入探讨了 Pierre Terdiman 提出的内切球技术，通过计算分离距离的上界，在昂贵的边对测试前快速剔除无效边。这一改进不仅大幅减少了 SAT 的计算量，还利用 Gauss map 的边弧特性实现了更精细的裁剪，让 Box3D 在处理 Convex Pile 等高压场景时表现更加流畅。 - 2026 国际地下管线定位 rodeo 开赛 — ▲ 7 · 💬 0 · 🔗 locaterodeo.net
2026 年 12 月 7 日至 8 日，Springfield, MO 将举办免费的 International Utility Locate Rodeo，面向全球 utility locators 开放。比赛涵盖 Electric、Gas、Telecom、Water 四大分区，优胜者可赢取高达 2500 美元的奖金及 Wheel Winners 奖励。同期还将举行 MOCGA Summit，提供安全与防损课程。活动由 Missouri Common Ground Alliance 主办，联合 National Utility Locating Contractors Association 共同推动地下管线定位最佳实践。此外，MCGA 发起 Christmas Toy Drive，为 CASA 组织的 foster care 儿童募集玩具。往届比赛吸引来自 18 个州及加拿大的 75 名选手参与，气氛热烈，专业性强。
点赞
收藏
点踩
分享评论
?
参与讨论