| 1. | | Reference Lifetimes in Whiley (whiley.org) |
| 11 points by bjz_ on May 31, 2016 | past | 1 comment |
|
| 2. | | Multiple discovery (wikipedia.org) |
| 1 point by bjz_ on Nov 23, 2015 | past |
|
| 3. | | An Explanation of Type Inference for ML/Haskell (jozefg.bitbucket.org) |
| 101 points by bjz_ on March 2, 2015 | past | 12 comments |
|
| 4. | | Wrong Turn on the Dragon – Numberphile (featuring Don Knuth) (youtube.com) |
| 4 points by bjz_ on Dec 30, 2014 | past |
|
| 5. | | Internet Citizens: Defend Net Neutrality (youtube.com) |
| 1 point by bjz_ on May 6, 2014 | past | 1 comment |
|
| 6. | | Building blocks: how Project Ara is reinventing the smartphone (theverge.com) |
| 3 points by bjz_ on April 15, 2014 | past | 1 comment |
|
| 7. | | Idris: General Purpose Programming with Dependent Types (youtube.com) |
| 3 points by bjz_ on Feb 5, 2014 | past | 2 comments |
|
| 8. | | The Rust language: memory, ownership and lifetimes - Nicholas Matsakis (youtube.com) |
| 7 points by bjz_ on Jan 11, 2014 | past | 1 comment |
|
| 9. | | Native Speed on the Web: JavaScript and asm.js (infoq.com) |
| 1 point by bjz_ on Jan 9, 2014 | past |
|
| 10. | | Concurrency Models, Rust, and Servo (lars.com) |
| 61 points by bjz_ on Dec 29, 2013 | past | 4 comments |
|
| 11. | | Google Santa Tracker (google.com.au) |
| 1 point by bjz_ on Dec 24, 2013 | past | 1 comment |
|
| 12. | | John Clements: Rust Macros Talk (youtube.com) |
| 1 point by bjz_ on Dec 15, 2013 | past | 1 comment |
|
| 13. | | The Rise and Fall of Australia’s $44 Billion Broadband Project (ieee.org) |
| 1 point by bjz_ on Dec 9, 2013 | past | 1 comment |
|
| 14. | | Programming in Idris: a tutorial (st-andrews.ac.uk) |
| 1 point by bjz_ on Oct 10, 2013 | past | 1 comment |
|
| 15. | | Characters, Symbols and the Unicode Miracle - Computerphile (youtube.com) |
| 1 point by bjz_ on Sept 20, 2013 | past |
|
