Hey there! I'm a software developer passionate about functional programming — from the type-safe elegance of PureScript and F# to the dynamic expressiveness of Clojure. I value how FP principles like referential transparency and composability lead to robust, maintainable software.
These days I'm deep in the embedded world: designing PCBs in KiCAD, writing bare-metal firmware in Rust for STM32 microcontrollers using Embassy and RTIC, and working toward commercial eurorack modules and musical controllers. I also occasionally contribute to the Embassy embedded Rust ecosystem.
📄 My CV
I use Codeberg 🇪🇺 for new personal projects.
You'll find me in my Linux terminal — armed with Neovim, a keyboard-driven workflow on my ZSA Voyager, and NixOS tying it all together.
- Designing and prototyping custom hardware: schematic → PCB layout → manufacturing → hand assembly → firmware
- Contributing to open source embedded Rust
- Bridging FP thinking with bare-metal constraints
- Dive into modern bare metal programming with Embedded Rust
- Appreciate simplicity with Clojure
- Learn modern type-checked FP from category theory to web applications with PureScript
- A practical deep dive into dependent types with Idris