Hacker Newsnew | past | comments | ask | show | jobs | submit | typish's submissions login

1. Reference Capabilities, Consume and Recover in Pony (bluishcoder.co.nz) 1 point by typish on July 31, 2017 | past 2. A Quick Look at the Pony Programming Language (bluishcoder.co.nz) 2 points by typish on Nov 4, 2015 | past 3. Using Freenet for Static Websites (bluishcoder.co.nz) 2 points by typish on Sept 14, 2015 | past 4. ATS/LF for Coq Users (slideshare.net) 3 points by typish on Sept 13, 2015 | past 5. Freenet Communication Primitives: Part 2, Service Discovery and Communication (draketo.de) 5 points by typish on Sept 9, 2015 | past 6. Verified Efficient Programs in ATS: Qsort (illtyped.com) 2 points by typish on April 29, 2015 | past

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