Hacker News 中文摘要

AGI-64是一款为Commodore 64开发的AGI游戏解释器，目前已完成约75%，可免费下载。它支持运行《太空冒险1》等经典Sierra冒险游戏，用户需提供自己的游戏文件，并兼容EasyFlash和Kung Fu Flash等第三方设备。

文章讨论了关于AI监管的复杂观点，认为“监管必然导致权力集中”是过于简化的看法。作者指出，公平的制度流程反而能分散权力，保护弱势群体，并以法院系统优于私刑为例说明。Anthropic公司正致力于提出谨慎的政策建议，以平衡发展。

《线性代数应该这样学》第四版已开放获取，提供英文、中文、波斯语、希腊语和葡萄牙语等多种语言版本，包含250多个新习题和70多个新示例，并有多项改进。

MathCode是一个终端AI编程助手，内置数学形式化引擎，能将自然语言描述的数学问题自动转换为Lean 4定理并尝试形式化证明，具备持久化Lean REPL、可重用定理与公理库、智能证明及Obsidian知识图谱等功能。

GIMP 3.4开发进展顺利，即将发布首个开发版3.3.2，新增项目文件格式、MyPaint画笔光谱混合、非破坏性编辑、PSD支持改进及原生文件选择对话框等功能。

Reticulum是一个基于密码学的网络协议栈，允许用户利用现有硬件构建本地和广域网络，即使在恶劣条件下也能运行。其愿景是让任何人都能运营自主通信网络，构建无监控、无审查、可自由互联的独立网络，保障个人和社区的通信主权。

一项最新民调显示，年轻人对AI公司CEO的厌恶程度极高，几乎令人难以置信。

美国联邦政府不断扩大禁用词汇清单，从最初的250多个词增至350多个，涵盖多样性、气候变化、疫苗等话题，甚至包括“安全饮用水”。此举被视为审查行为，影响政府文件和研究资助。

该案例研究分析了美国国税局“直接报税”系统的兴衰历程，探讨了高风险政府技术项目在启动、运营与终止过程中的关键决策与政策挑战。

联邦政府通过关键词列表审查并取消了数十亿美元的研究资助，这些列表包含特定术语，导致大量科研项目被终止，引发学术界对科研自由和资金分配的担忧。