← 返回归档

日报


新出现

FoundationDB模拟驱动开发注入CI故障

Clever Cloud在FoundationDB上实践simulation-driven development,将网络分区、时钟漂移等故障注入CI,持续发现数据损坏与选主问题。

为分布式系统测试提供超越单元测试的方法,可迁移到数据库、消息系统等关键基础设施,提升正确性保障。

  1. Pierre Zemb from Clever Cloud on FoundationDB Lobsters #6
新出现

耦合振荡器替代神经网络生成图像

Un-0模型用可训练的耦合振荡器动力系统承担大部分计算,仅保留13%参数的解码器,开源验证物理计算可行性。

提供非神经网络生成模型新路径,可能降低算力需求并改变AI硬件设计方向,影响生成模型研究与硬件投资。

  1. Un-0: Generating Images with Coupled Oscillators Hacker News #4
新出现

结构化主键替代代理键优化查询

在订单系统中采用(customer id, placed)作为结构化主键并外延到子表,避免回表与join,挑战单列自增主键惯例。

改变数据库建模中主键选择仅作为标识的认知,直接影响查询性能与表结构设计,适用于高吞吐OLTP系统。

  1. Structured Primary Keys Lobsters #5
新出现

ClickHouse Silk纤程运行时优化尾延迟

ClickHouse发布Silk协程运行时,以stackful fiber、io_uring和per-CPU work-stealing替代传统线程模型,优化尾延迟。

为高并发系统设计提供新的调度范式,帮助判断架构瓶颈从线程计算转向I/O调度与尾延迟,影响数据库、消息队列等底层选型。

  1. Announcing Silk: a silky smooth fiber runtime for ClickHouse Lobsters #3
新出现

Zig SPIR-V后端升级,GPU/Shader开发可用性增强

Zig编译器通过类型系统、调用约定、多线程代码生成等升级,使SPIR-V后端从实验性走向可用,支持对象链接与测试覆盖。

为GPU/Shader开发者提供除GLSL/HLSL外的系统编程语言选项,可复用Zig的编译时与安全特性,影响图形与计算工具链选型。

  1. SPIR-V Backend Progress Lobsters #1
新出现

声明式配置替代Proxmox GUI管理虚拟化

从Proxmox迁移到NixOS+Incus,用声明式配置实现可复现、AI agent友好的虚拟化运维,替代点击式管理。

为基础设施管理提供可版本控制、可复现的范式,降低人工操作错误,并使AI agent能参与配置修改,影响自托管与边缘计算架构。

  1. I've gone full Nix: Proxmox to NixOS + Incus Lobsters #2