Perfect magic hypercube centre
September 05, 2026A Lean proof about the centre of a perfect magic hypercube.
NGINX Ingress Controller Home Server (Part 1 - Networking)
March 01, 2024Using NGINX Ingress Controller to host a home server. In this part, I will be setting up the networking for the home server, using MetalLB and k0s.