Hacker News new | ask | show | jobs
by whattheheckheck 4 days ago
And tla+ / sequence diagram / user flow diagrams / data models all in one "thing"