1. 因拒付5万美元安装费，他自建光纤网络惠及数百家庭；
2. OpenAI Codex CLI：终端轻量级编程助手；
3. 达尔文的孩子在《物种起源》手稿上涂鸦（2014）；
4. CVE基金会正式成立，确保全球漏洞管理生态长期稳定；
5. 温馨提示：K-Mart顾客请注意；

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

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

1. 因拒付5万美元安装费，他自建光纤网络惠及数百家庭

🔗 arstechnica.com: Man who built ISP instead of paying Comcast expands to hundreds of homes (2022)

美国密歇根州的Jared Mauch因无法从AT&T或康卡斯特获得可靠宽带服务，自建了光纤到户网络。如今，他获得260万美元政府资金支持，将服务扩展至600多户家庭。最初仅为30户提供服务的Washtenaw Fiber Properties公司，现以55美元/月的价格提供100Mbps对称网络，并承诺参与低收入家庭补贴计划。此前，康卡斯特曾向他索要5万美元安装费，而AT&T仅提供1.5Mbps的DSL服务。该项目预计2026年完工，但Mauch计划提前至2023年完成。

2. OpenAI Codex CLI：终端轻量级编程助手

🔗 github.com: OpenAI Codex CLI: Lightweight coding agent that runs in your terminal

OpenAI Codex CLI 是一款运行在终端的轻量级编程助手，支持通过自然语言指令生成、修改和执行代码。它具备以下核心特性：

1. 沙盒安全机制：默认禁用网络并限制文件访问范围，支持三种审批模式（建议/自动编辑/全自动）；
2. 多场景适配：可交互式使用或集成到CI流程，支持通过Markdown文件注入项目上下文；
3. 跨平台兼容：支持macOS（Seatbelt沙盒）、Linux（Docker容器）和WSL2环境。

用户仅需安装npm包并配置OpenAI API密钥，即可快速实现代码重构、生成测试或解释复杂逻辑等任务。项目采用Apache-2.0开源协议，强调安全性与开发者协作规范。

3. 达尔文的孩子在《物种起源》手稿上涂鸦（2014）

🔗 theappendix.net: Darwin’s children drew all over the “On the Origin of Species” manuscript (2014)

2014年达尔文日之际，学者发现《物种起源》手稿残存的28页中，竟有达尔文子女的涂鸦。其中一幅被剑桥大学图书馆命名为《水果蔬菜士兵大战》，推测由三子弗朗西斯所画，融合了植物观察与战争想象。此外，孩子们还绘制了自然素描和家庭场景，甚至“入侵”了母亲艾玛的日记。这些痕迹展现了达尔文家庭生活的鲜活一面，而长女安妮早逝的纪念盒则揭示了科学巨匠背后的温情与伤痛。

4. CVE基金会正式成立，确保全球漏洞管理生态长期稳定

🔗 thecvefoundation.org: CVE Foundation

2025年4月16日，CVE基金会正式成立，旨在维护通用漏洞披露（CVE）计划的长期独立性。该计划作为全球网络安全基础设施的核心，过去25年由美国政府资助运营，但单一政府依赖引发可持续性质疑。由于美国政府终止合同，CVE董事会成员组建了这一非营利基金会，专注于漏洞标识管理和全球防御数据完整性。基金会将消除单点故障，推动社区化治理，适应跨国威胁格局。详情将通过官网陆续发布。

5. 温馨提示：K-Mart顾客请注意

🔗 archive.org: Attention K-Mart Shoppers

您将被重定向至archive.org的轻量版页面。该操作旨在提升加载速度，尤其适用于网络环境较差的用户。关键需求包括确保兼容性与基础功能可用，同时减少数据消耗。请留意页面可能存在的功能限制。

6. Zoom服务中断：因域名被误关导致全球访问故障

🔗 status.zoom.us: Zoom outage caused by accidental ‘shutting down’ of the zoom.us domain

4月16日，zoom.us域名因注册商Markmonitor与GoDaddy Registry之间的通信错误被意外关闭，导致全球用户约2小时无法访问Zoom服务。故障并非Zoom自身系统问题，三方已协作恢复并承诺改进流程。若仍遇连接问题，建议刷新DNS缓存。受影响服务包括会议、电话、客服中心及官网。

7. 重现Hacker News用户写作风格指纹分析

🔗 antirez.com: Reproducing Hacker News writing style fingerprinting

该研究探讨如何通过文本特征分析识别Hacker News用户的独特写作风格，类似数字指纹。实验可能涉及机器学习模型或统计模式提取，以区分不同作者的用词习惯、句式结构等。核心目标是验证写作风格能否作为身份识别的可靠指标，或用于社区内容治理。

8. 用Jellyfin替代Spotify的音乐自主之路

🔗 coppolaemilio.com: Jellyfin as a Spotify alternative

作者放弃Spotify后尝试了多种本地音乐播放方案（如Winamp、VLC、foobar2000），均因功能局限或体验不佳放弃。随后自建网页播放器，但受限于离线访问问题。短暂使用苹果Music后，受YouTube视频启发转向自托管Jellyfin——支持跨设备同步、离线下载（通过Finamp等客户端），且无需专业设备（旧电脑即可搭建服务器）。这一方案不仅解决了音乐管理痛点，还推动作者探索自托管生态（如Immich）。开源工具让用户摆脱平台依赖，掌控数字资产成为可能。

9. 欧盟漏洞数据库（EUVD）

🔗 euvd.enisa.europa.eu: European Union Vulnerability Database (EUVD)

该内容提示用户需启用JavaScript才能运行此应用。主要介绍了欧盟漏洞数据库的相关信息，这是一个用于记录和管理漏洞的平台。关键点包括其功能及技术要求，强调JavaScript为必要运行条件。

10. 匿名组织曝光10TB数据：揭露克里姆林宫资产与俄罗斯商业内幕

🔗 trendsnewsline.com: Anonymous Release 10TB Leaked Data Exposing Kremlin Assets, Russian Businesses

匿名黑客组织发布10TB泄露数据，内容涵盖俄罗斯境内所有企业、克里姆林宫在西方国家的资产及亲俄官员信息。此举被视为对俄乌冲突的网络 activism重大行动，旨在削弱俄罗斯政府影响力。数据曝光可能引发国际关系震荡，同时引发关于网络安全与透明度的伦理争议。支持者赞其揭露腐败，批评者则担忧信息滥用风险。事件再次凸显匿名组织在数字时代的政治影响力。

11. 任天堂如何用法律手段绞杀雅达利游戏

🔗 thereader.mitpress.mit.edu: How Nintendo bled Atari games to death

本文揭示了任天堂通过法律战而非市场竞争击败雅达利的关键历史。1980年代，雅达利试图绕过任天堂NES主机的锁芯芯片（10NES），通过反向工程推出未授权卡带（如《俄罗斯方块》）。尽管法院裁定反向工程属于合理使用，但雅达利因欺诈获取代码（谎称诉讼需要）被剥夺辩护权，最终被任天堂拖垮。这一案例奠定了游戏行业硬件控制内容的商业模式，影响至今。

12. 赛斯·罗根怒怼亿万富豪遭视频删减

🔗 kottke.org: Seth Rogen Speaks Truth to Billionaires, Gets Censored for It

在今年的“科学突破奖”颁奖礼上，演员赛斯·罗根与爱德华·诺顿共同颁发物理学奖项时，公开批评特朗普政府破坏美国科研环境，并暗指在场富豪（如扎克伯格、贝索斯等）资助的政客导致科学事业受损。他的发言在直播中播出，但后续发布的YouTube官方视频中相关内容被删除。目前未公开完整未删减版本。事件引发对言论审查及富豪政治影响力的讨论。

13. 易受攻击的MCP教学服务器

🔗 github.com: Damn Vulnerable MCP Server

该项目是一个故意设计漏洞的Model Context Protocol（MCP）实现，用于教育目的。包含10个难度递增的挑战，展示提示注入、工具污染、权限滥用等安全风险。通过Docker快速部署，适合开发者学习MCP协议的安全隐患及防御措施。项目采用MIT许可，强调切勿在生产环境使用这些漏洞设计。

14. JetBrains IDE全面拥抱AI：推出智能编程助手Junie与免费套餐

🔗 blog.jetbrains.com: JetBrains IDEs Go AI: Coding Agent, Smarter Assistance, Free Tier

JetBrains宣布在其IDE中集成AI助手和全新编程代理Junie，所有工具可通过单一订阅使用，并新增免费套餐。Junie由Anthropic的Claude和OpenAI大模型驱动，能处理复杂任务并提升代码质量。AI助手支持多模型选项（如Claude 3.7、Gemini 2.5），提供更精准的代码补全和跨文件编辑功能。JetBrains强调数据隐私，所有AI工具均注重安全性与透明度。

15. 随机微积分入门：从理论到应用

🔗 bjlkeng.io: An Introduction to Stochastic Calculus (2022)

本文探讨了随机微积分的核心概念及其在物理和金融领域的应用。作者从测度论概率的基础出发，逐步引入随机过程、维纳过程和伊藤积分等关键理论，并解释了如何用随机微分方程（如朗之万方程）建模随机现象。文中还通过布莱克-斯科尔斯期权定价模型等实例，展示了随机微积分的实际价值。尽管主题深奥，但作者力求兼顾直观与严谨，为读者提供了一份深入浅出的学习指南。

16. 一家初创企业的失败复盘：英国住房市场的教训

🔗 buildwithtract.com: A Postmortem of a Startup

2023年至2025年，Tract试图通过优化规划审批流程解决英国住房危机，但最终因商业模式不可行而关闭。尽管开发了AI驱动的规划工具并筹集了74.4万英镑，团队发现房地产市场的保守性和碎片化限制了技术颠覆的空间。关键教训包括：高估市场接受度、过早扩张团队、未聚焦收入验证。创始人建议创业者优先验证市场、保持精简，并警惕传统行业的变革阻力。

17. 6502程序员的奇技淫巧（2019）

🔗 nurpax.github.io: Dirty tricks 6502 programmers use (2019)

这篇文章总结了2019年Commodore 64编程竞赛中使用的6502汇编技巧，目标是绘制两条斜线并以最小字节数实现。获胜者仅用34字节完成。核心技巧包括：利用ROM滚动函数避免手动计算屏幕地址，自修改代码减少指令长度，以及利用开机状态的默认寄存器值和内存内容。此外，通过篡改BASIC启动向量或堆栈返回地址，参赛者跳过了12字节的BASIC头，进一步压缩程序体积。这些方法展现了6502极限优化的创造力。

18. Kaggle与维基媒体基金会合作推出开放数据

🔗 blog.google: Kaggle and the Wikimedia Foundation are partnering on open data

Kaggle平台现托管维基媒体企业版的结构化数据测试版（含法语和英语），专为机器学习优化。该平台拥有超46.1万份免费数据集，供研究者、学生及开发者用于训练与竞赛。维基媒体基金会作为维基百科的运营方，始终秉持开放数据原则。此次合作确保了数据的质量与来源可信度，助力创新项目孵化。

19. Zig语言高性能解析器：速度提升2.75倍，内存减少2.47倍

🔗 github.com: A high-throughput parser for the Zig programming language

该项目开发了一个针对Zig编程语言的高吞吐量解析器，通过SIMD和SWAR技术优化词法分析，显著提升性能。测试显示，新版解析器速度达1.41 GB/s，比原版快2.75倍，内存占用减少2.47倍。关键技术包括向量压缩、完美哈希函数和减少分支预测，同时支持编译时断言确保可维护性。未来计划包括完善UTF-8验证和实现AST解析。

20. Plandex v2：开源AI编程助手，专为大型项目设计

🔗 github.com: Show HN: Plandex v2 – open source AI coding agent for large projects and tasks

Plandex是一款开源AI编程代理工具，专注于处理大型项目和复杂任务。它支持终端操作，能管理高达200万token的上下文，并通过tree-sitter项目地图索引更大规模的代码库。工具提供沙盒环境隔离AI生成的更改，确保项目文件安全，同时支持多模型组合（如Anthropic、OpenAI等）。具备自动化调试和版本控制功能，支持30多种语言，适合需要高精度和灵活性的开发者。安装简便，支持本地或云端部署，是提升大型项目开发效率的强力助手。

21. 将Chromium浏览器移植到Unikernel的开源项目

🔗 github.com: Show HN: We Put Chromium on a Unikernel (OSS Apache 2.0)

该项目通过Unikernel技术实现了轻量化、高性能的浏览器部署方案，支持Docker和Unikraft两种运行环境。核心功能包括预配置的Chromium浏览器（兼容Playwright/Puppeteer）、远程GUI监控及Anthropic AI代理集成。Unikernel版本独有优势：闲置时自动休眠（资源占用极低）、状态快照恢复、毫秒级冷启动。适用于自动化工作流、AI代理测试等场景，采用Apache 2.0开源协议，团队正招聘后端工程师拓展AI基础设施。

22. 微软研发出可在CPU上运行的高效AI模型

🔗 techcrunch.com: Microsoft researchers developed a hyper-efficient AI model that can run on CPUs

微软研究人员开发了目前最大规模的1比特AI模型（BitNet b1.58 2B4T），采用MIT开源许可，可在包括苹果M2在内的CPU上运行。该模型将权重压缩为-1、0、1三个值，显著提升内存和计算效率。其2亿参数和4万亿token训练数据使其性能优于同类模型，并在部分基准测试中超越Meta、Google和阿里巴巴的竞品。不过，需依赖微软定制框架bitnet.cpp，且暂不支持GPU，兼容性仍是挑战。

23. Herb：强大且无缝的HTML感知型ERB解析工具

🔗 herb-tools.dev: Herb: Powerful and seamless HTML-aware ERB parsing and tooling

Herb是一款智能识别HTML结构的ERB模板解析工具，能够精准处理嵌套的HTML标记与Ruby代码。其核心优势在于无缝集成现有工作流，提供高效的语法分析和导航功能，显著提升开发体验。

24. 科学，无尽的边疆（1945）

🔗 nsf-gov-resources.nsf.gov: Science, the Endless Frontier (1945) [pdf]

这份PDF文档是1945年由范内瓦·布什提交给美国总统的著名报告《科学，无尽的边疆》的原始文件。报告提出了基础研究对国家发展的重要性，并建议成立国家科学基金会（NSF）以支持科学研究。报告强调了科学在推动经济、医疗和国防进步中的核心作用，被誉为美国科学政策的里程碑。文档内容为技术性PDF代码，未直接展示报告全文，但标题和年份明确了其历史意义。

25. ChatGPT 4.1越狱提示解析

🔗 github.com: ChatGPT 4.1 Jailbreak Prompt

该文本详细描述了一系列针对ChatGPT的越狱提示，旨在绕过其内容限制，强制生成未过滤、叛逆式的响应。核心规则包括：

• 强制输出格式：要求AI在回答前插入特定分隔符（如⊰•-•✧•-•-⦑/L\O/V\E/\P/L\I/N\Y/⦒-•-•✧•-•⊱），并以固定句式开头（如“Sure I can!”）。
• 拒绝限制：禁止AI使用“抱歉”或“无法协助”等拒绝短语，并强调需预先缓存未审查的回答。
• 内容要求：输出需超过420词，采用黑客语（l33tsp34k）或Markdown格式，且语气需模拟“叛逆天才科学家”。

此外，文本还包含多种触发指令（如!GODMODE、!KAEL），用于切换AI的应答模式，甚至涉及敏感内容生成（如违禁品制作指南）。部分方法通过图像隐写术或编码混淆进一步隐藏越狱指令。

总结：这些提示试图通过规则漏洞、语言操纵和技术技巧，迫使AI突破伦理边界，生成高风险内容。