原标题：《Celebrating 70 Years of Fortran》 评分: 238 | 作者: rbanffy 💭 都 2026 年了，还要被第 72 列吞掉代码吗？ 🎯 讨论背景 Fortran 源于 1950 年代，是最早广泛使用的高级编程语言之一，名称意为 Formula Translation，最初目标是让科学家能直接表达数学公式并生成高效机器码。早期版本受打孔卡和主机硬件约束，形成了固定列格式、Hollerith 常量、隐式类型和缺乏递归等特征，这些遗产至今仍会出现在维护工作中。现代 Fortran 已通过 Fortran 90 及后续标准加入更现代的数组、模块和结构化能力，但大量科研机构仍背负 F77 代码与既有工作流。BLAS（基础线性代数子程序库）和 LAPACK（数值线性代数算法库）等 Fortran 生态资产，使它在高性能模拟和数据科学底层依然具有实际影响力。 📌 讨论焦点 现代 Fortran 仍适合数值计算 多位参与者认为，现代 Fortran 对线性代数、数值模拟和计算密集型科学程序仍是强项，其数学表达方式比 C 更直接易读。数组处理中的 non
原标题：《Muse Spark Open》 评分: 680 | 作者: bigwheels 💭 把三万美元桌面叫全民 AI，谁信？ 🎯 讨论背景 Muse Spark Open 是 Meta 发布的一款可下载权重的 MoE 大语言模型，规格为 816B 总参数、每次约激活 42B 参数；Meta 将其宣传为美国最强的 open-weight 模型，并强调适配本地推理。它与此前更强的 Muse Spark 1.3、Muse Wonder 等模型及名为 Muse 的云端 personal agent 产品容易混淆，评论中反复区分了模型、部署框架和消费级助手。该模型针对 Apple MLX（Apple Silicon 的机器学习框架）及多种推理运行器提供部署资料，但其大体量使“桌面运行”依赖多台高内存 Mac Studio 或高端 GPU。讨论也置于美国与中国开放模型竞争的背景中：GLM、DeepSeek、Qwen、MiMo 等中国模型被许多用户视为性能和价格上的强劲参照，而 Meta 的许可又限制了大型 Model as a Service 托管商。 📌 讨论焦点 性能、成本与实际编
原标题：《Non-Determinism Doesn't Matter》 评分: 23 | 作者: sklarsa 💭 每次都要人工验收的编译器，谁敢拿来发布？ 🎯 讨论背景 争论源于把 LLM（large language model，一类按 token 概率分布生成文本和代码的模型）比作“从自然语言编译到代码的 compiler（编译器）”。传统 compiler 通常将版本控制中的 source code 转成可复现的构建产物，使同一输入的二进制可审计和发布；LLM 输出则可能受 prompt、采样参数、服务端实现和硬件并行细节共同影响。文章主张非确定性本身不应否定 LLM 开发，评论则将焦点移向错误是否可预测、代码能否审查，以及谁承担最终验收。讨论还延伸到大规模训练和 RL（reinforcement learning，强化学习）：固定数值计算顺序有助于复现和稳定，却会牺牲吞吐量。 📌 讨论焦点 LLM 的随机性主要由采样与部署决定 多位评论指出，LLM 在每一步给出的是 next token 概率分布，是否每次得到相同结果主要取决于 sampler，而非模型天然无法复现
原标题：《Why I Wrote PGP (1991, revised 1999)》 评分: 121 | 作者: GaryBluto 💭 把复杂密钥和明文元数据塞进邮件，真叫隐私？ 🎯 讨论背景 1991 年，Phil Zimmermann（PGP 的创始人）发布 PGP（面向个人的公钥加密与数字签名工具），希望让普通人也能保护邮件和文件；这篇文章于 1999 年修订，反映了当时对政府监控和个人隐私的担忧。评论援引“Zimmermann's Law”——技术的自然演进往往让监控更容易——来解释其政治与隐私理想，而当年 DES（早期对称加密标准）等密码原语也尚未获得今天程度的信任。如今 OpenPGP（开放的 PGP 互操作规范）和 GnuPG（常用的 OpenPGP 实现）仍被使用，但安全工程更倾向为消息、备份和软件供应链分别设计协议。电子邮件的去中心化、向后兼容及 metadata 暴露，使它难以承载现代 E2EE；Signal（端到端加密即时通信系统）和 Tor（匿名通信网络）则代表了不同的替代思路。 📌 讨论焦点 历史贡献与整体设计过时 评论普遍承认，PGP 最重要的遗产是
原标题：《Aidlc: Adaptive workflow steering rules for AI coding agents》 评分: 20 | 作者: pramodbiligiri 💭 33 个阶段 14 个 Agent，代码就自动变好吗？ 🎯 讨论背景 Aidlc 是一个面向 AI coding agents 的自适应工作流规则项目，宣称用 5 个阶段、33 个步骤协调 14 个角色化 agent，包括领域专家、审查者和自适应汇总器。讨论所说的 ADLC（Agent Development Lifecycle，AI agent 化的软件开发生命周期）试图把传统企业的需求、审查和发布规范迁移到 agent 开发中。质疑者要求公开 evals（评测）证明它比简单的 native harness（平台原生执行框架）更有效，但现有 benchmark 容易被 frontier models（能力最强的新一代模型）通过数据或策略投机干扰。OpenSpec（面向规格驱动开发的开源工具）被提出为替代方案，尤其适合有既有代码与历史约束的 brown-field 存量项目。 📌 讨论焦点
原标题：《Woman arrested after blocking delivery robot in Center City Philadelphia》 评分: 23 | 作者: snarky-comments 💭 人行道让给送餐机器人，市民还算行人吗？ 🎯 讨论背景 事件发生在费城 Center City，女子因阻拦一台在人行道上运行的送餐机器人而被警方逮捕；评论认为直接执法理由更可能是拒绝服从警方命令及“disorderly conduct”，而非机器人本身拥有绝对路权。送餐机器人是用于短距离“最后一公里”配送的自主移动设备，通常能自行行驶，但在受阻、迷路等异常情形下可能由远程人工介入。讨论同时关联自动化是否挤压配送岗位、远程操作是否将工作外包，以及 civil disobedience（以承担法律风险表达政治诉求的公民不服从）能否正当化对公共服务的干扰。First Amendment 在这里代表美国对抗议表达的宪法保护，但保护范围并不当然使所有违反现场警令的行为免责。 📌 讨论焦点 逮捕依据与言论自由边界 评论者指出，女子并非单纯因未给机器人让路而被捕，警方给出的直接理
原标题：《Krea 3 – Frontier Image Model 4 × faster than Nano Banana Pro》 评分: 255 | 作者: dvrp 💭 号称快四倍，为什么只给两张图验货？ 🎯 讨论背景 Krea 是一家生成式视觉工具公司，先前发布的 Krea 2 是一款 12B open-weight 图像模型，在本地部署和文本生成图像评测中拥有一定用户基础。此次 Krea 3 以图像编辑为核心卖点，宣称相对 Nano Banana Pro（Google 的图像生成与编辑模型）快 4 倍、成本更低，并强调区域编辑和减少非目标区域退化；标题后来也被澄清为专指 image editing。讨论所处的竞争环境中，GPT-Image-2.5（OpenAI 图像模型）、Gemini（Google 的多模型产品）及 FLUX、Qwen 等模型都在争夺生成、编辑与 UI 设计工作流。争议不仅是单张图片质量，还包括开放权重与 LoRA 微调是否可用、图像稿转代码是否优于 LLM 直接写前端，以及订阅制试用是否妨碍真实评测。 📌 讨论焦点 编辑优先的定位与实际可靠性 Kr
原标题：《E Ink Launches Latest Version of Color EPaper Platform, E Ink Kaleido 4》 评分: 127 | 作者: Perroboc 💭 白底先变灰了，40K 色又给谁看？ 🎯 讨论背景 E Ink 是生产电泳式电子纸显示器的厂商，Kaleido 4 是其以 RGB 彩色滤光层实现彩色的第四代平台；官方称其提高反射率、对比度和刷新速度，并采用 oxide TFT（氧化物薄膜晶体管）背板驱动。Kaleido 3 已用于 Kobo 彩色阅读器、Boox 彩色平板及 Amazon Kindle Colorsoft 等产品，因此用户关心新屏何时进入下一代设备，以及现有新品会否迅速过时。彩色电子纸依靠环境光反射，因滤色层损失亮度而常比黑白电子纸更暗；另一类 Spectra、Gallery 彩色颜料电子纸可避免这一结构性问题，但通常刷新极慢、价格也更高。争论的核心不是能否显示颜色，而是彩色内容的收益能否抵消文字阅读时的对比度、速度和成本损失。 📌 讨论焦点 Kaleido 4 改进有限，核心可读性仍受质疑 发布资料宣称 Ka
原标题：《Wanted to download an ISO, ended up writing a kernel exploit》 评分: 344 | 作者: 0xdeafbeef 💭 买台 WiFi 7，为什么还得兼职内核维护者？ 🎯 讨论背景 原帖作者原本只想通过 TP-Link WiFi 设备下载 ISO 镜像，却遇到 TLS 的 `bad record mac ` 和传输损坏，最终一路追查到 WLAN 驱动、DMA 与 checksum offload 的交互，并写出内核 exploit 来验证或绕过问题。核心背景是 ARM 等 non-coherent 平台的 CPU cache 不会必然与外设 DMA 同步，而消费级网络设备常将关键驱动和 firmware 建立在 SoC 厂商提供的封闭代码之上。TP-Link 的早期 WiFi 7 产品、硬件 revision 与 firmware 支持混乱，使这个特定故障进一步引发了对消费级路由器维护期限和质量控制的广泛批评。讨论也延伸至 LLM（大型语言模型）辅助 embedded reverse engineering：它能显
原标题：《Major ICQ security hole (1998)》 评分: 20 | 作者: sysoleg 💭 九位密码竟成万能钥匙，安全当年全靠运气吗？ 🎯 讨论背景 ICQ 是互联网早期流行的即时通信服务，用户通常以数字账号（UIN）登录；低号码因注册早而被视为更稀有、更有辨识度。帖子所引的 1998 年漏洞称，客户端或服务端处理 9 个及以上字符密码时发生 buffer overrun（写入数据超出预分配内存边界），可能使攻击者绕过登录验证。评论还回忆了当时公共 WiFi 和邮件认证经常缺少加密保护，旁人通过 packet sniffing（抓取并读取网络数据包）即可截获 IMAP（邮件收取协议）密码。传统 Unix crypt 的 8 字符有效长度限制，则是同一时代密码设计受限的另一例证。 📌 讨论焦点 早期网络的脆弱与“好玩”记忆 评论聚焦于漏洞机制：发送至少 9 个字符的密码会触发 buffer overrun，从而绕过正常登录限制。有人怀念当年在咖啡馆直接嗅探未加密 WiFi 流量，甚至能截获市长的 IMAP 密码，说明认证信息曾经常以可被旁观者获取的形式传
