Hacker Next
Show HN: C From Scratch – Learn safety-critical C with prove-first methodologygithub.com
26 points by william1872 12 hours ago | 1 comment