Sequent: A Fitch-Style First-Order Logic Proof Language
A small proof language and web interface for teaching Fitch-style natural deduction, with custom rules, proof rendering, and clickable diagnostics.
The Best (40%) QMK Layout for Programming
A tour through the compact QMK keyboard layout I use across my Planck, Corne, and Ergodox, including the reasoning behind its layers, symbols, and Vim navigation.