Bend – A language that blocks AI mistakes via proof, on CPU and GPU
Hacker News
More from Hacker News
Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKAHacker NewsHister: A private search engine for the pages you visit and the files you keepHacker NewsHow GLM built its own inference infrastructureHacker NewsCCC invites all model citizens to 40C3Hacker NewsMy temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating itHacker NewsAstra for LawHacker News
Related
- Fender CEO Admits Mistakes Over Stratocaster Legal Threats | GuitarBombguitarslemmy.world
- when was the last time another nation bombed an elementary school in the US?microblogmemeslemmy.world
- ‘We are not like everyone else’ laws that bind other nations do not apply to Israel, says Likud lawmakerworldnewslemmy.ml
- Ask HN: What exists if I want a premade SoC/MCU/screen/enclosure/battery?ex-aws-dudeHacker News
- cjrpek96/imagesgithub.com
- 19½ things you didn’t know about accessibility in HTML and CSSwebdevprogramming.dev