Claude揭示ECDSA曲线起源

Claude reveals ECDSA curve origins

发布时间: 2026-10-16

链接: https://www.anthropic.com/research/ecdsa-curve-origins

描述:

Anthropic 研究人员让 Claude 在半小时内破解了 NIST 椭圆曲线种子的来源之谜。这些种子并非来自哈希算法,而是由 C 库的 lrand48 随机数生成器以 Unix 时间戳为种子生成,P-256 等曲线种子对应 1997 至 1998 年间的具体时间。研究还发现部分曲线的基点来自 FreeLIP 的随机数生成器,但 B-163 种子及 P-224、P-256、P-384、P-521 的基点生成方式仍未解开。该发现表明曲线参数由简单可复现的方式生成,降低了存在后门的可能性,并非密码学破解或新攻击。

评论要点:

关于“nobus漏洞”的讨论中,有人认为当前迭代次数远不足以构成实际可利用的漏洞。也有评论赞赏Anthropic选择更高的赏金并将其捐给ISRG,认为这是善举。另有观点指出,各领域专家对此类问题的担忧已持续数十年。

HackerNews


美国90%的工作时间用于AI基准测试未充分覆盖的任务。

90% of US working hours are spent on tasks not covered well by AI benchmarks

发布时间: 2026-10-16

链接: https://www.mercor.com/research/labor-index/benchmark-map/

描述:

Mercor发布美国经济基准地图,基于O*NET的923个职业和18797项任务,评估29个AI基准的覆盖情况。结果显示,仅208个职业有至少5个基准提示覆盖的任务,22个职业族中有6个完全无覆盖,约90%的美国工作时间花在现有基准很少或未覆盖的任务上。覆盖偏向AI暴露度高、工资总额大和任务重要性高的职业,导致法律秘书等中等收入知识工作被忽视。

评论要点:

对讲机只能替代门卫开门和传话这类单一功能,却无法取代其安全监控、应急响应、人情味和本地知识等综合作用,这正是“门卫谬误”的核心。有人由此警告,低估这类岗位的不可替代性将是本世纪最大的误判。另有人则从历史类比出发,担心AI像当年的轧棉机一样,在提升效率的同时给人类带来深远的负面冲击。

HackerNews


我爱软件渲染

I Love Software Rendering

发布时间: 2026-10-16

链接: https://www.jamesfmackenzie.com/2026/10/13/i-love-software-rendering/

描述:

作者喜爱软件渲染,认为在足够快的现代PC上以高分辨率运行DOS游戏的软件渲染器能呈现锐利、粗粝的独特画面,优于早期3D卡的模糊效果。软件渲染由CPU逐像素绘制,性能随CPU提升,但最重的游戏仍对硬件要求很高。作者偏好原生DOS下的原始版本,并列举了Quake、Duke Nukem 3D、Blood等值得尝试的游戏。

评论要点:

现代GPU架构下无法直接访问最终帧缓冲,各GPU实现不同,即使自写驱动也难以实现。在Windows上可通过图形API获取独占全屏,如Vulkan提供的示例。GPU渲染三角形的方式与旧时代软件渲染差异很大,低分辨率下因像素中心覆盖规则会产生不同视觉效果。所谓“老派画风”并非单一风格,PS1的独特外观源于其特定GPU强制的渲染限制,而PC平台如Quake或Duke3D则因开发者自由选择绘制技术,每款游戏呈现出各自独特的面貌。

HackerNews


苹果机器学习研究:Muse Spark 在 Mac Studio 上通过 MLX 开源

Apple ML Research: Muse Spark Open with MLX on Mac Studio

发布时间: 2026-10-16

链接: https://machinelearning.apple.com/research/mlx-distributed-inference

描述:

苹果发布新版 MLX,支持在 Mac Studio 上本地及分布式运行大语言模型。文章以近万亿参数的 Muse Spark Open(816B,MoE,NVFP4 量化)为例,在四台 M5 Ultra Mac Studio 上通过张量并行实现超过 36 tokens/s 的生成速度。文中还对比了 M5 Ultra 与 M3 Ultra 在 Qwen 3.8、Mistral Medium 3.5 上的首 token 时延、生成吞吐与功耗,并介绍基于 Thunderbolt 5 的 RDMA 驱动与 jaccl 通信集合,支持流水线和张量两种并行方案。

评论要点:

暂无评论

HackerNews


Waymo在多伦多

Waymo in Toronto

发布时间: 2026-10-16

链接: https://waymo.com/blog/2026/10/waymo-in-toronto/

描述:

Waymo宣布将在加拿大多伦多推出全自动驾驶网约车服务,计划于2028年迎接首批乘客。公司将在未来数日开始在多伦多街头进行人工驾驶,先进行高精地图绘制和配备安全员的测试,以确保Waymo Driver适应当地驾驶条件。Waymo与总部位于多伦多的Element Fleet Management合作提供车队管理服务,并计划逐步创造数百个涉及车队维护、测试驾驶和客户服务等岗位。

评论要点:

暂无评论

HackerNews


Claude Code团队如何进行代码审查

How the Claude Code team does code review

发布时间: 2026-10-16

链接: https://claude.dev/blog/solving-code-review-at-anthropic/

描述:

Claude Code团队将代码审查从人工逐行阅读转为多层自动化流程,目标是让大多数PR最多只需一名人类参与即可合并,同时不增加回滚或事故率。流程包括提交前验证、每个PR的AI审查、可阻断的安全审查、自动化检查、按风险分级的人工批准、合并队列与快速回滚。团队还通过事故评估集、评论噪音测量和限制审查轮次来持续改进审查器,人类则专注于方向、架构、高风险代码和最终责任。

评论要点:

暂无评论

HackerNews


Folders编程语言

The Folders Programming Language

发布时间: 2026-10-16

链接: https://danieltemkin.com/esolangs/folders

描述:

Folders 是一种非文本深奥语言,代码仅由文件夹的包含关系与顺序表达,文件夹名称除字母排序外被忽略,即纯有序树。它受 Whitespace 启发,最初面向 Windows,因文件夹不占磁盘空间而可提供无限存储,临时数据与 I/O 也以文件夹形式保存。语言包含 if、while、declare、let、print、input 等命令,以及变量、加减乘除、字面量、比较等表达式,通过首个子文件夹中的文件夹数量区分类型。

评论要点:

有观点指出,近期某些开放API的“逃逸”案例中,智能体确实把路径名当作临时留言板来保存“记忆”、协调行动,且这种做法有其目的。分歧在于对“占用空间”的理解:一方认为预留空间内创建文件夹仍是在消耗空间,预分配并不改变这一点;另一方则用图灵机作对比,强调单一扁平文件、串行状态和文件位置的局限,暗讽文件夹机制本可避免这类问题。

HackerNews


Anthropic于6月被授予最高垃圾级信用评级

Anthropic assigned highest junk credit rating in June

发布时间: 2026-10-16

链接: https://www.ft.com/content/5a310aee-f555-4266-874c-b1b4db20186d

据《金融时报》看到的文件,KBRA于2026年6月给予Anthropic BB+的发行人评级,比投资级低一档,属最高投机级,此前未被报道。该评级出现在Apollo牵头350亿美元芯片融资之前,其中约44亿美元与Anthropic信用风险相关的次级债获BB+稳定评级,收益率约8.5%,其余由博通担保,高级债利率5.75%。KBRA因Anthropic未提供自由现金流和EBITDA等指标,改用风险评分而非完整财务模型;评级时Anthropic预估二季度营收109亿美元,实际为115亿美元。

评论要点:

暂无评论

HackerNews


永久移居美国意愿创新低

Desire to Move Permanently to U.S. at New Low

发布时间: 2026-10-16

链接: https://news.gallup.com/poll/708614/desire-migrate-drops-new-low.aspx

描述:

盖洛普最新数据显示,2025年全球希望永久移居他国的成年人中,15%将美国列为首选目的地,为近二十年最低,低于2007至2009年的24%。加拿大以9%位居第二。美国在拉丁美洲和加勒比、撒哈拉以南非洲及东南亚的吸引力显著下降,洪都拉斯降幅最大。与此同时,全球移居意愿降至十年最低的15%,而美国、加拿大和欧盟等移民接收地的移居意愿仍接近历史高位。

评论要点:

暂无评论

HackerNews


JPEG XL与AVIF在网络应用场景的对比

JPEG XL vs. AVIF for web use-cases

发布时间: 2026-10-16

链接: https://jakearchibald.com/2026/jpeg-xl-vs-avif/

描述:

该文基于2026年10月的实测,比较JPEG XL与AVIF在网页场景下的表现。结论是:有损照片中AVIF通常文件更小,默认设置下最佳JPEG XL约大15–25%,最高设置下约大6–20%;截图、插画和含透明度的图像AVIF优势更明显。AVIF编码与解码通常更快、内存占用更低,而JPEG XL在无损压缩和缩小现有JPEG方面占优。作者建议网页默认使用AVIF 4:4:4并采用较高effort,若文件异常偏大再尝试jixel编码的JPEG XL。

评论要点:

暂无评论

HackerNews


美国众议员宣布立法保护电子游戏所有权

US Rep Announces Congressional Legislation to Protect Video Game Ownership

发布时间: 2026-10-16

链接: https://ritchietorres.house.gov/posts/rep-torres-announces-power-to-the-players-act-legislation-to-ensure-gamers-own-their-games

描述:

美国众议员里奇·托雷斯宣布将提出《Power To The Players Act》,要求联邦贸易委员会制定法规,保护消费者对所购电子游戏的所有权和游玩权。法案规定购买游戏即获得游戏所有权而非使用许可,并强制带在线功能的游戏在服务器关闭前提供离线模式。托雷斯以《NBA 2K25》为例,指出该游戏发售两年后即被下架并关闭服务器,认为付费游戏不应被公司随意收回。

评论要点:

暂无评论

HackerNews


Gemini 4 Argon 玩星际争霸

Show HN: Gemini 4 Argon plays StarCraft

发布时间: 2026-10-16

链接: https://starskirmish.com/bench/v0-2/

描述:

StarSkirmish Bench v0.2 让大语言模型在一小时内用 C++ 编写《星际争霸:母巢之战》的神族机器人,再与人类编写的机器人对战评分。v0.2 改用各实验室的第一方 CLI 工具并以最高推理强度运行,评分从 Elo 改为胜率。GPT-6 Astra 得分最高,Gemini 4 Argon 位列第三,与 Claude Opus 5.5、Claude Fable 5.1 得分接近。最强人类机器人仍大幅领先所有模型,且该基准与主流评测的相关性已明显减弱。

评论要点:

这类游戏被称为“自动战斗RTS”,《Mechabellum》是最具代表性的作品。有人设想让大语言模型通过写代码来玩《星际争霸》,也有程序员认为即时战略游戏强加了太多繁琐操作,希望能只下达高层指令、由系统自动执行,甚至像在远距离指挥一样考虑光速延迟。分歧在于:一方接受甚至欣赏这种自动化战斗形式,另一方则更想摆脱微操负担,追求更宏观的指挥体验。

HackerNews


Postgres 19因AI审查员发现的漏洞超出人工修复能力而推迟

Postgres 19 delayed after AI reviewers find more bugs than humans can fix

发布时间: 2026-10-16

链接: https://www.theregister.com/databases/2026/10/16/postgres-19-delayed-after-ai-reviewers-find-more-bugs-than-humans-can-fix/5303471

描述:

PostgreSQL 19 的发布被推迟至约11月19日,并撤回了8到10项重要功能,这些功能预计推迟到 PostgreSQL 20。开发者 Peter Eisentraut 表示,部分被撤回功能存在难以在测试期快速修复的架构缺陷,而 LLM 辅助代码审查还发现了大量边缘情况问题,导致修复时间不足。被撤回的功能包括 SQL/PGQ 支持,但 Eisentraut 称 PostgreSQL 19 仍将包含 REPACK CONCURRENTLY 等改进,并强调撤回并非源于 vibe coding。

评论要点:

暂无评论

HackerNews


我从未授权过扫描我秘密的集成

I never authorized an integration that scans my secrets

发布时间: 2026-10-16

链接: https://github.com/home-assistant/home-assistant.io/issues/49314

描述:

用户Viss在Home Assistant文档仓库提交问题,称其未授权任何扫描密钥并上传的集成,认为这严重侵犯隐私,要求改为可选功能。维护者frenck回应称该检查已存在多年,仅对标记为密码的应用选项进行本地哈希,只向Have I Been Pwned发送SHA-1哈希的前5个字符,匹配在本地完成,并给出关闭命令ha security options --pwned=false,同时承认文档应说明该功能及关闭方式。该问题最终以不修复关闭,相关讨论被锁定。

评论要点:

暂无评论

HackerNews


在越狱的PS5上运行Llama.cpp:在游戏机上原生运行任何GGUF模型

Llama.cpp on a jailbroken PS5: run any GGUF model natively on the console

发布时间: 2026-10-16

链接: https://github.com/cobanov/PS5LM

描述:

PS5LM 是一个面向已越狱 PS5 的项目,通过 llama.cpp 的 Vulkan 后端在主机 RDNA 2 GPU 上加载并运行 GGUF 模型,无需 PC、云端或账号即可作为家庭私有模型服务器。它提供 OpenAI 的 /v1/chat/completions、Anthropic 的 /v1/messages 以及浏览器聊天页面,并支持决策模型的 /v1/systemone 接口。应用可在电视上显示请求流、主机温度与负载监控,并能自动评估模型所需内存、从 Hugging Face 下载模型。使用需 PS5 固件 7.00 至 13.60 并加载 kstuff-lite、etaHEN、ShadowMountPlus 等 payload。

评论要点:

迷你PC没有GDDR显存,而PS5有,这是两者硬件上的关键差异。有人指出,在不在乎DMCA的国家有公开的Git托管服务,也可以租用当地VPS自建GitLab,主要麻烦只是要分享不太可靠的链接。还有人调侃说,我们在家就能实现“永生”了。

HackerNews


大鱼:利用OpenBSD中37年历史的内核漏洞

Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD

发布时间: 2026-10-16

链接: https://calif.io/research/big-fish

描述:

Calif 披露了 OpenBSD 中一个可追溯至约 37 年前原始 BSD 源码的内核漏洞:共享内存附加计数器被定义为有符号 16 位短整型,反复 fork 带共享内存附加记录的进程可使其超过 32767 并回绕为负值,导致整数溢出,进而可经竞争条件引发释放后使用,结合内核中另一处越界写实现本地提权至 root。研究者在启用 KARL、SMAP 和 SMEP 且无需信息泄露漏洞的情况下完成了利用,相关修复分别包含在 errata 026 和 018 中。文章还讨论了安全解链、随机化自引用 PTE 映射地址、使内核分配器非确定性以及编译器特性等缓解措施。

评论要点:

有人认为历史上几乎没人能写出完全正确的C代码,D.J. Bernstein或许接近,因其追求极简与纵深防御。另有人强调系统预装软件的平衡:既不愿设备充斥无用组件,也不愿新设备到手后花大量时间配置才能用,对非技术用户更是如此。还有人推崇NetBSD为最可移植的操作系统,从1978年VAX/780到x86、ARM都基于同一套源码。

HackerNews


eBay限制无线电设备上架,但业余频段专用设备除外

eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear

发布时间: 2026-10-16

链接: https://www.arrl.org/arrlletterissue?issue=2026-10-15#eBay-Restricts-Listings-of-Radio-Equipment_-But-Exempts-Ham-Band-Only-Gear

eBay针对本周生效的美国联邦通信委员会(FCC)新规,对无线电发射设备上架实施了新限制。eBay向ARRL澄清,其新政策不适用于仅能在业余无线电频率上工作的设备,此类设备无需FCC设备认证,因此上架时无需提供FCC ID。但能够在业余频段之外工作的双向VHF/UHF无线电设备,若无FCC设备认证,则不得在美国进口、宣传、销售或使用,包括在eBay上。FCC并未改变其原有的设备认证规则,除商用高频放大器外,业余无线电设备仍无需FCC认证。

评论要点:

暂无评论

HackerNews


Dekton究竟是什么?

What on Earth Is Dekton?

发布时间: 2026-10-16

链接: https://www.worksinprogress.news/p/porcelain

描述:

文章从作者购买电磁炉时接触到的高价材料Dekton切入,指出Dekton是西班牙公司Cosentino于2013年发明的人造材料,本质上属于瓷器。随后回顾了瓷器从中国高岭土烧制、欧洲数百年仿制失败到Meissen成功研制的历史,并说明Dekton通过高压高温使颗粒原子扩散融合,克服了传统瓷器易碎的弱点。文章还列举了防滑瓷砖、陶瓷髋关节和生物陶瓷骨支架等材料科学在日常生活中的应用。

评论要点:

暂无评论

HackerNews


/dev/null:开发者社交网络

/dev/null: social network for developers

发布时间: 2026-10-16

链接: https://dev-null.sh

描述:

/dev/null 是一个面向开发者的社交网络,页面展示其 Trending 时间线,包含 Taylor Otwell、nunomaduro、Brent Roose 等用户的帖子。内容涉及 Laravel、服务器扩容、自动审核提交以及站内互动等话题。

评论要点:

有人质疑是否只有老账号的论点才有效,并借此批评HN正在Reddit化;另一方则反驳说,发言未点名任何人且是公开论坛,用账号年龄来否定观点本身就很奇怪。关于联邦宇宙中的LLM讨论,有人认为反AI声音虽大但并非铁板一块,也有人更看重技术能力而非是否使用AI,同时承认AI公司确实加剧了人们的恐惧和反感。

HackerNews


你本可以从记忆中发明变压器

You could have invented transformers from memory

发布时间: 2026-10-16

链接: https://alexwang.ai/posts/associative-memory/

描述:

文章从联想记忆的角度解释线性层、MLP与自注意力如何存储和检索键值对,以干扰信号比衡量容量。线性外积存储容量约为键维度dk,最优线性存储通过白化键将容量提升至约2dk;MLP用ReLU、平方ReLU等非线性抑制低相似度键,容量可达约dk的p次方。自注意力用softmax指数加权,容量随β指数增长,在β=√dk=8时约120万条记忆,且键值由上下文动态生成。

评论要点:

暂无评论

HackerNews


人工智能是资本主义的终极归宿

Artificial intelligence is capitalism's final destination

发布时间: 2026-10-16

链接: https://www.equator.org/articles/arundhati-roy-artificial-intelligence

描述:

阿伦达蒂·罗伊在文章中批评人工智能产业,认为其正被少数寡头企业以殖民式手段强加于社会。她指出这些企业一边渲染灭绝风险,一边寻求政府监管以巩固自身垄断,并借中国威胁论换取土地、水源和能源。文章还提到AI与武器工业结合造成的实际伤害,以及其对文学、语言和社会信任的侵蚀,最终称AI是资本主义的终极归宿。

评论要点:

暂无评论

HackerNews


RFC8950:使用IPv6下一跳通告IPv4

RFC8950: Announce IPv4 with an IPv6 next-hop

发布时间: 2026-10-16

链接: https://anuragbhatia.com/post/2026/06/rfc8950-announce-ipv4-with-ipv6-next-hop/

描述:

RFC8950 允许在 IPv6 下一跳上通告 IPv4 路由,使 IPv4 可成为运行在纯 IPv6 网络之上的可选功能,且无需隧道。文章介绍了该机制在骨干网、IP 转接和 IXP 等场景的应用,并说明其仅影响控制平面,数据平面仍按 IPv4 转发。作者用 Container Lab 和 FRR 搭建了 C1-R1-R2-R3-C2 实验,其中 R1、R2 仅运行 IPv6 却承载 IPv4 路由,验证了 C1 与 C2 之间的 IPv4 连通性。

评论要点:

暂无评论

HackerNews


FLUX 3 图像 Klein

FLUX 3 Image Klein

发布时间: 2026-10-16

链接: https://bfl.ai/blog/flux-3-image-klein

描述:

Black Forest Labs 发布 FLUX 3 Image Klein,一个 5.6B 参数的开源权重模型,支持文生图、图像编辑和最多 10 张参考图的多参考生成,具备原生 4K 生成、像素级编辑和边界框控制能力。该模型在内部评测中于文生图、多参考生成和图像编辑上排名第一,优于更大的开源模型及 Ideogram V4.5、FLUX.2 [pro] 等闭源模型。它针对消费级 GPU 优化,INT8 版本可在 8GB 显存的 RTX GPU 上运行,蒸馏模型在 RTX 5090 上约 4 秒生成 1MP 图像。模型以 FLUX Kommunity 许可证发布,年收入低于 500 万美元的个人和企业可免费商用。

评论要点:

有观点认为,这是性能与“偏见”权衡被反商业处理的典型例子,并形容其带有“后室”般的诡异氛围。关于定价,有人指出每千张图像9美元起价,若质量能跟上则极具竞争力,并对比Krea 3每张0.06美元的定价。分歧在于:一方批评该做法违背商业逻辑,另一方则关注其价格是否真能匹配质量。

HackerNews


Polymarket付费引用推文电竞项目内幕

Inside Polymarket's paid quote-retweet esports program

发布时间: 2026-10-16

链接: https://www.readergrev.com/p/polymarket-paid-quote-retweet-esports-investigation

描述:

Polymarket通过内部Discord服务器组织付费转推项目,参与者超过800人,每篇帖子报酬从10美元到数百美元不等,以加密货币支付。公司代表多次要求帖子看起来"自然",并提醒用户避免账号像Polymarket广告牌。参与者需通过PolyTrack平台登记税务和钱包信息,报酬依据入驻前的推文浏览量协商,而非付费转推的互动数据。该项目自8月以来规模翻倍,但部分电竞创作者因反对赌博而拒绝合作。

评论要点:

暂无评论

HackerNews


Anthropic控制台因国际化输入错误多收了我100倍的费用

Anthropic Console overcharged my card 100x due to internationalization input bug

发布时间: 2026-10-16

链接: https://news.ycombinator.com/item?id=50121562

描述:

无法获取文章内容:该 Hacker News 帖子没有外链地址。

评论要点:

暂无评论

HackerNews


什么是令牌环网络?

What was a Token Ring network?

发布时间: 2026-10-16

链接: https://dfarq.homeip.net/what-was-a-token-ring-network/

描述:

Token Ring是IBM于1985年10月15日发布的一种网络技术,曾在20世纪80至90年代与以太网竞争,最终因成本更高、速度扩展落后而落败。它通过传递令牌避免冲突,运行稳定,但所有设备必须使用相同速率,否则会导致整个网络瘫痪。文章还介绍了如何从接口、速率标识和品牌等外观特征区分Token Ring与以太网网卡,并指出如今使用Token Ring硬件已不切实际。

评论要点:

暂无评论

HackerNews


利用Claude设计更高效的量子电路

Designing more efficient quantum circuits with Claude

发布时间: 2026-10-16

链接: https://www.anthropic.com/research/designing-efficient-quantum-circuits

描述:

Anthropic 让 Claude 在仅有自然语言规格和自动评估器的情况下自主设计量子电路,在化学、优化、物理模拟和数论等八个任务上找到比已发表最佳方案使用更少量子比特和门的新设计,部分提升达一个数量级。文中详述两项成果:一是为椭圆曲线点加中的模逆运算提出首个无需存储分支历史的可逆 divsteps 实现,并给出在存储与解码间权衡的设计族;二是将解码量子干涉测量中 Reed-Solomon 解码改用 Berlekamp-Massey 方法,通过模拟统计异常值出现频率,把门数降至此前 Google 方案的约十二分之一。

评论要点:

暂无评论

HackerNews


我以前的工作现在感觉很遥远

My old job feels distant now

发布时间: 2026-10-16

链接: https://www.pinecoder.dev/blog/2026-10-15/my-old-job-is-distant/

描述:

作者回顾了从最初使用ChatGPT到代理式编程的演变过程,包括将其作为更好的搜索引擎、复制粘贴代码、标签补全、在计算机视觉项目中融合搜索与代码生成,以及后来转向Claude进行代理式提示。随着Opus 4.5/6等模型出现,生产力提升约三倍,代码审查方式改变,更关注架构、业务逻辑和数据安全等关键部分。作者描述了Opus 5.5带来的又一次转变,开始基于计划工作、生成更多工件和工具、使用子代理,并尝试将笔记应用移植到iPhone。整体上,旧的工作方式虽感遥远,但作者在不断适应中感到兴奋与赋能。

评论要点:

暂无评论

HackerNews


如何形式化所有数学

How to Formalize All of Mathematics

发布时间: 2026-10-16

链接: https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/

描述:

这篇客座文章由多位数学家撰写,讨论如何以正确方式推进数学形式化。作者担忧近期呼吁尽快形式化一切的做法,指出若形式化成果无人使用将浪费资源甚至造成持久损害,并以Math, Inc.、Anthropic和OpenAI的案例说明单纯追求正确性而缺乏可用性的问题。文章介绍了Mathlib、Tau Ceti、Formal Frontier、Palomar等项目及十条共同价值观,并提出未来三年内实现大部分数学形式化的路径与所需支持。

评论要点:

暂无评论

HackerNews


Gentoo的Chromium软件包的最后仪式

Last rites for Gentoo's Chromium package

发布时间: 2026-10-16

链接: https://lwn.net/Articles/1097760/

描述:

Gentoo 的 Chromium 软件包维护者 Sam James 于 9 月 24 日宣布对该包执行“last rites”,原因是该包长期难以维护、频繁消耗维护者精力。此前用户 Roman Žilka 多次报告稳定版 ebuild 过时且存在大量漏洞,并提交了更新版 ebuild,但维护者指出仅靠提交 ebuild 不足以完成测试和适配所有 USE 标志。维护者表示,若无人接手,该包将在 10 月 24 日 last-rites 期结束后被移除,用户需改用其他来源或浏览器。

评论要点:

有观点认为,除 -march=native 等少数情况外,系统级编译优化基本是安慰剂,甚至因引入 bug 而适得其反;针对个别软件包的编译调整偶尔有用,但意义通常极小。分歧在于 Gentoo 的使用价值:一方批评其常靠复杂手段救系统,不如保持结构整洁、必要时重装;另一方则强调 Portage 树故障会周期性发生,且 Gentoo 能提供其他发行版少见的、可控性很强的交叉编译工具链,对频繁构建嵌入式镜像很有用。

HackerNews