|
Subscribe to my newsletter if you want to see me write about different stack of software engineering and how to use them to build products. I write about high-performance Node.js/Bun applications, React and Astro, and my journey programming with Zig.
PETER MBANUGO Programmer & Consultant Hey Reader, it's been a while. I've been busy working on Tina, the high-performance concurrency framework I've written about a few times. It's a huge rewrite (from scratch) because I've learned a few new things and I'm expanding the framework from the initial idea of "just an eventloop library", to having a few more components for building robust applications. There's still a lot to do, but I hope to share some update next month. Stay tuned! New Blog Post...
PETER MBANUGO Programmer & Consultant Hi everyone, If you’ve ever tried to build a high-performance backend, you know the pain of the "Concurrency Trilemma." You usually have to pick your poison: Callback, Promise, or Async Hell (Rust/JS) where coloured functions fragment your codebase. Mutex Hell (Go/C++) where shared-state leads to subtle race conditions and deadlocks. The GC Ceiling (Erlang/Elixir) where you get a brilliant mental model, but pay for it in garbage collection pauses and VM...
PETER MBANUGO Programmer & Consultant Hey 👋 Have you ever fixed a bug, or shipped the patch only to have it haunt you in production? That feeling exists because tests only catch scenarios you think of. There's another way to approach correctness: specify what the system should do, not how to do it — and let a computer program verify that all possible executions satisfy your requirement. That’s the idea behind formal verification, and I’ve started a new series where I’m building a new tool to...