Solheim

3 ms·

1. 1.▲
   Bitcoin is splitting into Two. Now what?(wired.com)

   2 points by Solheim 9y ago|0 comments
2. 2.▲
   NP and PSPACE Video Games Lecture [video](ocw.mit.edu)

   41 points by Solheim 9y ago|0 comments
3. 3.▲
   by Solheim 9y ago

   I also took a Computability course. We used: https://www.amazon.com/Computability-Logic-George-S-Boolos/d...
4. 4.▲
   Ask HN: What is a blog/podcast you'd really like to share?

   4 points by Solheim 9y ago|9 comments
5. 5.▲
   Will Computers Redefine the Roots of Math?(wired.com)

   3 points by Solheim 10y ago|0 comments
6. 6.▲
   A taste of category theory for computer scientists(repository.cmu.edu)

   2 points by Solheim 10y ago|0 comments