新出现
微内核借助IOMMU实现零开销IPC
微内核通过IOMMU硬件和共享ring buffer结合原子CAS,实现现代零开销进程间通信。
提供可落地的OS安全与性能架构蓝图,直接改变对现代操作系统可靠性的判断。
- Maybe we should revisit microkernels Lobsters #1
2026 年 7 月 26 日 · 星期日
微内核通过IOMMU硬件和共享ring buffer结合原子CAS,实现现代零开销进程间通信。
提供可落地的OS安全与性能架构蓝图,直接改变对现代操作系统可靠性的判断。
GM支持Peak Energy开发钠离子电池,在55°C高温下实现长寿命、96%往返效率和被动冷却,优于LFP并计划建厂。
为AI数据中心提供低成本、长寿命储能替代方案,改变长期成本与可靠性判断。
Fly.io创始人卸任,新CEO接棒,公司核心从传统云平台转向为AI agents设计的半可丢弃Sprites计算机,支持快速fork和100GB持久盘。
更新对agent基础设施的判断,固定功能云平台已过时,需要专用工程突破。
Anthropic将Claude 5系统提示减少80%后性能无损,推动移除判断式提示、优化工具接口和渐进披露。
可直接迁移到自建agent,避免指令冲突和token浪费,改变上下文管理方法。
通过Per-Layer Embeddings优化内存布局,在ESP32-S3上将25M参数embedding表留在flash,按需加载450字节到SRAM,实现本地LLM运行。
项目中可直接迁移该内存布局,将MCU模型规模从260k提升至28.9M。
Debian提出三项GR提案,分别禁止、附条件允许和尽量拒绝LLM在packaging等贡献中的使用,指出过时语法和虚构版权等风险。
帮助判断AI工具是否适合开源贡献,直接避开具体风险。