utaal

3 ms·

1. 1.▲
   by utaal 8y ago

   Link to the (open access) paper: https://www.usenix.org/conference/nsdi18/presentation/hoffma...
2. 2.▲
   Physical Adressing on Real Hardware in Isabelle/HOL(blog.systems.ethz.ch)

   2 points by utaal 8y ago|0 comments
3. 3.▲
   The Rust borrow checker from a different perspective(blog.systems.ethz.ch)

   173 points by utaal 8y ago|49 comments
4. 4.▲
   Basic starter kit for npm packages(github.com)

   2 points by utaal 11y ago|0 comments
5. 5.▲
   Show HN: Tuplecutter – heads and tails for your Scala tuples(github.com)

   3 points by utaal 12y ago|0 comments
6. 6.▲
   Siri-like Google voice search (w/ spoken response & cards) on iOS(youtube.com)

   2 points by utaal 14y ago|0 comments