The Hacker Daily

Fil-C 是一个追求内存安全的 C 语言项目，其 0.680 版本新增了对 setjmp/longjmp 和 ucontext API 的支持，核心目标是在不引入栈损坏或能力模型违规的前提下，让这些传统「危险」API 可安全使用。文章指出这些 API 误用会导致恢复悬挂栈（dangling stack），例如在保存上下文的函数返回后仍尝试恢复其栈帧，或在栈被释放后仍跳转执行。Fil-C 的实现策略是：对于 longjmp，只有在调用帧是 jmp_buf 有效帧的后代时才会执行跳转，否则 panic；对于 swapcontext 若传入当前执行中的上下文也会 panic。作者还深入分析了 setjmp/longjmp 的复杂度——编译器优化（常量折叠、寄存器分配、栈溢出）会导致非 volatile 变量在第二次返回时呈现不可预测的值。评论社区讨论了 setjmp/longjmp 的风险不限于内存安全（如资源泄漏、CPU 状态恢复），也有开发者指出 ucontext 在 Boost fiber 中的 ABI 支持情况，以及复制栈（copy-stack）技术来应对栈指针问题。

老电脑挑战赛（Old Computer Challenge）由 Solène Rapenne 于 2021 年 7 月发起，每年7月第一周举行。参与者使用资源极度受限的旧电脑（如仅 512MB 内存）或自己的老旧设备生活一周，旨在体验数字极简主义、减少对现代计算资源的依赖。2022 年的规则是每天最多上网 1 小时；2023 年回归复古本源；2024 年主题为 DIY，鼓励参与者在挑战周内亲手创作（写故事、做音乐、发布程序）并发分享。2025 年将由新管理者 Tekk 接管网站，挑战时间为 7 月 5 日至 12 日。社区在 IRC #oldcomputerchallenge 和邮件列表上交流，近年 LLM 垃圾信息泛滥的背景下，这一挑战更具意义。

作者在 Ampere Altra 服务器主板上进行了约 11 个月的 AArch64 桌面实验，最终选择放弃。核心痛点有两个：其一，该平台存在 PCIE65 硬件 erratum，AMD GPU 无法正常运作，必须依赖手工打补丁的自编译内核；内核更新频繁（几乎每周一次），极大增加维护负担。其二，80 核心数量并未转化为良好的桌面体验——单核性能孱弱，多核调度无法弥补响应迟缓。更换为 Nvidia RTX 2060 后， nouveau 仍需 PCIE65 补丁，而 Nvidia 闭源驱动的 Flatpak 生态在 AArch64 上缺少关键组件（如 org.freedesktop.Platform.GL.nvidia），导致 FreeCAD、OrcaSlicer 等常用工具无法运行。作者最终重启闲置的 x86-64 系统（Ryzen 5 3600），桌面工作全面恢复正常。结论：不打算再次尝试 AArch64 桌面，除非出现全新型号的硬件平台。

Rocket Lab 宣布收购卫星通信公司 Iridium，交易估值 80 亿美元，Rocket Lab 市值约 570 亿美元此次收购引发社区热议。分析认为 Rocket Lab 意在复制 SpaceX 的 Starlink 策略——通过内部发射需求降低火箭发射成本，同时获取 Iridium 的全球频谱许可和盈利客户群。有评论指出频谱才是此次交易的核心价值所在，因为 Iridium 在各国拥有直接与手机通信的频段许可。尽管有用户质疑这笔交易的风险——Iridium 技术已相对落后、卫星网络老旧，但支持者认为其全球覆盖和军事/海事客户具有持久价值。另有评论提及这笔收购与当年 NeXT 收购苹果有相似之处。

这是一篇手把手教你在 DEC PDP-1 上运行 Lisp 的实操指南。Lisp 由 John McCarthy 于 1958 年在 MIT 发明，是首个高级符号编程语言。PDP-1 上的 Lisp 源自 Peter Deutsch（当时还是高中生）在 4K 18 位字长机器上移植的 Lisp 1.5。指南详细介绍了启动流程：设置 Extend 开关、挂载磁带、配置存储地址等；并演示了基本运算（注意「plus」而非「+」，以及 PDP-1 采用八进制，4+4=10）。文章还讲述了如何通过纸带加载保存代码、利用 pdef 函数将定义输出到穿孔带，以及如何利用 AI（ChatGPT/Claude）作为学习 PDP-1 Lisp 的辅助工具。

这是一个展示项目，目标是让复古游戏机 Sega MegaDrive（世嘉五代）运行完整 Linux 系统。项目利用 MegaDrive 内置的 68000 + Z80 双处理器架构，通过 Everdrive 烧录卡提供的 4MB 内存（替代原机仅 64KB RAM）实现。开发者认为这种做法明知无实际用途却非要实现，体现了黑客精神的极致趣味。社区反应热烈，对硬件限制、兼容性和技术细节展开讨论，有用户将其与 TRS-80 Model 16 的相似配置进行对比。

本文来自Moondream团队，深入探讨LLM推理中GPU空闲（GPU bubble）的问题及解决方案。自回归生成机制使token必须逐个产生，CPU和GPU形成串行瓶颈：GPU完成计算后需等待CPU选择token、记录结果，才能启动下一轮计算，导致GPU大量空闲时间。作者提出「流水线解码」核心思路：在GPU运行当前token计算时，CPU同步完成上一轮的提交和元数据处理，两者重叠执行。具体实现包含三个机制：（1）ping-pong slots双缓冲，通过两套DecodeSlot交替使用避免缓冲冲突；（2）「先forward后sample」策略，GPU提前开始下一token计算，采样所需的mask依赖则通过commit-before-finalize顺序解决；（3）zombie清理，请求完成后延迟释放资源。文章强调避免运行时GPU内存分配以减少同步开销，并利用CUDA graph捕获和解码步骤提升效率。

Ornith-1.0 是 deepreinforce-ai 发布的一系列开源模型，声称具备「自改进」能力，定位为面向 agentic coding（自主代理编程）场景。该系列包含 9B dense、31B dense、35B-MoE 和 397B-MoE 等多个规模，其中 9B 可在单张 80GB GPU 运行。核心争议在于：评论者普遍认为所谓「自改进」不过是营销噱头——模型实际上是 Qwen 或 Gemma 4 的微调版本，通过强化学习在自有任务上进一步优化（基准测试），但这与真正的「自改进」相去甚远。社区实测反馈显示，Ornith-1.0 35B 在 C++ 代码修改任务上略优于 Qwen-3.6 35B，但整体表现与 Qwen 3.5/3.6 相近，甚至在基础测试中不如 Qwen-3.6-27b。最大问题在于无工具调用时幻觉严重，长对话工具调用表现糟糕。LocalLLaMA 社区对此模型反应冷淡，认为又是一个「基准测试优化过度」的微调产物。

美国最高法院在「Trump v. Slaughter」案中裁定 FTC 独立性违宪，直接动摇 2023 年生效的 EU-US Data Privacy Framework。欧盟法律要求监管机构必须独立，欧盟委员会在该协议中引用 FTC 高达 259 次。隐私权益组织 noyb 创始人 Max Schrems 指出：欧盟宪法框架明确要求独立监督，更改的唯一途径是全体成员国一致同意修改欧盟条约。他呼吁欧委会有序撤销该协议，称欧委会在行业压力下建起了「法律纸牌屋」。虽然该协议目前正式效力仍在，但依赖「独立」美国机构的 SCCs 和 BCRs 也受影响，转移数据至美国云端在法律上已站不住脚。noyb 已致函欧委会，同时准备起诉以促成 CJEU 裁决此事。

美国最高法院在Chatrie v US案中以6-3裁定，执法部门使用「地理围栏令」收集智能手机位置数据属于宪法第四修正案意义上的「搜查」，个人对其手机位置数据享有「合理的隐私期待」，即使身处公共场所或数据由Google等第三方持有。卡根大法官在多数意见中批评政府「用户自愿选择分享位置」的论点「毫无价值」，指出Google反复催促用户开启定位服务且未充分披露数据收集范围。案件涉及弗吉尼亚州银行抢劫犯Chatrie，警方凭地理围栏令获取其Google位置历史数据将其定罪。然而最高法院仅认定搜查行为构成第四修正案「搜索」，未裁定其是否「合理」，将案件发回下级法院重审。隐私倡导者警告此类令状可能广泛用于监控抗议现场诊所等敏感区域。

安全研究员 Sammy Azdoufal 发现爱尔兰公司 Nefos 运营的 PuffPal 系统——即欧洲大麻俱乐部的会员管理与年龄验证平台——存在严重数据泄露：超过 98.5 万张护照、驾照及身份证照片以简单 URL 格式（如 `ccsnubev2.com/v8/images/_{club}/ID/{user_id}-front.jpg`）公开暴露，任何人无需认证即可下载。此外，Stripe 密钥明文嵌入 App、API 可通过修改 user_id 数字遍历所有用户资料、管理员门户直接暴露于公网。Nefos 在逾期五天后才响应，且曾为顾及客户体验重新开放已锁定的图片。Nefos 联合创始人承认违规并称正与爱尔兰数据保护委员会联络，但强调目前无证据表明外部访问。评论普遍批评公司过度收集并长期存储非必要数据，质疑「低价值验证场景使用高价值凭证」的系统设计，并指出缺乏追责机制是数据泄露频发的根本原因。

SQLite 官方文档详述了数据库损坏的各种途径。SQLite 能抵御崩溃和断电，但不免疫。损坏原因包括：文件描述符被关闭后被 SQLite 重新打开，原线程继续向旧描述符写入导致覆盖；自动备份在事务进行中复制数据库；热日志文件（-journal 或 -wal）被移动或删除导致无法自动恢复；网络文件系统（尤其是 NFS）锁逻辑存在 bug；POSIX advisory locking 设计缺陷导致 close() 会取消所有线程的锁，使其他线程在不知情下继续写入。文档还提及嵌套事务边界值错误、8+3 文件名不一致等问题。版本 3.8.1 开始拒绝使用低位文件描述符，3.51.0 增加了 WAL 模式防御。安全备份方式有 sqlite3_rsync、VACUUM INTO 和 backup API。

2003年7月，Alan Kay 向 Stefan Ram 澄清了他发明「面向对象编程」一词的真实意图。他表示该术语约于1967年在犹他大学提出，灵感来源于 Sketchpad、Simula、ARPAnet 设计、Burroughs B5000 以及生物学与数学背景。其原始构想包含：对象如同生物细胞或网络中的独立计算机，仅通过消息通信；试图「消灭数据」，数据不过是消息标记；每个对象可有多个关联的代数结构。Kay 特别强调，他最初并未加入继承机制。Kay 明确表示：「面向对象对我来说只意味着消息传递、状态的本地保留与隐藏，以及极致的延迟绑定。」他认为 OOP 可在 Smalltalk 和 LISP 中实现，但不喜欢静态类型系统。此外，Kay 指出 Simula 催生了两条路径：一条是他走的生物/网络非数据路径（Smalltalk），另一条是抽象数据类型路径（被 CS 界更广泛采用）。评论社区围绕 Smalltalk 派与 Simula 派的区别、对象是否必须包含数据、分布系统与本地对象的取舍等问题展开争议。

Zig 团队本月大幅改进了 SPIR-V 后端，核心内容包括：引入 @SpirvType 内置类型解决着色器编写中的最长遗留障碍；执行模式信息改由调用约定携带，移除了旧的 std.gpu.executionMode 辅助函数；CPU 特性和扩展现在完全由 CPU 特性集驱动；多线程代码生成落地，每个代码生成任务现在产生 MIR 值并由编译器线程池调度；新增对象文件链接支持，.spv 文件可被识别为对象文件并与其他 .zig 或 .spv 文件链接。测试通过率从约 40% 提升至 49%，std.gpu 更名为 std.spirv。作者同时预告了 LLVM 后端整数降级的改进工作，以及重新定义 @bitCast 语义以解决历史遗留问题。

本文梳理了1955年阿姆斯特丹Stedelijk博物馆举办的阿笠山崎折纸展在现代折纸史上的关键地位。作者指出，在1950年代之前，日本折纸主要分为儿童传统无切折纸与成人带切割的进阶折纸两大类。阿笠山崎的革命性贡献在于：他自创「创作折纸」理念，完全摒弃切割，发明侧向转动的鸟基础技法，并开发出湿折技术使作品呈现立体感。更重要的是，他统一了折纸图示规范——用不同虚线区分山折与谷折、用箭头标示方向，这一标准化让全球折纸爱好者得以交流。1951年，山崎为《朝日Graphic》杂志创作十二生肖折纸后一举成名。文章认为，1953年是个重要节点：美国学者Gershon Legman终于收到山崎回信、英国Robert Harbin重燃兴趣、纽约Lillian Oppenheimer学会折纸鸟，这些分散的线索最终汇聚，催生了现代折纸运动。文章还提及山崎作品在阿姆斯特丹展览后的最终下落。

本文是一份关于Apple神经引擎（ANE）的逆向工程报告，基于对A11至A18和M1至M5系列芯片的直接测量及对私有运行时、编译器、内核驱动和固件的静态分析。报告详细记录了ANE的数据路径、性能屋顶线（roofline）、调度路由、编译器、在盘程序格式、权重压缩方案，以及底层内核驱动、固件和命令协议。ANE是固定功能矩阵加速器，通过Core ML框架暴露给应用；此外存在一条可直接从用户空间调用的未文档化路径，但不受官方支持且版本脆弱，仅供测量和研究使用。

作者展示了其项目 Outer Shell，旨在为 SSH 会话提供原生图形化界面。该系统的核心理念是「每个应用都是一个小型的 HTTP 服务器」，通过专用查看器渲染远程服务器的 GUI 程序，而非依赖传统的 X11 转发。作者的出发点是：Jupyter、Tensorboard 等应用在标准浏览器通过 SSH 登录时无法访问。该方案允许在远程机器上运行图形化配置工具、文件管理器等应用，并以原生体验呈现给用户。评论区反应两极：一派认为这是有意义的第一性原理尝试，解决了真实痛点；另一派指出 Cockpit、MobaXterm 等早已实现类似功能，质疑其创新性。安全顾虑（如浏览器通用 socket 权限风险）和跨平台支持不足（目前仅 MacOS）也被多次提及。

暗夜照明（Dark-Sky Lighting）是一种通过完全遮蔽灯泡顶部和侧面、将光线导向地面的照明方式，相比传统灯具可大幅减少光污染。核心主张包括：1）琥珀色/橙色光源比白光LED更护眼，蓝光会干扰人体昼夜节律、增加失眠和癌症等健康风险；2）强光并非更安全——英国62个地区14年数据显示，降低照明并未导致交通事故或犯罪上升；3）暗夜照明减少能源浪费，美国30%的户外照明属于无效照明，每年浪费35亿美元；4）有助于保护鸟类、海龟、萤火虫等夜间生态系统生物。亚利桑那州弗拉格斯塔夫市是成功典范，拥有认证「国际暗夜社区」，居民甚至能在沃尔玛停车场看到银河。文章呼吁公众向政府请愿，要求采用琥珀色LED替代白光灯。

作者是本科生，利用iOS禁止原生应用JIT但允许浏览器JIT的限制，创造性地通过生成WebAssembly字节码让浏览器JIT编译成机器码，绕过了Apple的限制，实现了Game Boy模拟器的JIT编译。实现上使用Rust的wasm-encoder生成Wasm字节码，通过C ABI与JavaScript交互，并采用GameRoy的优化技术：预测中断时机、在可能中断时回退解释器、延迟评估MMIO访问。测试结果显示JIT-to-WASM方案性能明显优于原生解释器。研究表明浏览器JIT层可作为受限平台（如iOS）的替代编译后端。评论中有人指出iOS实际上存在调试模式绕过方案，也有观点认为对老硬件来说JS模拟器仍不可用。

Kb 是一个基于 Prolog 的知识库开源项目，让开发者可以用逻辑编程方式查询和组织知识。从评论可知，项目可能面向 AI agents 场景，支持对 markdown 语料库和代码进行 Prolog 风格查询。评论中多人表示在开发类似项目，有人已用 Janet 语言构建过逻辑编程引擎，还有人将其用于 hermetic/replayable 系统。讨论焦点包括：知识图谱中时间维度的处理方式、是否算作 Truth Maintenance System（真值维护系统）、以及跨项目合作可能性。整体反馈积极，社区对 Prolog 这类符号逻辑在知识管理领域的应用持续关注。

文章以一个简单的向量加法 kernel 为例，深入剖析了 CUDA 程序从源码到硬件执行的完整编译链路。nvcc 先调用 cudafe++ 生成主机端 stub，再用 LLVM 编译器 cicc 将 device code 编译为虚拟 ISA「PTX」，最后由 ptxas 转换为针对特定架构（sm_89）的「SASS」机器码。PTX 拥有无限虚拟寄存器和通用指针，转换过程中 mul.wide 和 add 融合为 IMAD.WIDE，cvta 转换被吸收进寻址模式。kernel 参数（指针 a、b、c 和大小 n）被放入 constant bank 0，借助广播缓存实现所有线程一次读取。提交 GPU 执行涉及「QMD」结构（携带所有 launch 参数）和门铃寄存器（doorbell register）机制，触发物理层面的执行。评论者普遍认为 QMD 和 doorbell 部分最为实用，揭示了 CUDA 语法与实际硬件提交之间的联系；有读者指出 control codes 实际是查表而非文中描述的位操作；也有讨论涉及 driver API 与 runtime API 的取舍，以及大规模部署时驱动 bug 带来的工程成本。

韩国政府与三星、SK海力士等科技巨头宣布投入1万亿美元，建设多个旗舰级项目：三星和SK海力士将投入5850亿美元在西南省份新建芯片 fab，目标五年内将DRAM产量翻倍；同时投入3570亿美元建设AI数据中心；并计划斥资58亿美元推动人形机器人商业化，目标2028年前在汽车工厂等场景部署。总统李在明表示，半导体、物理AI和AI数据中心是实现跨越式发展的「三元支柱」。此轮投资恰逢三星、SK海力士因AI内存芯片需求而获得创纪录利润，但也引发关于财富分配与劳动力替代的社会争议——工会已表达对机器人进入就业市场的担忧。

hyperscript 作者 Carson Gross 分享了他用 Claude 协助修复解析器 bug 的经历。问题是 0.9.91 版本中 fetch 命令的「as JSON」被错误解析——AI 在调查根因（过度重构导致表达式占用「as」关键字）时表现优异，也很好地生成了测试用例。但在提出修复方案时，AI 前两个建议都失败了：第一个太 hacky，第二个引入了不必要的上下文敏感标志。最终方案是由作者在「follows」机制基础上改进的——将「as」推入 follow 栈，仅在 fetch 命令内生效，不影响 go 命令。作者由此警示「学徒困境」：过度依赖 AI 可能导致开发者无法独立解决系统问题。

本文报道 Daniel「Des」Sanchez Estrada 因运输一箱政治小册子（zines）被判处30年重刑，成为首例依据特朗普政府「反法西斯」反恐框架 NSPM-7 对所谓「antifa」成员判刑的案件。Sanchez 的妻子 Maricela Rueda 参与了2025年7月4日在德州 Prairieland 移民监狱的抗议活动，现场有一名警察被枪击，但 Routa 并未被指控开枪，仅因持有反政府宣传品便与同案被告共被判处450年。文章指出，检方逻辑本质上是「拥有无政府主义小册子等同于恐怖分子成员」，将单纯的意识形态持有行为与犯罪行为直接挂钩。作者认为此判例将产生可怕的连锁反应——任何异议都可能成为罪证，阅读或传播政府不喜欢的刊物都可能面临牢狱之灾，并警告这只是更大规模言论打压的开始。

作者介绍了自制的153mm f/2.8超宽视场望远镜Wallace，命名取自英国作家华莱士。主镜研磨历经两次尝试，首次因刮伤报废，第二次保留了中心孔（被59mm副镜遮挡）。f/2.8的超快焦比有些偶然——原本瞄准f/3但读错了垫片厚度。配备Roger Ceragioli设计的4片式GSO彗差校正器，需79mm后截距才能发挥最佳性能。机身采用双模块燕尾槽结构，致敬传奇Coulter CT-100，以3D打印ASA材料制成。视场覆盖66%清晰成像，100度目镜可呈现4度以上真实视野。作者还将Wallace带上山野，在36度高温下徒步、架设、观星，发现拍摄记录反而让自己更专注环境细节（风声、虫鸣、脚踩石灰石的声音）。文件已开源在Printables。下一步计划用meniscus形状的毛坯制作更轻、更快冷却的版本，目标达到0.95 Strehl。