Show HN: PostgreSQL performance and cost across 23 EC2 instance types5 days agohttps://postgres.saneengineer.com根据数据集大小和吞吐量需求选择 AWS 实例；从经过基准测试的实例-磁盘组合中挑选满足要求的最便宜选项。该基准测试的工作负载为 90% 读取和 10% 写入，并发数为 32，在 us-east-1 区域使用 PostgreSQL 17 数据库并按需计费。性能指标包括每秒事务数 (TPS)、延迟和每小时成本；像 c8i.large 和 m8g.large 这样的实例能以较低成本提供较高的 TPS，而 t 系列实例更便宜但性能较差。
Chat Control passed first round in EU Parliament5 days agohttps://www.heise.de/en/news/Showdown-in-Strasbourg-The-unexpected-return-of-Cha...欧洲议会勉强通过一项紧急动议，在夏季休会前重新考虑《聊天控制 1.0》。支持者旨在恢复一项已失效的规定，允许在无嫌疑情况下自愿扫描私人通信以寻找儿童虐待材料。批评者认为此举违反议会程序，并允许在普遍怀疑下进行大规模监控。社会民主党屈服于压力，支持紧急动议，尽管先前拒绝了聊天控制的延期。支持者因议会最后一天投票门槛较低而获得战术优势，使得重新实施该规定成为可能。人们对人工智能扫描的错误率和隐私侵蚀提出担忧，担心这可能会推迟更有效的法规出台。
Wikipedia Banned Its Co-Founder Because Its Rules Mostly Work5 days agohttp://www.techdirt.com/2026/07/06/wikipedia-banned-its-co-founder-because-its-r...拉里·桑格因拉票且未参与百科建设被维基百科封禁，而非因其提出的'知识多样性维基项目'。维基百科现有规则（如可验证性、中立观点）本已支持平衡的条目，但落实这些规则需要耐心、研究与协作。编辑者常借助来源分级指引和行之有效的争议解决流程来修正条目中的偏见与虚假信息，但这需要专业技能。桑格的倡议与右翼反自由信息运动合流，其提案（如取消管理员匿名制）可能损害知识自由。改进维基百科需要知识真诚与既有规则的应用，而非恶意公关噱头；且受益于愿意协作的多元化贡献者。
Show HN: Tarot.free – Free Tarot Readings6 days agohttps://tarot.free/Tarot.Free提供免费塔罗牌解读，无需注册、无费用、无广告。用户可以快速洗牌78张牌并抽取卡牌以进行各种牌阵占卜。它设有'每日牌卡'功能（例如权杖七逆位）并附带详细解读。该平台全面解说全部78张牌，包括正位与逆位含义、爱情与事业解读，以及是非问题判定。使用流程包括保持问题、选择牌阵、洗牌、抽牌，并通过可分享链接阅读解读结果。塔罗牌解读旨在促进反思与娱乐，其作用如同镜子而非最终裁决。
A verification loop 4x'd DeepSeek's intelligence, matching Opus at 1/7 the cost5 days agohttps://ironbee.medium.com/what-a-verification-loop-adds-to-a-coding-agent-a-fir...验证循环通过早期发现错误，显著提高了编码代理完成多步网页开发任务的能力。使用IronBee（验证层）配合DeepSeek（低成本模型）将任务完成率从平均6.8/20提高到了17/20，与Claude Opus（前沿模型）的性能相当。DeepSeek结合IronBee取得了与单独使用Opus相似的效果，但成本仅为约1/7（每次运行2.4美元对15美元），这表明验证可以减少对昂贵模型的依赖。研究强调，验证对于只有在运行应用程序进行测试时才会出现的错误帮助最大，特别是在顺序任务中，早期的错误会不断累积。局限性包括最初仅使用了一个项目和模型对，计划未来扩展到更多模型和项目，并进行成本匹配的消融研究以获得更广泛的见解。
Sodium-ion "salt" batteries will revolutionize electric-vehicle and grid storage5 days agohttps://www.newscientist.com/article/2532997-salt-batteries-are-about-to-shake-u...长安展示了搭载钠离子电池的电动汽车在极寒环境（-32°C）下的性能，突显其耐用性。钠离子电池采用储量丰富的盐类材料制成，可能比锂离子电池成本更低，有望挑战锂在市场上的主导地位。钠离子电池技术历史久远，但因过去15年电气化需求增长而获得实质性发展。钠离子电池的挑战包括比锂离子电池更重，但技术进步已提升其能量密度，足以媲美某些锂电变体。钠离子电池具备多重优势：极端温度下性能更优、火灾风险更低、冷却成本减少。钠离子电池的应用正从电网储能扩展到电动汽车、数据中心和家庭能源系统，宁德时代和通用汽车等企业已投资该技术。专家预测钠离子电池有望降低电动汽车、家庭储能和能源输送成本，对日常生活产生显著影响。
C++ Details of Asymmetric Fences9 days agohttps://nekrozqliphort.github.io/posts/membarrier/非对称线程栅栏通过将繁重的同步开销从常见路径转移到不频繁的慢速路径来优化并发，在快速路径上使用轻量级编译器屏障，在慢速路径上使用更强的栅栏。轻量级栅栏（asymmetric_thread_fence_light）被实现为编译器屏障（例如：asm volatile("" : : : "memory")），防止编译器重排序但不阻止硬件重排序。在Linux上，重量级栅栏（asymmetric_thread_fence_heavy）使用membarrier()系统调用，该系统调用通过发出处理器间中断（IPIs）来强制执行跨核心的内存排序，涉及在发送IPI前后使用smp_mb()屏障。C++标准通过将非对称栅栏（P1202R5）纳入内存模型来将其正式化，其中规则影响了memory_order_seq_cst操作的单次全序S，并要求谨慎处理以避免传递性问题。实现细节包括在单核或单内存管理（mm）场景中对membarrier()的快速路径优化、特定架构的smp_mb()实现，以及对数据竞争和happens-before关系的考量。
Netherlands recruited 29 top scientist leaving U.S. under Trump5 days agohttps://nltimes.nl/2026/07/07/netherlands-recruited-29-top-scientist-leaving-us-...荷兰去年招募了34位顶尖科学家，其中29位来自美国。招聘工作由特朗普削减美国科研经费后成立的郁金香基金推动。该基金为每位科学家在五年内提供高达100万欧元的资助，政府与荷兰科学研究组织（NWO）共同出资总额达5000万欧元。招募对象包括来自哈佛大学、耶鲁大学和斯坦福大学等美国顶尖机构的研究人员。他们的研究领域涵盖人工智能、医学科学和能源转型。此举旨在强化荷兰科研实力，减少对其他国家的依赖。德国和法国等其他欧洲国家也已启动类似计划。
Reinforcement Learning with Metacognitive Feedback Elicits Uncertainty in LLMs5 days agohttps://arxiv.org/abs/2606.32032大型语言模型（LLMs）通常表现出较差的元认知能力，导致过度自信、产生幻觉以及无法识别自身知识局限。该论文引入了基于元认知反馈的强化学习（RLMF）方法，通过利用模型对自身表现的自我评判，在偏好优化过程中改进完成度排名，并筛选高价值训练数据。第二种方法——元认知数据选择——采用类似的自我评判机制，能够识别更有价值的训练样本，从而超越标准主动学习的效果。这些创新被应用于忠实校准（FC）任务，旨在使LLM表达的不确定性与实际内在不确定性保持一致。采用两阶段方法：首先校准自我报告的可信度分数以确保忠实性，随后通过输出编辑将其映射至自然且适应上下文语境的语言表达。大量实验表明，RLMF在多样化任务中实现了忠实校准的顶尖性能且未牺牲准确性，其表现比标准强化学习提升高达63%。RLMF增强了LLM评估和表达自身能力局限的能力，表明其可作为提升LLM元认知的有效范式，从而改善模型能力与对齐性。
Dua Lipa opens library for banned and censored books in Portugal5 days agohttps://www.euronews.com/culture/2026/06/29/dua-lipa-opens-library-for-banned-an...曼尼菲斯托图书馆是一座位于葡萄牙波尔图历史悠久的莱罗书店内，专藏禁书和被审查书籍的新图书馆。它是作为BABELL——书籍之城艺术节的一部分推出的，收录了近100本围绕权力、控制、声音与记忆等主题组织的书籍。杜阿·利帕创立了Service95读书会，是一位热忱的阅读倡导者；她将这座图书馆描述为一次‘梦想的合作’，称其为被审查作品和勇敢作家们的‘圣地’。馆藏包括玛格丽特·阿特伍德的《使女的故事》和萨尔曼·拉什迪的作品，重点收录了因涉及种族、性取向或LGBTQIA+内容而被禁或限制的书籍。莱罗书店品牌负责人表示，这座图书馆体现了‘书籍是一种自由的技术’这一信念，强调了阅读对社会想象力与自由的重要性。杜阿·利帕还将策划南岸中心2026年伦敦文学节，继续推动文学与自由表达的发展。
Europe's company websites are mostly served by US vendors5 days agohttps://ciphercue.com/blog/european-web-hosting-vendor-share-2026该研究分析了19,450个欧洲企业网站的DNS A/AAAA记录，以确定其面向互联网的基础设施供应商。美国总部供应商在英国（67.5%）和荷兰（53.6%）占据主导地位，并在意大利、西班牙和法国（44-49%）拥有多数份额。在所研究的七个欧洲国家中，Cloudflare是最大的基础设施供应商，超越了其他美国供应商、欧洲托管公司和国内互联网服务提供商。德国和波兰是例外，由于存在如Hetzner和Home.pl等密集的国内托管行业，削弱了美国供应商的主导地位。该研究侧重于供应商归属，而非物理数据中心位置，区分了CDN前端提供商和原始托管服务。研究结果对欧盟政策、采购以及关于主权、供应商集中度和供应链风险的讨论具有重要意义。局限性包括未测量CDN背后的原始托管情况、欧盟子处理器安排或特定产品配置。方法学采用DNS解析中的AS运营商名称，并包含特定快照窗口的数据，同时按实体进行了去重处理。
98% Isn't Much5 days agohttps://whynothugo.nl/journal/2026/07/03/98-isnt-very-much/98%成功率是情境依赖的：在卓越成就上表现优异，但对于基本期望则不可接受。在Web开发中，98%的功能支持率仍可能排除大量用户，特别是当目标受众的人口结构与一般人群不同时。稳健的工程需要优雅处理边缘情况；对不支持的功能缺乏降级处理意味着98%并非真正的“广泛支持”。
Woman suspected of Monaco bombing found shot dead near Kyiv5 days agohttps://www.heraldscotland.com/news/26258031.woman-wanted-monaco-attack-ukrainia...针对乌克兰商人在摩纳哥的炸弹袭击案嫌疑人，在基辅附近被发现死亡，身上有枪伤。乌克兰情报官员因与此案有关被捕，其中一人承认了谋杀行为。这起爆炸事件导致三人受伤，其中包括一名儿童，事件发生在受制裁的商人瓦迪姆·耶尔莫拉耶夫的家中。调查人员正在调查乌克兰安全局（SBU）可能参与此案的情况，暗示这可能是一种“警告”而非暗杀。嫌疑人安娜斯塔西娅·别列佐夫斯卡已离开乌克兰数月，可能伪装成了男性。摩纳哥和法国当局继续进行调查，乌克兰方面正在提供信息并予以配合。
9 Mothers (YC P26) Is Hiring in Austin, TX5 days agohttps://9mothers.com/careers9 Mothers正在德克萨斯州奥斯汀招聘9个职位，致力于构建反无人机系统，重点关注硬件、人工智能感知和动能交战领域。团队强调快速迭代、实际部署和自主权，工程师可直接参与规范制定。核心优势包括从事自主感知与终端交战系统开发，拥有短反馈循环和来自靶场测试的真实遥测数据。操作人员从初始阶段就参与流程，优先考虑质量、部署时间和人机工程等实际规范。设计约束包括单发成本、可维护性和可制造性，旨在为美国及其盟友开发经济型武器系统。典型工作日涉及靶场部署、实弹迭代测试、操作员复盘会、硬件返修和白板规划会议。开放职位涵盖硬件工程、机器人技术、感知系统和平台开发四大领域，具体包括4个硬件岗、2个机器人岗、2个感知岗和1个平台岗。公司鼓励即使没有完全匹配的职位也可直接申请，但谢绝猎头公司联系。
Top researchers leave USA for the Netherlands (in Dutch)5 days agohttps://www.nwo.nl/nieuws/eerste-internationale-wetenschappers-via-het-tulp-fond...由荷兰教育、文化和科学部（OCW）与荷兰科学研究组织（NWO）于2025年设立的Tulp基金，旨在支持国际顶尖研究人员继续在荷兰工作，以应对全球学术自由压力并推动创新。该基金已批准来自全球机构的34位顶尖研究人员的提名，重点关注人工智能、量子技术、疫苗和社会韧性等荷兰紧迫议题，其中29位来自美国。基金总额为5000万欧元，NWO的贡献翻倍，为非欧盟、欧洲经济区和瑞士的研究人员提供每人五年最高100万欧元的资助，以吸引人才。研究人员涵盖能源转型、健康（如癌症、阿尔茨海默病）、气候、粮食生产和民主等关键领域，加强了荷兰的知识体系并减少依赖。基金致力于提升欧洲的科学和社会能力，为面临压力的研究人员提供安全的工作空间，并支持基础、应用或实践导向的研究。基金以象征荷兰融合的郁金香命名，类似倡议也存在于德国和法国等其他欧洲国家。
The Making of Claude Code5 days agohttps://www.anthropic.com/features/making-of-claude-code文本似乎已损坏或被块状字符（█）编码，使得原始内容无法阅读。作者显示为“BY ANTHROPIC”，可能为品牌或归属声明。因文本无法解码，无法总结要点。
Why migrants come to Germany for work and then leave again5 days agohttps://www.dw.com/en/germany-migrants-skilled-workers-integration-labor-market-...由于家庭原因、歧视、官僚主义、住房问题和语言障碍等多种因素的综合影响，移民选择离开德国。移民群体通常较为年轻，在德国停留时间较短，有海外家人，德语水平不足但通常懂英语，其中60%返回原籍国，40%迁往其他欧洲国家。签证处理缓慢、高昂费用以及缺乏职业支持等官僚障碍阻碍了长期规划与归属感，影响了居留决定。学习德语对融入至关重要；语言支持不足导致高回国率，而充分准备则能提高留居率。德国面临技术工人的竞争压力，老年护理领域需求旺盛，移民常从事低于自身资质的工作，导致不满情绪。政策改进包括建立更快的集中处理系统和规划设立“工作与居留”机构，但人员短缺和数字化进程缓慢仍是挑战。
Why you should not have Managers in your class name5 days agohttps://karankurani.com/writing/post/170793461763/why-you-should-not-have-manage...为类和函数正确命名至关重要，因为它影响代码结构、未来的思维模式、重构和扩展，糟糕的命名会导致技术债务。使用'-er'后缀如'Manager'常暗示设计不良；例如，'ConnectionManager'因承担多重职责变得复杂，而'Connection'本会更清晰简洁。选择精确的名称有助于保持代码整洁、简化扩展和重构、减少复杂性和错误，因此建议在命名上投入额外时间。
Dropping in on Gottfried Leibniz (2013)9 days agohttps://writings.stephenwolfram.com/2013/05/dropping-in-on-gottfried-leibniz/戈特弗里德·莱布尼茨出生于1646年，是一位博学者，致力于系统化知识，旨在创造一种用于计算知识表示的通用符号语言（‘思想字母表’）。他对数学做出了重要贡献，包括发展积分和微分符号、探索二进制数，并设计了一台用于算术运算的机械计算器。莱布尼茨预见到他的形式方法在科学、法律和神学等领域的应用，但其实际成功主要限于连续数学，在离散系统方面进展较少。他在汉诺威的档案包含约20万页多样化的文件，包括笔记、图表和信件，其中许多尚未被充分研究，反映了他广泛的智力追求。莱布尼茨的计算思维虽然超前于他的时代，但受到当时技术的限制，然而他的思想预示了现代概念，如通用计算和计算法律。
Show HN: Fast, native Mac file manager (filters, fuzzy find, 9 MB, no Electron)5 days agohttps://whimfiles.com按文件类型、日期和大小同时筛选文件，可使用预设类别（如图片、PDF）或自定义过滤器。在双窗格模式下并排浏览两个文件夹，每个窗格具有独立的文件夹、过滤器、搜索和历史记录。通过悬停或使用快速查看即时预览图片或PDF，并直接在文件列表中查看缩略图。管理多个标签页，每个标签页会记住其布局；使用键盘快捷键进行标签导航（例如，按T新建标签页）。批量重命名文件，支持查找替换或顺序编号等选项，并可转换图片格式（例如，将HEIC转为JPG）。通过侧边栏访问已收藏的文件夹和已挂载的卷，并使用命令面板（A键）进行键盘驱动操作。通过Shell函数（例如wf()）与命令行集成，直接从终端打开文件夹。