 settheory.net

Where Sylvain Poirier dumps his mathematics and physics brain.

Notably, given the domain name, it is clear that he likes formalization of mathematics-stuff, like Ciro Santilli.

At first glance, looks a bit dry though, not many examples.