Viewing profile — nlogn_alltheway
nlogn_alltheway
HN member- Joined
- Thu, Aug 06, 2026, 4:06 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About nlogn_alltheway
No profile information was provided.
Recent public activity
-
comment
Comment #49198592
I just feel an existential angst, are we damned to keep reinventing the same wheel? Static contracts and proofs are basically solved for industrial use in SPARK, yet somehow we kee…