HN Explorer

whwhyb

↗ HN profile [ 140 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A tale of four theorem provers (blueberrywren.dev)
    1 points 0
  2. Private Chinese rocket aces landing on 2nd-ever flight (space.com)
    1 points 0
  3. Z.ai Security (cvd.z.ai)
    4 points 0
  4. Help wanted (lake.computer)
    33 points 3
  5. Abstracting Effects with Continuations (crowdhailer.me)
    4 points 1
  6. 2026 Fields Medal List Accidentally Leaked (old.reddit.com)
    4 points 1
  7. Long March-10B first landing [video] (youtube.com)
    4 points 1
  8. Seed2.0 Model Card [pdf] (lf3-static.bytednsdoc.com)
    2 points 0
  9. GPQA and HLE are broken (zenodo.org)
    2 points 1