"[@5] But... but... poset office was a *pun*, no..."


by Mark Chimes Jun 21 2016

Eric Rogstad But… but… poset office was a pun, not a typo.


Eric Rogstad

Oh, I thought it might be a pun. But nothing about the surrounding description sounded like a poset (weights are totally ordered, right?), so I figured it was a typo :P

Eric Rogstad

I support the creation of a poset-office, but it's gotta be about posets!