Hacker News new | past | comments | ask | show | jobs | submit login

user: gongfudoi created: February 23, 2008 karma: 389 about: Infinite Monkey Theorem prover submissions comments favorites