settheory.net Updated 2025-07-16
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.