Intentional engineering: write the intent, let the machine verify the rest
An LLM generates non-deterministically, a compiler verifies deterministically. Eight months spent working that gap, and what came out of it.
Open-source contribution as an architectural decision and product direction, lessons learned from OpenBao
Lessons learned on how a concrete problem, encountered in the field in a local context, could be generalised and lead to the addition of a new feature in an open-source project.
You already have a free, private LLM, and you don't know it
Your Apple Silicon Mac ships an on-device AI model. Here's how to turn it into a local, reusable service where your data never leaves the machine.