logoalt Hacker News

tmaly • today at 1:23 AM • 1 reply • view on HN

I remember NVIDA sponsored a TLA+ challenge last year https://foundation.tlapl.us/challenge/index.html

Replies

uptodatenews • today at 1:33 AM

Whoa didn't even know cool