Viewing profile — utaal

utaal

HN member

No profile information was provided.

comment
Comment #18609232
Link to the (open access) paper: https://www.usenix.org/conference/nsdi18/presentation/hoffma...

Wed, Dec 05, 2018, 3:43 PM UTC
story
Physical Adressing on Real Hardware in Isabelle/HOL
Sat, Nov 10, 2018, 5:18 PM UTC
story
The Rust borrow checker from a different perspective
Mon, Nov 05, 2018, 4:48 PM UTC
story
Basic starter kit for npm packages
Wed, Jun 10, 2015, 3:30 PM UTC
story
Show HN: Tuplecutter – heads and tails for your Scala tuples
Sat, Feb 21, 2015, 4:32 PM UTC
story
Siri-like Google voice search (w/ spoken response & cards) on iOS
Wed, Aug 08, 2012, 6:29 PM UTC