Posts

Scala Summit 2026. Meeting the cordial Virtus Lab folks. My talk - Just Capture Checking in 15 mins.

Notes on capture checking, an experimental Scala 3 type-system feature that tracks which capabilities - open files, connections or other resources, a value’s type has closed over.

A short primer on Dependent Types in Scala. What kinds of problems they solve and how they work. The different types of dependent types - path-dependent, dependent method, and dependent function …

While I’ve worked on a number of Spring Boot applications, I never had to personally write graceful shutdown code - it was either absent or was already in place. This post, a reference for my …

I bought my car over 12 years ago and have tracked every fuel fill-up and mile since day one. For years I relied on spreadsheets to log fuel purchases and mileage. I always felt there should be a …