26 posts in total

---

2026

04-18

Docker and Podman Containers as Lightweight VMs for Interactive Work

04-16

Critique of "RFSeek and Ye Shall Find: A tool for summary visualization and analysis of RFCs"

04-15

Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT

04-10

PyTorch + CUDA vs. XLA + TPU: Two Execution Models for ML Systems

02-28

Trace Function Calls in C/C++ Programs

02-11

PRoot: Lightweight Userland Linux Distros Without Root

02-07

High-Frequency Git Operations for Everyday Development

01-19

Setting Up a Mock Windows 7 32-bit Environment Using Wine

01-18

Qt Bindings for Python Test Environments

01-17

Building an OCaml Project with Dependencies in a Conda Environment Using Dune