Stories by Darmani

Show HN: Command Center, the AI coding env for people who care about quality

AI Scientist: Is it really any good?

Never again compare a startup to a vitamin

It's Time for the "Sell Painkillers, Not Vitamins" Metaphor to Die

Puzzles to convince you you don't understand dependence

Solving the Dog-Bunny Puzzle with Program Verification Technology

How to build a program that cannot do the wrong thing

Demystifying Dependence, Part 2: The Three Dimensions of Dependence

Demystifying Dependence, Part 1: The Nine Dependency Puzzles

Leaky Delegation: You are not a Commodity

Show HN: Cubix: A Haskell Framework for “One Tool, Many Languages”

A natural language shell based on GPT-3

Defunctionalize the Continuation

Book Review: Practical TLA+

Future of Coding: On the Maintenance of Large Software:

The real difference of immutability

Martian Headsets (2008)

Mutability's secret impact

WaitChatter: Learn a new language while you wait for IM replies