2 ms·

I've written some comments about this interview on the TLA+ subreddit: https://old.reddit.com/r/tlaplus/comments/bc37db/future_of_coding_podcast_38_the_case_for

by pron 8y ago

I've written some comments about this interview on the TLA+ subreddit: https://old.reddit.com/r/tlaplus/comments/bc37db/future_of_coding_podcast_38_the_case_for_formal/ https://old.reddit.com/r/tlaplus/comments/bc37db/future_of_c...