原标题：《What my dad taught me about AI coding in the 90s》 评分: 35 | 作者: askmike 💭 连输出都不看，还叫在编程吗？ 🎯 讨论背景 这篇文章把用 AI 辅助写代码，尤其是用 Claude Code 这类终端里的 coding agent，类比成盲棋：开发者不必逐行盯着实现，而是靠高层心智模型推进。评论区围绕这个类比展开了多层争论，包括是否真的能不审查输出、LLM 的输出能否复现、以及程序员在编码时到底是在“写代码”还是在“思考问题”。有人认为更贴近的类比其实是 bullet chess（快节奏棋类），因为它强调在信息齐全但节奏很快的情况下持续更新局面认知。也有人从“thinking time”切入，认为 AI 只是把实现细节交给机器，让人把精力放在结构、接口和问题分解上。 📌 讨论焦点 类比有启发，但前提是要审阅 AI 输出 不少评论者认为，把 AI 编程完全比作盲棋太激进了。更贴切的说法可能是 bullet chess：你并不是闭眼不看，而是在信息齐全但节奏很快的情况下不断更新自己的心智模型。有人强调自己会认真
原标题：《SQLite as a Document Database (2020)》 评分: 229 | 作者: lioeters 💭 都能索引、约束、备份了，还在叫它文档库吗？ 🎯 讨论背景 这篇 2020 年的讨论围绕“把 SQLite 当作文档数据库使用”展开，后来评论又补充了 JSONB、generated columns、FTS5 之类的新能力。SQLite 是嵌入式 relational database，但它现在也能把 JSON、blob、全文索引和派生列组合在一起，所以有人把它当成轻量级 document backend。评论者拿 MongoDB、Postgres、CouchDB、MariaDB、Litestream（SQLite 的持续备份工具）等做对比，争论重点不是“能不能存 JSON”，而是“如何在单文件、离线、可备份的前提下保留查询能力”。很多例子来自离线表单、游戏存档、邮件归档、基因组数据和历史记录场景，核心背景是：当数据天然像一份自包含文档时，SQLite 是否能在不牺牲太多结构化能力的情况下承担这个角色。 📌 讨论焦点 SQLite 文档库实战 不少
原标题：《Tencent Releases and Open-Sources Tencent Hy4 Preview》 评分: 353 | 作者: shenli3514 💭 开源的是权重，还是顺手把榜单也刷了？ 🎯 讨论背景 腾讯发布了 Hy4 Preview，一个总参数 770B、激活参数 49B、上下文窗口超过 1M tokens 的大模型预览版，并声称它还参与了训练方法、数据策略、评测框架和底层算子的自动化优化。评论区把它和 Hy3、DeepSeek、Qwen、Claude、Gemini 等模型放在一起比较，重点不只是分数，还包括 coding agent、长上下文和推理成本。因为它在 OpenRouter（模型聚合推理平台）上很快获得了大量调用，大家开始追问真实使用体验、缓存命中率和路由方式。与此同时，帖子也引出一个老问题：这类发布到底算 open source，还是只是 open weights（开放权重）而已。 📌 讨论焦点 压缩 reasoning 与可见思考 很多评论盯着模型输出里那些像“let’s mentally compose SVG”或“caveman s
原标题：《Longest Straight Line Paths on Water or Land on the Earth (2018)》 评分: 129 | 作者: joebig 💭 都叫最长直线了，先把海陆定义讲明白行吗？ 🎯 讨论背景 这篇 2018 年的文章讨论的是：在地球表面找出尽量保持“直线”的最长路径，分别覆盖海面和陆地，并借助地形高程数据来做计算。它的起点来自 Reddit 上一位网友用 Google Earth 和一根绳子在真实地球仪上提出的猜想，后来论文反而验证了这个猜想。评论区围绕球面几何、地图投影、以及“陆地”是否应包含海平面以下区域展开争论。现实可行性也被反复追问，因为山脉、河流、桥梁、隧道和海上障碍都会改变“最长路径”的定义。 📌 讨论焦点 论文验证了 Reddit 的猜想 有人先复述了论文的结论：作者拿算法和高程数据去验证 Reddit 上的一个猜想，结果发现海上的最长直线路径确实成立，并且还补出了最长陆地路径。原本期待论文能推翻这个说法的人，看到结果后反而觉得很有趣。还有人补充，最早提出这个想法的网友其实在 Reddit 里叫 kepleronl
原标题：《RISC-V is now officially supported by CPython》 评分: 229 | 作者: lumpa 💭 没有硬件、没有维护者，也叫官方支持吗？ 🎯 讨论背景 CPython 是 Python 的参考实现，主要用 C 编写；这次讨论的是它被正式加入对 RISC-V 的平台支持列表。这里的“正式支持”来自 Python 项目的平台分级规则 PEP 11，但评论强调目前只是 Tier 3，意味着可用性和维护优先级都还比较有限。讨论的关键背景是 RISC-V 生态仍在快速演进，项目当前能稳定测试的机器主要是 RV64GC，而更激进的 RVA23 则包含 vector 和 bit-manipulation 等新扩展，是否应成为未来基线仍取决于硬件普及和 wheel 生态。评论也补充了 Python 打包、CI、perf 测试和硬件可获得性这些工程问题，因为官方支持不仅是“能编译”，还要能长期测试、复现和修 bug。 📌 讨论焦点 Tier 3 支持的含义与推进门槛 不少评论强调，这次“官方支持”只意味着进入 Tier 3，而不是和主流平台一样的强
原标题：《Nancy Grace Roman Space Telescope》 评分: 229 | 作者: JumpCrisscross 💭 造望远镜前，先把党争发射上去吗？ 🎯 讨论背景 Nancy Grace Roman Space Telescope（原 WFIRST）是 NASA 的下一代天体物理巡天任务，目标是大面积拍摄天空、测暗能量、找系外行星并捕捉超新星等瞬变事件。它使用了来自旧机密侦察望远镜计划的 2.4 米级镜面，但其余平台与科学仪器——尤其是 WFI（Wide Field Instrument，宽视场相机）和 CGI（Coronagraph Instrument，星冕仪）——都是为这项任务重新设计的。任务工作在地日 L2（拉格朗日点 2）附近，计划把处理后的数据尽快公开、几乎不设独占期，因此它常被拿来和 Hubble、JWST（James Webb Space Telescope）以及 Rubin Observatory（Vera C. Rubin Observatory，原 LSST）一起讨论。评论里还把它放进更大的航天经费、承包商和发射窗口争议中，涉及 Fa
原标题：《Spark: Sparklines in your shell》 评分: 20 | 作者: hskimse 💭 一个 2011 年的老仓库，凭什么突然挤上首页？ 🎯 讨论背景 Spark 是一个在 shell 里输出 sparklines（微型趋势图）的工具，适合用极少字符把数据变化直接显示在终端中。帖子链接指向 git.zx2c4.com（WireGuard 作者维护的 Git 仓库站点），而这个站点使用 cgit（一个轻量级的 Git 网页浏览界面），因此访问量一高就容易出现加载困难。评论里有人提到该仓库自 2011 年后就没怎么更新，所以它突然被翻出来让人意外，也有人拿更早、更知名的 Bash 版 spark 来对比。讨论还延伸到终端字符集选择、是否能用 Unicode 或 Teletext glyphs 表示图形，以及这种小工具能否融入现代 CLI 和 AI 辅助编程流程。 📌 讨论焦点 站点过载与访问异常 很多人打开项目页时都遇到服务不可用，先是主站被挤爆，随后连 web archive 链接也被挤爆。有人怀疑是站点在拒绝无效的 Referer header，
原标题：《FreeCORE TrueNAS Core – Continued》 评分: 126 | 作者: sashk 💭 源码都开了，build 脚本算什么奢侈品？ 🎯 讨论背景 这条讨论围绕 FreeCORE——一个试图延续 TrueNAS CORE（基于 FreeBSD 的 NAS 系统）的社区分支——展开。iXsystems 近年把开发重心转向 TrueNAS SCALE（基于 Debian Linux 的版本），同时还被指停止公开 build scripts，让一些用户担心开源可复现性被削弱。评论里很多人把它放进更大的 NAS 选型里比较：商业支持是否值得、FreeBSD 与 Linux 在存储和容器生态上的取舍、以及像 zVault、bsdnas 这类替代项目能否活得足够久。讨论还牵涉 ZFS、jails、Docker、K8s 等运维工具，因为它们决定了 NAS 发行版到底只是“带 GUI 的系统”，还是能承担长期数据存储平台。 📌 讨论焦点 build scripts 与开源完整性争议 很多评论把焦点放在 TrueNAS 停止公开 build scripts 上，认
原标题：《Everyone Should Build Their Own Network Stack》 评分: 25 | 作者: uneven9434 💭 既然安全，连验证器也一起 JIT 吗？ 🎯 讨论背景 这条帖子围绕“自己实现 network stack”展开，但评论显示它既是技术讨论，也是带点玩笑意味的命题。有人回忆早年在核电厂项目里，Sun 3 工作站要和没有 TCP/IP stack 的工业 mini computer 通信，只能自己做一套 bespoke application stack 和 network stack。另一些人提到在 FPGA（现场可编程门阵列）上实现的极简栈，覆盖 ARP、IPv4、ICMP Echo reply 和 UDP，说明这种工作在嵌入式和高性能场景里仍有现实价值。评论区又延伸到 Linux 的 UDP GRO、LLM 生成代码、Lean（定理证明器）和 formal verification，最终把话题推到“底层手工能力、冗余架构和自动化验证”三者之间的取舍。 📌 讨论焦点 实战与动手价值 不少人把这个话题当成真实工程经验，而不是纯粹
原标题：《The Einstein-Szilard Refrigerator》 评分: 21 | 作者: EndXA 💭 400 公斤的冰箱也配商业化？ 🎯 讨论背景 Einstein-Szilard refrigerator（爱因斯坦与 Szilard 合作的无压缩机冰箱）源于对早期 refrigerator 安全性和可靠性的改进诉求，目标是去掉 mechanical pump 以减少泄漏和故障。它属于 absorption refrigeration（吸收式制冷）路线，用 heat source 驱动 water、ammonia、butane 等 working fluids 循环，通过 partial pressure 变化完成冷凝和蒸发。评论指出，它并不是从零开始的独立发明，而是对 Platen-Munters（瑞典工程师）早期三流体设计的改良；后来类似技术以 propane fridge、RV fridge 等形式继续存在。讨论之所以集中在它身上，是因为它兼具“安静、无 moving parts”的优点和“体积大、效率和商业化不足”的现实局限。 📌 讨论焦点 热驱动工作
