Hacker Newsnew | past | comments | ask | show | jobs | submit | doublec's submissionslogin
1.Fun Factor Libraries (bluishcoder.co.nz)
2 points by doublec on April 19, 2020 | past
2.Capturing program invariants in ATS (bluishcoder.co.nz)
3 points by doublec on Jan 11, 2018 | past
3.Writing basic proofs in ATS (bluishcoder.co.nz)
2 points by doublec on Jan 3, 2018 | past
4.ZeroMe – Decentralized Microblogging on ZeroNet (bluishcoder.co.nz)
79 points by doublec on Oct 13, 2017 | past | 37 comments
5.Decentralized websites with ZeroNet (bluishcoder.co.nz)
13 points by doublec on Jan 16, 2015 | past
6.Using Freenet (bluishcoder.co.nz)
128 points by doublec on Dec 18, 2014 | past | 22 comments
7."Notation as a Tool of Thought" by Kenneth Iverson (APL creator) (jsoftware.com)
2 points by doublec on Aug 12, 2013 | past
8.SVG In OpenType: A New Approach To SVG Fonts (ocallahan.org)
2 points by doublec on Feb 1, 2013 | past
9.An introduction to using pointers safely in the ATS programming language (bluishcoder.co.nz)
2 points by doublec on Jan 25, 2013 | past
10.Cryptography and Security in Retroshare (retroshareteam.wordpress.com)
4 points by doublec on Dec 28, 2012 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: