Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT
A short overview of Kleene algebra and how NetKAT and StacKAT use it to model network behavior.
Jifeng Wu's Personal Website
Main Takeaways from a Group Discussion on AI Coding
A bullet-point summary of a group discussion on AI coding, hiring, interviews, and AI-native engineering workflows.
PyTorch + CUDA vs. XLA + TPU: Two Execution Models for ML Systems
A mental model for the difference between PyTorch + CUDA and the XLA + TPU execution style.
PRoot: Lightweight Userland Linux Distros Without Root
Need to build and run applications in a different Linux distribution than your host, but can’t use root, Docker or Podman containers, or virtualization on your system (e.g. on shared HPC, constrained