Writing & bookmarks
Blog &
library.
Latest writing
All postsMy first attempt at a proof in Lean
I have a math degree, but this was my first time using Lean.
Keeping my intellectual fly intact
Building context for personalized recommendations with Rust and SurrealDB
How Rust, Kafka, embeddings, and graph queries brought product relationships and customer context together, revisiting my 2024 SurrealDB presentation.
iOS Live Activities
Building Live Activities
Split Keyboard
To split or not to split
.jpg!Large.jpg&w=3840&q=75)
