GeistHaus
log in · sign up

When software becomes fast food

world.hey.com

Generative artificial intelligence has amazed the World. Since OpenAI launched ChatGPT 3, its user adoption has been staggering. In 2022, ChatGPT surpassed one million users in just five days. For comparison, Instagram needed 2.5 months back in 2010. And it’s not just OpenAI. Anthropic has Claude, one of the best models for programming...

3 pages link to this URL
Specs Are Back, But We're Missing the Tools

LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.

0 inbound links article en software-engineeringllmspecificationsformal-methodsmodel-checkingfizzbee
2025: A Year in Review

Reflections on returning to engineering, discovering simulation as a superpower, learning to work with LLMs, and the compounding value of years of distributed systems work.

1 inbound link article en personal