For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Preventing heartbleed bugs with safe programming languages (bluishcoder.co.nz)
2 points by ievans on Feb 3, 2021 | past
Fun Factor Libraries (bluishcoder.co.nz)
2 points by doublec on April 19, 2020 | past
Defining Types in Shen (bluishcoder.co.nz)
42 points by fanf2 on Oct 9, 2019 | past
Defining Types in Shen (bluishcoder.co.nz)
1 point by panic on Oct 7, 2019 | past
Getting Started with Mercury (bluishcoder.co.nz)
3 points by kencausey on June 23, 2019 | past
Concurrent and Distributed Programming in Web Prolog (bluishcoder.co.nz)
2 points by triska on Sept 24, 2018 | past
Capturing program invariants in ATS (bluishcoder.co.nz)
3 points by doublec on Jan 11, 2018 | past
Writing basic proofs in ATS (bluishcoder.co.nz)
2 points by doublec on Jan 3, 2018 | past
Casting in ATS (bluishcoder.co.nz)
48 points by collapse on Jan 3, 2018 | past | 12 comments
ZeroMe – Decentralized Microblogging on ZeroNet (bluishcoder.co.nz)
79 points by doublec on Oct 13, 2017 | past | 37 comments
Reference Capabilities, Consume and Recover in Pony (bluishcoder.co.nz)
1 point by typish on July 31, 2017 | past
Distributed Wikipedia Mirrors in Freenet (bluishcoder.co.nz)
2 points by wglb on May 16, 2017 | past
Distributed Wikipedia Mirrors in Freenet (bluishcoder.co.nz)
3 points by ThisIsANewAcc on May 16, 2017 | past
Exploring 3-Move – A LambdaMOO inspired environment (bluishcoder.co.nz)
74 points by tonyg on April 10, 2017 | past | 15 comments
Introduction to the Freenet API (bluishcoder.co.nz)
3 points by wglb on March 29, 2017 | past
Relational Programming in Mozart/Oz (bluishcoder.co.nz)
3 points by wunger on March 21, 2017 | past
Borrowing Internal Pointers in ATS (bluishcoder.co.nz)
3 points by panic on Feb 28, 2017 | past
Safer C Code Using ATS (2010) (bluishcoder.co.nz)
1 point by networked on Aug 27, 2016 | past
Exploring Actors in Pony (bluishcoder.co.nz)
3 points by spooneybarger on May 12, 2016 | past
A Quick Look at the Pony Programming Language (bluishcoder.co.nz)
3 points by panic on Nov 8, 2015 | past
A Quick Look at the Pony Programming Language (bluishcoder.co.nz)
2 points by typish on Nov 4, 2015 | past
Using Freenet for Static Websites (bluishcoder.co.nz)
2 points by typish on Sept 14, 2015 | past
Contributing to Servo (bluishcoder.co.nz)
79 points by dbaupp on March 24, 2015 | past | 7 comments
Firefox Media Source Extensions Update (bluishcoder.co.nz)
24 points by wglb on March 3, 2015 | past | 5 comments
Spawning Windows Commands in Wasp Lisp and MOSREF (bluishcoder.co.nz)
4 points by wglb on Feb 20, 2015 | past
Decentralized websites with ZeroNet (bluishcoder.co.nz)
13 points by doublec on Jan 16, 2015 | past
Using Freenet (bluishcoder.co.nz)
128 points by doublec on Dec 18, 2014 | past | 22 comments
Revisiting Alice ML (bluishcoder.co.nz)
47 points by kinetik on Nov 13, 2014 | past | 1 comment
Preventing heartbleed bugs with safe programming languages (bluishcoder.co.nz)
116 points by cpeterso on April 11, 2014 | past | 112 comments
Multiple Users in a Self World (bluishcoder.co.nz)
2 points by austengary on Sept 17, 2013 | past

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

Search:

HN For You