Thread

Bend – a language that blocks AI mistakes via proof and runs on GPUs

616 points · 327 comments · nicolas-siplis

monster_truck · 1789680663 · focus · HN ↗
No windows? axiomatic F32? I'll stick with Slopjective-C 3.0 thanks
1. lbrito · 1789699768 · focus · HN ↗
  Claude Bopus has it for you. Its literally in the MCP. You should have harnesses with Sonneto. Have you even used the latest models? GPT Optimus have them.

Unofficial Hacker News client; not affiliated with Y Combinator.