Hacker News Reader

Those disallow data races, not race conditions. I find that this blog post explains the distinction well: https://blog.regehr.org/archives/490

Ah, yes. My bad... I missed that crucial detail. Still, maybe a non-TC protocol language could fulfill the criteria?