Viewing profile — tungsten_metal
tungsten_metal
HN member- Joined
- Sat, Jan 17, 2026, 12:53 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About tungsten_metal
No profile information was provided.
Recent public activity
-
comment
Comment #46675527
Proof assistants are the most extreme example of validation that leads you being able to trust the output (so long as the problem you intended on solving was correctly described) b…