Viewing profile — tlingo
tlingo
HN member- Joined
- Sun, Jun 12, 2016, 1:34 AM UTC
- HN karma
- 5
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About tlingo
No profile information was provided.
Recent public activity
-
comment
Comment #11886243
As a consequence, math publications that rely on closed-source computations are not independently verifiable, and fail to meet the standard of a rigorous proof.