Linking pages
Linked pages
- Quantum computing - Wikipedia https://en.wikipedia.org/wiki/Quantum_computing 124 comments
- P versus NP problem - Wikipedia https://en.wikipedia.org/wiki/P_versus_NP_problem#P_=_NP 109 comments
- Lean http://leanprover.github.io/about/ 77 comments
- Landauer's principle - Wikipedia https://en.wikipedia.org/wiki/Landauer%27s_principle 69 comments
- Reversible computing - Wikipedia https://en.wikipedia.org/wiki/Reversible_computing 58 comments
- Nash equilibrium - Wikipedia https://en.wikipedia.org/wiki/Nash_equilibrium 6 comments
- Coq - Wikipedia https://en.wikipedia.org/wiki/Coq 5 comments
- George Hotz vs Eliezer Yudkowsky AI Safety Debate - YouTube https://www.youtube.com/watch?v=6yQEA18C-XI 3 comments
- Brain Efficiency: Much More than You Wanted to Know - LessWrong https://www.lesswrong.com/posts/xwBuoE9p8GE7RAuhd/brain-efficiency-much-more-than-you-wanted-to-know 2 comments
- Stanford Seminar - Generalized Reversible Computing and the Unconventional Computing Landscape - YouTube https://www.youtube.com/watch?v=IQZ_bQbxSXk 1 comment
- [1401.5577] Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic http://arxiv.org/abs/1401.5577 0 comments
- Rice's theorem - Wikipedia https://en.wikipedia.org/wiki/Rice%27s_theorem 0 comments
Related searches:
Search whole site: site:geohot.github.io
Search title: p(doom) | the singularity is nearer
See how to search.