| | 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 |
|
|
| More |
