Pony (pony)'s status on Tuesday, 18-Dec-12 09:41:09 UTC
-
@anarchycarcino That's a useful skill if you're hired by NASA to prove a satellite's construction is sound or a big company that needs to guarantee that a piece of software it's developed won't produce any erratic results, but for a normal Joe, proofs aren't a big deal.