## 反对无穷：摘要 数学家多隆·泽尔伯格倡导“超有限主义”，一种有争议的哲学，认为无穷是数学中一个有缺陷的概念——并且是不必要的。他认为数学应该反映我们所体验的有限、可证明的现实，就像计算机使用有限的数字一样。对于泽尔伯格来说，无穷类似于对上帝的信仰：直观上吸引人，但无法证明，最终会阻碍真正的理解。 他认为，现有的依赖无穷的数学框架是“丑陋”且错误的，并提出了一种没有无穷小量的微积分，以及对离散系统而非连续系统的关注。尽管大多数数学家认为这种观点过于激进，但超有限主义从质疑无穷在宇宙中作用的物理学家那里获得了关注——从普朗克尺度到量子力学。 尽管缺乏正式的统一理论，超有限主义仍然引发了争论。批评者认为它限制了数学研究，而支持者则认为它是一种更现实的方法，使数学与可验证的真理相符。该运动在建立坚实基础方面面临挑战，但日益增长的兴趣表明它正在发展，不再是“骗局”，而是一种合法的，尽管与传统观念相悖的数学哲学分支。最终，泽尔伯格倡导一种务实的数学，专注于*可以*证明的内容，并驳斥无穷是一种方便的虚构。
每日HackerNews RSS
我测试了Claude Code的caveman插件，对比了“简洁”的要求。
I benchmarked Claude Code's caveman plugin against "be brief."
2 天前
## Repo Caveman 插件：压缩基准测试
最近的一项基准测试对比了旨在压缩 Claude 响应的 Repo Caveman 插件与简单的“简洁明了”提示词以及 Claude 的默认设置。该研究使用严格的评分标准，评估了在六个类别中的表现：错误诊断、概念解释、架构权衡、多步骤设置、安全/破坏性操作以及错误解释，以评估质量和关键信息保留情况。
结果表明，Caveman 在整体 token 减少或质量方面并未始终优于“简洁明了”。虽然“简洁明了”实现了 34% 的 token 减少，但 Caveman 的“轻量”和“完整”模式与之相当。然而，Caveman 的“极致”模式，尽管旨在实现最大压缩，有时由于内置的“自动清晰化”功能而*增加了* token 数量。此功能有意放宽对安全关键指令（如安全警告或多步骤设置）的压缩，以确保清晰度。
最终，Caveman 的价值不仅仅在于压缩。它通过自动规则重新注入提供**一致的输出结构**和**跨会话的持久性**——这些是简单提示词所不具备的。虽然一个双词提示词可以在 token 数量和质量上与 Caveman 相匹配，但 Caveman 提供了更多的控制和可预测性，使其对于需要结构化 Claude 输出的应用来说很有价值。基准测试代码是开源的，可供进一步测试。
对不起。
启用 JavaScript 和 Cookie 以继续。
对不起。
## Vera：一种为LLM驱动编程设计的语言
Vera是一种新的编程语言，专门为大型语言模型（LLM）编写代码而设计。它编译为WebAssembly，旨在解决LLM在代码连贯性和可扩展性方面面临的挑战——特别是源于命名和维护不变式的问题。
与传统语言不同，Vera消除了变量名，而是使用结构化引用（@Int.0，@Int.1）。它*强制*使用显式契约（前置条件和后置条件）和效应声明，编译器会对这些进行静态验证，确保代码的正确性和可预测性。这种“可验证”的方法将重点从模型“正确”转移到“可验证”。
主要特性包括默认纯函数设计、代数效应用于管理副作用（如I/O和LLM调用）以及强大的类型系统。Vera提供详细且对模型友好的错误消息，引导LLM进行修复。
目前版本为v0.0.127，Vera包含一个参考编译器、全面的文档（SKILL.md针对LLM代理）和一个基准测试（VeraBench），展示了与Python和TypeScript相比，LLM在使用Vera时的竞争性能。它正在积极开发中，路线图侧重于构建用于经过验证的工具集成工具。
对不起。
## PowerOFF行动：深入剖析执法部门的网络陷阱
PowerOFF行动是由荷兰警方主导的大型国际行动，旨在打击DDoS租用服务。除了公开行动外，他们还部署了复杂的“蜜罐”——虚假的DDoS网站，以识别和阻止潜在攻击者。
其中一个网站，**Cyberzap**，经过精心设计，看起来非常逼真，包括搜索引擎优化，甚至还有虚假的活动图表。然而，一个关键的线索是它使用了荷兰主机提供商bit.nl。研究人员发现该网站记录了用户信息——包括IP地址和电子邮件——并以处理始终失败的付款为借口。
除了Cyberzap，该团队还运营着**Netcrashers**，一个更明显的陷阱，将访问者重定向到警方警告页面。该行动的目标不一定是进行大规模逮捕，而是要在网络犯罪社区中散布不信任感。通过让潜在买家质疑*任何*DDoS服务的真实性，他们旨在扰乱市场。
有趣的是，当研究人员开始调查Cyberzap时，该行动陷入恐慌，迅速下线了该网站。这凸显了对保密性的重视以及对审查的过度反应。尽管在这些精心设计的陷阱上投入了大量资金，但其总体影响仍然值得怀疑，一些努力更像是旨在恐吓潜在年轻罪犯的代价高昂的宣传。
## 蜜罐关闭：黑客意外发现
一名黑客“fishgoesblub”无意中导致了一个执法机构运营的蜜罐网站（lina.sh）关闭，该网站旨在捕捉寻求非法服务（如DDoS攻击）的人员。黑客在探索Tor时调查了该网站，触发了执法部门的反应，他们迅速将其下线。
这一事件引发了关于此类蜜罐的伦理和有效性的争论。一些评论员质疑该网站是否真的是蜜罐，指出它没有收取任何费用，而另一些人则指出这种行动可能会在目标社区中造成不信任感。人们对执法部门的过度干预以及可能出现的身份误认表示担忧。
该事件还凸显了机器人检测的复杂性，以及隐私措施有时反而*增加*在线独特性这种讽刺现象。最终，各方观点倾向于认为该蜜罐是一个相对较小的行动，但它引发了关于政府资源分配以及此类举措影响的问题。
有一瞬间，你似乎在试图窥探这个门罗币地址：47xmhbRuYpSYSrVZx2RsPBhaAQByZq3ucAT6ULxHvDAu8c853ErpLHqBdDmpVzcmWFdZFCWrfZYwp3rqs14zxXx95S7Fyv2No？嗯…看起来你确实在试图查看这个人的余额。门罗币说“不行”！
对不起。
2026年4月29日，布伦特原油期货暴涨超过7%，达到每桶近120美元——这是自2022年6月以来未曾见过的水平——受地缘政治紧张局势加剧和供应收紧的推动。伊朗冲突的担忧以及美国持续的海上封锁正在加剧市场焦虑，同时阿联酋意外退出欧佩克也加剧了这一情况。 此外，美国库存数据显示，原油和燃料储备大幅下降，创纪录的出口量超过每天600万桶。这表明全球供应正在萎缩。过去一个月，布伦特油价上涨了近12%，按年上涨了近97%。预测显示，布伦特油价在本季度末将交易在每桶108美元左右，并在一年内可能达到121美元。
## 油价因霍尔木兹海峡问题飙升
布伦特原油最近达到每桶119.56美元的峰值，引发了Hacker News上关于市场对霍尔木兹海峡关闭的反应的讨论——这是全球石油供应的关键水道。许多人认为市场*低估*了影响，这可能是由于过去误判的过度修正（例如新冠疫情期间的情况）。
关闭导致了10-20%的原油供应中断，并且随着现有库存的减少，预计对精炼产品需求的显著减少——这将影响燃料，以及依赖塑料的商品。重启封存的石油基础设施需要数月，甚至数年时间，因为存在损坏。
虽然一些人认为管道改道可以将影响减轻到约10%，但另一些人指出石油需求的非弹性（例如交通和农业等必需品），这意味着即使是小幅的供应减少也会导致价格大幅上涨。人们担心金融市场仍在否认局势的严重性，现货价格与期货价格出现显著差异。更广泛的经济后果的可能性，包括通货膨胀甚至饥荒，正在被讨论。
启用 JavaScript 和 Cookie 以继续。
## 德国现已成为全球最大的弹药生产国：摘要
一篇Hacker News的讨论指出，德国已在弹药生产上超过美国，目前年产量为110万发炮弹，而美国为67.2万发。 这一增长主要受到乌克兰战争的需求驱动，战争中弹药短缺是一个关键问题。
对话深入探讨了比较生产数字的复杂性，指出报告中的差异（月度与年度数据）以及考虑库存和翻新能力的重要性。 也有人指出，由于美国军事 doctrine 侧重于避免直接对抗并利用其地理优势，因此对传统火炮的依赖较少，并利用海军力量。
一个关键的争论集中在现代战争中火炮与无人机的作用演变。 虽然火炮仍然重要，尤其是在提供大爆炸冲击方面，但无人机由于其成本效益、精度和日益增长的射程而日益突出。 一些人认为乌克兰向无人机战争的转变预示着更广泛的趋势，而另一些人则强调两者仍然是必要的。 德国增加生产被视为对直接需求的响应，但军事技术的长期转变也在被考虑中。
布莱斯特琴（Blaster Beam）是一种独特的电子音乐乐器，由约翰·拉泽尔于20世纪70年代初发明，并由弗朗西斯科·卢皮卡和克雷格·赫胥黎等音乐家推广。它由一根金属梁组成，梁上串有电线并配备吉他拾音器，产生独特、深沉且常被形容为“阴森”的贝斯音色。
赫胥黎使用铝材改进了设计，并凭借其在《星际迷航：电影版》配乐中的标志性声音——特别是创造了V’ger的声音——使这种乐器声名鹊起。随后，它被用于许多科幻电影配乐，包括《星际迷航2：可汗之怒》、《星际争霸战》和《2010》，以及北岛康司等艺术家。
除了电影之外，布莱斯特琴在90年代因一场音乐会上的听觉刺激说法而声名狼藉，促使一家电台进行实验，但未产生类似结果。赫胥黎于1984年为其设计申请了专利，该乐器至今仍被用于创造超凡脱俗的声音，最近出现在熊·麦克里亚为《10克洛弗菲尔德巷》（2016年）创作的配乐中。
对不起。