Hacker News new | past | comments | ask | show | jobs | submit | from login
Concurrent and Distributed Programming in Web Prolog (bluishcoder.co.nz)
2 points by triska 8 months ago | past | web
Capturing program invariants in ATS (bluishcoder.co.nz)
3 points by doublec on Jan 11, 2018 | past | web
Writing basic proofs in ATS (bluishcoder.co.nz)
2 points by doublec on Jan 3, 2018 | past | web
Casting in ATS (bluishcoder.co.nz)
48 points by collapse on Jan 3, 2018 | past | web | 12 comments
ZeroMe – Decentralized Microblogging on ZeroNet (bluishcoder.co.nz)
79 points by doublec on Oct 13, 2017 | past | web | 37 comments
Reference Capabilities, Consume and Recover in Pony (bluishcoder.co.nz)
1 point by typish on July 31, 2017 | past | web
Distributed Wikipedia Mirrors in Freenet (bluishcoder.co.nz)
2 points by wglb on May 16, 2017 | past | web
Distributed Wikipedia Mirrors in Freenet (bluishcoder.co.nz)
3 points by ThisIsANewAcc on May 16, 2017 | past | web
Exploring 3-Move – A LambdaMOO inspired environment (bluishcoder.co.nz)
74 points by tonyg on Apr 10, 2017 | past | web | 15 comments
Introduction to the Freenet API (bluishcoder.co.nz)
3 points by wglb on Mar 29, 2017 | past | web
Relational Programming in Mozart/Oz (bluishcoder.co.nz)
3 points by wunger on Mar 21, 2017 | past | web
Borrowing Internal Pointers in ATS (bluishcoder.co.nz)
3 points by panic on Feb 28, 2017 | past | web
Safer C Code Using ATS (2010) (bluishcoder.co.nz)
1 point by networked on Aug 27, 2016 | past | web
Exploring Actors in Pony (bluishcoder.co.nz)
3 points by spooneybarger on May 12, 2016 | past | web
A Quick Look at the Pony Programming Language (bluishcoder.co.nz)
3 points by panic on Nov 8, 2015 | past | web
A Quick Look at the Pony Programming Language (bluishcoder.co.nz)
2 points by typish on Nov 4, 2015 | past | web
Using Freenet for Static Websites (bluishcoder.co.nz)
2 points by typish on Sept 14, 2015 | past | web
Contributing to Servo (bluishcoder.co.nz)
79 points by dbaupp on Mar 24, 2015 | past | web | 7 comments
Firefox Media Source Extensions Update (bluishcoder.co.nz)
24 points by wglb on Mar 3, 2015 | past | web | 5 comments
Spawning Windows Commands in Wasp Lisp and MOSREF (bluishcoder.co.nz)
4 points by wglb on Feb 20, 2015 | past | web
Decentralized websites with ZeroNet (bluishcoder.co.nz)
13 points by doublec on Jan 16, 2015 | past | web
Using Freenet (bluishcoder.co.nz)
128 points by doublec on Dec 18, 2014 | past | web | 22 comments
Revisiting Alice ML (bluishcoder.co.nz)
47 points by kinetik on Nov 13, 2014 | past | web | 1 comment
Preventing heartbleed bugs with safe programming languages (bluishcoder.co.nz)
116 points by cpeterso on Apr 11, 2014 | past | web | 112 comments
Multiple Users in a Self World (bluishcoder.co.nz)
2 points by austengary on Sept 17, 2013 | past | web
Phantom Types in Rust (bluishcoder.co.nz)
75 points by 0x1997 on Aug 15, 2013 | past | web | 18 comments
Linking and calling Rust functions from C (bluishcoder.co.nz)
3 points by glazskunrukitis on Aug 8, 2013 | past | web
Editing remote files with Acme in Inferno OS (bluishcoder.co.nz)
1 point by wglb on June 11, 2013 | past | web
Remote Shells with Inferno OS (bluishcoder.co.nz)
4 points by wglb on June 7, 2013 | past | web
Namecoin - A DNS alternative based on Bitcoin (bluishcoder.co.nz)
1 point by jashmenn on May 13, 2013 | past | web | 1 comment

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

Search: