leastfixedpoint

Archived tweet #6396 from the @leastfixedpoint Twitter Archive
RT @kragen: zyan.scripts.mit.edu/blog/2sat/ A student of Scott Aaronson's talks about his teaching style and how important the problems he identifi…