bellard.org is one of those domains along with righto.com that brings me joy and excitement when I see it pop up on HN. Means it’s gonna be a good day.