Welcome to my website! Read on for essays about data processing engines, databases, functional programming, math, and other technical topics.
I’m a big proponent of AI for technical work, but my writings are fully in my own words.
Photos
Here are some of my favorite photos I’ve taken.
Posts
- Reviving a 9-year-old laptop with Linux and new hardware
- Navier-Stokes: A Gentle Introduction
- Autoformalizer: Build math proofs in Lean with LLMs
- A simple web scraper in Rust
- A Clean Spark Project Template for Scala
- Rebuilding Apache Spark's StageBuilder from Scratch
- Safer Scala with WartRemover Part 3: Null and Option.get
- Safer Scala with WartRemover Part 2: A Basic Guide to Removing Any
- Safer Scala with WartRemover Part 1: Seq.apply and head
- Rebuilding Spark with Scala 3
- A simple Git alias setup
- Introduction