Post #47685 3 Sep 19, 2026, 14:17 UTC [Hacker News: Newest]Bend – a language that blocks AI mistakes via proof and runs on GPUsЧитать