We are not talking about C here. Imagine it was e.g. Java, or C#, or Rust in rel... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Joker_vD 9 months ago \| parent \| context \| favorite \| on: My first verified imperative program 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.

alternatex 9 months ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact