gnomeduck
Joined 8 years ago
Karma
248
Submissions
5
Member since
Sep 3
Joined 8 years ago
Curious because I’ve been learning TLA+ recently and interested to more know about cases where an algorithm has been proven but actual an implementation of it fails.
There will never be any shortage of interesting startups to work for in the future.