Login

Willkomen zurück, bitte gebe deine Zugangsdaten ein!

Passwort vergessen

Anmeldung erfolgt in Kürze...
Fleebs-Logo
Details werden geladen...

Bend – A language that blocks AI mistakes via proof, on CPU and GPU | Hacker News

Ähnliche Seiten

https://news.ycombinator.com/item?id=48513222

On CPU Physics and CPU Cycles | Hacker News

https://news.ycombinator.com/item?id=48513222
https://news.ycombinator.com/item?id=49143925

F*: A general-purpose proof-oriented programming language | Hacker News

https://news.ycombinator.com/item?id=49143925
https://news.ycombinator.com/item?id=49348136

Launch HN: machine0 (YC S26) – Persistent CPU and GPU VMs from the CLI | Hacker News

https://news.ycombinator.com/item?id=49348136
https://news.ycombinator.com/item?id=48661825

John Carmack on the mistakes around Quake that ruined id software | Hacker News

https://news.ycombinator.com/item?id=48661825
https://news.ycombinator.com/item?id=48987846

Running Doom on Our Custom CPU and Going Viral | Hacker News

https://news.ycombinator.com/item?id=48987846
https://news.ycombinator.com/item?id=49247477

Rust SIMD on the GPU | Hacker News

https://news.ycombinator.com/item?id=49247477