Ho3! Home with family for the holidays and looking for something to do? Then check out the archives of our 6.893 Philosophy and Theoretical Computer Science course blog. The course just ended last week, so you can find discussions of everything from the interpretation of quantum mechanics to Occam’s Razor to the Church-Turing Thesis to strong AI, as well as links to student projects, including Criticisms of the Turing Test and Why You Should Ignore (Most of) Them, Barwise Inverse Relation Principle, Bayesian Surprise, Boosting, and Other Things that Begin with the Letter B, and an interactive demonstration of interactive proofs. Thanks to my TA Andy Drucker, and especially to the students, for making this such an interesting course.