Top all-time · #24713
Welcome to the Mike’s homepage!
Personal blog · krinkinmu.github.ioprogrammingmath
Welcome to the Mike’s homepage! is a personal blog at krinkinmu.github.io about programming and math. Since 2022, 3 different Hacker News readers have linked it 3 times. The last post was in 2024, but the archive is still widely read.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Mike's personal blog. The linked post covers infinite loops and how C and C++ compilers may assume loops terminate, and a commenter cites it when discussing C11 behaviour.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Various things I do outside of work: fun, boring, anything really.
What Hacker News says?
I got curious about this. It seems that C11 at least is much closer to the C++ behaviour: under certain conditions, compilers can assume that loops terminate even if they can't prove it. See https://krinkinmu.github.io/2021/12/12/pain-of-infinite-loop... for example and the relevant part of the standard, N1509 (Clang's compatibility chart referencing that: https://clang.llvm.org/c_status.html ). Importantly (see for…
Comment linking /2021/12/12/pain-of-infinite-loops.html
on “So you think you know C? (2016)”Submitted Recurrence Relations and Linear Algebra as a story · 3 points
HN discussionSubmitted A curious case of static memory allocation in Rust as a story · 1 points
HN discussion