Kirill Borodylin·Jun 24The Constraint a Prompt Would Have MissedLast time I argued you should describe your types instead of prompting. Here’s one tiny example of what that actually buys you.
Kirill Borodylin·Jun 15Stop Prompting. Describe Your TypesAn AI agent forgets your instructions, writes empty tests, and skips your comments. But it can’t get around a type — and that saves you…
Kirill Borodylin·Mar 30Mocking HTTP in Haskell — A Clean Approach with TypeclassesTesting code that makes HTTP calls is tedious in most languages. In Haskell it has an extra wrinkle: the http-simple library gives you an…
Kirill Borodylin·Feb 3Building a gRPC Server in Haskell with Grapesy: A Practical GuideSetting up gRPC in Haskell can be frustrating. The official Grapesy tutorial uses Cabal and auto-generation, but auto-generation often…
