Ever since reading
What If We Pretended That a Task = Thread?
I can't stop thinking about borrowing non-Sync data across .await.
In this post, I'd love to take one more look at the problem.

Systemd is used by Debian, Arch, Fedora, Ubuntu, and many downstream distros.

In my previous post, I walked through the task of formally deducing one lemma from another in Lean 4. The deduction was deliberately chosen to be short and only showcased a small number of Lean tac…

UEFIs booting Windows and Linux devices can be hacked by malicious logo images.

I caught up with some of the latest developments in the ecosystem around Justine Tunney's cosmopolitan and Actually Portable Executable (APE) projects this week. They are absolutely fascinating .

This is a complete tutorial for understanding the basics of Linux ext4 file system.

Join me as we take a look at common application data patterns, and how they relate to the inner-workings of databases. In this post, we discuss data caching, indexing, optimistic mutations, and recursive cache invalidation. We will see how life might be easier…