Hacker News
- The Asynchronous Computability Theorem https://medium.com/@eulerfx/asynchronous-computability-theorem-171e9d7b9423 9 comments
Linked pages
- Homotopy type theory - Wikipedia https://en.wikipedia.org/wiki/Homotopy_type_theory 48 comments
- Brouwer fixed-point theorem - Wikipedia https://en.wikipedia.org/wiki/brouwer_fixed-point_theorem#a_proof_using_the_game_hex 9 comments
- http://www.vldb.org/pvldb/vol8/p185-bailis.pdf 6 comments
- http://groups.csail.mit.edu/tds/papers/Lynch/jacm85.pdf 4 comments
- Special relativity - Wikipedia http://en.wikipedia.org/wiki/Special_Relativity#How_far_can_one_travel_from_the_Earth.3F 3 comments
- The Fundamental Group — A Primer – Math ∩ Programming https://jeremykun.com/2013/01/12/the-fundamental-group-a-primer/ 1 comment
- http://cs.brown.edu/~mph/Herlihy91/p124-herlihy.pdf 0 comments
- Minkowski space - Wikipedia https://en.wikipedia.org/wiki/Minkowski_space 0 comments
- http://www.vldb.org/pvldb/vol7/p181-bailis.pdf 0 comments
Related searches:
Search whole site: site:medium.com
Search title: The Asynchronous Computability Theorem | by Leo Gorodinski | Medium
See how to search.