HN Explorer

bjz_

↗ HN profile [ 76.9 ms ] full profile
Karma
2,589
Created
April 19, 2013 (13y ago)
Submissions
0
- https://github.com/brendanzab - https://twitter.com/brendanzab
  1. Reference Lifetimes in Whiley (whiley.org)
    11 points 1
  2. Multiple discovery (en.wikipedia.org)
    1 points 0
  3. An Explanation of Type Inference for ML/Haskell (jozefg.bitbucket.org)
    101 points 12
  4. Wrong Turn on the Dragon – Numberphile (featuring Don Knuth) (youtube.com)
    4 points 0
  5. Internet Citizens: Defend Net Neutrality (youtube.com)
    1 points 1
  6. Building blocks: how Project Ara is reinventing the smartphone (theverge.com)
    3 points 1
  7. Idris: General Purpose Programming with Dependent Types (youtube.com)
    3 points 2
  8. The Rust language: memory, ownership and lifetimes - Nicholas Matsakis (youtube.com)
    7 points 1
  9. Native Speed on the Web: JavaScript and asm.js (infoq.com)
    1 points 0
  10. Concurrency Models, Rust, and Servo (lars.com)
    61 points 4
  11. Google Santa Tracker (google.com.au)
    1 points 1
  12. John Clements: Rust Macros Talk (youtube.com)
    1 points 1
  13. The Rise and Fall of Australia’s $44 Billion Broadband Project (spectrum.ieee.org)
    1 points 1
  14. Programming in Idris: a tutorial (eb.host.cs.st-andrews.ac.uk)
    1 points 1
  15. Characters, Symbols and the Unicode Miracle - Computerphile (youtube.com)
    1 points 0