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

.

Awesome! Now we can use AI to manage our nuclear defense and attack response.

20k stars is sooooooooo sus lmao

Interesting... But I don't think formal software verification is going to be the answer (is that what this is? Kind of unclear.)

It's too difficult and doesn't scale well to many real world programs - how do you formally verify Facebook?

We'll probably be stuck with normal testing and at least skimming code for a while.

A single commit in github, and the compiler isn't there anyway. Where is the compiler?

[dead]

[flagged]

[flagged]

[flagged]

[dead]

[dead]

[dead]

[dead]

[dead]