Which do you prefer, writing programs or proofs?
1
2
Replying to @bradfordcross
@bradfordcross Definitely programs. Proofs are fun, but I prefer to manipulate my reality rather than describe it.

Oct 30, 2010 · 5:13 AM UTC