Timely Dataflow and Total Order

This has some of the cleanest looking "math typesetting in a web page" I've seen. Very nice.

I really really like the design of this blog. So clean and slick.