HN Explorer

doublec

↗ HN profile [ 80.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Fun Factor Libraries (bluishcoder.co.nz)
    2 points 0
  2. Capturing program invariants in ATS (bluishcoder.co.nz)
    3 points 0
  3. Writing basic proofs in ATS (bluishcoder.co.nz)
    2 points 0
  4. ZeroMe – Decentralized Microblogging on ZeroNet (bluishcoder.co.nz)
    79 points 37
  5. Decentralized websites with ZeroNet (bluishcoder.co.nz)
    13 points 0
  6. Using Freenet (bluishcoder.co.nz)
    128 points 25
  7. "Notation as a Tool of Thought" by Kenneth Iverson (APL creator) (jsoftware.com)
    2 points 0
  8. SVG In OpenType: A New Approach To SVG Fonts (robert.ocallahan.org)
    2 points 0
  9. An introduction to using pointers safely in the ATS programming language (bluishcoder.co.nz)
    2 points 0
  10. Cryptography and Security in Retroshare (retroshareteam.wordpress.com)
    4 points 0