Maybe we should revisit microkernels
讨论微内核在 IOMMU 支持下的现代可行性,适合关注 OS 内核设计、安全与性能的人
IOMMU 让微内核零开销 IPC 成真 安全可靠的系统设计不再是历史包袱
2026 年 7 月 26 日 · 星期日
读过 25 篇 · 精选 10 篇
讨论微内核在 IOMMU 支持下的现代可行性,适合关注 OS 内核设计、安全与性能的人
IOMMU 让微内核零开销 IPC 成真 安全可靠的系统设计不再是历史包袱
GM 支持 Peak Energy 开发钠离子电池用于美国电网储能,计划加州建厂并与 RWE、Jupiter Power 合作,强调被动冷却和长寿命对 LFP 的成本优势。
GM 背书 Peak Energy 钠离子电池,20 年寿命被动冷却 96% 效率,电网存储比 LFP 省 20% 终身成本
Fly.io 创始人 Kurt Mackey 宣布卸任 CEO,由前 Docker CEO Scott Johnston 接棒,公司筹集新资金并将核心转向 Sprites—— 为 AI agents 设计的半可丢弃计算机。
Fly.io 创始人 Kurt 卸任 CEO,转向 Sprites 为 AI agents 提供半可丢弃电脑,新掌舵人 Scott 来自 Docker
Claude 5 模型上下文工程新规则,分享移除 80% 系统提示后的实践更新,适合用 Claude Code 或自建 agent 的人参考。
Claude 5 时代别堆规则了,系统提示砍 80% 靠判断和渐进披露就够
Debian 项目关于 LLM 在贡献中使用 的三项 GR 提案,分别主张禁止、附条件允许和尽量拒绝,适合关注自由软件社区政策的人。
Debian 提案 A 要全面禁 LLM 贡献,理由直指版权一团糟、质量幻觉和社区新人培养被毁
在 $8 ESP32-S3 微控制器上本地运行 28.9M 参数 LLM 的实现细节与代码
28.9M 参数 LLM 靠 Per-Layer Embeddings 塞进 8 美元 ESP32-S3 芯片 9.5 tok / s 全设备端
UK AISI / CAISI 联合评估 Kimi K3 网络能力,显示其显著低于前沿模型但优于 GLM-5.2,含 ExploitBench 与 TLO 测试数据。
Kimi K3 网络能力远逊美前沿模型 但优于 GLM-5.2 即将开源权重
作者披露 YC Paxel 工具的 nonce 验证漏洞及伪造评分进入 Startup School 的过程,适合关注 YC 申请流程或安全漏洞的人
YC 用 LLM 给全球 120 万开发者代码历史打 5 轴分,却因 nonce 缺 HMAC 签名能被伪造,作者披露漏洞后获 Startup School 邀请
开发者用 Cursor AI 从零构建 iOS 习惯追踪 App 的真实经历,6 小时出原型却代码混乱,耗时一年手动重构、修复同步性能及 iOS 更新问题,最终 App Store 发布并反思 AI 辅助编码的局限。
AI 6 小时出 App 原型,代码却 1000 行一团糟、同步失效、iOS 更新白屏,花一年清理还学不到开发技能
美国隐私活动人士破坏 Flock ALPR 摄像头,报道 vigilante 运动的案例与各方回应
Flock 监控产品在美国遭遇多城取消合同和自发破坏,隐私担忧已成市场风险
读完去做事。