Boundary Conditions
summary
Examines the birthday-problem implementation and shows tests catching a platform-imposed limit: the probability crosses 50% at 23 people but floating-point arithmetic under IEEE‑754 floating-point saturates at 183 so values clamp to 1 and break assertions. Uses simple boundary and property tests, math (Stirling approximation) and a reworked interface that computes the unique‑birthday probability, which avoids the saturation and validates correctly.
AI-written summary · about
chapters (6)
- 0:00Start
- 1:38Birthday Problem
- 5:04External Interface Boundaries
- 5:55Property Test
- 8:19Floating Point Errors
- 12:05Conclusion
related talks
55mClean Integral Code
38mEngineering Software Integral Types
21mMind the Boundary: Detecting Undefined Behavior Across Rust’s FFI
06mLightning Talk: Un-Undefining Undefined Behavior in C++
42mSurprise yourself with Property Based Testing
01h 05mThe real problem of C++
01h 05mDecomposing a Problem for Parallel Execution
01h 02mEmbedded Friendly C++: Features That Make a Difference