I write systems software, thinking deeply about how it performs, scales, and behaves. The closer a problem gets to microseconds, the more I like it.
I enjoy trekking and go-karting, documenting my track runs at @mbnraces.
A proof of Conjecture 5.10 on counting bar tilings of 2 × n rectangles.
A sharp variance bound for the random greedy independent set, with stars as the extremal trees.
Subscribe to get an email whenever the changelog is updated.