Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Modeling Awkward Social Situations with TLA+

buttondown.com

3 points by BerislavLopac 5 hours ago