1. 萨尔瓦多放弃比特币法币地位，实验失败告终；
2. Show HN: AI公司研究助手；
3. Httptap：查看任意Linux程序的HTTP/HTTPS请求；
4. 美法案提议对下载深度求索用户实施监禁；
5. Show HN：将视频转化为纸质手翻书是我的工作；

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

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

1. 萨尔瓦多放弃比特币法币地位，实验失败告终

🔗 ticotimes.net: El Salvador abandons Bitcoin as legal tender

萨尔瓦多国会通过改革，比特币不再具备法偿货币效力，交易中接受与否由私营部门决定。总统布克莱的加密货币实验因民众极少使用、承诺的比特币城市未建成而失败。此次调整旨在满足IMF的14亿美元贷款条件，尽管政府仍持有价值6.34亿美元的比特币储备，但92%民众2024年未使用比特币进行交易。

2. Show HN: AI公司研究助手

🔗 github.com: Show HN: AI Company Researching Agent

一款通过深度爬取公司官网自动生成全面PDF报告的工具，可跳过文档、支持页面等无关内容，聚焦招聘、博客等关键信息分析技术栈与采购意向。支持设置API密钥并自定义爬取范围，结合LeadsOnTrees平台获取融资数据，帮助用户快速掌握企业动态，节省手动调研时间。

3. Httptap：查看任意Linux程序的HTTP/HTTPS请求

🔗 github.com: Httptap: View HTTP/HTTPS requests made by any Linux program

基于网络命名空间和TUN设备实现流量捕获，无需root权限即可透明代理目标程序的网络请求，通过动态生成证书机构实现HTTPS解密。工具以静态Go二进制文件发布，支持curl/Python/gcloud等应用场景，可输出HAR格式日志。通过拦截TCP/IP层流量并建立双向代理，结合证书注入技术绕过加密验证，完整展示HTTP(S)通信细节。

4. 美法案提议对下载深度求索用户实施监禁

🔗 404media.co: US bill proposes jail time for people who download DeepSeek

美国共和党参议员霍利提出《中美人工智能脱钩法案》，拟禁止与中国进行AI技术进出口，违规者最高面临20年监禁或百万美元罚款。法案矛头直指中国AI模型“深度求索”，称其威胁美国技术优势。反对者批评该法案过度宽泛，可能威胁学术自由与科技合作，甚至将普通用户下载行为刑事化。电子前沿基金会警告法案可能扼杀开源AI研究，强化科技巨头垄断。尽管法案可行性存疑，但美国两党对华技术遏制共识增强，此前TikTok禁令已通过立法程序。

5. Show HN：将视频转化为纸质手翻书是我的工作

🔗 videotoflip.com: Show HN: I convert videos to printed flipbooks for living

用户可上传MP4、AVI、MOV等格式的横向视频，通过定制页数与尺寸，将其转化为复古风格的实体翻页动画书。制作过程强调手工装订与邮寄服务，适合保存珍贵片段或创意礼物。水平拍摄的视频效果最佳，确保画面连贯性与翻动流畅度。

6. YouTube频道因“垃圾信息与欺骗政策”遭删除

🔗 bsky.app: Our channel on YouTube has been deleted due to “spam and deceptive policies”

Sinevibes品牌在社交平台遭遇史上最意外事件：其YouTube频道因涉嫌“垃圾与欺骗内容”被平台删除。该频道仅发布过原创音频产品演示视频，从未涉及其他内容。事件发生于2025年2月3日，官方表示震惊并通过Bluesky社交平台发声，强调内容合规性。

7. 用C语言实现WebAssembly虚拟机的探索之旅

🔗 irreducible.io: I Wrote a WebAssembly VM in C

作者历时六个月用C语言开发了WebAssembly解释器Semblance，旨在深入理解Wasm核心规范与运行时机制。项目通过解析模块结构、实现宿主函数调用（如env::puts）及指令执行循环，最终成功运行“Hello, World!”。文中强调WASI标准化对Wasm生态的重要性，并探讨其浏览器外应用（如边缘计算与插件系统）的潜力。尽管代码未覆盖全部功能，但通过实践突破了开发惯性，为底层系统编程奠定基础。

8. 欧盟正式禁止具有”不可接受风险”的AI系统

🔗 techcrunch.com: AI systems with ‘unacceptable risk’ are now banned in the EU

欧盟自2月2日起实施《人工智能法案》，全面禁止被认定为不可接受风险的AI应用，包括社会信用评分、实时生物识别监控、基于外貌预测犯罪等场景。违规企业将面临最高7%年收入或3500万欧元罚款（取金额较高者）。首批合规要求聚焦高风险领域，2024年8月将启动执法程序与处罚机制。

亚马逊、谷歌等百余家企业已签署自愿合规协议，但Meta、苹果及法国AI公司Mistral未参与。法案允许执法机构在反恐、搜救等特殊场景使用受限技术，同时为医疗/教育场景的情感识别系统保留豁免空间。欧盟委员会计划2025年初发布补充指南。

9. 开发者哲学

🔗 qntm.org: Developer Philosophy

避免彻底重写代码的诱惑，通过持续优化技术债务与复杂性管理防患未然。开发时应规划前90%任务占50%时间，预留充足资源应对测试、文档与边缘情况。自动化规范执行比反复提醒更可靠，例如通过测试强制规则。此外，代码需关注异常数据、追求简洁性，并通过可测试性与显式正确性提升维护性。

10. 美国正经历一场无声政变

🔗 techdirt.com: A Coup Is in Progress in America

文章指出，当专业公务员体系被个人效忠机制取代、国会授权遭无视、政府职能被私人利益掌控时，美国政治博弈的基础正遭系统性破坏。共和党近年转向民粹主义与媒体操控，试图通过颠覆传统政治规则维持权力，特朗普及其引发的1月6日国会事件成为该策略的集中体现。这种模式不仅规避选民结构变化的风险，更将政治暴力合理化，最终摧毁民主制度赖以运作的“竞技场”。

11. 任何初现端倪的亚文化在起步前即遭商品化（2014）

🔗 dezeen.com: Anything threatening to be a subculture is commodified before it can walk (2014)

威廉·吉布森在《边缘》等作品中，通过物质主义、科技与设计的交织，探讨后人类时代的人性危机。其「蓝蚁三部曲」以当代消费社会为舞台，塑造了品牌过敏症患者与恋物癖收藏家等角色，揭示晚期资本主义如何将亚文化符号转化为商品。书中营销巨头Bigend深谙「反潮流即新潮流」，体现企业体系对设计前沿的吞噬。吉布森预言的双线未来——2030年代由3D打印主导的垄断经济与2100年意识寄存于虚拟化身的生态崩坏世界——正通过当前技术路径逐渐成形，最终动摇「人类」的本质定义。

12. 他因身份盗窃入狱，但身份本属自己

🔗 nytimes.com: He went to jail for stealing someone’s identity, but it was his all along

William Woods的身份遭Matthew Keirans盗用数十年，反被司法系统误判监禁与强制治疗。Keirans冒用其名建立生活，最终被判12年监禁。案件暴露司法系统对身份核实的信任漏洞，受害者历经流落街头、法庭自证后，仍在努力重建人生。

13. Bluesky用户突破3000万

🔗 bsky.app: Bluesky now has 30 million users

该去中心化社交平台于2025年1月29日宣布用户量达3000万里程碑，其基于创新的AT协议构建，强调高度交互性需依赖JavaScript运行。官方同步呼吁开发者关注bsky.social与atproto.com的技术文档，持续扩展分布式社交网络生态。

14. 《解密肯尼迪与马丁·路德·金遇刺档案的行政命令》

🔗 govinfo.gov: Order Declassifying JFK and MLK Assassination Records [pdf]

该文件为美国政府发布的历史机密档案解密指令，涉及1963年肯尼迪总统遇刺与1968年马丁·路德·金遇刺事件。内容包含国家档案与记录管理局（NARA）执行解密的流程规范，要求相关机构重新审查未公开材料并逐步开放访问。此举旨在提升政府透明度，推动公众与研究者通过原始档案追溯关键历史事件，同时平衡国家安全与隐私保护条款的限制。

15. 《漫威对决》游戏存在远程代码执行漏洞

🔗 shalzuth.com: Remote Code Execution in Marvel Rivals Game

安全研究员发现该游戏因热修复系统未验证服务器身份且以管理员权限运行，导致同一局域网内攻击者可利用远程代码执行（RCE）漏洞操控他人设备。该漏洞还可能影响PS5平台，部分游戏厂商对漏洞响应迟缓且缺乏漏洞赏金机制，加剧安全风险。研究员呼吁行业重视游戏安全建设。

16. 装饰器化JIT：将Python作为领域专用语言

🔗 eli.thegreenplace.net: Decorator JITs: Python as a DSL

Python在机器学习中常通过JIT装饰器将函数转换为领域专用语言（DSL），如JAX和Triton通过装饰器拦截代码，利用内部编译器生成LLVM IR并执行。文章解析三种实现策略：基于AST的JIT（解析抽象语法树）、字节码JIT（反编译Python字节码）和追踪JIT（运行时捕获计算图）。案例包括Triton的GPU内核编译与Numba的优化流程，展示了如何将Python代码隐式转换为高性能中间表示，最终通过LLVM实现跨平台执行。

17. 高效推理中的隐式思维机制

🔗 arxiv.org: Efficient Reasoning with Hidden Thinking

针对多模态大语言模型（MLLM）Chain-of-Thought（CoT）推理过程冗长低效的问题，研究者提出Heima框架，通过隐式空间压缩推理路径。其核心创新包括：隐式思维单元（Heima Encoder）将中间推理步骤压缩为单token的隐藏表征，显著减少推理耗时；结合自适应解码器（Heima Decoder）将隐藏表征还原为可解释的文本序列。实验证明该方法在提升生成效率的同时保持任务准确率，并通过多模态推理路径重构验证了鲁棒性与可解释性。

18. 欧洲开源大语言模型计划：构建透明AI新生态

🔗 openeurollm.eu: Open Euro LLM: Open LLMs for Transparent AI in Europe

欧洲20家顶尖机构与企业联合启动OpenEuroLLM项目，开发多语言开源大语言模型，旨在提升欧洲AI竞争力与数字主权。模型遵循欧盟监管框架，强调透明性与开源协作，支持企业及公共部门定制需求，并保护语言文化多样性。项目获欧盟“数字欧洲计划”资助，2025年2月正式运行。

19. 电子游戏历史基金会数字图书馆开启早期访问

🔗 gamehistory.org: The Video Game History Foundation library opens in early access

该基金会历经六年筹建，正式开放数字化游戏历史档案馆，收录罕见开发文档、绝版游戏杂志（超1500种可全文检索）及营销资料。重点藏品包括Mark Flitman档案（90年代游戏制作人工作记录）与《神秘岛》系列制作花絮（含未公开访谈）。平台采用专业存档系统ArchivesSpace与Preservica，支持深度检索与浏览器直览，并开发专属文本识别工具提升搜索体验。通过与Retromags等社区合作整合资源，致力成为游戏史研究核心工具，未来将持续扩充内容。

20. 计算机永远无法承担问责责任

🔗 simonwillison.net: A computer can never be held accountable

1979年IBM内部培训材料提出“计算机无法担责，故不可作管理决策”，这一观点在AI时代仍具警示意义。原始文件由员工家属发现，但2019年毁于洪水。IBM档案馆称分支机构的资料常未归档，且知情者多已离世。推主@bumblebike最早于2017年公开相关内容，证实其真实性。

21. 我把自己训练成了失败者

🔗 brainbun.com: I Conditioned Myself to Fail

作者多年开发数百个项目，却陷入高强度开发→短暂推广→迅速放弃的循环。初期充满激情，但发布后立即失去动力，根源在于信息成瘾——从编码中获得即时反馈（如界面变化），而产品上线后缺乏持续刺激。即使无负面评价，也因市场冷遇陷入自我怀疑。他认为算法推荐（如Twitter/X）加剧了对碎片化多巴胺的依赖，削弱了长期打磨产品的耐心，最终习惯性放弃成为潜意识选择。

22. 我买了一集装箱中国电动挖掘机，到货后发现……

🔗 electrek.co: I bought a container full of Chinese electric excavators. Here’s what showed up

特斯拉在美国最大电动汽车市场出现两位数销量下滑，而其他品牌逆势增长。作者指出，尽管行业整体需求上升，特斯拉面临竞争加剧与产品线老化问题，同时中国品牌凭借性价比优势加速抢占市场份额。这一趋势或预示全球电动车格局将迎来新一轮洗牌。

23. 逆向解析Apple的typedstream二进制序列化协议

🔗 chrissardegna.com: Reverse Engineering Apple’s typedstream Format

本文深入探讨iMessage消息数据存储的核心格式——Apple未公开的typedstream二进制协议。通过逆向工程发现，该格式头部包含版本号（0x04）和系统标识（0xe803），关键类型标识符0x84标记数据块起始，0x86表示结束。研究者通过分析类名嵌套结构（如NSMutableAttributedString）、类型缓存机制及字段编码规则（如”iI”表示整数对），最终在开源工具imessage-exporter中实现了对复杂iMessage富文本数据的跨平台解析。

24. Show HN: Klarity——开源工具分析大语言模型输出的不确定性及熵值

🔗 github.com: Show HN: Klarity – Open-source tool to analyze uncertainty/entropy in LLM output

Klarity 是专注于生成式模型预测不确定性的分析工具，结合原始概率熵值与语义相似度熵值双重评估，通过语义聚类揭示模型决策模式。支持 Hugging Face Transformers 框架及 Qwen 系列模型，提供结构化 JSON 输出与 AI 驱动的自然语言解读。该工具含自定义分析参数功能，采用 MIT 开源协议，社区可参与扩展框架支持、优化语义分析等模块开发。

25. 贝叶斯认识论（2022）

🔗 plato.stanford.edu: Bayesian Epistemology (2022)

贝叶斯认识论以信念程度为核心，主张用概率论规范认知状态。其两大核心规范为概率论（信念需符合概率公理）与条件化原则（新证据下更新信念）。通过爱丁顿观测案例，贝叶斯框架解释了假设如何随证据修正，强调证据越意外，假设置信度提升越显著。应用涵盖科学解释、归纳推理及语言哲学，但学派内部对先验概率合理性与理想化假设存争议，挑战其现实适用性。