Hacker News 中文摘要

2026年10月，陶哲轩（Terence Tao）谈到，现代AI工具正颠覆许多长期存在的职业；数学研究在近一个世纪里大体稳定，却特别容易受此颠覆。传统数学（Math 1.0）以证明稀缺为前提：求解开放数学问题并证明其正确困难且罕见，往往需大量人类专业知识，许多制度、传统、激励与目标也据此建立。证明则客观可验证；若用合适的证明辅助语言（如Lean）书写，甚至可由计算机机械检查。

我在试用 nono 代理沙箱工具时，它弹出一条警告：沙箱可写入的 PATH 条目为 ~/.local/bin/，这看起来有些可疑。换句话说，在 ~/.bashrc 或 ~/.zshrc 里写 export PATH="$PATH:~/.local/bin/"，并不会把 ~ 展开成家目录路径或 $HOME，因为波浪号到家目录的展开只发生在未加引号的输入中，bash 文档也这样说明。结果加到 PATH 里的不是 /home//.local/bin/，而是 ./~/.local/bin/；要修复，可以改为 export PATH="$PATH:$HOME/.local/bin/"。

《北野武的城堡》（Takeshi's Castle）是一档日本电视游戏节目。该节目由北野武（Takeshi Kitano）与谷隼人（Hayato Tani）主持，于1986年5月2日至1990年10月19日在东京广播公司（TBS）播出，共播出133集。节目中，参赛者要完成一系列体能挑战和障碍赛，以攻入北野武的城堡。2023年4月21日至4月28日，该节目推出8集复活版，在亚马逊Prime Video（Amazon Prime Video）上线。

《使命召唤：黑色行动》（Call of Duty: Black Ops）、《光环：战斗进化》（Halo: Combat Evolved）、《侠盗猎车手：罪恶都市》（Grand Theft Auto: Vice City）、《辛普森一家：横冲直撞》（The Simpsons: Hit And Run）与《滑板3》（Skate 3）等许多游戏在一夜之间被反编译并移植到网页浏览器，这些氛围编程生成的浏览器移植版目前看起来运行完美。

我花钱请人尝试按照我写的 README 进行操作，想看看别人能不能照着这份说明完成操作，而不是只由我自己来判断写得够不够清楚。我为此支付报酬，让他们一步步跟着指引做，并在 ActivityBot 与 ActivityPub 的语境下检验说明是否可行。

页面以“European Alternatives”开篇，提示点击下方的非欧洲解决方案，以查找对应的欧洲替代方案。下方列出的条目包括密码管理工具1Password（1Password）、图像软件Adobe Photoshop（Adobe Photoshop）、民宿平台爱彼迎（Airbnb）、清洁品牌Ajax（Ajax）、音频品牌爱科技（AKG）、跑鞋品牌Altra Running（Altra Running）、卫生用品Always（Always）、电商亚马逊（Amazon）及电视棒亚马逊Fire TV Stick（Amazon Fire TV Stick）等，点击任一项即可查看其欧洲替代品。

2026年8月24日，X公司（X Corp.）发出停止并终止函，要求永久关闭 Nitter 实例并删除项目仓库；2026年9月8日又发函提出同样要求并伴随法律威胁。我在2026年9月7日的更新中称项目将在有法律代理的情况下继续，但这一说法所依据、我曾收到并相信的保证后来被证实不实，我为误导信息道歉，Nitter 目前没有法律顾问，正在寻求资金和法律援助。

Cloudflare公司（Cloudflare）的Cloudflare雷达（Cloudflare Radar）页面radar.cloudflare.com提示请稍候，正在执行安全验证。该网站使用一项安全服务，用于保护自身免受恶意机器人侵扰；当前页面会在网站核实访问者不是机器人的过程中显示，以确认访问者并非自动程序。

如果你刚开始接触互联网中继聊天（Internet Relay Chat，IRC）开发，首先应查看 IRC 核心规范 RFC1459 和 RFC2812。我们的一名成员还在 https://modern.ircdocs.horse/ 编写新的核心协议文档，可供参考。之后，我们的规范页面列出了 IRCv3 工作组（IRCv3 Working Group）制定的扩展。所有这些 IRCv3 扩展都向后兼容较旧的 IRC 客户端和服务器，路线图说明了正在推进的规范，大部分规范工作则在 GitHub 仓库中进行。

欢迎回来！这次更新让我们有些感慨，因为它正迎来一个有趣的里程碑：2026年12月24日，LineageOS 将迎来十周年。十年来，热情的开发者、维护者和用户让许多设备得以延续。过去一年并不平静，但我们仍致力于把基于安卓 17（Android 17）的 LineageOS 带给大家。自安卓 17（Android 17）在 6 月发布以来，我们一直重新适配改动与功能；得益于对谷歌（Google）此前大规模重构的适配，这次比预期更快，今年提前了。