The unexpected implications of constrained JSON decoding
Constrained JSON decoding works by filtering logits, not by teaching the model. This has consequences for performance, correctness, and schema design that are easy to miss.
Recent content on pr1nt.dev
Constrained JSON decoding works by filtering logits, not by teaching the model. This has consequences for performance, correctness, and schema design that are easy to miss.
Chat is an inconvenient interaction model for working with AI on structured artifacts. Here’s what I use instead.
Why is GOTO bad, why was structured concurrency invented, and how does that explain the unreasonable effectiveness of structured cooperation.
An overview of how structured cooperation is implemented in Scoop, along with two of its fundamental components: EventLoopStrategy and CooperationContext.
An introduction to structured cooperation, a new way to design distributed systems, and Scoop, a POC orchestration library.
Beyond the static vs. dynamic typing flame war: a practical guide to understanding the tradeoffs, when to use each, and how Common Lisp bridges both worlds.
A practical defense of static typing that addresses common complaints, agrees with them, and shows why they make static typing powerful.
Pretty much as far back as I can remember, I’ve always had a deep passion for technical subjects, particularly mathematics and programming. This has been the driving force behind most of my life, and strongly influenced every aspect of the path I’ve been on. I earned my Bachelor’s degree from University of West Bohemia, where I graduated summa cum laude. I originally studied pure…