Hacker News

New stories

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

ProofWatch – Rumors and sources behind math and CS breakthrough claims

1 pointsby 49m agoproof-watch.com
1 comments
49m 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.