《计算机程序的结构与解释》视频讲座(1986) -- Structure and Interpretation of Computer Programs Video Lectures (1986)

该页面是MIT开放课程《计算机程序的结构与解释》的视频讲座页面,提供了课程大纲、阅读材料、讲义、视频讲座、辅导课、考试和项目等学习资源。

腾达固件(多个版本)存在隐藏认证后门 -- Tenda firmware (multiple versions) contains hidden authentication backdoor

Tenda多款固件存在未 documented 认证后门漏洞(CVE-2026-11405),攻击者可绕过密码验证获取设备Web管理界面的完全管理权限,受影响版本包括FH1201、W15E、AC10、AC5、AC6等型号。

AI遇见密码学1:AI在Cloudflare的Circl中发现了什么 -- AI Meets Cryptography 1: What AI Found in Cloudflare's Circl

我们使用AI审计工具检测Cloudflare的CIRCL密码学库,发现了七个真实漏洞,包括阈值RSA中的关键精度损失和属性加密的访问控制失效。所有漏洞已被修复。这是系列文章的第一篇。

软件质量笔记 -- Notes on Software Quality

文章探讨了软件质量的定义,认为质量即“没有问题的状态”,并提出了衡量质量的实用方法:通过多人测试和专家审查来评估。

美国联邦政府可购低于10万美元的房产地图 -- Mapping homes you can buy from the US government for <$100k

美国政府因房贷违约持有大量房产,现正低价出售。目前有334套房屋售价低于10万美元,分布在38个州,最低仅需3000美元。这些廉价房主要集中在锈带和南方农村地区,伊利诺伊州数量最多。

所有付费计划对《神鬼寓言5》的访问权限延长至7月12日 -- We're extending access to Fable 5 on all paid plans through July 12

所有付费计划用户对Claude Fable 5的访问权限已延长至7月12日。

Show HN: Rowboat – 开源、本地优先的 Claude Desktop 替代品 -- Show HN: Rowboat – Open-source, local-first alternative to Claude Desktop

Rowboat是一个开源桌面AI助手,能记住用户的工作内容,并提供内置操作界面,帮助用户更高效地完成任务。

GAO:能源部过早排除核清理中的低成本选项 -- GAO: DOE Is Prematurely Excluding Less Expensive Options for Nuclear Cleanup

美国能源部在核废料清理大型项目中,因法律限制和承包商过早介入,有时会排除更经济的方案。GAO建议在批准方案前引入独立专家,确保考虑所有可行的成本节约选项。

我们每周收费1万美元来删除AI生成的代码 -- We charge $10k a week to delete AI-generated code

本文介绍了一项名为Slopfix的服务,专门优化AI生成的混乱代码库。服务包括免费分析代码、一周集中重构(如合并重复代码、替换手写框架),并提供质量检查清单和防护规则,附带两周保修。

l: k和q的新运行时 -- l: A new runtime for k and q

l是一个为k4、q和qSQL代码设计的新运行时,它保留了原有语言不变,但通过透明压缩向量、SIMD和自动并行化来提升性能,无需修改现有代码即可运行。