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 社区。
每日HackerNews RSS
关于 Racket v9.3 发布的 Hacker News 讨论凸显了该语言的优势，特别是其强大的标准库、稳健的外部函数接口（FFI）以及由 Chez Scheme 提供支持的高效运行时。诸如 Herbie 数值编译器维护者等资深用户对其功能丰富的环境给予了高度评价，包括内置绘图、HTTP 服务器以及先进的宏系统，这些特性使其在复杂项目中表现出色。
讨论还涉及了语法偏好，具体是关于 `#:foo` 关键字的使用。资深用户解释说，这一惯例是为了兼容 Racket 的 Scheme 渊源，在 Scheme 中，普通的冒号被视为合法的标识符。尽管部分参与者对其他 Lisp 语言中更简洁的关键字语法表现出兴趣，但另一些人指出，Racket 的灵活性允许开发者在需要时自定义语法。
最后，该帖文还回应了社区对 Racket 核心团队所谓“有毒”文化的担忧。常驻用户大多否认了这些说法，称他们并未经历过此类行为；而其他人则认为，偶尔的人际冲突是该项目学术背景的副产品，而非对整体社区文化的真实反映。
这段文字对 RISC-V 指令集架构（ISA）进行了批判性评估，认为其流行源于“廉价”而非“优秀”。作者强调了几个根本性的设计缺陷：
* **过度可选性**：该指令集极端的模块化导致了生态系统的碎片化。由于将核心功能（如 CSR、中断和特权模式）设为可选，规范制造出了互不兼容的硬件版本，使得“标准合规”实际上毫无意义。
* **编码糟糕且效率低下**：作者批评立即数被随意分散，这增加了解码和仿真的复杂度。此外，缺失了“显而易见”的功能（如寄存器加寄存器寻址和简单的位测试指令），迫使开发者使用次优的多指令序列来完成任务。
* **标准化失败**：试图通过“配置集”（如 RVA23）来解决碎片化问题的尝试，反而创造了二级标准，进一步排挤了无法满足这些新要求的硬件。
* **结论**：作者预测 RISC-V 将凭借“价格足够好”的优势，取代 8051 等架构，从而统治低成本微控制器和嵌入式“保姆级”芯片市场；但作者认为，它在根本上不适合高性能桌面或服务器计算，因为在这些领域，AArch64 等设计更出色且成熟的架构能提供更优越的性能和软件稳定性。
抱歉。
Nix 的语言定义基于“惰性求值”（laziness），这意味着它仅计算被访问的特定属性。因此，开发者可以创建无限或递归的数据结构，只有在被遍历时这些结构才会“存在”。
这一特性带来了传统软件包管理之外的独特可能性。例如，在 `nes-nix` 项目中，一个属性路径（如 `.right.jump.right` 这样的序列）被视为《超级马力欧兄弟 3》的一系列输入。在这个“属性树”中，每个节点代表游戏的一帧，而每个子节点都是由按键操作产生的新状态。
由于 Nix 的派生（derivations）是可复现的并存储在 Nix 存储中，每一帧游戏画面都成为一个可缓存、可重用的派生。存储本质上充当了持久化的存档历史；从游戏序列的分支开始几乎不需要任何成本，因为之前的帧只是被引用，而无需重新模拟。
归根结底，这表明 Nix 的属性路径不仅仅是目录中的静态名称，而是函数式程序。利用该语言的惰性求值特性以及存储持久化状态的能力，人们可以将软件包管理器重新用于系统地模拟和记录复杂的、可复现的状态机。
这场 Hacker News 讨论围绕着一篇名为《超级马力欧衍生（Super Mario Derivations）》的博文展开，探讨了如何通过“滥用” Nix 包管理器来执行传统软件打包以外的任务。
尽管一些用户起初质疑该项目的实用性，但社区还是挖掘出了其在实践和理论层面的多种应用：
* **缓存与组合：** 利用 Nix 的惰性求值特性，开发者可以将状态机或复杂的数据流水线视为衍生（derivations）。这不仅能够对中间步骤进行细粒度缓存，还能解决构建配置中常见的组合爆炸问题（例如 `foo.withGtk.withOgg`）。
* **文档与测试：** 这种模式可以自动生成文档截图，确保其与代码变更保持同步，或者将其用作一种严苛的内存压力测试工具。
* **理论洞察：** 评论者指出，该项目突显了时间依赖（temporal dependencies）与显式数据依赖之间的关系。通过将游戏的“逐帧”执行过程转化为 Nix 衍生图，它展示了高精度模拟与构建系统如何能从共同的优化技术中获益。
归根结底，社区达成的共识是：虽然该项目是一个“极其疯狂”的技术奇想，但它为函数式组合、可复现构建以及依赖管理提供了宝贵的见解。
「去他妈的每一个网站」—— 工业垃圾版（Slop Edition） 看起来像个屁眼的图标 v0.0.1 毫无意义的实时状态 老规矩：衬线字体、随机的斜体字，以及作为顶梁柱的破折号——就是那个破折号。 三 · 个 · 词 我猜 主要行动号召 (CTA) 次要行动号召 (CTA)，没人会点的那种 → $ curl -fsSL install.sh | sh # 无论是不是垃圾代码，你要是运行这个就太蠢了 复制 LOGO LOGO LOGO LOGO LOGO LOGO LOGO 信任背书……来自同一期 YC 孵化器的六家公司。
这篇 Hacker News 帖子讨论了一个名为“Every fucking website: 2026 edition”的病毒式讽刺网站，该网站调侃了现代网页设计的潮流。用户觉得该网站极具共鸣，并指出它精准地嘲讽了当前的流行套路，例如过度的 `backdrop-filter` 模糊效果、干扰性的 Cookie 横幅、不必要的时事通讯弹窗，以及重复出现的、充斥着同一期 YC 孵化初创企业的“受信任客户”板块。
除了设计层面，讨论还强调了对网页开发中“人工智能生成的垃圾内容”的普遍不满。讨论的很大一部分集中在 `curl | bash` 这种常见安装方式的安全风险上，用户批评这是一种未经审查且危险的代码运行方式。评论者解释说，直接通过管道传输至 shell 尤为危险，因为这允许服务器检测请求并提供恶意负载，这些负载比传统的软件包或二进制文件更难审计。总的来说，该帖子是对现代网页标准的一种批判：臃肿、模板驱动的设计往往被置于性能、安全和实际用途之上。
本网站正在使用安全服务以抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
此次讨论的焦点在于：随着 Manifest V3 (MV3) 标准的推行，Firefox 是目前唯一能完全支持 **uBlock Origin** (uBO) 的主流浏览器。Chrome 及其他基于 Chromium 的浏览器已基本淘汰了 uBO 所依赖的 Manifest V2（该版本支持深度的网络请求过滤），而 Firefox 则继续提供支持。
**讨论要点如下：**
* **安全性与控制权：** 谷歌认为 MV3 通过限制扩展程序可访问的数据来提升安全性；但批评者认为这只是削弱广告拦截功能并保护谷歌广告收入的借口。
* **性能与追踪：** 用户指出，尽管兼容 MV3 的“轻量版”广告拦截器可以隐藏广告，但它们往往缺乏 uBO 所具备的网络层级追踪数据剥离能力，也无法动态更新拦截列表。
* **浏览器替代方案：** 对话强调，虽然大多数主流浏览器（如 Chrome、Edge、Safari）已转向 MV3，但一些分支版本（如 Brave 和 Vivaldi）正尝试通过自定义重写来维持对 V2 的兼容性，尽管这种做法长期来看可能难以持续。
* **市场主导地位：** 许多参与者感到沮丧，因为尽管 Firefox 在隐私保护和自定义方面具有技术优势，但其市场份额依然较低，原因在于大多数用户倾向于使用操作系统预装的浏览器。
ICTP将2026年狄拉克奖章授予了四位物理学家——伯纳德·德里达（Bernard Derrida）、迪帕克·达尔（Deepak Dhar）、马克·梅扎德（Marc Mézard）和海姆·索姆波林斯基（Haim Sompolinsky），以表彰他们在统计力学领域做出的开创性贡献。他们的工作成功突破了传统物理学的界限，为分析生物学、计算机科学、经济学和人工智能等多个领域的复杂系统建立了强有力的框架。 这些获奖者的个人成就对现代理论物理学至关重要： * **伯纳德·德里达**：开创了诸如随机能量模型等数学模型，用于描述复杂无序系统中的集体行为。 * **迪帕克·达尔**：著名地解决了“沙堆模型”问题，解释了简单的局部相互作用如何引发大规模、不可预测的事件，这与地震和金融市场波动等现象如出一辙。 * **马克·梅扎德**：开发了“空腔法”，这是一种理解无序系统的变革性工具，后来被他应用于优化问题和信息论中。 * **海姆·索姆波林斯基**：通过将统计力学应用于神经回路，架起了物理学与生物学之间的桥梁，成为理论神经科学和大脑功能研究领域的奠基人物。 这些研究人员共同证明了统计力学的原理如何为定义现代世界的复杂系统提供重要见解。
抱歉。
正在检查您的浏览器...需要启用 Javascript
抱歉。
奥卢大学发表在《欧洲营养学杂志》上的一项近期研究表明，习惯性饮用咖啡与改善身体成分和代谢健康有关。研究人员对 2,264 名参与者进行了分析，发现咖啡摄入量较高与内脏脂肪减少、肌肉量增加以及支链氨基酸水平降低有关，而支链氨基酸是与胰岛素抵抗和 2 型糖尿病相关的生物标志物。 该研究还确定了不同性别的独特激素特征。在男性中，咖啡摄入与更理想的葡萄糖-胰岛素水平以及更高的总睾酮和性激素结合球蛋白（SHBG）水平有关。女性的研究结果较为有限，但也显示出较高的 SHBG 水平和较低的游离雄激素水平。 尽管这些结果表明激素通路可能促成了咖啡的健康益处，但该研究属于观察性研究，这意味着它揭示的是关联性而非直接因果关系。作者强调，在提出任何饮食建议之前，需要进行包括人体干预试验在内的进一步研究，以确定咖啡成分是否是这些生物学变化的直接驱动因素。
抱歉。
Better Home & Finance 备受争议的前首席执行官 Vishal Garg 声称，他是在一场由继任者 Daniel Lewis 精心策划的董事会政变中被免职的。Garg 曾带领该公司度过了一段动荡时期，包括 2021 年那场臭名昭著的 Zoom 裁员事件、灾难性的特殊目的收购公司（SPAC）合并，以及 93% 的股价跌幅。但他坚称当时已处于扭亏为盈的边缘，并将销售额的预期增长和运营效率的提升归功于近期推行的人工智能举措。 Garg 指控 Lewis 利用董事会席位博取其信任，随后在一周之内就设法将其取而代之。自 Lewis 接管公司以来，股价又暴跌了 45%。在特殊投票权股份和一群担忧此事的投资者支持下，Garg 已聘请律师 Alex Spiro 要求恢复其职位，并承诺在公司实现盈利前只领取每年 1 美元的薪水。他坚持认为董事会犯了错误，并声称自己被强行赶走时，离成功只差“最后 5 码”。目前，Lewis 和公司方面均未对此发表评论。
抱歉。
对不起。