Hacker News 中文摘要

欧盟开源年龄验证项目因强制要求硬件绑定认证引发争议。该项目要求将凭证存储在受保护硬件中，以防止复制或篡改，但批评者认为这限制了Linux、定制安卓ROM等开放系统的支持。项目方表示这是架构要求，并邀请替代方案。

Fuse是一种静态类型、纯函数式编程语言，支持高阶类型和特设多态。它编译到GRIN全程序优化器，生成LLVM原生代码。语言特性包括静态类型系统、纯函数式编程、类型推断、代数数据类型、泛型和trait。

eBay因对一对夫妇实施骚扰和威胁的恶意活动，被法院判决赔偿5600万美元。该活动包括发送活蜘蛛和血腥面具等，旨在恐吓批评eBay的博主。

SwiftUI发布七年后仍像永久测试版，存在性能、布局和数据流问题，缺乏向后兼容性。文章通过苹果官方教程故障和与UIKit对比，指出其用便利性牺牲精确性，并批评苹果从追求卓越转向“差不多就行”的企业文化。

该项目是一个面向Linux ARM64的用户态macOS翻译层，无需JIT即可加载Darwin Mach-O二进制文件，映射独立libSystem并转换BSD系统调用。已验证可运行7-Zip、curl等程序，支持Docker/Colima和UTM环境。

这是一段YouTube视频页面，标题为“Sprocket Demo Video”，由Aarav Gupta上传，视频内容为Sprocket的演示，并提供下载链接https://spikonado.com。页面还包含登录验证提示及其他推荐视频。

F是一种面向证明的通用编程语言，支持纯函数式和带效应编程，结合了依赖类型与基于SMT求解和策略交互的证明自动化。它默认编译为OCaml，也可提取到F#、C、Wasm或汇编。F由微软研究院、Inria和社区在GitHub上开源开发。

中世纪学者曾使用名为《Ars notoria》的神秘手稿，通过图表和咒语快速获取知识，类似《黑客帝国》中尼奥瞬间掌握功夫。该手稿承诺缩短多年艰苦学习，但被认为带有恶魔影响。

这篇文章对比了1953年和2023年两份英语核心词汇表，发现70年间约600个旧词被淘汰，新增1100多个词，反映了社会变迁：电报、烟草等消失，电脑、网站、妈妈等出现，同时苹果、叉子等日常物品词不再核心，而抵押、公司等抽象词被纳入。

厄休拉·勒古恩反驳了“软科幻没有技术”的偏见，指出任何科幻作品都必然包含技术——技术是社会应对物理现实的方式，如获取食物、穿衣等，只是关注点不同。