Hacker News new | ask | show | jobs
by tmaly 37 days ago
I remember NVIDA sponsored a TLA+ challenge last year https://foundation.tlapl.us/challenge/index.html
1 comments
uptodatenews 37 days ago
Whoa didn't even know cool
link