Tina, Odin's concurrency framework with + a HTTP Server (Tina HTTP) just hit 140 stars on GitHub. Do with that what you may 😉

@pmbanugo.me 's Tina, thread-per-core concurrency framework for Odin looks rowdy github.com/pmbanugo/tina

I don't think I ever got this speed when running just even way less test in JavaScript land. Takes between 1.x to 3.5 ms. Thank you Odin. It just needs a good web dev story to get Go and JS folks to consider it.

After reading Posthog's blog about their recent issue and fix regarding their use of Tokio + Rayon, I decided to write about it. Unrelated to Rust, but a common problem I see with async/await as a primitive for concurrency. What do you think? pmbanugo.me/blog/why-asy...

After reading Posthog's blog about their recent issue and fix regarding their use of Tokio + Rayon, I decided to write about it. Unrelated to Rust, but a common problem I see with async/await as a primitive for concurrency. What do you think? pmbanugo.me/blog/why-asy...

2 weeks after public release, Tina is gaining some eyeballs. if you haven't already, check it out — don't say I didn't tell you :) I'm currently working on adding a HTTP lib extension, and in the process decided I had to change some things at the core for better socket handling.

What happens when you combine Erlang-style concurrency + ScyllaDB's Seastar speed + deterministic simulation? Meet Tina: A strictly bounded, fault-tolerant, thread-per-core concurrency framework. 🧵👇

Why Queues Don’t Fix Overload My Saturday musing, published as a blog post pmbanugo.me/blog/why-que... Do you agree?

AI coding accelerates software pollution and further advances bad education on what it takes to make software Just as ppl expected the increase in software performance with 5 - 20x hardware performance decades ago. They’re doing a similar thing with AI - better hardware & models

In programming reliable software systems, first you make them correct and fault tolerant, then you make them fast.

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...