1. 丹麦拟2040年将退休年龄提高至70岁；
2. 亚马逊程序员吐槽：AI让编码工作沦为“流水线”；
3. Lottie：开源的矢量动画格式；
4. 免费自学计算机科学的完整路径；
5. 乔姆斯基谈ChatGPT的真正价值；

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

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

1. 丹麦拟2040年将退休年龄提高至70岁

🔗 telegraph.co.uk: Denmark to raise retirement age to 70

丹麦议会通过争议性提案，计划到2040年将退休年龄逐步上调至70岁，成为欧洲最高。现行制度将退休年龄与人均寿命（现为81.7岁）挂钩，每五年调整一次。新规仅影响1970年后出生者，但引发工会和蓝领工人强烈反对，批评政策剥夺”尊严晚年”。相较之下，瑞典允许63岁领养老金，法国此前因退休改革爆发抗议。丹麦首相承认现行机制不可持续，需改革。

2. 亚马逊程序员吐槽：AI让编码工作沦为“流水线”

🔗 nytimes.com: At Amazon, some coders say their jobs have begun to resemble warehouse work

随着生成式AI在编程领域的广泛应用，亚马逊等公司的程序员发现工作性质正发生转变。代码质量下降，任务被拆解为重复性操作，节奏大幅加快，类似工业革命后流水线对传统工匠的冲击。微软研究显示，AI编程助手Copilot将效率提升超25%，但员工抱怨工作强度加剧，思考空间被压缩。亚马逊CEO贾西强调AI能提升生产力并降低成本，但程序员担忧这可能导致技术岗位的“去技能化”。

3. Lottie：开源的矢量动画格式

🔗 lottie.github.io: Lottie is an open format for animated vector graphics

Lottie是一种开源的矢量动画文件格式，最初由Hernan Torrisi于2015年创建，用于从Adobe After Effects导出和播放动画。它以JSON格式存储动画数据，包含关键帧、缓动曲线和图层信息，支持复杂动画和交互元素。矢量图形使其分辨率无关，而补间动画技术自动生成中间帧。Lottie拥有丰富的生态系统，被广泛应用于网页和移动应用，并由非营利组织Lottie动画社区（LAC）推动标准化，致力于成为跨平台的行业标准。

4. 免费自学计算机科学的完整路径

🔗 github.com: Open Source Society University – Path to a free self-taught education in CS

该开源项目提供了一套系统的计算机科学自学课程，涵盖从入门到高级的所有核心领域，包括编程、数学、系统、安全等。课程精选自哈佛、MIT等顶尖学府，全部免费或提供经济援助选项。学习路径分为基础CS、核心CS和高级CS三阶段，适合零基础者按计划完成（约2年，每周20小时）。学习者可加入全球社区互助，最终通过实战项目验证技能。强调自主性与高质量资源，目标是培养扎实的计算机科学基础，而非仅职业培训。

5. 乔姆斯基谈ChatGPT的真正价值

🔗 chomsky.info: Chomsky on what ChatGPT is good for (2023)

乔姆斯基指出，ChatGPT等基于大型语言模型（LLM）的AI本质是工程产品，擅长模拟人类行为，但无法揭示语言或认知的本质。它们依赖海量数据统计规律，可能助长虚假信息，且无法区分可能/不可能的语言（如婴儿自然习得与人工构造的无效语言）。科学应探索生物智能的内在机制（如人类语言天赋），而非止步于行为模仿。AI的工程应用需权衡利弊，但其科学价值被夸大，甚至背离了认知研究的核心目标。

6. 一键打造炫酷SVG动画

🔗 expressive.app: Show HN: SVG Animation Software

Expressive Animator是一款跨平台SVG动画软件（支持Windows/macOS），提供关键帧动画、矢量编辑、字体排版等专业工具，可导入Figma/SVG/PDF/Ai文件快速制作动态内容。支持导出视频、GIF、APNG及Lottie格式，特别适合社交媒体设计和网页动效创作。内置渐变编辑器、遮罩路径、混合模式等高级功能，买断制授权无需订阅。

7. Prolog编写的X11动态平铺窗口管理器：plwm

🔗 github.com: Plwm – An X11 window manager written in Prolog

plwm是一款基于Prolog语言开发的X11动态平铺窗口管理器，核心目标是提供高度可定制化、轻量级且符合逻辑编程范式的用户体验。支持多种布局（如主从堆叠、网格、浮动窗口等），默认键位与dwm类似，可通过修改config.pl文件灵活配置。亮点包括低内存占用（10-15MB）、多显示器支持、外部状态栏集成（如polybar）以及通过Prolog的声明式配置实现直观管理。项目采用MIT协议，适合希望探索逻辑编程或追求高效窗口管理的用户。

8. 设计压力：无形中塑造代码的推手

🔗 hynek.me: Design Pressure: The Invisible Hand That Shapes Your Code

你是否曾感觉代码“不对劲”却找不到原因？即使遵循最佳实践，架构仍会逐渐扭曲？本文探讨了设计压力——那些隐形的力量如何影响代码质量。作者在PyCon US 2025的演讲中分享了相关见解，并推荐了多篇深度文章与视频（如《类型耦合》《越南的计算机科学》），涵盖耦合、领域建模等核心概念。关键点：设计决策是权衡的结果，而代码“颜色”（如ORM类的特殊行为）会显著影响可维护性。文末附有书单（如《领域驱动设计》）及创作者支持方式。

9. 用100行Python编写CUPS打印机驱动（2018）

🔗 behind.pretix.eu: Writing your own CUPS printer driver in 100 lines of Python (2018)

本文介绍了如何为Practical Automation uITL+2003CF热敏票据打印机开发Linux驱动。由于该设备仅支持Windows驱动且第三方驱动存在许可限制，作者使用Python编写了CUPS过滤器，将CUPS光栅数据转换为打印机支持的FGL协议格式。通过解析CUPS Raster v3数据流，结合Pillow库实现图像旋转与二值化处理，最终生成包含切割指令的FGL代码。配套的PPD文件通过CUPS工具生成，支持55种纸张尺寸和切割模式配置。整个驱动仅需100行核心代码，已打包为Debian/Arch Linux安装包开源发布。

10. DaedalOS：浏览器内的桌面环境

🔗 github.com: Show HN: DaedalOS – Desktop Environment in the Browser

DaedalOS 是一款基于浏览器的完整桌面环境，模拟了传统操作系统的核心功能。支持文件管理（拖拽、压缩解压、多视图）、多窗口操作（缩放、最小化）、任务栏和开始菜单，并内置丰富的应用，如代码编辑器、终端、游戏模拟器（DOS/Flash/复古游戏）、AI工具（Stable Diffusion图像生成）等。特色包括动态壁纸、离线存储、快捷键操作及跨应用文件交互。使用JavaScript开发，开源（MIT协议），可通过Docker快速部署。

11. JSON Web Token十年历程与未来展望

🔗 self-issued.info: Ten years of JSON Web Token and preparing for the future

2015年5月，JSON Web Token (JWT) 作为RFC 7519正式发布，标志着历时4.5年的标准化工作完成，并衍生出JWS、JWE等配套加密标准。如今，JWT已成为广泛采用的安全令牌格式，甚至应用于设计者未曾预见的场景。当前，团队正更新《JWT最佳实践》规范，以应对新出现的威胁，并修订OAuth 2.0相关标准以修复漏洞。作者回顾了与OpenID Connect等组织的协作成果，并对未来十年JWT的安全演进充满期待。

12. 纽瓦克机场危机：空中交通系统濒临崩溃

🔗 theverge.com: The Newark airport crisis

美国纽瓦克自由国际机场因空中交通管制系统老化、人员短缺和技术故障陷入危机。过去一年中，雷达和通信系统多次中断，导致航班大面积延误甚至取消。FAA因预算不足和官僚主义，未能及时升级设备或解决人员流失问题，甚至将部分业务迁至费城，却因远程数据传输不稳定加剧风险。专家警告，整个系统已处于崩溃边缘，威胁航空安全和效率。

13. 2024年加密货币用户面临的暴力攻击威胁分析

🔗 drops.dagstuhl.de: Wrench Attacks: Physical attacks targeting cryptocurrency users (2024) [pdf]

该研究探讨了针对加密货币用户的暴力攻击（”扳手攻击”）现象，分析了犯罪脚本、攻击步骤（包括目标选择、作案工具和动机）以及受害者的安全行为模式。报告提出了预防措施，如保持低调、优化资金管理策略，并建议通过系统设计改进（如钱包协议升级）增强安全性。研究强调，这类物理犯罪与数字资产风险密切相关，需结合技术防护与用户教育应对威胁。

14. 伦敦维多利亚线高温难题难解？

🔗 swlondoner.co.uk: Is TfL losing the battle against heat on the Victoria line?

最新数据显示，维多利亚线仍是伦敦地铁最热的线路，2024年平均温度达28℃，夏季峰值超31℃。尽管TfL投入巨资安装通风系统和空调，但该线因深度大、伦敦黏土隔热及列车频繁启停导致散热困难，温度自2013年飙升近30%。中央线虽面临类似挑战，但已启动5亿英镑列车改造计划。乘客在冬季也遭遇高温，2024年一季度平均26℃，有乘客因车厢过热晕倒。建议夏季优先选择温度较低的浅层地铁线（如环线），其年均温仅19℃。

15. 编写自修改的x86_64 C程序（2013）

🔗 ephemeral.cx: Writing a Self-Mutating x86_64 C Program (2013)

本文探讨了如何通过运行时修改代码实现自修改程序，尽管这种技术在实际开发中弊大于利（如调试困难、硬件依赖等），但具有学术价值。作者以Linux环境为例，使用mprotect()函数解除代码段（text segment）的写保护，并通过修改foo()函数中addl指令的机器码（将立即数从1改为42），演示了动态改写指令的过程。关键步骤包括：获取函数内存地址、计算目标字节偏移量、修改权限并覆写指令。最终程序首次调用输出1，修改后输出42，验证了自修改逻辑的可行性。

16. 作家不慎将AI提示词留在了小说中

🔗 404media.co: Authors are accidentally leaving AI prompts in their novels

粉丝在阅读浪漫小说《暗黑学院：第二学年》时，意外发现第三章的激情场景中残留了一段AI改写提示，要求模仿另一位作家J. Bree的风格。作者莉娜·麦克唐纳疑似使用AI辅助写作，却未删除痕迹。该书目前已从亚马逊下架，但修改前的截图仍存于书评中。这并非首例——今年已多次出现AI生成内容暴露事件。

（注：原文提及的付费墙及订阅提示因与核心事件无关，未纳入摘要。）

17. AI幻觉案例数据库：法律界的警示录

🔗 damiencharlotin.com: AI Hallucination Legal Cases Database

该数据库收录了116起司法案例，涉及生成式AI在法庭文件中产生虚假引用或虚构论据的“幻觉”问题。案例显示，律师、自诉人甚至律所员工因未核查AI生成内容而面临处罚，包括罚款（如美国犹他州案罚款1000美元）、强制继续教育（如佛罗里达州案要求学习AI伦理）等。法院强调，律师有核实义务，即使无意欺诈，提交虚假法律依据仍违反诚信原则。部分案例因及时认错减轻处罚，但英国一前律师因伪造25个判例被勒令支付24,727英镑赔偿金。数据库持续更新，旨在警示法律从业者审慎使用AI工具。

18. Zli：Zig语言的高性能全功能CLI开发框架

🔗 github.com: Show HN: Zli – A Batteries-Included CLI Framework for Zig

Zli是一个模块化、零成本抽象的Zig命令行工具开发框架，灵感来自Go的Cobra和Rust的clap。它提供类型安全的标记解析（如--flag、-n）、命名参数支持（必选/可选/可变参数），并自动生成美观的帮助文档。通过分文件管理命令结构（如root.zig、run.zig），开发者能快速构建高性能CLI工具。框架内置MIT许可证，支持子命令、别名、持久化标记等特性，安装仅需Zig包管理器。示例代码展示了如何定义带布尔标记和位置参数的run命令，体现其简洁API设计。

19. 美国政府曾为工薪阶层建造理想社区

🔗 theconversation.com: There was a time when the US government built homes for working-class Americans

1918年，美国为应对一战期间的住房危机，成立美国住房公司，在两年内于26州建成80多个规划完善的社区，提供近10万套住房。这些社区融合花园城市理念，配备学校、公园和现代基础设施，注重美观与功能性。政府以租赁后分期出售的方式帮助工人实现产权自有。尽管战后项目终止，但其设计标准影响深远，至今许多社区仍存。这一历史案例证明，政府主导的住房计划能高效解决危机，对当前住房困境具有启示意义。

20. 为什么顶帖式回复已成主流（2018）

🔗 solipsys.co.uk: Why top posting has won (2018)

作者通过类比谚语的矛盾性和洗碗的拖延心理，解释顶帖式回复（将回复内容置于邮件顶部）为何成为默认习惯。短期来看，这种回复方式简单高效，但长邮件线程中会导致接收方需反复翻查上下文，反而增加沟通成本。问题的核心在于人类倾向于避免即时投入精力，即使后期可能需更多补救。作者指出，除非内联回复（直接插入回复到原文）变得无痛、强制且有益，否则顶帖式回复将始终占据主导地位。

21. SteamOS 正式版现已全面开放下载

🔗 store.steampowered.com: SteamOS now released officially for any device

Valve 正式发布了 SteamOS 的通用版本，支持在任何设备上安装。此次更新意味着用户无需依赖特定硬件（如 Steam Deck）即可体验该系统，进一步扩展了 Steam 生态的兼容性。官网提供了多语言支持（包括简体中文），并详细列出了安装要求与指南。这一举措可能推动更多玩家尝试基于 Linux 的游戏解决方案。

22. 企业能否获得总统特赦？

🔗 papers.ssrn.com: Can a corporation be pardoned?

这篇论文探讨了美国总统是否拥有对企业进行特赦的宪法权力。历史背景显示，英国普通法早有赦免企业的先例（如马萨诸塞湾公司），而美国宪法《特赦条款》的制定者可能继承了这一传统。作者指出，总统可基于政治目的赦免企业（例如换取竞选捐款或外交利益），甚至赦免自身关联企业，但国会可通过拒绝退还罚款或以民事处罚替代刑事责任来限制此类权力。此外，部分州宪法也可能允许赦免企业，阿拉斯加州已有先例。论文强调，尽管争议颇多，但法律模糊性为律师提供了辩护空间。

23. 当乔尼遇上萨姆：一场科技巨头的”订婚派对”

🔗 sfstandard.com: We broke down the Sam Altman and Jony Ive video

OpenAI以65亿美元收购乔尼·艾夫（Jony Ive）的AI设备公司io后，发布了一段9分钟的暧昧宣传片，被戏称为”科技版订婚视频”。片中两位主角——iPhone设计师艾夫与OpenAI CEO萨姆·奥特曼（Sam Altman）——在旧金山街头”偶遇”，互吹“史上最强团队”和“改变人类交互”的愿景，却对具体产品只字未提。视频充斥重复群演、浮夸台词（如”比曼哈顿计划更天才”）和刻意浪漫化的镜头，被媒体调侃为”用60亿预算拍出廉价偶像剧”。最讽刺的是，奥特曼声称旧金山是”全球唯一科技圣地”，而艾夫用低沉英音宣告”技术将让人性更美好”，却未解释如何实现。

24. 在34键键盘上编程的实践与思考

🔗 oppi.li: Programming on 34 Keys (2022)

作者分享了使用34键分体式键盘Ferricy的体验，该键盘基于Colemak布局并采用三层设计（NAV/数字/符号层）优化编程效率。通过空间组合键（如长按空格触发导航层）和ZMK固件的组合键功能（如实现Esc键），解决了键位不足的问题。文中特别强调了Home-row修饰键和Caps-word功能对提升输入舒适度的帮助，并指出小键盘布局需优先考虑准确性与舒适性，而非速度。

25. 美国梦2025：老年沃尔玛员工靠呼吸机维生，边工作边哭泣

🔗 old.reddit.com: “The American Dream 2025” Elderly Walmart employee on a COPD machine and crying

这篇Reddit热帖揭露了美国老年劳动者的困境。医疗债务导致全美62%的破产案例，许多老人即使曾拥有体面职业（如校长、退伍军人），最终因疾病陷入贫困。企业捆绑医保的制度迫使人们依附工作，而特朗普政府削减VA医疗预算更让老兵无家可归。评论区充斥着高学历病患因失去工作能力而挣扎的故事，凸显美国社会保障体系的系统性缺陷。