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