1. 用Rust重写tmux：一个业余项目的探索之旅；
2. 代码即工具：AI时代的自动化本质；
3. 我的开源项目被YC公司窃取并重新授权；
4. 谷歌开源零知识证明技术，推动隐私保护新纪元；
5. 农民电磁炮：DND规则下的荒谬战术；

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

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

1. 用Rust重写tmux：一个业余项目的探索之旅

🔗 richardscollin.github.io: Introducing tmux-rs

开发者Collin Richards耗时6个月将tmux从C语言移植到Rust，最终代码库达到8.1万行（不含注释）。项目始于尝试C2Rust工具，但生成的Rust代码冗长且难以维护，最终选择手动重写。过程中遇到许多挑战：

1. 构建系统：结合autotools与Rust的cc crate，逐步将C文件替换为Rust实现，最终转为以Rust为主体的构建流程。
2. 典型Bug：如C隐式函数声明导致指针截断、结构体类型定义错误引发段错误，凸显跨语言移植的细节陷阱。
3. C模式适配：处理原始指针、模拟goto逻辑、重构侵入式宏数据结构（如红黑树），并重写yacc解析器。

作者坦言项目纯属兴趣驱动，类似“园艺”，但收获了深度理解tmux和Rust实践经验。

2. 代码即工具：AI时代的自动化本质

🔗 lucumr.pocoo.org: Tools: Code Is All You Need

Armin Ronacher在本文中批判了当前MCP（多组件管道）的局限性，认为其依赖推理推断和过高上下文成本，远不如直接生成代码高效。他以GitHub任务为例，证明传统CLI工具比MCP更节省上下文。

核心观点在于：自动化应通过代码实现，而非依赖实时推理。例如，他用LLM将博客从reStructuredText转为Markdown时，要求生成可审查的代码脚本而非直接转换，从而确保结果可靠且可迭代。这种“LLM生成代码→人工/LLM审查→批量执行”的模式，尤其适合重复性任务。

作者承认MCP在特定场景（如Playwright浏览器控制）的价值，但强调代码生成在规模化自动化中的优势——无需重复推理、成本可控且易于调试。最后，他呼吁探索代码生成与MCP优势结合的抽象层，例如让LLM解释生成代码的逻辑，以服务非技术用户。

3. 我的开源项目被YC公司窃取并重新授权

🔗 twitter.com: My open source project was relicensed by a YC company [license updated]

原文内容因JavaScript禁用无法显示，提示用户启用JavaScript或更换浏览器以继续使用x.com（原Twitter）。页面底部包含帮助中心、服务条款等常规链接，并标注版权归属X Corp。由于内容实际未加载，推测作者本想控诉某YC创业公司违反开源协议，擅自将其开源项目闭源并更换许可证，但具体细节因技术限制未能呈现。此类事件在开源社区常引发关于商业伦理的争议。

4. 谷歌开源零知识证明技术，推动隐私保护新纪元

🔗 blog.google: Opening up ‘Zero-Knowledge Proof’ technology

2025年7月3日，谷歌钱包产品经理Alan Stapelberg宣布开源零知识证明（ZKP）库，旨在支持欧盟年龄验证需求，同时提升数字生态隐私性。该技术允许用户无需共享额外数据即可验证特定信息（如年龄），为开发者、企业和研究者提供高效工具，助力隐私优先应用开发。

此举响应欧盟2026年生效的《eIDAS法规》，推动欧洲数字身份钱包（EUDI Wallet）集成ZKP等隐私增强技术。开源代码库已发布于GitHub，欢迎社区探索协作。

5. 农民电磁炮：DND规则下的荒谬战术

🔗 knightsdigest.com: Peasant Railgun

这篇趣文解释了《龙与地下城》玩家社区中著名的农民电磁炮理论：通过2280名农民排成两英里长的队列，在6秒内传递木棍，利用游戏规则使木棍加速至1900英里/小时，最终造成300d6伤害。该战术结合了准备动作、战斗轮时间规则和坠落物体伤害计算，但完全违背现实物理——高速传递会撕裂农民的手臂，且无人能瞄准目标。尽管规则上可行，但作者调侃道：“你的DM绝不会允许”，不过作为搞笑单次剧情或许值得一试。

6. “漂泊模式”——凯文·凯利谈另一种成就卓越的方式

🔗 joincolossus.com: Flounder Mode – Kevin Kelly on a different way to do great work

凯文·凯利（Kevin Kelly）以“好莱坞式”工作法闻名——通过一系列创意项目而非单一“独角兽”企业实现影响力。他曾参与创办《连线》杂志、早期在线社区WELL，并撰写多部涉及科技、文化的书籍。他的理念如“1000名铁杆粉丝”（创作者经济基石）和长期项目“万年钟”体现了对多元探索的坚持。

作者Brie Wolfson通过拜访凯利的杂乱而充满灵感的工作室，反思自身职业路径：在硅谷崇尚“独角兽”文化的环境中，她曾以跳槽、追求趣味为荣，却逐渐质疑这种“漂泊”是否限制了自己的潜力。凯利则认为，“方向比目的地更重要”，真正的价值在于持续学习与分享兴趣，而非传统意义上的“成功”。文章探讨了非主流职业选择的意义与矛盾，引发对工作本质的思考。

7. AV1大规模应用：胶片颗粒合成的视觉革命

🔗 netflixtechblog.com: AV1@Scale: Film Grain Synthesis, The Awakening

Netflix技术团队通过AV1胶片颗粒合成（FGS）技术，在流媒体中完美还原胶片颗粒的随机性与艺术性，同时显著降低比特率。传统压缩算法难以处理颗粒噪声，而FGS通过自回归模型生成颗粒模板，并结合亮度自适应强度调节，在解码时动态重建颗粒。测试显示，启用FGS后，1080p及以上分辨率内容平均比特率降低36%，且有效掩盖压缩伪影，提升观看体验。目前该技术已全球部署，支持《他们克隆了蒂龙》等影片，为会员带来更流畅、高质的流媒体服务。

8. 穷人的后端即服务(BaaS)：轻量级Firebase替代方案

🔗 github.com: Poor Man’s Back End-as-a-Service (BaaS), Similar to Firebase/Supabase/Pocketbase

该项目是一个极简的后端即服务(BaaS)解决方案，类似Firebase/Supabase但更轻量。核心功能仅用1000行Go代码实现，无第三方依赖，主要特点包括：CSV文件存储（支持版本记录）、REST API、基于会话和Basic Auth的认证系统、RBAC权限控制，以及通过SSE实现的实时更新。数据以人类可读的CSV格式存储，每行代表一条记录，更新采用追加模式并自动维护内存索引。

系统通过_schemas.csv定义JSON到CSV的字段映射，支持文本、数字和列表类型。用户和权限分别通过_users.csv和_permissions.csv管理，其中权限规则支持角色校验和所有者校验。API提供资源的CRUD操作和事件流端点，支持模板渲染与静态文件服务，并允许通过钩子函数扩展逻辑（如在创建记录时自动添加作者字段）。

项目强调代码精简，仅接受错误修复和测试类贡献，采用MIT协议开源。适合需要快速搭建轻量级后端且注重透明数据存储的场景。

9. 南极洋环流发生重大逆转，或加速气候变化

🔗 icm.csic.es: Major reversal in ocean circulation detected in the Southern Ocean

国际科学家团队通过卫星数据首次发现南极洋环流（SMOC）出现逆转现象，这一发现由英国国家海洋学中心主导，并发表在《PNAS》期刊上。研究显示，自2016年起，南极洋极地与亚极地环流间海域的表层盐度持续上升，表明深层环流不仅减弱，更已完全逆转——原本应下沉的表层水被富含热量和二氧化碳的深层水取代。

这一逆转可能加倍大气二氧化碳浓度，加速南极海冰融化，并对全球气候产生连锁影响。西班牙海洋科学研究所（ICM-CSIC）开发的卫星算法（SO-FRESH项目）为突破性发现提供了关键技术支持。研究人员警告，SMOC的崩溃可能进一步扰动北大西洋环流（AMOC），威胁欧洲等地气候稳定。

团队已启动新项目（ARCTIC-FLOW和CCI OSHF），以深化对极地气候系统的监测。学者强调：“我们正在跨越临界点，而卫星技术让这些隐形危机显形。”

10. 我的冯·布劳恩旋转太空站在哪里？

🔗 angadh.com: Where is my von Braun wheel?

1962年，NASA曾拥有可提供人工重力的旋转轮式空间站设计，但阿波罗计划将其搁置。这一决定导致人类长期依赖小型零重力空间站，引发宇航员肌肉萎缩、骨质流失和视力问题等健康隐患。

冯·布劳恩等早期太空先驱认为，旋转结构是解决微重力危害的关键。然而，工程挑战巨大：大型结构需缓慢旋转以避免眩晕，但火箭运载能力限制了尺寸。国际空间站（ISS）的模块化组装方式效率低下，难以扩展至冯·布劳恩设想的80人居住规模。

阿波罗计划后，NASA转向渐进式发展，放弃了单元化空间站（如充气轮胎或刚性六边形设计）的雄心。如今，商业公司如Vast正重启人工重力站计划，但其2035年目标仍受模块化限制，无法完全实现早期愿景。这段历史揭示了太空探索中雄心与妥协的永恒博弈。

11. uv构建后端现已稳定发布

🔗 docs.astral.sh: The uv build back end is now stable

uv构建后端（uv_build）作为高性能原生解决方案，现已结束测试阶段。它深度集成于uv工具链，默认零配置即可适配多数Python项目，提供元数据校验、结构规范检查等防护机制，并显著提升构建速度。目前仅支持纯Python代码，需搭配其他后端编译扩展模块。

用户可通过pyproject.toml的[build-system]段切换至该后端，或使用uv init --build-backend uv创建新项目。其独特设计包含模块自动规范化（如将Foo-Bar转为foo_bar）、命名空间包支持（通过module-name="foo.bar"配置）及类型存根包（-stubs后缀）构建能力。

文件筛选采用锚定包含+全局排除策略，默认过滤编译缓存文件。构建时自动处理pyproject.toml、许可证等关键文件，并通过data目录管理资源文件。该后端以独立包形式发布，但uv主程序已内置兼容版本以优化性能。

12. 风能编织工厂

🔗 merelkarhof.nl: Wind Knitting Factory

风能编织工厂是一个安装在建筑立面上的风力驱动编织机。其叶片直径超过一米，通过捕捉风力驱动机器运转，沿建筑外墙向下编织长围巾。风速决定编织速度——风大时织得快，风小时织得慢。编织好的织物从立面顶端垂下，通过窗户进入室内，人们可以观察到它逐渐变长。这些织物定期被“收割”并制成围巾，每条围巾附有标签，标明风力编织的日期和时间。

该项目介于公共与私人空间之间，直观展示了利用城市风能的生产过程，体现了可持续设计的创意。

13. 自制HN内容推荐工具：个性化帖子排名生成器

🔗 hackernews.coffee: Show HN: HomeBrew HN – Generate personal context for content ranking

这是一款名为HomeBrew HN的工具，用户可通过点击“获取推荐”查看个性化排序的Hacker News帖子。该工具由Leo、Lewis和Steffan在伦敦开发，支持刷新帖子或编辑个人资料以优化推荐结果。其核心功能是为用户生成个人上下文，从而提升内容排名的相关性，让阅读体验更贴合个人兴趣。

14. AI成本下降神话终结？Gemini Flash涨价发出警告

🔗 sutro.sh: The End of Moore’s Law for AI? Gemini Flash Offers a Warning

谷歌近期悄然提高了Gemini 2.5 Flash模型的价格，输入令牌成本翻倍，输出令牌价格涨至四倍以上，同时推出性能更低的“Flash Lite”版本。这一举动打破了AI行业长期以来的“摩尔定律”式预期——即模型能力提升伴随成本持续下降。

核心原因在于LLM服务的真实成本结构：模型推理的吞吐量受硬件、架构、工作负载形态（输入/输出令牌比例）等多重因素影响，而长序列任务因二次方计算复杂度导致边际成本激增。谷歌此次调价表明，行业已触及由硬件性能、能源消耗和数据瓶颈共同构成的成本软底，未来优化空间有限。

这一转折意味着开发者需调整策略：实时API将更昂贵，而非实时批处理任务和开源模型的经济优势将进一步凸显。谷歌的决策或预示其他厂商跟进，终结“算力补贴”时代。

15. 行为局部性：提升代码可维护性的关键原则

🔗 htmx.org: Locality of Behaviour (2020)

行为局部性（LoB） 的核心思想是：代码单元的行为应尽可能通过查看该单元本身就能理解。这一原则源自Richard Gabriel的观点，强调代码的局部性对维护的重要性。

例如，对比htmx和jQuery的AJAX实现：htmx的按钮行为直接通过属性声明（如hx-get），而jQuery的行为分散在多个文件中，导致理解成本更高。前者符合LoB，后者则因“远距离幽灵行为”增加维护难度。

LoB常与其他原则冲突，如DRY（避免重复）和SoC（关注点分离）。例如，DRY可能通过父元素共享属性减少冗余，但会削弱LoB；而SoC将HTML、CSS、JS分离时，行为变更的源头难以追踪。开发者需权衡这些主观取舍。

尽管存在冲突，遵循LoB能显著提升代码的可维护性和可读性。关键在于平衡系统限制与其他设计原则，使代码更人性化。

16. AI助力科研：人工智能在科学研究中的应用综述

🔗 arxiv.org: AI for Scientific Search

这篇发布于arXiv的论文《AI4Research: A Survey of Artificial Intelligence for Scientific Research》由陈启光等16位作者联合撰写，系统梳理了人工智能（AI）在科研领域的应用现状与未来方向。文章指出，以大语言模型（LLMs）为代表的AI技术已在逻辑推理、实验编码等复杂任务中展现出潜力，但缺乏对“AI4Research”领域的全局性总结。为此，作者提出三大贡献：

1. 系统分类框架：将AI驱动的科研任务划分为五大主流方向；
2. 前沿方向：指出自动化实验的严谨性、可扩展性及社会影响等关键挑战；
3. 资源整合：汇总跨学科应用、数据集与工具库，助力研究者快速获取资源。

论文旨在推动AI与科研的深度融合，为后续创新提供参考。

17. 明信片（Postcard）现已开源

🔗 contraption.co: Postcard is now open source

2022年，Philip I. Thomas推出了Postcard，一个结合个人网站与新闻通讯的工具，旨在替代社交媒体，通过邮件与朋友保持联系。该工具托管了他的个人网站philipithomas.com，并每月发布动态。尽管收入微薄（每月仅几十美元），但因其简单可靠的特性，至今仍有大量用户使用。

如今，Thomas决定将Postcard开源，原因包括：更新频率低、开发者贡献请求增多，以及不再追求商业收益。开源版本支持“Solo”模式，简化单站点部署，而原托管服务仍保留多用户、自定义域名等功能。代码基于Ruby on Rails，依赖少，易于定制，并提供Docker和Render部署支持。

开源地址：github.com/contraptionco/postcard，欢迎 fork 和二次开发！

18. 克利夫兰码头现神秘未知生命体

🔗 cleveland.com: Mysterious life form found on ship that docked in Cleveland

去年夏天，停靠克利夫兰的研究船“蓝鹭号”在维修时发现了一种黑色粘稠物质，经科学家分析可能为全新生命形式。该物质从船舵柱渗出，不溶于水且耐高温，引起船员和微生物生态学家Cody Sheik的关注。DNA测序显示其中包含约20种基因组，包括一个完全未知的序列（暂命名为ShipGoo001），推测为单细胞生物。研究者认为，这一发现揭示了生命可能存在于船舶等人工环境中，并呼吁更多探索“随机样本”。目前未发现该物质对环境或船舶有害，但其具体形态和来源仍需进一步研究。

19. 高保真实时语音到语音翻译模型Hibiki

🔗 arxiv.org: High-Fidelity Simultaneous Speech-to-Speech Translation

该研究提出了一种名为Hibiki的解码器专用模型，用于实现实时语音翻译。与传统连续翻译不同，Hibiki采用多流语言模型同步处理源语音和目标语音，联合生成文本和音频令牌，同时完成语音到文本和语音到语音的翻译。其核心创新在于通过弱监督方法，利用现成文本翻译系统的困惑度确定逐词最优延迟，生成对齐的合成数据，从而实现自适应分块翻译。在法语-英语实时翻译任务中，Hibiki在翻译质量、说话人音色保真度和自然度方面均达到最先进水平。该模型推理过程简洁，支持批量翻译甚至设备端实时部署。研究团队公开了示例、模型及推理代码。

20. 全新开源导航应用CoMaps上线：隐私优先，社区驱动

🔗 comaps.app: CoMaps: New OSM based navigation app

CoMaps是一款基于OpenStreetMap的开源导航应用，现已登陆Google Play、Apple App Store和F-Droid。其核心优势包括离线搜索与路线规划、低耗电设计以及严格隐私保护（无用户追踪、无数据收集）。作为社区驱动项目，CoMaps坚持透明公开的开发流程，所有决策均由社区参与，且完全免费无广告。该应用以创造公共价值为目标，而非盈利，用户可直接参与功能演进。立即下载，体验由社区赋能的纯净导航！

21. 《毁灭战士并未扼杀Amiga电脑》（2024）

🔗 datagubbe.se: Doom Didn’t Kill the Amiga (2024)

本文通过一位Amiga忠实用户的视角，回顾了这一经典电脑在90年代的兴衰。作者在1992年购入Amiga 500+，其卓越的图形、音效和Deluxe Paint绘图软件远超同期PC。尽管PC硬件因摩尔定律快速迭代，Amiga凭借独特的多任务处理和高效架构仍保持竞争力。1993年《毁灭战士》的流行被视为PC崛起的象征，但作者指出Amiga的衰落实因Commodore公司决策失误与市场变化，而非单一游戏。直至1995年，作者仍坚守Amiga平台，欣赏其优雅的工作流，但最终PC的性价比和CD-ROM等新硬件终结了Amiga的时代。全文既是对技术的复盘，亦是对青春记忆的温情追忆。

22. FPGA并行加速SHA256计算的密码破解实践

🔗 controlpaths.com: Parallelizing SHA256 Calculation on FPGA

本文介绍了在FPGA上优化SHA-256哈希计算的方法。作者通过重构原有设计，将单核计算（68时钟周期/次）升级为12个并行计算核心，显著提升吞吐量。关键改进包括：共享预计算的K矩阵以减少逻辑资源占用，以及并行初始化W矩阵以消除AXI Stream接口瓶颈。

项目应用为密码破解系统，通过Litefury FPGA板卡与树莓派5（PCIe连接）协同工作，以62.5MHz时钟频率遍历所有可打印ASCII组合（95^n种可能），并实时比对目标哈希值。主机端Python驱动通过xDMA接口管理FPGA，最终成功还原示例字符串”eoi”的原始输入。

该案例展示了FPGA在密码学加速领域的潜力，其并行架构可高效处理密集型计算任务。未来FPGA在网络安全中的应用前景广阔。完整代码已开源。

23. 美国众议院通过特朗普标志性税收法案

🔗 apnews.com: House passes Trump’s signature bill

美国众议院通过了特朗普总统提出的重大税收改革法案，目前已提交总统签署。该法案若生效，可能导致数百万美国人失去医疗保险，同时引发对清洁能源行业的冲击。法案中还包含一项争议条款，要求最高法院撤销消费者产品安全委员会中三名民主党成员的职务。此外，特朗普政府同日宣布与越南达成贸易协议，允许美国商品免税进入越南市场。

24. 基于eBPF的广告防火墙：eBAF

🔗 github.com: EBAF – eBPF Based Ad Firewall

eBAF是一款开源广告拦截工具，专门针对Spotify等平台的广告，利用eBPF技术在内核层级高效拦截广告流量。它通过动态更新IP黑名单、提供实时数据面板，并以极低资源占用实现高性能过滤。项目强调对当前广告剥削模式的抵制——用户时间被变相售卖，而创作者收益微薄。安装方式简单，支持主流Linux系统，包含开发者构建指南。核心功能包括：XDP快速封包、域名实时解析、Web监控界面，并默认集成Spotify广告域名列表。项目呼吁用户拒绝被动接受广告体系，同时遵循GPL-3.0协议保持透明。

25. 开源社交媒体研究工具Yurei：基于Exa AI与YouTube API

🔗 github.com: Yurei – Open source social media researcher powered by Exa AI API and YouTube v3

Yurei是一款开源社交媒体研究工具，目前仍在开发中，暂未正式上线。该项目基于Vercel AI SDK构建，整合了Exa AI API和YouTube Data API v3，支持从YouTube、Reddit等平台抓取内容（LinkedIn功能暂不稳定），并采用Grok-21212作为底层大语言模型。

开发者可通过克隆仓库、配置环境变量（需提供YouTube、Exa等API密钥）本地运行，技术栈包含Next.js、Tailwind CSS和Supabase。项目采用Apache 2.0许可证，已获10颗GitHub星标。当前功能包括视频与帖子搜索，适合对社交媒体数据挖掘感兴趣的开发者参与测试或贡献。