HN
Hacker News
Top
New
Best
Ask
Show
Jobs
utaal
59 karma · joined March 9, 2012
submissions
comments
Physical Adressing on Real Hardware in Isabelle/HOL
blog.systems.ethz.ch
·
2 pts
·
utaal
·
0
The Rust borrow checker from a different perspective
blog.systems.ethz.ch
·
173 pts
·
utaal
·
49
Basic starter kit for npm packages
github.com
·
2 pts
·
utaal
·
0
Show HN: Tuplecutter – heads and tails for your Scala tuples
github.com
·
3 pts
·
utaal
·
0
Siri-like Google voice search (w/ spoken response & cards) on iOS
youtube.com
·
2 pts
·
utaal
·
0