24 posts in total

---

2026

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

01-09

Automate Your Workflow with GitHub Actions

2025

12-06

Building C/C++ Applications in a Conda Environment