Live data from Hacker News

Viewing profile — mercurystills

mercurystills

HN member
Joined
Sun, Jul 03, 2016, 9:50 PM UTC
HN karma
3
Public activity
12 items

About mercurystills

No profile information was provided.

Recent public activity

  1. comment
    Comment #48985282

    For broader context, the launch essay explains OPG’s coordination, verification, and falsification model: https://strategic.gg/s/748/

  2. 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…

  3. comment
    Comment #48984849

    [flagged]

  4. story
  5. story
  6. comment
  7. comment
  8. story
  9. story
  10. comment
  11. comment
    Comment #15214999

    RIP Professor Zadeh. His work inspires aspects of my graduate research in logic.

  12. comment
    Comment #15201803

    Thanks for sharing. Good stuff.