No.01
OpenPrinter
OpenPrinter:模块化开源墨盒打印机,支持独立黑白/彩色打印
776 分
187 条评论
作者: bouh
OpenPrinter 是由 Open Tools Studio 推出的开源打印机项目,目前正在众筹阶段。该产品主打模块化设计和墨盒自由:使用标准 HP 墨盒(如美国 HP 63、欧洲 HP 302),可独立或同时安装黑白与彩色墨盒,解决「因某色用尽而无法黑白打印」的痛点;支持 A4/A3 纸张和 29.7cm 宽卷纸(18m 或 37.5m),并配有内置切刀实现自定义幅面打印;机体可平置桌面或壁挂,体积仅 497×233×111mm;树莓派 Zero W 主板运行开源 CUPS 打印服务,兼容 Windows/macOS/Linux/iOS/Android,支持 Wi-Fi 和蓝牙。核心争议在于其采用 CC BY-NC-SA 4.0 许可证(非商业条款),被多位评论者指出这不属于开源协议;亦有评论担忧 HP 可能通过渠道限制扼杀项目,以及喷墨打印头维护的技术难题。项目尚未公布最终价格与出货时间。
No.02
GPT-5.6 Sol Ultra will be in Codex
GPT-5.6 Sol Ultra 将登陆 Codex 编程助手
238 分
172 条评论
作者: mfiguiere
OpenAI 宣布其最新旗舰模型 GPT-5.6 Sol Ultra 将整合进 Codex 编程助手。Sol 为拉丁语「太阳」之意,与 Anthropic 的 Fable、Opus 等命名风格相呼应。新模型支持超单一代理的超级模式,借助子代理(subagents)加速复杂编码任务。用户反应两极:有人看好其编程能力提升,认为 Pro 模式早该下放;也有人质疑 OpenAI 模型命名混乱、定价过高、额度消耗过快。部分企业员工反映已获得内测资格,另有用户反映 GPT-5.5 在 Codex 中的用量近半月来下降近半。市场竞争日趋白热化,有用户期待这能促使 Anthropic 在 Fable 等产品上提供更慷慨的配额。
No.03
When AI Costs More Than the Engineer
当AI成本超过工程师
13 分
1 条评论
作者: kiyanwang
文章探讨AI基础设施成本与人力成本的对比趋势。以Anthropic为例,其计算支出是工资单的2.3倍,每员工每年约200万美元计算成本。头部1%公司每工程师年AI支出达89,000美元,占22.4万美元高级工程师完全成本的40%,而中位数公司仅137美元。文章提出三种2029年情景预测:Bear场景(代币价格持续下跌)、Base场景(头部增速放缓)、Bull场景(市场整体达到Anthropic比例)。Bull情景下,每工程师AI支出将相当于一个中型SaaS员工的全部收入贡献。Anthropic和OpenAI目前人均收入分别达1400万和650万美元,为福布斯全球2000最高。驱动Bull的因素包括代理工作流消耗token量远超聊天(高盛预测2030年增长24倍),以及竞争压力下AI支出从可选变为必需;Bear的反向力量则是代币价格三年来每年下跌10倍、开源模型缩小质量差距。作者最后抛出思考题:你在为2027年建模哪个场景?
No.04
Has_not_been_viewed_much
芝加哥艺术学院 API 藏了一个字段,标记哪些艺术品「没被怎么看」
241 分
61 条评论
作者: wxw
芝加哥艺术学院开放 API 中藏有一个有趣的布尔字段「has_not_been_viewed_much」,定义是某艺术品自 2010 年以来在官网被浏览次数少于 200 次。文章作者好奇这些被冷落的艺术品究竟长什么样,于是动手探索了一番。评论区反响热烈,有用户联想到 Spotify 上专门播放零播放量歌曲的 Forgotify,也有人担心在 HN 上曝光这些作品会人为抬高浏览量,让它们失去「低浏览」资格。还有人吐槽网站 UI 设计有缺陷——离开页面后再回来根本找不到刚才看的作品。整体而言,这个字段的存在本身成了一个无心插柳的艺术发现入口。
No.05
Organic Maps
Organic Maps:隐私至上的离线徒步骑行导航应用
928 分
277 条评论
作者: tosh
Organic Maps是一款基于OpenStreetMap的隐私导向离线地图应用,支持徒步、骑行、驾车导航及语音引导,已达600万安装。核心卖点是完全免费、无广告、无追踪、无数据收集,可完全离线使用,一次充电能用数周。应用支持等高线、山峰坡度、GPX/KML导入导出、CarPlay/Android Auto等丰富功能。评论中有多位用户反映搜索功能较弱,难以替代Google Maps日常使用;另有用户提及项目因治理争议产生分叉CoMaps,质疑其可持续发展。离线优先的设计理念获得广泛认可,被认为是地图应用的正确方向。
No.06
Building relationships with customers through support didn't turn out as hoped
通过人工客服建立用户关系的尝试失败了
89 分
51 条评论
作者: dabluck
Castro 播客应用创始人在收购该公司后,认为提供基于真实使用体验的人工客服能成为差异化卖点。他亲自阅读并回复每封邮件,还付费招募了一位熟悉产品的资深用户协助处理。然而实际效果远不如预期:除了极少数精准问题能真正令用户满意外,大多数回复反而让用户更加不满。作者将客服邮件分为五类:订阅定价投诉(无论怎么解释都更负面)、Bug 报告(无法复现的低优先级问题对双方都是折磨)、需要人工介入的复杂问题(占比不足 1%)、纯混淆型用户(会演变成「病态客户」不断索取)、以及功能请求(除了「立刻做」以外的任何回复都是中性或负面)。作者最终承认:真正有效的做法是大多数公司的标准路径——承认收到邮件、表示已记录、快速结束对话,而不是深入解释或提供无法实现的方案。产品本身变好,才是真正的正向体验。
No.07
Show HN: Homegames. An open-source game platform I've been making for 8 years
展示:Homegames——我做了8年的开源游戏平台
165 分
40 条评论
作者: homegamesjoseph
Homegames 是一个免费开源的浏览器游戏平台,支持在网页上玩、做和分享游戏,无需注册账号。用户可用内置代码编辑器制作游戏,实时预览并支持多人游戏,还能从工作室管理资产(上传文件、绘图或录音)。平台代码和游戏均采用 GPLv3 协议开源,支持自托管。游戏在服务器端运行,客户端仅负责渲染和输入回传,实现了开箱即用的多人功能。项目自 2018 年起由作者一人独立开发至今。社区反馈主要集中在:技术层面上对 session 机制的疑问(能否实现纯静态/客户端游戏);刚发布时遭遇 502 错误,作者解释为 HN 流量峰值导致 session 服务过载;UX 上用户期待一个简单的「开始游戏」按钮而非 session 概念;文档缺失导致潜在开发者无从上手;首页游戏选择引发轻微争议。
No.08
It's not about physical vs. digital games, it's about ownership
问题不在实体与数字游戏之争,而在所有权本身
440 分
339 条评论
作者: popcar2
索尼宣布2028年1月起停止为新游戏生产实体盘,作者认为核心问题不是怀旧或收藏,而是「所有权」被彻底消灭。所有权体现在三个层面:一是交易权——玩家无法再转售或借出游戏给朋友;二是不再需要存储媒介——实体盘仍是验证方式,数字购买则完全依赖服务器;三是一旦PS6采用强加密且无实体盘,游戏可能永久消失,连备份都不可能。作者指出PC与主机本质不同:PC是开放平台,有GOG、itch.io等DRM-free商店,玩家可真正拥有游戏并本地保存;而主机玩家将被困在围墙花园里,别无选择。游戏保存危机已现——PS3和Vita商店即将关闭,许多游戏若非爱好者存档将成「丢失媒体」。
No.09
Does code cleanliness affect coding agents? A controlled minimal-pair study
代码整洁度影响编程智能体吗?一项对照最小对实验研究
106 分
52 条评论
作者: softwaredoug
该研究探讨代码整洁度是否影响 AI 编程智能体的表现。通过构建「最小对」仓库——即架构、依赖、外部行为相同,但静态分析违规和认知复杂度不同——在 6 对仓库上设计 33 个任务,通过 660 次 Claude Code 试验发现:代码整洁度不改变任务通过率,但显著影响智能体的操作成本——处理整洁代码时 token 消耗减少 7-8%,文件重复访问降低 34%。研究结论是,代码整洁性在 AI 时代仍是影响智能体效率和成本的关键因素。社区争议主要集中于实验设计:研究使用 Opus 4.6 人工生成「退化」与「整洁」仓库,有评论认为这不是真实场景;也有声音指出研究方 SonarSource 本身销售静态分析工具,存在利益冲突。部分开发者指出真实项目中 LLMs 产生的代码更易引发技术债务问题。
No.10
The Age of Personalized Hardware Is Coming
个性化硬件时代即将来临
52 分
29 条评论
作者: arbayi
文章认为,继软件个性化之后,硬件也将走向个性化。每年超过 6 亿可穿戴设备出货,ESP32 芯片仅需 7 美元,硬件正以低成本大量涌入市场。但当前设备软件由厂商一次性决定,用户无法定制。AI 智能体需要靠近传感器获取物理上下文(摄像头、麦克风、心率等),这驱动了设备端软件的迫切需求。嵌入式开发门槛高(需 C++、SDK、驱动、内存管理),与 Web 开发体验相差甚远。文章指出,应将软件边界向上推移,让熟悉的 Web 开发方式能编译为原生代码运行在设备上,例如 GEA 平台正在做此尝试。硬件制造、认证、供应链依然困难,但软件的准入门槛正在降低,最终决定这些设备价值的,是谁能书写运行其上的软件。
No.11
Generate parametric, manufacturable 3D models in seconds
数秒内生成参数化、可制造的3D模型
4 分
2 条评论
作者: OsamaAtwi
Kyrall 是一个在线工具,专注于在极短时间内生成参数化、可直接用于制造的3D模型。用户无需复杂的CAD软件知识,只需输入基本参数或描述需求,系统即可快速输出可用于3D打印或工业加工的三维数据。该服务的核心卖点在于省略传统建模流程中的繁琐步骤,让设计师和制造商能够更快地迭代原型。与传统参数化建模工具不同,它强调速度和可制造性,适合需要快速验证设计概念或小批量生产的场景。目前公开版本可能仍处于早期阶段,完整功能需关注其官方网站的实际演示。
No.12
Starring the Computer
银幕上的电脑:收录影视作品中电脑出现场景的数据库
214 分
49 条评论
作者: gitowiec
StarringtheComputer.com 是一个收录电影和电视节目中电脑出现场景的数据库。按品牌和型号分类,涵盖 Acorn、Apple、Amstrad、IBM 等数十个品牌、数百款机型,记录它们在《神秘博士》《IT狂人》《黑镜》《洛基》《神奇女侠》《回到未来》等知名影视作品中的亮相。该网站为每个条目配有截图和场景描述,用户可按品牌、年代或节目浏览。评论者对其详尽程度和收录质量表示惊叹,认为这是极具收藏价值的作品,同时也催生了「按年代排序」「你能在电影早期判断谁是反派(因为只有反派不用苹果电脑)」等有趣的二次创作话题。
No.13
Zuckerberg says AI agent development going slower than expected
扎克伯格承认 AI Agent 开发进度不及预期
200 分
359 条评论
作者: cwwc
Meta CEO 扎克伯格近日对投资者表示,AI Agent 的开发进展比他此前的预期更为缓慢。2023 年科技行业曾普遍乐观地认为,AI Agent 将迅速接管大量编程和白领工作,甚至出现了用 AI 替代整个工程团队的讨论。但现实是,Agent 所需的底层推理能力、算力资源和对复杂任务的自主执行力,远比打造一个可靠的聊天机器人困难得多——聊天机器人错误率 10% 仍可接受,但 Agent 错误率 10% 却可能造成严重后果。扎克伯格同时提及 Meta 曾因鼠标追踪软件引发数据安全事件,强调员工数据未被用于 AI 训练。评论区的核心争议在于:AI 实际进展是否真的「慢」,还是因为 Zuckerberg 等人持续抱有不切实际的幻想?许多人指出 Meta 的 Llama 4 相比 Llama 3 表现大幅下滑,质疑其 AI 战略的连续性;也有人认为 Agent 的本质瓶颈在于无法稳定遵循指令,自主运行仍需大量人工监督。
No.14
The Private Capture of Public Genius
公共天才的私人占有
90 分
45 条评论
作者: martialg
文章以AT&T 1956年反垄断和解为切入点,讲述这家垄断企业被迫将贝尔实验室的8000多项专利免费开放,直接催生了德州仪器、肖克利半导体、仙童半导体,最终孕育出英特尔和整个硅谷。作者由此对比当今AI实验室:用公开数据和公共知识训练模型,却无需向创造这些知识的公众支付任何费用,形成「公共天才的私人占有」。作者主张建立某种基金,将AI创造的财富返还给每个公民。但读者质疑该方案排除美国以外的人、UN的可行性,以及AI是否真被过度炒作而忽略了核扩散等更紧迫的全球问题。
No.15
Completing a computer science degree on Coursera
我用Coursera完成了计算机科学学位:3年9个月在职学习的真实体验
189 分
120 条评论
作者: lexandstuff
作者是一位有21年经验但无学位的澳大利亚软件工程师,2022年9月在Coursera上报读伦敦大学全球课程(由Goldsmiths授课标记)的计算机科学学士,耗时约3年9个月完成学业(含最后3个月等待成绩),全程在职学习。该项目采用模块制,每模块£823,可并行修读最多4个模块,利用Google IT Support、IBM Data Science和AI Engineering三张证书抵扣了3个模块,最终总费用约£17,000(A$33,000)。作者坦承:无学位曾是赴美工作的障碍(E-3签证要求学士),完成学业既有实际需求也是自我挑战。评论焦点集中于:①£17,000的费用是否值得;②在线学位的雇主认可度;③CS学位vs纯数学学位的实用性;④GaTech OMSCS等替代方案的性价比。
No.16
The future of Flipper Zero development
Flipper Zero 未来开发规划:官方固件维持最低限度维护,社区贡献按新规则评审
306 分
124 条评论
作者: croes
Flipper Devices 正式回应社区关于「固件开发停滞」的担忧,宣布将分配资源维持 Flipper Zero 固件并支持社区贡献。新规包括:功能请求须在 GitHub Discussions 投票、PR 必须通过更严格的审核流程、每次更改须运行公开的集成测试用例。官方坦言团队规模小且正专注开发新硬件,沟通全面转为异步,仅处理投票最高的具体功能请求。背景方面,Flipper Zero 于 2020 年 Kickstarter 众筹成功,克服了疫情期间的供应链危机和舆论攻击,完成全部承诺并构建了包含 SDK、API 和应用生态的硬件平台。固件 1.0 因 700KB 闪存限制采用 microSD 动态加载应用的架构,官方认为「使命已达成」,社区可自行塑造产品形态。社区对此反应不一:有人认为这本质上是「一次性销售」的商业模式困境,有人质疑为何不开源软件,也有用户实际运用 Flipper 克隆低安全等级的 RFID 设备。
No.17
New AI tutor achieves 0.71-1.30 SD effect size in Dartmouth course [pdf]
达特茅斯课程AI导师研究:效应量0.71-1.30个标准差
160 分
94 条评论
作者: jonahbard
一项在达特茅斯课程中部署AI导师「Phosphor」的研究报告引发社区热议。该研究使用Claude Sonnet 4.6自动评分学生答题,发现90.2%的学生自愿使用该平台,且完整使用者的期末成绩提升效应量达0.71-1.30个标准差。评论者指出该研究缺乏随机对照组,90%选择参与的学生本身已是自我选择偏差样本,难以排除「霍桑效应」等干扰因素。更多人质疑所谓「AI导师」本质更接近「AI自动评分的练习题平台」而非真正的一对一辅导。有评论者联系Bloom的2 Sigma问题——私人导师可带来约2个标准差的效果提升,此研究尚有差距但方向值得肯定。也有人指出该平台在统计学课程(客观评分)上的成功难以推广至主观评分的学科。
No.18
Mr. Baby Paint and accidentally discovering a new cellular automata
Mr. Baby Paint:专为幼儿设计的极简协作绘画应用与意外发现的 flood-fill 细胞自动机
167 分
36 条评论
作者: jfil
作者因3岁儿子想参与电脑活动但现有工具过于复杂,开发了一款名为 Mr. Baby Paint 的极简协作绘画应用。该应用全屏无菜单,左键画图、滚轮撒沙、右键填充,每种操作都配有音效和视觉效果,且所有行为都是非阻塞的。技术层面上,作者使用 Catmull-Rom 样条曲线解决快速鼠标移动时线条不连续的问题。在实现 flood fill 填充功能时,作者意外发现了一种基于 flood fill 的细胞自动机——所有填充共享每帧1000像素的「生长预算」,较小的填充生长更快,与正在生长的较大填充碰撞后产生有机振动模式,可运行数千代才稳定。该应用在 itch.io 售价4.99美元,支持 Mac/Windows/Linux,已售出约30份。
No.19
Show HN: Visualize Model Spikiness in 3D
展示:在 3D 中可视化模型分数尖峰
4 分
1 条评论
作者: afunk
这是一个将 AI 模型测试分数以 3D 形式展现的项目,每个尖峰(spike)代表一项分数指标,尖峰越长分数越高。用户可通过鼠标或手机陀螺仪在 3D 空间中飞行浏览,点击尖峰可缩放查看详情,悬停显示提示信息。该工具试图用空间维度呈现模型的多维评估数据,交互方式包括飞行、旋转、缩放等。项目存在一定争议:评论者认为,雷达图或蛛网图在 2D 平面通过面积几何已能有效传达互斥的一维特征信息,而此处强行引入 3D 并未带来额外信息量,因为 3D 体积内部并不满足「MECE」(相互独立、完全穷尽)的原则,深度信息可能造成误导。
No.20
Composite Video on the NES: Why's it so wobbly?
NES复合视频为何如此抖动?
85 分
7 条评论
作者: zdw
文章深入探讨NES(任天堂娱乐系统)复合视频信号画面抖动的根本原因。作者首先排除干扰假设,因干扰呈现随机噪声而非与画面同步的周期性抖动。通过分析colorburst频率(~3.57MHz)与NTSC行频(15.734kHz)的关系,发现RCA设计的「半整数倍数」优化方案(227.5周期/行)。然而NES的PPU采用21.47727MHz晶振(colorburst的6倍),经分频后产生约227.33周期/行的「错位」关系,导致每3行出现相位漂移,形成三行循环模式。相较之下,PC Engine严格遵循227.5标准,画面仅呈双行交替。而Apple II等少数机型甚至内置额外硬件来修正行频。评论补充指出,这种缺失周期效应使首条扫描线在每隔一帧时提前一个周期启动,造成像素级左右抖动。
No.21
Delta flight hit by firework while landing at Midway Airport on Fourth of July
Delta 航班独立日降落芝加哥中途机场时遭烟花击中
117 分
200 条评论
作者: randycupertino
7月4日美国独立日当天,Delta Air Lines 1076 航班在芝加哥中途国际机场降落时与烟花发生接触。机组人员通过无线电报告「听到一声巨响,飞机被烟花击中」,但飞机安全着陆,未宣布紧急状态。Delta 于次日发布检查结果称未发现损伤,FAA 已介入调查。评论社区普遍认为该事件偶发性大于实质性危害——烟花作为速燃爆炸物难以对飞机金属外壳造成结构性破坏,类似鸟类撞击风险;但更深层的讨论指向独立日前后非法烟花的执法困境、其对退伍军人及宠物的心理创伤、以及是否应以无人机表演替代传统烟花的争议。
No.22
DNSGlobe – Rust TUI to watch DNS propagate around the world
DNSGlobe – Rust TUI 实时查看全球 DNS 解析状态
55 分
33 条评论
作者: Callicles
DNSGlobe 是一个用 Rust 编写的 TUI 工具,通过查询全球多个公共 DNS 解析服务器,实时展示域名解析结果,帮助开发者了解不同地区的 DNS 生效情况。该工具由 514-labs 开发,据评论透露使用了 Claude Code 和 Fable 等 AI 编程工具编写。社区评论呈现两极分化:一派批评其「vibe-coded」风格、代码质量粗糙(如 to_string() 使用不当),并指出「DNS propagation」术语不准确——DNS 记录并非真正「传播」,而是各 resolver 缓存过期时间不同导致的更新差异;另一派则认可其实用价值,认为终端无广告、使用便捷,支持继续「vibin'」。有用户建议增加按列排序或按地区分组功能,开发者表示会听取反馈改进。
No.23
The great blogging collapse: What happened to 100 successful blogs?
100个成功博客的大崩塌:流量暴跌85%背后的真相
173 分
132 条评论
作者: thm
作者追踪了2022年出现在「六位数博主」榜单上的100个博客,对比其2022年与2026年的Google搜索流量,发现中位数博客暴跌85%,55个博客几乎归零,仅21个仍在增长。幸存者的共同特征是提供「AI无法总结的真实体验」——如食谱、DIY教程、旅行见闻,而非通用性内容。Google自2022年将「经验」纳入E-E-A-T算法、2023年推出Helpful Content更新、2024年核心算法升级,均对此类SEO驱动的内容农场造成重创。作者断言:纯靠Google引流、再用广告/联盟变现的博客时代已终结,搜索应降为获客渠道之一而非业务本身。评论中有人批评这是幸存者偏差常态,有人指出博客媒介转向了Substack等平台,有人认为内容农场所得即所失,还有人质疑文章本身文风机械。
No.24
Modernizing a 25-year-old minimal C++ unit testing framework (Part 2)
现代化 25 年历史的极简 C++ 单元测试框架(下)
13 分
1 条评论
作者: chuckallison
本文是 Chuck Allison 介绍其经典 C++ 单元测试框架现代化改造的下篇,承接上篇遗留的两个问题。其一是用 C++17 的 inline 变量解决全局计数器 nPass/nFail 在多翻译单元中的 ODR 合规问题——将它们放入命名空间 TestFramework 并声明为 inline,取代匿名命名空间方案;其二是借助 C++20 的 std::source_location 从宏手中接过文件名与行号的捕获任务,从而减少对预处理器的依赖。作者将核心代码迁移至独立模块 test.cppm,而宏(test_、fail_、throw_、nothrow_)因无法从模块导出,仍保留在配套头文件 test_macros.h 中。inline 关键字在模块环境下不再是必需的,整体方案兼具现代 C++ 特性和向后兼容性。
No.25
The Sneakerweb
Sneakerweb:用 U盘传递网站的点对点协议
50 分
10 条评论
作者: GalaxyNova
Sneakerweb 是一个无许可 Web 发布的对等协议,摒弃了传统 DNS、域名注册商和托管服务。网站直接存储在用户设备上,通过物理存储介质——即「终极备份基础设施」——在设备间传递。用户可在离线状态下用普通浏览器查看收集的网站,并通过 .snk 文件与他人分享。协议基于 Willow 构建,可防止网站伪造、合并更新数据并生成紧凑的 .snk 文件。该项目提供 CLI 工具,支持认领域名、发布静态网站、导入导出集合、屏蔽域名及启动本地服务器浏览。评论中有人联想到 USB dead drop(实体 U 盘藏宝游戏),也有人质疑这与直接给 HTML 有何不同,以及 U 盘是否会自动存储他人站点。
No.26
Cursed circuits #5: capacitance multiplier
诅咒电路 #5:电容倍增器
84 分
10 条评论
作者: surprisetalk
本文是 lcamtuf 的「诅咒电路」系列第五篇,介绍一种利用运算放大器实现的「电容倍增器」电路。该电路将运放配置为电压跟随器,结合一个电容和两个电阻(R1、R2),通过分析各支路电流比例,推导出等效电容可扩大 n 倍(n ≈ R1/R2 + 1)。也就是说,一个廉价的 1µF 电容在特定条件下可表现得像一个 1mF 电容。这并非真正增加储能(不能用于备用电源),但在做信号滤波或定时电路时,可以选用更小、更便宜的物理元件来获得更大的等效电容值。作者也坦承,随着电容技术近二三十年的显著进步,这一技巧的实际用处已大不如前——需要极低频滤波或长间隔定时时,数字芯片方案往往更灵活精确。文章末尾留了一道思考题:若将原电路中 C 和 R1 的位置互换,电路会如何工作。评论区补充指出,这种拓扑本质上是一种「回转器(gyrator)」,常用于芯片内部以节省面积,因为芯片上做电容占用大量空间而晶体管则很小;在音频均衡器等电路中也有实际应用。
No.27
You need a webring
你的个人网站需要一个网站链环
80 分
56 条评论
作者: forthwall
作者呼吁有个人网站和一圈朋友的人建立 webring(网站链环)——一种基于特定主题将多个网站串成循环链表的古早互联网玩法。文章介绍了两种实现方式:简单手动互链(A→B→C→A),或用 Cloudflare Worker 存储 JSON 文件,通过 /prev、/next、/random 路由自动跳转导航。核心卖点是去中心化、无需统一技术栈,仅靠相邻站点互链即可运作。评论中有人肯定这是一种对抗 AI 垃圾内容、保持网络人性化的方式;但也有人吐槽:文章没有充分解释「为什么要 ring 而不是简单链接列表」,实际体验中遇到的站点断链令人失望,以及用 Cloudflare Worker 实现一个 1990 年代的功能实在杀鸡用牛刀。
No.28
Dungeon Proof Crawler: learn how to write proofs with RPG
地牢证明爬虫:用 RPG 游戏学写证明
59 分
15 条评论
作者: SchwKatze
一款名为「algae」的开源证明工具推出了游戏化的教学界面,玩家在迷宫地牢中与怪物战斗,每个怪物实际上都是一个数学证明题。开发者 geckones 解释该项目是一个代数规格(algebraic specification)工具,游戏只是其教学前端,通过让玩家「证明」每个怪物的合法性来学习形式化证明的写作方法。评论者 marktani 解析了游戏的核心机制——引理(lemma)中的参数是「已知条件」,而证明过程则是展示这些条件如何推导出目标结论。bartleeanderson 建议先加入教程再开放战斗,adamddev1 吐槽标题容易让人误以为是用 RPG 编程语言写证明。wizzwizz4 报告了种子 0 中东南方向的狮身人面像无法加载导致卡关的 bug。smj-edison 提到该项目与 Metamath Zero 有相似之处(均使用 sort 系统),heftig 则反映游戏没有很好地教授基础就要求解题。
No.29
Connections in Math: the two kinds of random
数学中的连接:两种随机性
38 分
25 条评论
作者: pcael
作者提出了一个关于「随机性」的核心谜题:两个文件各含一百万位数字,一个是纯噪声(掷骰子结果),另一个是π的前一百万位。从统计学角度看,两者完全相同——每位数字出现频率均匀,任何随机性检验都无法区分。然而前者无法压缩,后者可以用三行程序生成。这引出了两种压缩的本质区别:统计压缩(如zip、霍夫曼编码)利用符号频率不均,是熵的体现;生成过程压缩则来自简单的生成规则,即使统计上毫无冗余。均匀分布具有最大熵,所以统计方法对两者都失效。但熵存在「盲点」——它无法捕捉由规则生成的规律性,需要引入科尔莫戈罗夫复杂度来刻画「最短程序」这一概念。评论指出熵的计算本身就很复杂,科尔莫戈罗夫复杂度不可计算,且以π为例本身也有争议(是否每个数字都无限次出现尚未证明)。
No.30
Run Windows 2000 on a DEC Alpha with a new es40 fork
新 es40 分支让 DEC Alpha 模拟器运行 Windows 2000
117 分
66 条评论
作者: jandeboevrie
es40 是模拟 DEC AlphaServer ES40 系列的模拟器,近日出现了一个新分支,带来了重大更新:JIT 编译器加速(据称单核性能已超越 1.25GHz EV68CB 真实硬件)、从 MAME 移植的 S3 显卡支持,以及 ARC 固件支持,使在 x86_64 上模拟 Alpha 运行 Windows 2000 成为可能。安装需要先升级 Alpha Systems Firmware v7.3 并使用 86box 的 S3 VGA BIOS(86c764x1.bin),然后通过 Windows 2000 RC2 build 2128(archive.org 可得)进行安装。文章作者同时参与 AXPBox 项目(es40 的另一个活跃分支),认为新 JIT 带来的速度提升「感觉明显快得多」。评论中有用户怀念 Windows 2000 的稳定性与 UI 设计,也有用户质疑模拟古董硬件的生产价值——微软从未为 Alpha 正式发布过 Windows 2000,只有测试版。
评论精华