Develata's Space

Appearance

2026-10-04 ​

FTL提出面向云的新操作系统设计：每个容器运行用户态OS库，实现Linux进程、VFS、TCP/IP等，内核仅提供最小接口，兼顾微内核灵活安全与宏内核性能，支持无内核编程扩展。 wpd 是 Rust 编写的 WebP 解码器，比 libwebp 单线程快 1.19-2.74 倍，多线程快 2.68-3.19 倍，内存安全且功能兼容，可替代 libwebp 修…

FTL: A new operating system for clouds 82 ​

  • Tags: 操作系统 云基础设施 容器安全 系统架构

  • Source: Hacker News | 阅读原文

[摘要]
FTL提出面向云的新操作系统设计：每个容器运行用户态OS库，实现Linux进程、VFS、TCP/IP等，内核仅提供最小接口，兼顾微内核灵活安全与宏内核性能，支持无内核编程扩展。

Introducing wpd 82 ​

  • Tags: 图像解码 内存安全 性能优化 开源项目

  • Source: Hacker News | 阅读原文

[摘要]
wpd 是 Rust 编写的 WebP 解码器，比 libwebp 单线程快 1.19-2.74 倍，多线程快 2.68-3.19 倍，内存安全且功能兼容，可替代 libwebp 修复 CVE-2023-4863 类漏洞。

How to Hack Time, With C2PA 78 ​

  • Tags: 安全漏洞 C2PA 内容认证 数字签名

  • Source: Hacker News | 阅读原文

[摘要]
C2PA规范允许签名排除任意字节范围，攻击者可排除整个文件，使签名和可信时间戳失效，实现事后篡改图片而不被检测，影响内容认证体系安全性。

Aleph Alpha Kolibri: How the Sovereign German LLM Works 78 ​

  • Tags: 大模型 开源项目 MoE架构 AI基础设施

  • Source: Hacker News | 阅读原文

[摘要]
德国Aleph Alpha发布开源MoE大模型Kolibri，780亿参数每token仅激活34.6亿，原生26万上下文，Apache 2.0许可，在德国芬兰基础设施上从头训练，注重主权与合规。

One Language, Every Chip 75 ​

  • Tags: 编译器 芯片硬件 GPU 系统设计

  • Source: Hacker News | 阅读原文

[摘要]
Vx编译器通过机器描述文件声明硬件内存层次与互连，替代硬编码成本模型，支持H100、B200等GPU，实现精确整数单位换算的硬件感知编译。

Zig 0.17 released 75 ​

  • Tags: 编程语言 构建系统 编译器 开源项目

  • Source: LWN.net | 阅读原文

[摘要]
Zig 0.17发布，重构构建系统并引入构建服务器协议，增强ELF链接器，x86_64-linux上实现增量编译，涉及925次提交，对开发工具链有重要影响。

KosmicKrisp Now Conformant To Vulkan 1.4, Improving Performance Against Apple's Metal 75 ​

  • Tags: 图形驱动 Vulkan 开源项目 苹果生态

  • Source: Phoronix | 阅读原文

[摘要]
LunarG主导的KosmicKrisp驱动获Vulkan 1.4一致性认证，性能逼近Apple Metal，为Mesa生态提供MoltenVK的现代替代方案。

The Amazing Work By Valve's Timur Kristóf On Improving Old AMD GPUs On Linux 72 ​

  • Tags: Linux内核 显卡驱动 AMDGPU 开源项目

  • Source: Phoronix | 阅读原文

[摘要]
Valve工程师Timur Kristóf改进AMDGPU内核驱动，提升十年前的GCN 1.0/1.1老显卡在Linux游戏和任务中的性能与兼容性，涉及内核驱动开发与用户态Mesa协同优化。

Linux Patches Show Promising Results For Lower Latency Of Short Slice Tasks 72 ​

  • Tags: Linux内核 调度器 性能优化

  • Source: Phoronix | 阅读原文

[摘要]
Linaro工程师提交Linux调度器补丁，优化多短时片任务并发时的调度延迟，降低系统响应时间，提升实时性与交互性能。

We want you to build the next Git platform on Cloudflare 72 ​

  • Tags: 云基础设施 Git平台 开发者工具 AI代理

  • Source: Hacker News | 阅读原文

[摘要]
Cloudflare推出Artifacts开放测试版，提供可编程Git版本化文件系统，支持Worker构建部署、分支预览及Git操作，旨在构建面向AI代理的下一代Git平台。

Thoreau BASIC 72 ​

  • Tags: 编程语言 JIT编译 UEFI 开源项目

  • Source: Hacker News | 阅读原文

[摘要]
Thoreau BASIC 3.2发布，新增文件浏览器、选择框等BASIC命令，支持UEFI无操作系统启动、JIT优化复数运算、CRC32校验及多核PARFOR，具备完整GM音色库。

Docker has always used microVMs (well, since 2016) 72 ​

  • Tags: 虚拟化 容器 Docker 系统架构

  • Source: Hacker News | 阅读原文

[摘要]
Docker Desktop自2016年起基于Mirage Unikernel构建库级VMM（hyperkit/Docker VMM），使用LinuxKit精简内核，实现rootless、最小设备接口和VPN兼容，现支撑Docker Sandboxes隔离运行。

Kolibri Has Landed: A Sovereign Open-Weight Model 72 ​

  • Tags: 开源模型 MoE架构 大语言模型 AI基础设施

  • Source: Hacker News | 阅读原文

[摘要]
Aleph Alpha发布78B总参3B激活的MoE开源模型Kolibri，支持1M上下文，Apache 2.0许可，专注德语与推理，强调主权与供应链透明，适合本地部署。

The forgetful CPU (Linux on M4) 72 ​

  • Tags: Linux内核 Apple Silicon 硬件适配 系统启动

  • Source: Hacker News | 阅读原文

[摘要]
Linux在M4 Mac mini上的启动过程，涉及SPTM安全机制、GXF锁定、RVBAR寄存器适配及MMU初始化调试，展示Apple Silicon新硬件支持的技术挑战。

Announcing Cloudflare OHTTP Gateway – expanding access to Cloudflare’s privacy-preserving infrastructure 72 ​

  • Tags: 隐私计算 网络协议 云基础设施 安全

  • Source: Hacker News | 阅读原文

[摘要]
Cloudflare推出OHTTP Gateway托管服务，支持客户在Cloudflare CDN/Workers后接收OHTTP流量，与第三方中继配合实现隐私分离，降低自建网关运维成本。