Sign in with Facebook
Russ Cox’s Followers (2)
Russ Cox
Pulling a New Proof from Knuthâs Fixed-Point Printer
pre code !important { word-spacing: normal; }code { word-spacing: -0.25em; }mtd { padding: 0.5ex 0.2em 0.5ex 0.2em; }mi, mtext, mn { font-family: 'Minion 3'; }mn.nbf { font-weight: bold; }math[display="block"] { padding: 0.5em 0; }mo.compact { lspace: 0; rspace: 0; }mphantom.vphantom { width: 0; }Introduction
Donald Knuth wrote his 1989 paper âA Simple Program Whose Proof Isnâtâas part of a t
Read more of this blog post »
|
xv6 a simple, Unix-like teaching operating system
by |
|
* Note: these are all the books on Goodreads for this author. To add more, click here.
Is this you? Let us know. If not, help out and invite Russ to Goodreads.
