Viewing profile — mathisgd
mathisgd
HN member- Joined
- Thu, Jul 17, 2025, 4:54 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About mathisgd
No profile information was provided.
Recent public activity
-
comment
Comment #44595769
correlated ideas, that I thought were worth sharing: - formal properties help one understand their own code better. This holds even more true when the properties are high level. - …