No Blind Trust: Type Systems and Formal Verification for AI-Generated Code
I put together an article looking at how type systems and formal verification could help make...
Tag archive
I put together an article looking at how type systems and formal verification could help make...
ADTs & Enums in Scala 3 If you've worked on enough business software, you've probably...
The problem OCR is only as good as the image you feed it. A scanned form that's slightly...
At some point in every codebase, someone writes a function like this: def transferMoney( ...
Hello everyone. Scala's a programming language I've enjoyed learning on the side not only because I...

API documentation has a reliability problem. The code gets updated; the OpenAPI spec gets forgotten....

A practical look at managing complex frontend state using Elm's MVU architecture in Scala 3.
How to Monitor Your Scala Play Framework Application with Vigilmon Play Framework is a...
I’ve been building Fuga, a Windows desktop app for repetitive Excel and CSV work. The basic idea is...
Play Framework: Reactive Web Development The Play Framework is a high-productivity web...

Chordal: a Scala DSL for music theory Another post about my previous DSL experiments. This...

This is the third post in a series on Siunertaq, a small Scala 3 project that models computation as...