1 story
A new programming language uses mathematical proofs to prevent AI from shipping bugs, while running as fast as C on any number of cores.
1m · 6 views