Welcome to my website! I write about data processing engines (like Spark), databases, data strategy in organizations, and other general programming topics.
Photos
Here are some of my favorite photos I’ve taken.
Posts
- 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
- A simple Git alias setup
- 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
- Introduction