3 ms·
Didn't they hire the guy from BitC? BitC and ATS looked like the only interesting safe high perf languages for a while eh? Rust now has all the interest though.
by MichaelGG 11y ago
Didn't they hire the guy from BitC? BitC and ATS looked like the only interesting safe high perf languages for a while eh? Rust now has all the interest though.
- aidenn0 11y agoBoth BitC and ATS are big on formal program verification; rust has the interest because the number of people outside of academia that are interested in formal program verification is approximately zero.