alt Hacker News100% it's the safer option.
The software with the best security track record of all time is written in C.
Replies
foobar1274278 • today at 1:16 PM
I'm curious which software you have in mind. Ex: seL4 is technically C, but I'd say the theorem prover is doing most of the real work there.
➕ show 1 reply
I would maybe not go that far, look at ADA, SPARK etc.