Viewing profile — ill_ion
ill_ion
HN member- Joined
- Tue, Mar 17, 2026, 1:34 PM UTC
- HN karma
- -4
- Public activity
- 7 items
- HN profile
- View on Hacker News ↗
About ill_ion
No profile information was provided.
Recent public activity
-
comment
Comment #48147042
[flagged]
- story
-
comment
Comment #47628025
[dead]
-
comment
Comment #47566962
[dead]
-
comment
Comment #47566943
[dead]
-
comment
Comment #47566921
Contracts feel like the right direction but the wrong execution timeline. The Ada/SPARK model shows how powerful contracts become when they feed into static verification — but that…
-
comment
Comment #47554916
This is awesome!