on: Writes large correct programs (2008) Related:Writes large correct programs - https://news.ycombinator.com/item?id=2556270 - May 2011 (32 comments) reply