Hey! Welcome to my corner of the internet. 3 letter domain, let's go. Organizing my thoughts here.
Experimenting with Lean4 FFI
Write stuff down faster
My minimal OpenClaw rewrite
Building a quadcopter. Berkeley EE149.
Plays your Spotify playlist on a cloud VM and records system audio. HS Hacks 2017.
Generate Flappy Bird variants in Lua / Corona SDK. CodeDay 2016.