1. 从监狱到数据库工程师的逆袭之路；
2. Chawan TUI网页浏览器发布0.2.0版本；
3. 基于Kubernetes的Heroku替代方案：Canine；
4. 苯环两百年：改变世界的分子传奇；
5. 为什么生成式AI编程工具对我无效；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. 从监狱到数据库工程师的逆袭之路

🔗 turso.tech: Working on databases from prison

Preston Thorpe因年轻时涉毒入狱，却在服刑期间通过监狱教育项目重拾编程热情，每天投入15小时以上学习与开源贡献。凭借努力，他成为缅因州惩教署远程工作计划首批参与者，先后入职教育科技初创公司Unlocked Labs并领导开发团队，后因贡献开源项目Limbo（Turso公司重构SQLite的项目）获得关注。

尽管身处监狱，他通过有限网络资源深入研究数据库技术，甚至得到Linux内核维护者的代码审查。2025年，他正式加入Turso成为全职工程师，成为二次机会的典范。虽然刑期延长，他视之为专注职业发展的契机，并感谢家人、雇主及社会支持。他的故事激励了许多面临困境的人，证明决心与纪律能改写人生轨迹。

2. Chawan TUI网页浏览器发布0.2.0版本

🔗 chawan.net: Show HN: Chawan TUI web browser

Chawan TUI浏览器 0.2.0版本已正式发布，提供源码压缩包及适用于amd64 Linux的静态二进制分发版（支持.deb格式安装）。用户可通过make install命令安装，或使用配套的卸载指令。关键运行时依赖包括libssh2、libbrotli组件以及OpenSSL 3.0+/LibreSSL（OpenBSD 7.7已验证）。与早期版本不同，现已移除zlib、libseccomp等冗余依赖。开发者强调，若打包遇到问题应优先联系上游解决而非自行修补。

当前版本已实现MVP核心功能且无致命缺陷，v0.2分支将仅修复错误，新特性开发将在master分支推进。下一版本计划优化布局模块性能并提升UI友好度。项目维护者特别提醒包维护者注意依赖项变更，并欢迎反馈问题。

3. 基于Kubernetes的Heroku替代方案：Canine

🔗 github.com: Show HN: Canine – A Heroku alternative built on Kubernetes

Canine是一个直观易用的Kubernetes部署平台，结合了Kubernetes的强大功能与Heroku的简洁性。用户可通过Docker和Docker Compose快速安装，支持本地部署（默认端口3000）或自定义端口。其云服务（Canine Cloud）提供GitHub集成、团队协作和实时监控等高级功能，适合小型团队。项目开源（Apache 2.0协议），已有621颗星，21个分支。访问canine.sh了解更多。

4. 苯环两百年：改变世界的分子传奇

🔗 chemistryworld.com: Benzene at 200

200年前，迈克尔·法拉第从照明气体残留物中分离出苯，这个具有独特芳香性的分子颠覆了化学界。其反常的稳定性（高不饱和度却难反应）引发了关于环状结构的猜想，最终催生了芳香化学这一分支。苯不仅是高效溶剂，更成为医药、能源、材料等领域的基础构建单元。

苯环的延伸——多环芳烃（PAHs）和纳米石墨烯——展现了碳化学的无限可能。从六苯并蔻（HBC）到222个碳原子构成的巨型分子，科学家通过精确调控结构，开发出具有导电性、荧光等特性的先进材料。而石墨烯作为苯环的二维延伸，凭借强度与导电性被誉为“神赐之物”。

苯的发现不仅推动了科学，也成为化学教育的经典案例，启发代代学子理解芳香性与分子轨道理论。为纪念其200周年，英国皇家化学会将发布特刊，探讨苯在碳基材料、分子机器等领域的持续影响力。

5. 为什么生成式AI编程工具对我无效

🔗 blog.miguelgrinberg.com: Generative AI coding tools and agents do not work for me

作者分享了他不使用生成式AI编程工具的原因，主要基于技术层面的个人体验。核心问题在于这些工具并未提高他的工作效率，因为生成的代码仍需彻底审查，而审查时间甚至超过自己编写的时间。他强调代码责任归属，指出开发者必须对AI生成的代码负责，盲目使用会引入风险，尤其在涉及合同和法律义务的项目中。

对于“AI是效率倍增器”的说法，作者持怀疑态度，认为这种观点缺乏数据支持，可能源于用户省略代码审查环节。此外，他反驳了“AI适合学习新技术”的观点，强调亲历学习才是工程师成长的关键。

作者还对比了开源贡献与AI代码的差异：虽然两者都需审查，但人类贡献能激发新想法，而低质量的AI生成PR反而增加负担。最后，他犀利指出AI工具无法像实习生一样持续学习，每次任务都需从头指导，毫无积累性。文末重申：所谓“AI提升效率”往往以降低质量为代价，并非真正的免费午餐。

6. Darklang宣布开源

🔗 blog.darklang.com: Darklang Goes Open Source

Dark Inc.关闭并重组为Darklang Inc.后，所有代码库已正式开源，采用Apache 2.0许可证。团队曾因可持续性和架构独特性选择“源码可用”模式，但近期三大转变促使转向开源：1）产品成熟后，用户反馈开放是核心需求；2）技术方向转向本地优先开发，CLI工具需避免专有二进制限制；3）开发者工具市场成熟，商业化可通过协作功能与AI增值服务实现。

开源使Darklang更透明、社区驱动，保留“无感基础设施”等核心优势的同时，确保平台独立性。团队仍在探索包管理器中的许可证同步等技术挑战，但开源为生态奠定了坚实基础。

7. 在邮轮上免费上网，省下170美元

🔗 angad.me: Getting free internet on a cruise, saving $170

一名青少年在公主邮轮上发现，通过MAC地址欺骗可绕过15分钟免费WiFi限制。利用旅行路由器（GL.iNet）和Python脚本自动更换MAC地址、登录MedallionNet并激活免费会话，实现持续联网。脚本通过检测网络状态自动刷新连接，速度与付费套餐相当（7+Mbps），且配合移动电源可全船使用。最终成功省下7天170美元的网费，代码已开源但需自行维护。

关键点：

• MAC地址欺骗：通过更换设备标识绕过单次限制。
• 自动化脚本：Python实现登录、激活和检测全流程。
• 旅行路由器：OpenWRT系统支持MAC修改，搭配移动电源提升便携性。

8. OpenAI获美国防部2亿美元AI合同

🔗 cnbc.com: OpenAI wins $200M U.S. defense contract

美国国防部向OpenAI授予了一份为期一年、价值2亿美元的合同，用于开发前沿AI原型以应对国家安全挑战，涵盖作战与行政领域。这是国防部官网首次列出的OpenAI合作项目。

合同由OpenAI Public Sector LLC执行，工作主要集中在华盛顿特区及周边地区。此前，OpenAI已与国防科技公司Anduril合作部署AI系统用于国家安全任务。CEO Sam Altman强调公司“自豪参与国家安全领域”，并推出“OpenAI for Government”计划，为政府提供定制AI模型。

此外，OpenAI年收入超100亿美元，近期还宣布了500亿美元的“Stargate”AI基建项目。微软Azure OpenAI服务也已获准处理机密信息。

9. Salesforce研究：大模型代理在CRM和保密性测试中表现不佳

🔗 theregister.com: Salesforce study finds LLM agents flunk CRM and confidentiality tests

Salesforce的一项新研究发现，基于大语言模型（LLM）的AI代理在标准CRM任务中表现欠佳，尤其在多步骤任务和客户保密性方面存在明显缺陷。研究团队使用合成数据基准工具CRMArena-Pro测试发现，LLM代理在单步任务中的成功率仅为58%，而多步任务中骤降至35%。

更令人担忧的是，AI代理对敏感信息的识别和处理能力不足，尽管针对性提示可改善，但往往以牺牲任务性能为代价。研究指出，现有基准测试未能充分评估AI代理的实际企业场景适应能力，尤其是数据保密协议遵守情况。

Salesforce CEO曾将AI代理视为高利润机会，但此次研究揭示了当前技术与实际需求间的差距。英国政府计划通过AI代理实现138亿英镑节省，但企业需谨慎评估其可靠性。

10. 特斯拉FSD测试中闯过校车停牌并撞击儿童假人

🔗 engadget.com: Tesla blows past stopped school bus and hits kid-sized dummies in FSD tests

由The Dawn Project组织的测试显示，特斯拉Model Y在奥斯汀的演示中多次无视校车闪烁灯和停车标志，八次撞击儿童尺寸假人。特斯拉的全自动驾驶（FSD）功能虽标注需驾驶员全程监督，但此前已多次引发安全争议，包括2024年一起致摩托车手死亡的华盛顿车祸。创始人丹·奥多德（其公司开发竞品自动驾驶系统）长期批评FSD隐患。尽管特斯拉CEO马斯克强调对Cybercab（原定6月22日发布）的安全”极度偏执”，但测试结果加剧了公众对自动驾驶可靠性的质疑。首辆全自动交付车辆计划于6月28日完成。

11. 当宗教领袖服用裸盖菇素后发生了什么

🔗 nautil.us: What happens when clergy take psilocybin

十年前，33名不同宗教的领袖（包括牧师、拉比、伊斯兰学者等）参与了一项实验，首次服用高剂量裸盖菇素（迷幻蘑菇的主要成分）。研究发现，超过90%的参与者认为这是他们一生中最具精神意义的神圣体验，近半数人甚至视其为最深刻的经历。许多人表示，这次体验提升了他们的宗教领导力，甚至促使一些人后来将致幻剂融入宗教教导中。

然而，实验也存在争议，包括样本偏差（以白人、男性、基督徒为主）和潜在的利益冲突。尽管存在缺陷，研究仍引发了对致幻剂与宗教体验关系的探讨——尽管主流宗教多不提倡使用致幻物质，但它们在部分古老宗教仪式中早有应用。心理学家威廉·詹姆斯也曾通过致幻体验探索宗教哲学。

12. 复古回溯：Rust编译器的初始自举过程揭秘

🔗 graydon2.dreamwidth.org: Retrobootstrapping Rust for some reason

本文记录了作者尝试复现Rust语言初始自举（bootstrapping）和定点验证（fixpoint）过程的技术挑战。2011年4月，Rust团队通过三个阶段完成自举：先用OCaml编写的rustboot编译器生成stage0 rustc，再用stage0编译出stage1，最终验证stage1与stage2的二进制一致性。由于工具链严重位腐烂（bit rot），作者不得不使用Debian的旧版Docker镜像（squeeze/i386）重建环境，并手动确定正确的LLVM版本（SVN 129087）。复现结果显示，早期LLVM仅将性能提升2倍，但代码体积增大3倍，与现今600k行代码的rustc相比，初版25k行的编译器自举速度更快但功能极为有限。这一过程揭示了语言演进中工具链兼容性的脆弱性。

13. Go语言中的OpenTelemetry：性能开销实测

🔗 coroot.com: OpenTelemetry for Go: Measuring overhead costs

本文探讨了在Go语言中使用OpenTelemetry进行应用监控时的性能开销问题。作者通过实际测试分析了引入OpenTelemetry后对应用运行效率的影响，重点关注了追踪数据采集和指标导出等关键环节的额外资源消耗。文章为开发者提供了优化监控配置的建议，帮助平衡观测需求与系统性能。测试结果表明，虽然OpenTelemetry会带来一定开销，但通过合理配置可以将其控制在可接受范围内。

14. 《自然》期刊将全面推行透明同行评审制度

🔗 nature.com: Transparent peer review to be extended to all of Nature’s research papers

自2020年起，《自然》为作者提供了公开同行评审文件的选项，而《自然-通讯》自2016年已实施这一政策。从6月16日起，所有新提交至《自然》的研究论文将自动附上审稿报告和作者回复，但审稿人身份默认匿名（除非自愿公开）。此举旨在揭开科学出版的“黑箱”，增强研究过程的透明度和公信力。

同行评审是论文成稿的关键环节，通过数月讨论提升研究的严谨性。公开评审内容不仅有助于早期科研人员学习，还能丰富科学传播，展现结论形成的完整背景。尽管科学知识随证据更新而演变，但传统上这些讨论往往未被记录。《自然》希望此举能推动学界更开放地分享评审过程，将其视为科学记录的重要部分。

此前三年试点显示，透明评审广受支持。疫情期间，公众曾目睹科学讨论的实时进展，而常态下这些交流多被隐藏。此次改革延续了《自然》1973年引入全面同行评审的传统，进一步推动科研评估与时俱进。

15. 自闭症中的物品拟人化：不读这篇论文它会伤心（2018）

🔗 pubmed.ncbi.nlm.nih.gov: Object personification in autism: This paper will be sad if you don’t read (2018)

该研究探讨了自闭症个体普遍存在的物品拟人化现象（赋予非人类物体人类特征）。尽管约半数自闭症患者存在自身情绪识别困难，但网络调查显示，87名自闭症成人比263名非自闭症对照组更频繁（且多在成年后）对物品产生共情。这种看似矛盾的现象可能源于独特的感知方式，且许多自闭症者报告此类体验带来困扰。研究强调需进一步探索成因并提供支持，关键词包括拟人化、自闭症谱系障碍及认知感知。

16. “无聊男子俱乐部”：在平凡中寻找共鸣的幽默乌托邦

🔗 theguardian.com: Dull Men’s Club

这篇文章介绍了国际性社群“无聊男子俱乐部”的独特文化。该俱乐部由Grover Click于1980年代创立，最初是纽约一群自嘲“无聊”的男性发起的玩笑组织，如今已发展为拥有数百万成员的线上社群，成员以反讽式幽默分享日常琐事，如追踪飞机航线、收集旧洗衣机等“无聊”爱好。

俱乐部核心精神是对抗浮躁网络文化，推崇平凡生活的诗意。成员通过“比谁更无聊”的竞赛式互动，形成独特的温暖社群。文章特别聚焦85岁澳大利亚成员Andrew McKean，他将养老院生活的孤独转化为动人文字，在俱乐部找到情感共鸣。创始人指出，这种对微小事物的专注实则是日本“ikigai”（生存意义）的体现——在庸常中发掘生命的意义。

（注：原文虚构日期“2025年”保留为背景设定，未作修改）

17. DRM技术正在监视你：浏览器Widevine加密媒体的隐私隐患（2023）

🔗 hal.science: Privacy implications of browsers’ (mis)implementations of Widevine EME (2023)

这篇研究揭示了浏览器中Widevine数字版权管理（DRM）技术的潜在隐私风险。作为主流媒体平台（如Netflix、Spotify）的核心加密组件，Widevine通过加密媒体扩展（EME）实现内容保护，但研究发现其可能通过硬件级身份标识和持久化设备指纹追踪用户行为。论文指出，即便用户启用隐私模式或更换IP，Widevine仍能通过底层系统信息（如TEE可信执行环境）跨会话识别设备。作者呼吁重新评估DRM技术的隐私平衡，建议开发者采用更透明的权限控制模型。

18. 开源RISC-V核心的能效评估：超标量与乱序执行架构分析

🔗 arxiv.org: Open-Source RISC-V: Energy Efficiency of Superscalar, Out-of-Order Execution

这篇论文探讨了开源RISC-V核心在高性能计算领域的应用挑战与优化方案。研究团队针对当前主流开源RISC-V核心（如BOOM、香山）存在的工业EDA工具支持不足，或像玄铁C910这类采用非标准接口的问题，提出了两项关键改进：一是对C910核心进行标准化改造，使其完全符合RISC-V规范；二是开发了CVA6S+——基于工业级开源CVA6核心的双发射增强版本，性能提升34.4%。

通过22nm工艺下的实测对比（CVA6单发射顺序执行、CVA6S+双发射顺序执行、C910超标量乱序执行），研究发现：虽然C910的IPC性能比基础CVA6提升119.5%，但CVA6S+在面积效率（GOPS/mm²）上领先，而C910则展现出优异的能效比（GOPS/W）。这一结果颠覆了传统认知，证明高性能超标量乱序架构未必以牺牲能效为代价。研究采用统一的Cheshire开源SoC平台，为不同微架构提供了公平的对比基准。

19. 芬兰启用全球最大沙电池，经济性优势显著

🔗 techcrunch.com: Finland warms up the world’s largest sand battery, the economics look appealing

芬兰近日启动了全球最大的沙基电池，这是一种利用沙子或碎石储存热能的热储能系统。该电池通过可再生能源电力加热沙子，储存的热能可用于建筑供暖等用途。位于Pornainen镇的装置使用废弃皂石作为储热介质，成本极低。

这座直径15米的绝缘仓内装有2000吨碎石，可为小镇区域供热网络替代60%的木屑燃料，冬季储热能力达1000兆瓦时（满足一周供暖需求），热损失仅10%-15%。芬兰电网以可再生能源（43%）和核电（26%）为主，电价不足0.08欧元/千瓦时（欧盟均价一半），进一步提升了经济性。

相比锂离子电池（约115美元/千瓦时），沙电池原型成本仅25美元/千瓦时。全球多家初创公司正探索不同材料的热电池技术，如苏格兰Sunamp的相变材料、美国ETS的耐高温砖等。该项目未公开造价，但低廉的原料和简单结构使其成为极具潜力的清洁能源解决方案。

20. BIC水晶圆珠笔：史上最成功的产品是如何炼成的

🔗 openculture.com: How the BIC Cristal ballpoint pen became ubiquitous

BIC水晶圆珠笔被誉为史上最成功的产品之一，自1950年问世以来，全球销量超过1000亿支。其成功源于革命性设计：采用瑞士制表技术精密打造的不锈钢滚珠、透明塑料笔身可观察墨量、六角形防滚设计，以及耐摔的聚丙烯笔帽。创始人马塞尔·比克（Marcel Bich）通过工业化生产将成本压至约2美元，彻底改变了书写工具的可及性。

相比早期的羽毛笔和昂贵的钢笔，BIC水晶笔以极低成本和可靠性能成为大众首选。尽管现代科技产品层出不穷，这款“技术极简主义”的经典设计至今未被超越，甚至被调侃为“关键时刻总没墨”的“缺陷美”象征。

21. ZjsComponent：一种轻量级、无依赖的Web组件化开发方案

🔗 arxiv.org: ZjsComponent: A Pragmatic Approach to Reusable UI Fragments for Web Development

该论文提出了ZjsComponent，一个轻量且框架无关的Web组件解决方案，旨在通过最小化开发成本实现模块化、可复用的UI元素。与传统方案不同，它无需构建步骤、转译或特定生态系统，仅需浏览器支持原生Web Components即可运行。其核心优势包括动态加载HTML+JS片段、强隔离性以及简洁的生命周期钩子，同时保留类实例的传统方法特性。这一设计特别适合追求低复杂度、高可维护性的前端开发场景。

22. OCaml编写的脚本运行与跨平台编译工具：dk

🔗 diskuv.com: Show HN: dk – A script runner and cross-compiler, written in OCaml

dk是一款用OCaml编写的脚本运行器和跨平台编译器，旨在帮助编程基础有限的用户开发安全导向的应用程序。它通过易用性、跨平台支持和IDE集成解决了“README依赖症”——用户因复杂安装步骤而放弃使用的问题。

工具提供快速入门指南、运行时支持（Windows/macOS/Linux）、脚本组织规范（dk Parties）及库/宏参考手册。进阶用户可参考《从OCaml迁移指南》。其命令行工具涵盖脚本执行（dk-Run）、嵌入编译（dk-Embed）等，并内置网络、文件系统等模块。

示例包括Stripe Webhook集成、Android应用数据层嵌入等实际案例，展现其生产级适用性。dk强调安全设计与跨平台兼容性，适合从新手到OCaml开发者的多层级需求。

23. 几何与PostScript绘图手册：数学图示指南

🔗 personal.math.ubc.ca: Mathematical Illustrations: A Manual of Geometry and PostScript

本书是Bill Casselman编写的数学绘图指南，涵盖几何与PostScript编程，自1996年起在线发布并持续更新，后由剑桥大学出版社出版350页纸质版。书中包含15章核心内容，涉及二维/三维图形绘制、坐标变换、递归等高级技巧，并附有PostScript命令速查、环境配置等实用附录。

作者特别感谢匿名审稿人和编辑Lauren Cowles的贡献，并声明2004年后仅修正错误。读者可免费访问在线版本，但禁止二次传播。学习需安装PostScript解释器（如Ghostscript），书中提供大量代码示例（如多面体建模、曲面渲染）及扩展工具包。

推荐资源包括Adobe官方手册、Devroye的PostScript专题页，以及数学图示在学术论证中的应用探讨。本书强调可视化在数学教学中的价值，适合需要技术绘图的研究者与教育工作者。

24. 真诚是赢得战争的关键

🔗 wheresyoured.at: Sincerity Wins the War

作者宣布推出付费订阅专栏（每周五更新，7美元/月），同时保留免费内容。核心观点直指媒体行业的弊病：报道缺乏真诚与问责。

文章痛批媒体盲目复述企业高管言论却不加质疑，例如Meta与军事承包商Anduril合作的“AI头盔”报道中，“元宇宙”概念被反复炒作，尽管其早已被证实为失败项目。作者质问：军方怎会依赖漏洞百出的LLM（如Meta的Llama）？

另一案例是Anthropic CEO关于“AI将取代50%初级白领工作”的言论，媒体未经核实便大肆传播，而CNN记者Allison Morrow的批判性报道成为行业典范。最后，作者讽刺《纽约时报》专栏作家Kevin Roose用道听途说的“证据”渲染AI失业恐慌，却忽视真实数据。

全文呼吁媒体应坚守事实核查与批判性思维，而非沦为资本或权贵的传声筒。

25. 突破二次方瓶颈：面向超长上下文的无注意力大语言模型

🔗 arxiv.org: Breaking Quadratic Barriers: A Non-Attention LLM for Ultra-Long Context Horizons

该研究提出了一种非基于注意力机制的新型大语言模型架构，能够高效处理长达数十万至数百万token的上下文窗口。与传统Transformer模型因自注意力机制导致二次方计算复杂度不同，该模型完全避免了token间注意力计算，转而采用以下关键组件：状态空间块（受S4启发，通过连续时间卷积核实现近线性扩展）、多分辨率卷积层（捕捉不同膨胀级别的局部上下文）、轻量级循环监督器（维护跨序列块的全局隐藏状态）以及检索增强外部记忆（存储高维块嵌入而不引入二次运算）。这一创新设计有望解决长序列处理中的计算效率难题。