Blog
| Dec 14 2024 | Formalizing Axiomatic Set Theory in Lean |
| May 15 2024 | Proving Graph 3-Coloring with Go and Zero-Knowledge Proofs |
| Mar 20 2024 | Isomorphism Classes of S-Decorated Simple Graphs |
| Aug 13 2023 | A Glimpse into my Self-Hosting Setup |
| May 10 2023 | Associating Finite Groups with Cayley Color Graphs |
| Dec 26 2022 | The Representability of Graphic Matroids as Vector Matroids |
| Jun 03 2022 | How to Tunnel Traffic With WireGuard Forwarding |
| May 24 2022 | Self-Host Your Color Schemes |
| Mar 16 2022 | Bevy Jam #1: Beeline |
| Feb 04 2022 | Planes: altitude, roll, and collisions |
| Dec 18 2021 | Switching Themes on the fly with XMonad |
| Oct 14 2021 | 3D Isometric Camera in Rust |
| Aug 14 2021 | Developing a Game Engine in Rust |
| Jul 20 2021 | My Journey from Windows to Linux |
| Jul 20 2021 | Useful Shell Scripts |
| Jul 17 2021 | Making a Window Manager |