4 ms·

Just to add on to this: The languages people use at Galois lean towards functional programming languages: Haskell, Coq, etc. and systems languages: C, Rust (in

by jmct 8y ago

Just to add on to this: The languages people use at Galois lean towards functional programming languages: Haskell, Coq, etc. and systems languages: C, Rust (increasingly).