undefined | Better HN

0 pointsJoker_vD8mo ago0 comments

We are not talking about C here. Imagine it was e.g. Java, or C#, or Rust in release mode, or heck, even Lean itself but with fixed-precision integers.

0 comments

alternatex8mo ago

Overflow/underflow does happen in C# though. You have to manually opt-out by using a `checked` block anywhere you do arithmetic.

j / k navigate · click thread line to collapse

0 pointsJoker_vD8mo ago0 comments

We are not talking about C here. Imagine it was e.g. Java, or C#, or Rust in release mode, or heck, even Lean itself but with fixed-precision integers.

0 comments

alternatex8mo ago

Overflow/underflow does happen in C# though. You have to manually opt-out by using a `checked` block anywhere you do arithmetic.

j / k navigate · click thread line to collapse