Elimination is a core part of software optimisation. But it also carries over into other areas of life. If you can eliminate, thereby reducing the amount of task or functions you would like to do, you have enough memory space to juggle the vital few

Most bugs exist because we only test scenarios we thought of. What about the ones we didn’t imagine? I’m building a formal verification tool from scratch and documenting everything — parser, VM, state-space exploration. You can follow along in my journey: pmbanugo.me/series/forma...

I've got some blog post series if you want to follow my journey into building a compiler and virtual machine, along the line learning about formal method and TLA MOre info at pmbanugo.me/series

I've got some blog post series if you're looking to learn about single-producer, single-consumer queue MOre info at pmbanugo.me/series

I also talked about prerender until script (and other improvements to the Speculation Rules API!) a few months ago at @perfnow.nl , so if you prefer your learning though video (and can put up with my um's and err's) then you can check that out here: www.youtube.com/watch?v=DqE9...

Adapting old programs to fit new machines usually means adapting new machines to behave like old ones. —Alan Perils

Turning academic papers into working code I recently dove into the paper "𝘽𝙞𝙣𝙖𝙧𝙮 𝙁𝙪𝙨𝙚 𝙁𝙞𝙡𝙩𝙚𝙧𝙨: 𝙁𝙖𝙨𝙩 𝙖𝙣𝙙 𝙎𝙢𝙖𝙡𝙡𝙚𝙧 𝙏𝙝𝙖𝙣 𝙓𝙤𝙧 𝙁𝙞𝙡𝙩𝙚𝙧𝙨" by Graf and Daniel Lemire. I wanted to understand how we can store millions of keys efficiently in memory without the overhead of standard hash tables or Bloom filters.🧵

I used the Die Hard water-jug puzzle to understand model checking, by building a naive solver. I only defined the rules; the strategy emerged from exploring every timeline/state. That’s why formal verification catches bugs tests miss. Part 1: pmbanugo.me/blog/tla-for...

Christmas sale discount 50% Limited seats available

𝗜𝗳 𝘆𝗼𝘂 𝘄𝗮𝗻𝘁 𝘁𝗼 𝗯𝗲 𝗮 𝟭𝟬𝘅 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗲𝗿, 𝗿𝗲𝗶𝗻𝘃𝗲𝗻𝘁 𝘁𝗵𝗲 𝘄𝗵𝗲𝗲𝗹. 𝗕𝘂𝗶𝗹𝗱 𝗮 𝗗𝗮𝘁𝗮𝗯𝗮𝘀𝗲. 𝗕𝘂𝗶𝗹𝗱 𝗮 𝗹𝗼𝗮𝗱 𝗯𝗮𝗹𝗮𝗻𝗰𝗲𝗿. 𝗕𝘂𝗶𝗹𝗱 𝗮 𝗣𝘂𝗯/𝗦𝘂𝗯 𝗲𝗻𝗴𝗶𝗻𝗲. Join this workshop where you will build a nats.io pub/sub server from scratch. 𝗙𝗼𝘂𝗻𝗱𝗶𝗻𝗴 𝗠𝗲𝗺𝗯𝗲𝗿 𝗽𝗿𝗶𝗰𝗲 (𝟲𝟬% 𝗼𝗳𝗳) 𝗲𝗻𝗱𝘀 𝗼𝗻 𝗗𝗲𝗰𝗲𝗺𝗯𝗲𝗿 𝟭 𝟭𝟭:𝟱𝟵 𝗣𝗠 𝗛𝗦𝗧. Go to protocol-zero.pmbanugo.me

𝗜𝗳 𝘆𝗼𝘂 𝘄𝗮𝗻𝘁 𝘁𝗼 𝗯𝗲 𝗮 𝟭𝟬𝘅 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗲𝗿, 𝗿𝗲𝗶𝗻𝘃𝗲𝗻𝘁 𝘁𝗵𝗲 𝘄𝗵𝗲𝗲𝗹. 𝗕𝘂𝗶𝗹𝗱 𝗮 𝗗𝗮𝘁𝗮𝗯𝗮𝘀𝗲. 𝗕𝘂𝗶𝗹𝗱 𝗮 𝗹𝗼𝗮𝗱 𝗯𝗮𝗹𝗮𝗻𝗰𝗲𝗿. 𝗕𝘂𝗶𝗹𝗱 𝗮 𝗣𝘂𝗯/𝗦𝘂𝗯 𝗲𝗻𝗴𝗶𝗻𝗲. Join this workshop where you will build a nats.io pub/sub server from scratch. 𝗙𝗼𝘂𝗻𝗱𝗶𝗻𝗴 𝗠𝗲𝗺𝗯𝗲𝗿 𝗽𝗿𝗶𝗰𝗲 (𝟲𝟬% 𝗼𝗳𝗳) 𝗲𝗻𝗱𝘀 𝗼𝗻 𝗗𝗲𝗰𝗲𝗺𝗯𝗲𝗿 𝟭 𝟭𝟭:𝟱𝟵 𝗣𝗠 𝗛𝗦𝗧. Go to protocol-zero.pmbanugo.me

Stop building To-Do apps. 🛑 If you want to be a 10x programmer, reinvent the wheel. Build a Database, a load balancer, Pub/Sub engine. I’m launching a workshop where we build a NATS-compatible server from scratch. More info at protocol-zero.pmbanugo.me Founding Member pricing is live from 27 Nov.

I've been experimenting with ZeroMQ for a couple of months and recently stumbled on NATS. Played around with it and implemented some parts of the core NATS protocol in @deno.land I'm making available only a few slots with 60% off only during Cyberweek. More info: protocol-zero.pmbanugo.me

black friday offer incoming. still putting ginishing touches protocol-zero.pmbanugo.me I need to record the video to show off demo and talk about the package

Programmers' Biggest Lies: Programming with Assertions youtu.be/U2Jr66nYRDA

Programmers' Biggest Lies: Programming with Assertions youtu.be/U2Jr66nYRDA

Processed 1 BILLION rows (14.8GB file) 4.7x FASTER 🤯 with a single-threaded Node.js. How? *Byte Parsing *Integer Math *Used hashing to keep Map lookups fast. Full technical breakdown and code in the linked blog post: pmbanugo.me/blog/nodejs-... #Nodejs #1BRC #Performance #JavaScript #Programming

Big Data > ML > Web 3.0 & Crypto > AI > (AGI?)

Too many tools = information overload for AI agents (and devs). In my latest post, I explain why treating MCP/tools like a direct mapping of REST endpoints often backfires — and show a simpler approach that reduces eight similar endpoints into just two useful tools.

What if Node.js EventEmitter worked across multiple processes and machines—with zero setup? I built Demitter, a lightweight distributed pub/sub system for Node.js. Think emitter.emit() and emitter.on()but distributed. 🚀 GitHub: dub.sh/zuxpUJT Demo 🎥: www.youtube.com/watch?v=LqQS... #javascript

In the Age of AI, is Code Literacy Your Superpower? pmbanugo.me/blog/ai-code... In the Age of AI, is Code Literacy Your Superpower?

How coding agents are being used today. Who would have thought Gemini would overtake GPT as the preferred model for coding

If you're looking for a networking library to use in Zig, you can try uSockets. It comes with an eventloop and other low level primitives for building networking apps. I published a package which makes it easy for you to integrate it in your @ziglang.bsky.social project github.com/pmbanugo/uSo...

A lot of people supporting anti-immigration are themselves immigrants. I think they’ve come to associate “immigration” to mean Africans (coloured folks) who they believe ran away from their poor countries to take free money/food from Europe/US. Crazy

I’m looking for the best way to send data between two threads in libuv? This isn’t using thread pool, so queue-work() wouldn’t be an option? It’s mostly one way communication and no shared data.

Learn me some concurrency and event loop. Is this the piece to finally give me better understand of event loop at a basic level? Maybe try implementing something basic in @ziglang.bsky.social

Most of this week has been finishing up technical article about Speculation Rules and finally getting to add it to my website. Yesterday was about tweaking my fetch server implementation using uWebSockets (mostly fixing the junk LLM added to it), which improved speed! Today's for Zig + libuv

Just put up a short guide about using libuv from Zig, and a bit about the error i faced with "dependency loop". It's actually my first blog post about @ziglang pmbanugo.me/blog/intro-u... Like to make this short post as reference for my future self

So this is why people get excited about having their logo on Time Square... to impress investors and satisfy themselves 😅

After 48 hours, I finally get my @ziglang.bsky.social code, (which interacts with libuv) to compile. I'm going to take a long break before I run it to make sure it's working. Moments like the past 2 days make me question why I chose to try Zig. Perhaps just to to JS (or C#)

Remembering my Grandparents who served during WWII, and those often forgotten: 2.5 million South Asians (including Hindus, Sikhs, and Muslims), 1 million Africans (mainly Kenyans), and the 10s of thousands of Caribbeans (mainly Jamaicans). When they fought Fascism they fought it together. #VEDay

Quite an interesting need. Deno didn't click for me, but I was hoping it would have been a better alternative to Bun, b'cos I feel Bun doesn't yet know what to focus on. I was betting on Bun (it's fast in many places) but the stability in other areas is concerning. I've settled for Node (again)

"Top 5 Free React UI Libraries to Use in 2025" #DEVCommunity dev.to/pmbanugo/top...

I'm exploring writing a a Node-API for @nodejs.org using @ziglang.bsky.social Calling Zig code from JS and vice versa works to a limited extent. now doing the actual thing I need has been from one error to another. GitHub copilot helps a bit but these LLMs don't understand Zig well🥲

revisiting working with strings in @ziglang.bsky.social today. I need to grok how to with slices and fill any gap in my basic understanding. Perhaps I'll put this down into a long-form article so I can reference whenever I need it

"Mastering Advanced JavaScript Set Operations" #DEVCommunity pmbanugo.me/blog/advance...

Do people picking new languages still consider C or C++? Or is it mostly legacy that experienced folks are happy with? I mostly see Rust or Go, and maybe a bit of Zig.

Do you know you can prefetch and prerender natively in the browser? Here’s @timvereecke.bsky.social explaining what speculation rules is. youtube.com/shorts/gISnY...

@cloudflare.social open-sourced their Workers runtime (workerd) and not many knows about it. This means that you could run in on-premise or on your own cloud. I wrote a blog about it a while ago, but might be a good time to share again: pmbanugo.me/blog/running...

Do you want to detect when code is executed with @deno.land @bun.sh or @nodejs.org ? You maybe have seen code like `typeof Deno != undefined`, but there's a better & cross-platform way to do it. The image shows an example, and I wrote more about it in this blog: pmbanugo.me/blog/runtime...

Cookies are going async! 🍪 Say goodbye to document.cookie struggles—the Cookie Store API is here to make cookie handling cleaner, faster & error-free! Let’s dive into it www.telerik.com/blogs/modern...

This is quite nice in @ziglang.bsky.social memory leak is usually not something simple to troubleshoot

WordPress Web Performance Best Practice & Tips - with WPQuik Founder youtube.com/live/elJ3_Jw...

Day 2 exploration with Zig. So you can't do string concatenation. You have to work with string buffers or copy strings 🫠 I see copyForwards function and @memcopy built-in function but I don't (yet) understand the differences. feels strange, maybe there's a simple way i haven't discovered #learnzig

I got curious about @ziglang.bsky.social and reading about pointers makes me feel like my whole codebase will be filled with "dangling pointers". Coming from a Node.js world, pointers and memory allocation looks like the big shift I'd have to make

hey @mtlynch.io I get an error when I try to subscribe to your blog. Just thought to let you know

"Web Speed Showdown: Varnish vs Squid vs Apache Traffic Server!" dev.to/pmbanugo/web... #DEVCommunity #webdev

Just dropped a comprehensive breakdown of three cache proxy titans: Varnish Cache, Apache Traffic Server, and Squid Cache. We're diving deep into their: - Architectural innovations - Performance strengths - Real-world applications - Future potential 🔗👇🏽