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

https://arbital.com/p/4nq

by Mark Chimes Jun 21 2016


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


Comments

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!