请启用 JavaScript 和 Cookie 以继续。
请启用 JavaScript 和 Cookie 以继续。
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 等设计更出色且成熟的架构能提供更优越的性能和软件稳定性。
Nix 的语言定义基于“惰性求值”(laziness),这意味着它仅计算被访问的特定属性。因此,开发者可以创建无限或递归的数据结构,只有在被遍历时这些结构才会“存在”。
这一特性带来了传统软件包管理之外的独特可能性。例如,在 `nes-nix` 项目中,一个属性路径(如 `.right.jump.right` 这样的序列)被视为《超级马力欧兄弟 3》的一系列输入。在这个“属性树”中,每个节点代表游戏的一帧,而每个子节点都是由按键操作产生的新状态。
由于 Nix 的派生(derivations)是可复现的并存储在 Nix 存储中,每一帧游戏画面都成为一个可缓存、可重用的派生。存储本质上充当了持久化的存档历史;从游戏序列的分支开始几乎不需要任何成本,因为之前的帧只是被引用,而无需重新模拟。
归根结底,这表明 Nix 的属性路径不仅仅是目录中的静态名称,而是函数式程序。利用该语言的惰性求值特性以及存储持久化状态的能力,人们可以将软件包管理器重新用于系统地模拟和记录复杂的、可复现的状态机。
「去他妈的每一个网站」—— 工业垃圾版(Slop Edition) 看起来像个屁眼的图标 v0.0.1 毫无意义的实时状态 老规矩:衬线字体、随机的斜体字,以及作为顶梁柱的破折号——就是那个破折号。 三 · 个 · 词 我猜 主要行动号召 (CTA) 次要行动号召 (CTA),没人会点的那种 → $ curl -fsSL install.sh | sh # 无论是不是垃圾代码,你要是运行这个就太蠢了 复制 LOGO LOGO LOGO LOGO LOGO LOGO LOGO 信任背书……来自同一期 YC 孵化器的六家公司。
本网站正在使用安全服务以抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种,包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
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 和公司方面均未对此发表评论。