Hacker News new | ask | show | jobs
by kzrdude 1129 days ago
Case in point, integer arithmetic in C. Reasoning about types there is just tiring.