HN Explorer

cubetime

↗ HN profile [ 2173 ms ] full profile
Karma
61
Created
September 7, 2014 (12y ago)
Submissions
0
  1. Cognitive Behavioral Prosthetics (convexfunction.com)
    1 points 0
  2. Lifehacking Considered Harmless (convexfunction.com)
    3 points 0
  3. A proof of Löb's theorem in Haskell (lesswrong.com)
    49 points 2