Viewing profile — ghaslt
ghaslt
HN member- Joined
- Thu, Aug 27, 2026, 8:55 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About ghaslt
No profile information was provided.
Recent public activity
-
comment
Comment #49471161
This issue raises SIGFPE. Ada would raise Constraint_error, which is easier to catch than a signal, but still occurs at runtime. You need range proofs to be 100% safe, and then you…