## Happy $\pi$ day!

Oddly, given that I spend all my time in a math department, I didn’t see much of anything in the way of celebration today. Go figure. Anyhow, all the digits I remember are 11.001001000011111101….