#architecture
2 articles
-
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.