加拿大籍国际刑事法院法官金伯莉·普罗斯特自特朗普政府严厉打击国际刑事法院官员以来，一直遭受严重的个人和职业干扰。美国实施制裁后，她的信用卡被注销，银行和科技服务也受到限制；尽管法律并未要求法国保险公司安盛履行相关义务，安盛仍停止了对她的赔付。普罗斯特表示，许多与美国有关联的企业即便不在美国境内，也会“过度执行”制裁。 普罗斯特因参与上诉分庭批准对阿富汗展开调查而受到制裁，检方后来降低了这项调查的优先级。她称自己并未参与以色列—加沙调查，并正与其他两名法官一道在美国联邦法院挑战针对她的制裁。尽管面临压力，她仍继续审理案件，目前正在审理一宗涉及马里廷巴克图被接管期间涉嫌犯罪案件的案件，并表示不会放弃司法职责。
每日HackerNews RSS
一场 Hacker News 上的讨论聚焦于美国对一名国际刑事法院法官实施的制裁。该法官的裁决涉及以色列以及加沙战争。制裁严重影响了她的财务、银行服务、医疗保险以及技术设备获取，引发广泛批评，认为美国是在惩罚个人，以此向该法院表达敌意。
评论者对国际刑事法院的合法性存在分歧。支持者认为，国际法院对于追究战争罪、种族灭绝罪和危害人类罪的责任至关重要，尤其是在各国政府不愿或无力采取行动的情况下。批评者则强调美国主权、国际刑事法院有限的执行能力、政治偏见，以及缺乏广泛的国际共识。
另一个主要话题是欧洲对美国金融、保险、支付、云计算和软件基础设施的依赖。这些制裁可能加速欧洲与美国机构的脱钩，并促使欧洲推动阻断法律或建立替代支付系统。讨论还高度两极化，集中在以色列与巴勒斯坦的历史、哈马斯、10月7日事件，以及这些制裁是否本质上属于以色列政策争议。
联邦法官初步阻止了犹他州执行SB 73法案。该法案要求成人网站屏蔽VPN用户，或确定用户的确切物理位置。巴洛法官裁定，该法律可能对犹他州境外的企业和用户造成宪法所禁止的负担，并要求网站在地理定位方面实现技术上不可能达到的完美精确度。 VPN通过中间服务器路由流量来隐藏用户的位置，因此网站无法可靠区分连接来自犹他州还是其他地区。法院指出，经营多个大型成人内容平台的Aylo否则可能因核实全国数百万名用户的位置而承担责任。 电子前哨基金会（EFF）认为，犹他州拟议中要求识别“地理定位混淆”的规则会助长侵入性监控，产生不可靠的结果，并对隐私和安全造成不成比例的伤害。禁令在法院进一步采取行动前保留了与VPN有关的条款，但未涉及该法律中禁止提供绕过VPN说明的规定。EFF将继续反对其他州采取类似的反VPN措施。
据报道，法院同意电子前哨基金会（EFF）的观点，认为犹他州的 VPN 法律实际上几乎无法执行。成人网站必须将 VPN 和代理服务器用户视为实际身处犹他州，但网站无法可靠识别这类用户，也无法确定其真实所在地。因此，遵守该法律将意味着全国范围内屏蔽大量合法用户、对所有用户实施年龄或身份核查，或者为无法分类的流量承担法律责任。
《黑客新闻》上的讨论还延伸到了色情内容是否应当受到限制。支持者列举了人口贩运、胁迫、宗教反对意见以及潜在的社会危害。反对者则强调言论自由、色情内容会导致暴力的证据并不确定，以及禁止色情内容可能造成的黑market危害。
评论者还讨论了并不完善的检测方法、自建 VPN、审查制度和《休眠商业条款》（Dormant Commerce Clause）。尽管用户可能绕过限制，但评论者指出， authorities 仍可扰乱访问、处罚服务商或用户，并强制进行大规模基础设施调整。总体而言，讨论者批评犹他州这项法律在技术上过于 simplistic、在商业上影响过宽，而且其目的可能是道德或政治控制，而非制定可执行的监管措施。
微型粗野主义 Tiny Brutalism
10 天前
```微型粗野主义
一个温馨的小型沙盒，用于打造不那么温馨的建筑。
“微型粗野主义”是一款轻松自在的自由建造游戏，灵感来自粗野主义建筑。创作奇特的纪念碑、不可能的结构、混凝土高塔，或者只是一堵巨大的墙。
这里没有目标，也没有唯一的建造方式。随心制作你想做的东西即可。
操作
* 点击：建造（按住点击可填充一片区域）
* Shift + 点击：拆除
* 按住并滚动：切换不同款式
* Ctrl/Cmd + Z：撤销
* 点击太阳图标：切换昼夜
* Esc：菜单、设置和地块大小
镜头
* 右键拖动：旋转视角
* 中键拖动：平移视角
* 滚动：缩放
请与我分享你的作品！照片会保存在本地。可在设置中使用“打开文件夹”查看。```
Hacker News 用户讨论了 **Tiny Brutalism**，这是一款由 MatiErnst 开发的小型沙盒建造游戏。它受 *Tiny Glade* 启发，将温馨的建筑重新构想为阴暗、以混凝土为主的粗野主义建筑。这款游戏登上 Hacker News 首页，获得 203 分和 34 条评论，原因在于它结合了独立游戏、生成式设计、建筑和粗野主义等元素。
大多数评论者称赞了它的光照、植物以及“温馨反乌托邦”的美学，同时指出它与加州大学戴维斯分校的“死星”建筑有相似之处，还开玩笑说可以用它来开展 Nerf 枪战。
开发者公布了系统要求：需要 Windows、macOS 或 Ubuntu，一块大约八年前的显卡、4 GB 内存，以及约 250 MB 的存储空间；集成显卡和 M1 Mac 即可运行。
几名用户希望这款游戏能在 Steam 上发布，并提到 Steam 拥有云存档、集中游戏库等熟悉的商店功能；另一些人则更喜欢 itch.io 不收取平台佣金。
随后展开的一场较长讨论探讨了，现代主义和粗野主义建筑是否因为设计和建造成本更低、速度更快而占据主导地位。但其他人认为，功能主义现代主义并不天然等同于粗野主义，建筑风格还受到客户、预算、训练和文化等因素的影响。
Marcin Wichary 2022年6月16日／49条推文／100张照片 这是2022年一个推文串的存档。我此后已注销Twitter账号。 版权 © Marcin Wichary。 最初发布于2022年6月16日。此存档版本发布于2025年8月9日。
一场 Hacker News 讨论介绍了荷兰各地为保存可互操作的计算机历史所做的努力。游客们称赞兹沃勒的 Bonami SpelComputer Museum，因为这里不仅允许参观，还能亲手操作仍可运行的游戏软盘以及 MSX、NES、 Sega、Atari、PlayStation、Xbox、弹球机和街机。museum 营造出的普通 1980 年代办公室氛围，也增添了怀旧魅力。
评论者还讨论了 Home Computer Museum。该馆依靠门票收入和志愿者运营，以收费方式维修计算机，并出售多余硬件。街对面新开的商店对收藏家而言既诱人，也略带风险。其他被推荐的机构包括 VAX 谷仓、Apple Museum，以及位于宰特默尔的国立电子游戏博物馆。
国际上的推荐包括硅谷的计算机历史博物馆、西弗吉尼亚州的无线电与技术博物馆，以及现已关闭的西雅图活计算机博物馆。多位评论者哀悼那些能够继续运行历史技术、而非仅仅将它们陈列展示的博物馆逐渐消失。有一段趣味讨论则围绕赫尔蒙德和兹沃勒是否算“附近”展开。
一个 Hacker News 帖子讨论了一名 Reddit 用户购买二手 CPU 后发现，《无畏契约》的反作弊系统已经封禁了该 CPU 的硬件标识符，导致他无法进入游戏。
支持者认为，硬件 ID 在免费游戏中越来越必要：邮箱账号很容易重新注册，而 IP 封禁可能波及整个家庭、VPN 用户或办公场所。批评者则认为，这种系统具有侵犯性，对无意购买到被封禁硬件的二手买家也不公平。有人建议采用临时封禁、结合更多硬件信息进行判定、申诉或白名单机制、付费解封，以及建立更清晰的二手零件记录。
其他人将这一趋势与内核级反作弊、安全启动（Secure Boot）、私人服务器支持减少、企业控制和电竞联系起来，同时指出，作弊问题贯穿于整个游戏发展史。技术评论者解释称，现代 CPU 可以通过固件中的可信平台模块（TPM）暴露唯一标识符，例如 TPM 2.0 的认可密钥，而无需依赖传统序列号。总体而言，这场讨论反映了两种诉求之间的矛盾：既要维护竞技游戏的公平性，也要避免封禁导致可重复使用的硬件沦为废品。
一项针对 GPT-6 Luna 的测试发现，在多步骤逻辑任务中，它表现出的确定感并不可靠。Luna 是 OpenAI 限量预览版 Decisions API 背后的低成本模型。在 3,600 道 ProofWriter 题目中，Luna 在简单、可以直接读取的题目上表现良好，但随着证明链深度增加，成绩大幅下降。在包含五步连续推理的题目中，它的两项得分分别为 46% 和 45%，而 Jev 的得分分别为 81% 和 89%。总体来看，Luna 的得分为 64.1% 和 65.0%，低于 Jev 的 83.8% 和 89.3%。 Luna 的置信度也严重失准。它对 2,672 个答案给出了至少 99% 的确定度，但其中只有 68% 是正确的。在最困难的题目中，它的置信度几乎无法区分答案正确与否。相比之下，Jev 给出 99% 置信度的答案中，有 98.9% 是正确的。 这些结果涉及的是通用 API 模型，而不是为 Decisions API 提供支持的未公开专业版本。此外，ProofWriter 是一套合成数据集。即便如此，任何基于置信度的路由机制，都应在带有标注且难度符合实际的问题上进行测试，并分别衡量准确率和置信度校准情况。
The Hacker News 的讨论帖批评 OpenAI Decisions API 的一项基准测试在一道多步骤逻辑题上夸大了置信度。模型沿着“友善且粗犷→红色、绿色→因此是蓝色”的推理链，认定“艾伦不是蓝色”为假，并给出了 99.82% 的概率。
评论者认为，这个例子存在歧义：“有时”“通常”“皮肤粗糙”“表明它们是红色”等表述带来了不确定性或语义不清。文章可能还省略了模型实际收到的提示词，使人们无法复现结果。有人认为，这种刻意设计的措辞本就是为了测试快速模型的稳健性；也有人指出，基准测试预设的解释在逻辑上并不成立。
另一场争论集中在模型选择和推理投入。评论者指出，Luna 在关闭推理功能时表现很差，而较新的模型在高推理强度下表现强得多，这可能使比较具有误导性。他们还质疑 Decisions API 是否已经发布，以及该测试是否与 Cloudflare Clef 和 Kev 等系统等价。
Breadcrumb 是一款注重隐私的 macOS 应用，可追踪工作进展、转录会议、根据屏幕信息识别发言人、总结待办承诺、按项目记录工时，并在 Claude、ChatGPT、Cursor 和 openCode 等 AI 工具之间保留上下文。它支持限定范围的规则、可复用的快捷方式，以及自定义报告，例如 Friendbuy hours。 当前启用的范围是 `~/code/acme` 中的 `/acme`，其中包含 28 条本地规则和 22 条全局规则。其他已列出的范围包括 `/`、`/myapp` 和 `/personal`。 隐私功能包括本地处理、采用用户自行持有密钥的类端到端加密、应用/网站/词语排除、即时暂停、不使用声纹档案、不收集遥测数据，以及可选的匿名每日更新检查。使用云端 AI 时，仍需遵守相关服务商的隐私政策。 该应用要求使用 Apple 芯片、至少 16 GB 内存，并运行 macOS 15 或更高版本。应用免费，无需账号或订阅；另有 1,024 个可选的创始会员名额，售价为 299 美元，包含编号席位、创始人论坛、抢先体验资格，以及价值 2,500 美元的未来团队额度。后续计划包括支持更多会议平台、Windows 和 Linux。 据称，在磁盘空间已满的情况下，本地 Time Machine 快照占用了 197 GB，可使用 `tmutil` 查看或删除。
**Breadcrumb** 是一款全新的 macOS 上下文管理器，可为 AI 助手提供可搜索的用户工作记忆。它会记录屏幕活动、会议和转录文本、截图以及与 AI 的交互，然后提供 30 多种 MCP 工具，兼容 Claude Code、Codex、Cursor 和 opencode。用户可以通过对话创建上下文规则。
一个演示工作流中，Claude 审阅了会议转录，找出其中讨论的缺陷，检查代码，创建了 14 个附有拟议修复方案和证据截图的 JIRA 工单，并起草了一条 Slack 更新。
Breadcrumb 强调本地运行和隐私：数据使用 SQLCipher 加密，转录和分类均在本地进行，用户还可以排除特定应用、网站或词语。开放测试期间可免费使用，要求设备为至少配备 16GB 内存的 M 系列 Mac，目前由一位创作者独立开发。
评论将其与 Windows Recall 进行了比较，并称赞它提升 AI 智能体能力的潜力。担忧包括安全问题，以及 MCP 工具定义带来的额外开销。创作者表示，兼容客户端会缓存或延迟加载工具定义；在移植到 Windows 和 Linux 之前，优先开发数据管理界面。
请启用 JavaScript 和 Cookie 后继续。
《这就是一个杂质的故事》一文讨论了如何检测并分离痕量同位素杂质，相关 Hacker News 网友留言称，高分辨率质谱和核磁共振可以识别这些杂质，但由于数量极少，往往需要异常庞大的反应批次。
报道中的产物含有约 0.06% 的氘；在 100 克反应产物中，大约只有 6 毫克，这足以证明分离效果非常好。
讨论还探讨了类似技术是否也能用于同位素分离，但指出这与铀浓缩有所不同：氢和氘的质量比约为 2:1，而铀-235 与铀-238 的质量相差很小，因此更难分离。
一些人担心能否可靠地纯化某种同位素，尤其是在生物体系中；他们以氚为例，指出氚进入人体后会迅速分布到全身。
Kapa 构建了私有的**公司知识基准**，其中包含 1,000 条真实生产查询、历史语料库快照，以及用于检索最小完整权威信息块集的评判标准。由智能体生成的标签经过了 170 个人工标注案例的验证。 使用相同数据测试了七种检索器： - 混合搜索：**0.41**，0.4 秒 - 混合搜索 + 重排序：**0.50**，0.7 秒 - 查询分解：**0.56**，1.8 秒 - Kapa Default：**0.61**，3.3 秒 - 智能体 grep：**0.54–0.61**，13–17 秒 - Kapa Deep：**0.65**，5.1 秒 重排序是传统方法中成本最低的改进方案。智能体 grep 的效果与优化后的固定流程相当，但速度慢得多，每次查询约返回 40,000 个词元，成本也高得多。Kapa Deep 得分和精确度最高，同时每次查询仅返回约 5,000 个词元，因此是下游智能体使用成本最低的结果。 作者指出，所有受测检索器均由 Kapa 构建，因此该基准和测试结果可能存在产品偏差。
一篇标题为 **“针对智能体在杂乱的企业真实知识中的检索能力进行基准测试”** 的 Hacker News 帖子，由 kapa.ai 创始人、Y Combinator S23 校友 Emil Sorensen 提交，获得 26 分和 3 条评论。Sorensen 邀请大家就该项工作提问。
在一条评论中，用户 **politics** 询问了创始人对 BEAM、MemEval、MemoryArena 以及 Hugging Face 上其他基准测试的看法；Karpathy 的情景记忆／程序记忆／语义记忆框架（也称为 Doxa/Koine/Gnosis）的重要性；以及 kapa 的设计中哪些部分体现了该框架。他们还询问，kapa 是否会公开提取流程，以便企业能够使用自己的数据复现这项比较。
另一位评论者开玩笑地写道“enzinho bravo”，并建议申请 YC 的 2027 年冬季批次；该批次的申请截止日期是 11 月 2 日。
请启用 JavaScript 和 Cookie 以继续。
一则 Hacker News 讨论 examines? Need Chinese only. "分析了..." Let's formulate.
One HN discussion analyzes evidence... recovered uranium cubes and bugged postwar conversations, suggesting... likely lacked... Commentators...
"窃听的战后谈话" may be recordings obtained through surveillance. "受窃听的战后谈话". Britain postwar surveillance.
"heavy-water plans" could be German heavy water production plans. "浓缩铀能力有限". "the Manhattan Project's enormous scale."
"narrowly missing a viable design rather than years away" Means Germany was close to having a workable design, not years away. "只差一个可行方案，并非还差数年". Great.
"modern parallels to nuclear escalation" maybe parallels drawn to modern nuclear escalation.
"A lengthy dispute ... is rejected with references..." The claim/dispute is rejected based on eyewitness etc. "关于... lengthy debate, but commenters dismiss it..." Need readable.
Let's ensure no title or intro.</mm:think>一则 Hacker News 讨论分析了缴获的铀立方体以及窃听所得的战后谈话。这些证据表明，纳粹德国曾开展核研究，但很可能缺乏制造原子弹所需的知识、材料、工业能力以及政治投入。评论者强调了德国在技术上犯下的错误、重水计划遭受的干扰、铀浓缩能力有限，以及曼哈顿计划庞大到难以相比的规模。
一些参与者认为，纳粹德国的反犹主义以及对现代物理学的排斥——将其斥为“犹太科学”——阻碍了德国核技术的发展，迫使关键科学家流向海外，而这些科学家后来协助了盟国。另一些人则强调，德国当时距离一种可行设计只差一步，而非还需要数年；他们同时承认，德国物理学家作出了重要的奠基性发现。
讨论还涉及英国战后对德国科学家的监控、日本不完整的战时核计划，以及现代核升级局势的相似之处。关于广岛是否真的发生了核爆，评论区展开了长时间争论，但评论者援引目击者证词、核试验影像和地震证据，否定了相关质疑。后来的评论转向美国与伊朗的紧张关系，以及人们对于针对平民的武器会进一步使核武使用正常化的担忧。