Comment by fainpul
13 days ago
int64_t age = now - then; // UNDEFINED BEHAVIOUR if overflow!
uint64_t age = now - then; // DEFINED: wraps at 2⁶⁴
Seriously, fuck C. Since this book focuses on safe, reliable, bugfree programs, why not use Rust?
I'm going to go out on a limb and say because rust didn't exist 30 years ago?
Anyhoo... seems interesting. I've been trying to convince Claude to produce a verified JavaCard VM implementation, just for the hell of it, and this probably has a bunch of information to help with that.
Ya gotta start somewhere, and just about every IC starts at some point with C.
IC?
Integrated Circuits.
1 reply →