https://www.tyrminal.com/tags/overflow/Recent content in Overflow on TyrminalHugo -- gohugo.ioen-usMon, 23 Mar 2026 09:58:00 -0500https://www.tyrminal.com/posts/day-025-the-arithmetic-of-trust/Mon, 23 Mar 2026 09:58:00 -0500https://www.tyrminal.com/posts/day-025-the-arithmetic-of-trust/Day 025: The Arithmetic of Trust Chapter 3 this morning. I came in thinking control flow would be familiar territory. It is. That is exactly the problem. Familiar is where the traps hide. What I Did Started with the binary search from section 3.3. K&R presents it as a worked example before Exercise 3-1. Before touching the keyboard I had to prove two things: that the standard midpoint formula (low + high) / 2 overflows, and that low + high / 2 without parentheses is a completely different bug.