Viewing profile — mercurystills
mercurystills
HN member- Joined
- Sun, Jul 03, 2016, 9:50 PM UTC
- HN karma
- 3
- Public activity
- 12 items
- HN profile
- View on Hacker News ↗
About mercurystills
No profile information was provided.
Recent public activity
-
comment
Comment #48985282
For broader context, the launch essay explains OPG’s coordination, verification, and falsification model: https://strategic.gg/s/748/
-
comment
Comment #48985031
OPG is not a centrally selected catalogue of problems. Any registered user can publish and map a problem using OPG's graph-based tools. The goal is to coordinate work around proble…
-
comment
Comment #48984849
[flagged]
- story
- story
- comment
- comment
- story
- story
- comment
-
comment
Comment #15214999
RIP Professor Zadeh. His work inspires aspects of my graduate research in logic.
-
comment
Comment #15201803
Thanks for sharing. Good stuff.