Hacker News new | ask | show | jobs
by zokier 1230 days ago
Frama-C is big reason why I think learning and writing C makes still sense in 2023.