Stories by birdculture

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

Transpiler Is a Meaningless Word

Building a fast website with the MASH stack in Rust

Particle Life simulation in browser using WebGPU

"Safe" YAML Monster

Modal's Serverless KV Store Now Scales to Infinity

QUIC restarts, slow problems: udpgrm to the rescue

Layers All the Way Down: The Untold Story of Shader Compilation

Circular Reasoning in Unit Tests – It works because it does what it does

GPU Glossary: Open-source GPU documentation for humans

OCaml Web Development: Essential Tools and Libraries in 2025

Beware the Complexity Merchants

GPU Glossary: GPU documentation for humans

GPU Glossary: GPU documentation for humans

Flattening Rust’s learning curve

Netflix Is Built on Java

Implement Your Language Twice

A Critical Look at MCP

Replacing Kubernetes with systemd (2024)

72 73 74 75 76 77 78 79 80 81