"Every good idea will be discovered twice: once by a logician and once by a computer scientist." - Philip Wadler

@CodeWisdom Here's a link to @PhilipWadler's must-see @strangeloop_stl 2015 "Propositions as Types" talk (specific quote is at the 26:37 mark): youtube.com/watch?v=IOiZat…

@CodeWisdom 3 times at least. Last by someone who knows little of technology but has a solid stage presence. Then it may gain momentum - perhaps even funding.

@CodeWisdom Boolean Algebra and Shannon circuits.

@CodeWisdom The air conditioner?