Tack, Hunt, Pool personal blog

Formal Verification: The Gap Between Perfect Code and Reality

by Ray Wang raywang.tech published 2017-12-207 min read

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

Points

222

HN comments

102

Submissions

1

Cited by

0 commenters

Software EngineeringSecurity & Privacy2017

Related posts from the same era

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

NPM and Left-Pad: Have We Forgotten How to Program?

DDavid Haney20161,725 points854 commentscited by 10 details

Yarn – A new package manager for JavaScript

MMeta Engineering Blog20161,714 points469 comments details

Sublime Text 3.0

Sublime Text Blog20171,653 points675 comments details

I've Just Liberated My Modules

Azer Koçulu20161,573 points797 commentscited by 10 details

Electron is flash for the desktop (2016)

Joseph Gentle20171,519 points1,179 commentscited by 9 details