The New York Times on the acceptance (or lack of acceptance) of computer-aided proofs in the mathematical community. This isn’t really they type of computer-aided proof I work with, but still an interesting article.
Glimpses of the websurfing habits of a computer science professor, obsessive crafter, occasional gamer, and all around geek