HN Explorer

typish

↗ HN profile [ 908 ms ] full profile
Karma
66
Created
April 28, 2015 (11y ago)
Submissions
0
  1. Reference Capabilities, Consume and Recover in Pony (bluishcoder.co.nz)
    1 points 0
  2. A Quick Look at the Pony Programming Language (bluishcoder.co.nz)
    2 points 0
  3. Using Freenet for Static Websites (bluishcoder.co.nz)
    2 points 0
  4. ATS/LF for Coq Users (slideshare.net)
    3 points 0
  5. Freenet Communication Primitives: Part 2, Service Discovery and Communication (draketo.de)
    5 points 0
  6. Verified Efficient Programs in ATS: Qsort (illtyped.com)
    2 points 0