Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Show HN: Try Omarchy for Windows – Full Omarchy Desktop on Windows(github.com/omacom ↗)
    discuss
  2. V Language Review (2023)(n-skvortsov-1997.github.io ↗)
    discuss
  3. Lattice Gazette(lattice-gazette.pages.dev ↗)
    discuss
  4. Show HN: AI Adoption Survey (Census)(crawlspider.com ↗)
    discuss
  5. Can the Far Right Be Deradicalized? [video](youtube.com ↗)
    discuss
  6. Show HN: Jevals – replacing LLM judges with typed Jev decisions(github.com/openlayer-ai ↗)
    discuss
  7. What Happened to the Snowden Archive(libroot.org ↗)
    discuss
  8. 30 years after Civ2, Eivind IV built his own 4X game (Genesis)(civfanatics.com ↗)
    2comments
  9. Google's Open Agentic Orchestrator(agentexecutor.io ↗)
    2comments
  10. Computers Add Numbers(youtube.com ↗)
    discuss
  11. Not all AI workers think the tech could kill everyone(bbc.com ↗)
    discuss
  12. Noam Brown – Agent swarms, alignment, & recursive self-improvement(dwarkesh.com ↗)
    discuss
  13. Ask HN: What Inspires You to Persevere?
    3comments
  14. Show HN: Mini-Runbot – Ephemeral Odoo Enviroments Using Python and Docker(github.com/rafnixg ↗)
    discuss
  15. Autopatch(wikipedia.org ↗)
    discuss
  16. Bill to Ban Private Equity from Owning Medical Practices(truthout.org ↗)
    6comments
  17. RayMate – free macOS AI launcher, Spotlight-like, with on-device dictation(raymate.app ↗)
    discuss
  18. Line Scan Photos from MUNI Heritage Weekend in San Francisco(lawrence.lu ↗)
    discuss
  19. How to Find Internal Link Opportunities with Jev(screpy.com ↗)
    discuss
  20. ProofWatch – Rumors and sources behind math and CS breakthrough claims(proof-watch.com ↗)
    1comments
  21. Motif – ongoing research via text message(motifresearch.ai ↗)
    discuss
  22. ComfyUI workflow that writes and performs a whole radio drama locally(github.com/jbrick2070 ↗)
    2comments
  23. Ask HN: Do we still need code editors, or are Git clients enough?
    1comments
  24. BeOS-R5-Icons(github.com/jcherven ↗)
    discuss
  25. Scanning Light Field Display [3D rotating display] [video](youtube.com ↗)
    discuss
  26. The Dutch gangster that bought an African country(economist.com ↗)
    discuss
  27. MultiTOOL Pro AI Kit Utilities(play.google.com ↗)
    discuss
  28. Show HN: Native Mac menu bar app for the Anker Prime 160W (local BLE)(github.com/djui ↗)
    discuss
  29. Nipple tattooist 'frustrated' by online censorship(bbc.com ↗)
    20comments
  30. Periodic Table of North American Electrical Outlets(imgur.com ↗)
    discuss

ProofWatch – Rumors and sources behind math and CS breakthrough claims

1 pointsby 47m agoproof-watch.com
1 comments
47m agoHN ↗

I built ProofWatch after trying to piece together the discussion around the Unique Games Conjecture. It is specifically focused on rumors about results coming down the pipeline in math, cs, and engineering. The site collects papers, posts and comments, currently searching four times daily. There is an option to subscribe to a daily email with updates.