Affect my decision to learn TLA? Probably not. Entertaining? Interesting? Someth... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

andrewflnr on March 13, 2018 | parent | context | favorite | on: Modeling Redux with TLA+

Affect my decision to learn TLA? Probably not. Entertaining? Interesting? Something I would want to know? Yes.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact