HN Explorer

utaal

↗ HN profile [ 18.4 ms ] full profile
Karma
59
Created
March 9, 2012 (14y ago)
Submissions
0
  1. Physical Adressing on Real Hardware in Isabelle/HOL (blog.systems.ethz.ch)
    2 points 0
  2. The Rust borrow checker from a different perspective (blog.systems.ethz.ch)
    173 points 50
  3. Basic starter kit for npm packages (github.com)
    2 points 0
  4. Show HN: Tuplecutter – heads and tails for your Scala tuples (github.com)
    3 points 0
  5. Siri-like Google voice search (w/ spoken response & cards) on iOS (youtube.com)
    2 points 0