The kern blog
Release announcements, technical deep-dives, and project updates.
kern v0.9.0-rc1 — the stability candidate
Code-side, every v1.0 ROADMAP gate is closed or has its harness shipped. Generics (selective monomorphization), async on cooperative kern routines with libuv-backed IO (spawn / spawn_thread / await), Secure<T, State> with EU-sovereign cloud KMS (Scaleway, Azure, OVH stub), kern-pkg ported to Kern (full surface), native OCI container runtime, OCI Distribution Spec v2 client, and a SHA-256 chain-hashed AI audit log all land here. 16 of 20 v1.0 gates closed; the four remaining are calendar / governance, not code. 901 tests at 100% pass.
Read moreOn main — generics, cooperative async, Secure<T>, native OCI
The preview that traced the path from v0.6 to v0.9.0-rc1: selective monomorphization for stdlib generics, real spawn/await codegen on cooperative kern routines with libuv-backed IO, the Secure<T, State> type-state, native OCI container runtime, and the kern-pkg port to Kern. All shipped in the v0.9.0-rc1 release post above.
Read morekern v0.6.0 — Decimal, durable event log, LLM resilience
The hardening release. Six items moved from the v1.0 list to shipped: a real Decimal type that unblocks finance and government deployment, a per-provider circuit breaker on the LLM proxy and Qdrant client, an event log with flock+fsync and chain re-verification, SSE heartbeat with Last-Event-ID reconnect, and BSI TR-02102-2 cipher classification in net.tls.
Read more