Fishbat writes: In a cutting
message to the Foundations of Mathematics
mailing list, Stanford's Vaughan Pratt had pointed out
an elementary mistake in the recently
proof that Wolfram's (2,3) machine is universal. Link to Original Source
Real programmers don't bring brown-bag lunches. If the vending machine
doesn't sell it, they don't eat it. Vending machines don't sell quiche.