My first attempt at a proof in Lean
I have a math degree, but this was my first time using Lean.
Read article
Blog
Notes on software and things I’m learning.
Keeping my intellectual fly intact
Read article
iOS Live Activities
Building Live Activities
Read article
Split Keyboard
To split or not to split
Read article
Rendering text
Inline rendering of text is not always that straight forward.
Read article
Heaven and Hell by M.C. Escher
Wondering of purely computational escher is possible
Read article
Scrollytelling
A bit of nostalgia
Read article
Exploration of CRDTs
Musings on CRDT implementation
Read article
Design Inspirations
Building good UI/UX is fun
Read article
Migrating off Ingress NGINX
Go service mesh or go home!
Read article