#Endif

HN comments are terrible. On any topic I’m informed about, the vast majority of comments are pretty clearly wrong. Most of the time, there are zero comments from people who know anything about the topic and the top comment is reasonable sounding but…

Something I must confess is that I absolutely hate writing these blog posts. It’s not quite as bad as having to give a conference talk, but it’s up there on the list of activities that feel like pulling teeth to me. Not that I’m not proud of the result.…

Hunting a 16-year-old SQLite bug with TLA+: We model the WAL race condition to reproduce the issue, verify the fix, and analyze if dqlite is vulnerable.

I spent a whole month researching FreeBSD's kernel's virtual memory system to understand why tools like htop, btop and fastfetch report different information about RAM usage. I ended up submitting patches to all of these projects.

All languages will change to express restartable sequences, and all software will be rewritten to use them.

The 3.7 kB Alarm: A Zero-Bloat Edge AI Smoke Detector in Pure C You are building a...

If you've ever enjoyed the developer experience of Razor Pages in ASP.NET but wished you could use...

Extracting structured data from barcodes, passports, and physical documents typically demands separate native implementations for every platform.…

This is the next tutorial in my Learning XS series. This post explores one of Perl's most powerful optimisation techniques: Custom Ops. We'll build a real-world example, reimplementing one of my first XS cpan modules - a Shannon entropy calculator - and…

Survey of fast tanh approximations using Taylor series, Padé approximants, splines, and bitwise manipulation techniques like K-TanH and Schraudolph