HN
Hacker News
Top
New
Best
Ask
Show
Jobs
bjz_
2,589 karma · joined April 19, 2013
- https://github.com/brendanzab - https://twitter.com/brendanzab
submissions
comments
Reference Lifetimes in Whiley
whiley.org
·
11 pts
·
bjz_
·
1
Multiple discovery
en.wikipedia.org
·
1 pts
·
bjz_
·
0
An Explanation of Type Inference for ML/Haskell
jozefg.bitbucket.org
·
101 pts
·
bjz_
·
12
Wrong Turn on the Dragon – Numberphile (featuring Don Knuth)
youtube.com
·
4 pts
·
bjz_
·
0
Internet Citizens: Defend Net Neutrality
youtube.com
·
1 pts
·
bjz_
·
1
Building blocks: how Project Ara is reinventing the smartphone
theverge.com
·
3 pts
·
bjz_
·
1
Idris: General Purpose Programming with Dependent Types
youtube.com
·
3 pts
·
bjz_
·
2
The Rust language: memory, ownership and lifetimes - Nicholas Matsakis
youtube.com
·
7 pts
·
bjz_
·
1
Native Speed on the Web: JavaScript and asm.js
infoq.com
·
1 pts
·
bjz_
·
0
Concurrency Models, Rust, and Servo
lars.com
·
61 pts
·
bjz_
·
4
Google Santa Tracker
google.com.au
·
1 pts
·
bjz_
·
1
John Clements: Rust Macros Talk
youtube.com
·
1 pts
·
bjz_
·
1
The Rise and Fall of Australia’s $44 Billion Broadband Project
spectrum.ieee.org
·
1 pts
·
bjz_
·
1
Programming in Idris: a tutorial
eb.host.cs.st-andrews.ac.uk
·
1 pts
·
bjz_
·
1
Characters, Symbols and the Unicode Miracle - Computerphile
youtube.com
·
1 pts
·
bjz_
·
0