B bend-lang.com Bend – a language that blocks AI mistakes via proof and runs on GPUs 616 points nicolas-siplis 1 month ago 327 comments
