每日HackerNews RSS

请启用 JavaScript 和 Cookie 以继续。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 彻底改革美国科学的理由 (economist.com) 8 分,由 andsoitis 于 50 分钟前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 jlund-molfese 0 分钟前 [–] 这篇文章出奇地短 https://archive.ph/DhZkR 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Racket v9.3 现已发布,可前往 [racket-lang.org](https://download.racket-lang.org/) 下载。本次更新带来了多项显著改进与功能: * **文档与教学:** `raco setup` 现已支持生成 Markdown 文档,且 `#lang` 教学语言与语言对话框中的设置已保持一致。 * **性能与效率:** DrRacket 的后台扩展速度更快,`racket/base` 也经过优化,所需的内部模块更少。 * **包管理:** `raco pkg install` 命令新增了配置选项,包括 `--adjacent-deps` 和 `--destdir`。 * **系统与库增强:** 新增了用于库定位的 `define-runtime-lib` 机制,改进了 ZIP 文件生成控制,并增强了 `tcp-listen` 重试逻辑的稳健性。 * **开发者体验:** 更新包括 `impersonate-prompt-tag` 的新选项、合同(contract)检查的优化以及可自定义的错误位置映射。 本次发布得益于 28 位社区成员的贡献。如需查看完整的变更列表、详细文档及进一步讨论,请访问[官方发布公告](https://blog.racket-lang.org/2026/08/racket-v9-3.html),或在 Discourse 和 Discord 上加入 Racket 社区。

抱歉。

这段文字对 RISC-V 指令集架构(ISA)进行了批判性评估,认为其流行源于“廉价”而非“优秀”。作者强调了几个根本性的设计缺陷: * **过度可选性**:该指令集极端的模块化导致了生态系统的碎片化。由于将核心功能(如 CSR、中断和特权模式)设为可选,规范制造出了互不兼容的硬件版本,使得“标准合规”实际上毫无意义。 * **编码糟糕且效率低下**:作者批评立即数被随意分散,这增加了解码和仿真的复杂度。此外,缺失了“显而易见”的功能(如寄存器加寄存器寻址和简单的位测试指令),迫使开发者使用次优的多指令序列来完成任务。 * **标准化失败**:试图通过“配置集”(如 RVA23)来解决碎片化问题的尝试,反而创造了二级标准,进一步排挤了无法满足这些新要求的硬件。 * **结论**:作者预测 RISC-V 将凭借“价格足够好”的优势,取代 8051 等架构,从而统治低成本微控制器和嵌入式“保姆级”芯片市场;但作者认为,它在根本上不适合高性能桌面或服务器计算,因为在这些领域,AArch64 等设计更出色且成熟的架构能提供更优越的性能和软件稳定性。

该 Hacker News 帖子讨论了 Dmitry Grinberg 关于 RISC-V 的一篇批判性文章。评论者的共识是,尽管 RISC-V 相比 x86 等私有指令集架构具有开放性的显著优势,但它存在一些本可避免的设计缺陷。 批评者认为,在现代计算时代,这些架构缺陷是不可原谅的;他们认为 RISC-V 社区本应吸取过去几十年 ISA 的教训(例如 MIPS)。尽管存在这些不满,参与者在很大程度上仍支持开源使命。一些用户建议社区应立即解决这些弱点——或许可以通过开发更完善的“RISC-6”——以免当前架构根深蒂固而难以改进。另一些人则为该指令集的实用性辩护,指出它在消费电子产品中用于连接硬件寄存器等简单任务时非常有效。总的来说,这场讨论反映了开放架构的理想价值与对更精致、更现代的 ISA 设计的技术追求之间的矛盾。

Nix 的语言定义基于“惰性求值”(laziness),这意味着它仅计算被访问的特定属性。因此,开发者可以创建无限或递归的数据结构,只有在被遍历时这些结构才会“存在”。 这一特性带来了传统软件包管理之外的独特可能性。例如,在 `nes-nix` 项目中,一个属性路径(如 `.right.jump.right` 这样的序列)被视为《超级马力欧兄弟 3》的一系列输入。在这个“属性树”中,每个节点代表游戏的一帧,而每个子节点都是由按键操作产生的新状态。 由于 Nix 的派生(derivations)是可复现的并存储在 Nix 存储中,每一帧游戏画面都成为一个可缓存、可重用的派生。存储本质上充当了持久化的存档历史;从游戏序列的分支开始几乎不需要任何成本,因为之前的帧只是被引用,而无需重新模拟。 归根结底,这表明 Nix 的属性路径不仅仅是目录中的静态名称,而是函数式程序。利用该语言的惰性求值特性以及存储持久化状态的能力,人们可以将软件包管理器重新用于系统地模拟和记录复杂的、可复现的状态机。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 超级马力欧推导 (fzakaria.com) 16 点,由 domenkozar 于 1 小时前发布 | 隐藏 | 往期 | 收藏 | 2 条评论 帮助 MiroslavPokorny 34 分钟前 [–] 我很困惑,这有什么意义吗? 回复 ludr 22 分钟前 | 父评论 [–] 这只是一个有趣的黑客行为。我觉得它很巧妙。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

「去他妈的每一个网站」—— 工业垃圾版(Slop Edition) 看起来像个屁眼的图标 v0.0.1 毫无意义的实时状态 老规矩:衬线字体、随机的斜体字,以及作为顶梁柱的破折号——就是那个破折号。 三 · 个 · 词 我猜 主要行动号召 (CTA) 次要行动号召 (CTA),没人会点的那种 → $ curl -fsSL install.sh | sh # 无论是不是垃圾代码,你要是运行这个就太蠢了 复制 LOGO LOGO LOGO LOGO LOGO LOGO LOGO 信任背书……来自同一期 YC 孵化器的六家公司。

Hacker News 上的讨论帖探讨了一个名为“每个该死的网站:2026 版”(或“垃圾版”)的讽刺网站,该网站模仿了现代网页设计的刻板套路。 评论者对该网站精准讽刺当前科技行业趋势的做法感到十分有趣。亮点包括:网站使用了展示同一期 YC 创业公司作为“信任背书”的横幅;一个会将用户重定向到 Bluesky 的欺骗性 X 图标;以及避免了诸如滚动淡入或不必要的 ASCII 动画等夸张功能。 虽然一些用户指出,即使禁用 JavaScript 该网站仍能正常运行,这“破坏了沉浸感”,但大多数社区成员还是称赞了它对现代 UI 模式的尖锐批评。该讨论帖还引发了关于提交内容更改标题的争论,一位用户指出这在技术上违反了 HN 关于不得编辑标题的准则。总的来说,该项目被视为对当代网页开发现状的一次引发共鸣且风趣的评论。

本网站正在使用安全服务以抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种,包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

Hacker News 最近的讨论指出,Firefox 是目前唯一全面支持 uBlock Origin 的主流浏览器。随着 Google 将 Chrome 和基于 Chromium 的浏览器(如 Edge)过渡到 Manifest V3,功能更强大的老牌广告拦截插件正受到限制或被逐步淘汰。 尽管一些用户认为“uBlock Origin Lite”是 Chromium 浏览器的可行替代方案,但另一些人则认为,Manifest V3 从根本上限制了用户对浏览体验的掌控权。这场讨论反映了关于浏览器自由的广泛争议;Firefox 的支持者称赞其对开放标准的承诺,以及对“推荐”扩展程序的审查机制,这确保了更高的安全性。 尽管关于 Firefox 市场份额及偶尔出现的网页兼容性问题存在争议,但许多用户仍将其视为不受限广告拦截的最后堡垒。批评者对当前的行业现状表示沮丧,认为浏览器厂商正日益优先考虑广告投放平台而非用户自主权,迫使消费者必须在接受侵入式广告与更换允许强大内容过滤的浏览器之间做出选择。

ICTP将2026年狄拉克奖章授予了四位物理学家——伯纳德·德里达(Bernard Derrida)、迪帕克·达尔(Deepak Dhar)、马克·梅扎德(Marc Mézard)和海姆·索姆波林斯基(Haim Sompolinsky),以表彰他们在统计力学领域做出的开创性贡献。他们的工作成功突破了传统物理学的界限,为分析生物学、计算机科学、经济学和人工智能等多个领域的复杂系统建立了强有力的框架。 这些获奖者的个人成就对现代理论物理学至关重要: * **伯纳德·德里达**:开创了诸如随机能量模型等数学模型,用于描述复杂无序系统中的集体行为。 * **迪帕克·达尔**:著名地解决了“沙堆模型”问题,解释了简单的局部相互作用如何引发大规模、不可预测的事件,这与地震和金融市场波动等现象如出一辙。 * **马克·梅扎德**:开发了“空腔法”,这是一种理解无序系统的变革性工具,后来被他应用于优化问题和信息论中。 * **海姆·索姆波林斯基**:通过将统计力学应用于神经回路,架起了物理学与生物学之间的桥梁,成为理论神经科学和大脑功能研究领域的奠基人物。 这些研究人员共同证明了统计力学的原理如何为定义现代世界的复杂系统提供重要见解。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 ICTP 公布 2026 年狄拉克奖章获得者(物理学) (ictp.it) 10 分 | rramadass | 4 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 rramadass 4 小时前 [–] 请补充任何获奖者关于其工作的采访、文章或视频。 我找到了这篇关于 Deepak Dhar 教授的报道:“地震、雪崩和市场崩盘有一些共同点” - https://www.nature.com/articles/d44151-026-00151-4 他在维基百科上的个人简介令人印象深刻 - https://en.wikipedia.org/wiki/Deepak_Dhar 如果这里的物理学家/研究人员能对所有获奖者的工作发表看法,那就太好了。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索: ```

正在检查您的浏览器...需要启用 Javascript

最近的一场 Hacker News 讨论探讨了一个具有争议的观点:得益于人工智能驱动的自动化安全修补技术,大型软件很快将不再存在可远程利用的漏洞。 评论者对这一预测看法不一。一些人持怀疑态度,认为软件的复杂性以及漏洞检测中“不可计算”的本质,使得这种乐观的前景不太可能实现。另一些人则强调了尖端国家级网络战与日常基础设施中那些常规、可预防的安全故障之间日益扩大的鸿沟。 此次讨论还涉及了安全的各种地缘政治影响,用户质疑政府对美国人工智能实验室的施压是否会导致模型和自主智能体中出现蓄意的后门或隐藏漏洞。最终,许多参与者得出结论:在一个日益不安全的数字环境中,唯一可行的解决方案是个人优先考虑自托管,并重新直接掌控所依赖的软件和系统。

奥卢大学发表在《欧洲营养学杂志》上的一项近期研究表明,习惯性饮用咖啡与改善身体成分和代谢健康有关。研究人员对 2,264 名参与者进行了分析,发现咖啡摄入量较高与内脏脂肪减少、肌肉量增加以及支链氨基酸水平降低有关,而支链氨基酸是与胰岛素抵抗和 2 型糖尿病相关的生物标志物。 该研究还确定了不同性别的独特激素特征。在男性中,咖啡摄入与更理想的葡萄糖-胰岛素水平以及更高的总睾酮和性激素结合球蛋白(SHBG)水平有关。女性的研究结果较为有限,但也显示出较高的 SHBG 水平和较低的游离雄激素水平。 尽管这些结果表明激素通路可能促成了咖啡的健康益处,但该研究属于观察性研究,这意味着它揭示的是关联性而非直接因果关系。作者强调,在提出任何饮食建议之前,需要进行包括人体干预试验在内的进一步研究,以确定咖啡成分是否是这些生物学变化的直接驱动因素。

奥卢大学近期一项关于咖啡摄入量与代谢健康及性激素之间关联的研究,在 Hacker News 上引发了热议。尽管研究指出咖啡摄入与这些健康指标之间存在正相关,但评论者迅速指出了该研究的局限性。 批评者认为,作为一项观察性研究,该研究仅能识别出相关性,而无法证明因果关系。多位用户对研究的实用性表示怀疑,指出横断面观察更适合用于生成未来的假设,而非得出确切的健康结论。另一些人则讨论了潜在的混杂因素,例如咖啡是否是含糖、高咖啡因饮料的更健康替代品。归根结底,这场讨论提醒了人们在营养科学中区分相关性与因果关系的重要性。

Better Home & Finance 备受争议的前首席执行官 Vishal Garg 声称,他是在一场由继任者 Daniel Lewis 精心策划的董事会政变中被免职的。Garg 曾带领该公司度过了一段动荡时期,包括 2021 年那场臭名昭著的 Zoom 裁员事件、灾难性的特殊目的收购公司(SPAC)合并,以及 93% 的股价跌幅。但他坚称当时已处于扭亏为盈的边缘,并将销售额的预期增长和运营效率的提升归功于近期推行的人工智能举措。 Garg 指控 Lewis 利用董事会席位博取其信任,随后在一周之内就设法将其取而代之。自 Lewis 接管公司以来,股价又暴跌了 45%。在特殊投票权股份和一群担忧此事的投资者支持下,Garg 已聘请律师 Alex Spiro 要求恢复其职位,并承诺在公司实现盈利前只领取每年 1 美元的薪水。他坚持认为董事会犯了错误,并声称自己被强行赶走时,离成功只差“最后 5 码”。目前,Lewis 和公司方面均未对此发表评论。

这篇 Hacker News 帖子讨论了 Better.com 前首席执行官 Vishal Garg 在被董事会罢免后试图重返岗位的新闻。Garg 因曾在 2021 年圣诞节前夕通过一次 Zoom 会议解雇 900 名员工而臭名昭著。 评论者的观点两极分化。一些前员工认为,考虑到公司分布式的办公性质,远程裁员的决定是可以理解的,并将 Garg 描述为一位尽职但有缺陷的领导者。然而,大部分讨论持强烈的批评态度,将 Garg 视为现代企业冷酷无情的象征。 许多用户关注到了这种“讽刺”:Garg 在强迫员工执行苛刻要求以提升公司价值后,自己却被股东解雇。批评者认为,像 Garg 这样的高管因拥有巨额财富而与现实隔绝,导致他们背离了道德准则。归根结底,帖子中的主流共识依然充满敌意,许多人嘲讽他试图回归的行为,并对他的领导风格竟被视为任何组织的资产表示难以置信。

更多

联系我们 contact @ memedata.com