Tack, Hunt, Pool

raywang.tech

Where I keep all the stuff that doesn't fit in my head

Popular posts: 1
Total points: 222
HN comments: 102
Rank: #11,682 personal

Visit raywang.tech → RSS feedOn Hacker News Dec 2017 – Dec 2017

Security & Privacy 1 Software Engineering 1

Most points Most discussed Most cited Newest

Formal Verification: The Gap Between Perfect Code and Reality

2017222 points102 comments Software Engineering details

Thanks to Vlad Brown and Drawings Team for Russian and Uzbek translations. In Fall 2017, I took MIT’s 6.826, Principles of Computer Systems, taught by Turing Award-winner Butler Lampson, Nickolai Z