Hacker News Reader

"DOWNTOWN SF. 2015. QED."

As far as I know, this isn't an appropriate use of QED.

And among actual mathematicians the Halmos tombstone is more popular nowadays, anyway. It feels less haughty.

The proof school graphic logo incorporates a halmos - and creates a stand-alone "squaring the circle" logo for the site favicon, for example.