News for hackers. Stuff that matters.

A comment on Learn TLA+ (2018). Parent comment

Re:Learn TLA+ (2018) by jes5199 on Sunday February 23, 2020 @12:34AM (#22395324)
huh, I guess I’m going to have to try it because I just realized that I had a hidden assumption that code was definitionally the lightest way to describe a problem
[ Parent | on HN ]
Re:Learn TLA+ (2018) by 0x62c1b43e on Sunday February 23, 2020 @03:22PM (#22399295)
A lot of people use PlusCal, which is basically pseudocode that compiles to TLA+. Depending on what you're modeling, PlusCal or directly writing TLA+ might be a better fit.
[ Parent | on HN ]