Suddenly became interested in FPGAs after attending some lectures on high level circuit design and reading up on the free tools for doing EDA. So much to play with...
Fascinating reading from the same professor: a proposal for unification of boolean and number algebras and a formalization of time and space. What impresses me most about this stuff is the attention to simplicity and readability; something unfortunately ignored by far too much literature on formal methods.
ObTalkOrigins: responsible teachers of either Evolutionary Biology or the Book of Genesis should avoid over-extending their subject to a complete theory of origins. Each offers something to chew on, neither is enough to finish the job.