Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
Joker_vD
11mo ago
0 comments
Save
Share
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
1 comments · 1 top-level
top
newest
oldest
alternatex
11mo 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