News for hackers. Stuff that matters.

A comment on “Pack it in, mathematicians, someone owes LLVM a million bucks”. Parent comment

Re:“Pack it in, mathematicians, someone owes LLVM a million ... by jasode on Thursday August 19, 2021 @10:06AM (#28233989)
>"LLVM considers infinite recursion to be UB,

Not sure why he used the word "recursion" since collatz() is not calling itself.

[ Parent | on HN ]
Re:“Pack it in, mathematicians, someone owes LLVM a million ... by forgetfulness on Thursday August 19, 2021 @11:23AM (#28235016)
It's in the computability theory sense, since compilers and language specifications are symbolic math-heavy, and in math you model all these things as recursive functions, the terminology is applied uniformly.
[ Parent | on HN ]
Re:“Pack it in, mathematicians, someone owes LLVM a million ... by tpush on Thursday August 19, 2021 @10:29AM (#28234259)
He means the general concept of recursion, of which looping is an implementation, so to speak.
[ Parent | on HN ]