Hacker News: uptodatenews

New comment by uptodatenews in "Can LLMs model real-world systems in TLA+?"

uptodatenews — Sat, 09 May 2026 01:33:32 +0000

Whoa didn't even know cool

uptodatenews — Fri, 17 Apr 2026 04:19:33 +0000

I said just keep it in the repo like scaffolding.

Is software ever done?

Why remove the dev notes for the future agents?

uptodatenews — Thu, 16 Apr 2026 02:07:26 +0000

This is exactly why I built these two things

This is to extract the bare minimum state machine out of users is tla+

And pop that into input/docs/* with any other user requirements

And add your tech stack in preferences.md

And say "build me the thing described in input"

And it goes for it