New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Where Prediction Markets Struggle(economist.com ↗)
    discuss
  2. The AI Language We Can't Read: Neuralese [video](youtube.com ↗)
    discuss
  3. Tesla Full Self-Driving customers can now access lower insurance premiums(drive.com.au ↗)
    1comments
  4. Continual Learning Mechanisms Compose for Long-Horizon Memorization(arxiv.org ↗)
    discuss
  5. Are you committed to your company or your team?(economist.com ↗)
    discuss
  6. Sam Altman says world 'right to be afraid' but 'should trust' AI firms(bbc.com ↗)
    1comments
  7. Show HN: Glu – installing Homebrew packages 2x faster on macOS(glu.run ↗)
    1comments
  8. China would face a "hellscape" in a war over Taiwan(economist.com ↗)
    1comments
  9. Ex-Google DeepMind researcher adds to warnings that AI could 'kill all humans'(reuters.com ↗)
    discuss
  10. Bashka – static analyzer for bash install scripts (for safety and convenience)(github.com/dmtrkovalenko ↗)
    1comments
  11. Ridiculous deals as store leaves website open for the public to edit(stuff.co.nz ↗)
    1comments
  12. Show HN: Open-source tab and bookmark organizer for Chrome and Edge(github.com/ringlochid ↗)
    1comments
  13. PatchWing – verified, reproducible fixes for known CVEs (bring your own model)(github.com/jaymunshi ↗)
    1comments
  14. Massie launches effort to impeach Hegseth(thehill.com ↗)
    discuss
  15. Show HN: ForcePush – Commits vs. Push-Ups(forcepush.fit ↗)
    1comments
  16. Datamimic – don't let your coding agent invent its own test world(github.com/rapiddweller ↗)
    2comments
  17. Ask HN: How do you put together a technical engineering team?
    discuss
  18. Is pasta a type of noodle? The surprisingly serious debate over beloved carbs(theconversation.com ↗)
    discuss
  19. Deep Seek v4.1 M5 Max at 17 tokens/s(github.com/argonautlabsai ↗)
    discuss
  20. The Apple IIGS was introduced 40 years ago today(twitter.com/stlhood ↗)
    discuss
  21. SGLang and Miles Add Day-0 Support for DeepSeek-v4.1(lmsys.org ↗)
    discuss
  22. GLiClass: Open-Source JEV(github.com/knowledgator ↗)
    discuss
  23. The Arrival of Java 27(inside.java ↗)
    discuss
  24. EU approves sending mountains of trash to Turkey despite environmental fears(politico.eu ↗)
    discuss
  25. Verification of a Generational Garbage Collector(arxiv.org ↗)
    discuss
  26. Salesforce and Nvidia launch Koa, a CRM reasoning model(salesforce.com ↗)
    discuss
  27. Antonio Gramsci: How Language Makes Power Feel Like Common Sense(linguistically.substack.com ↗)
    discuss
  28. Replicating Jev with Qwen-2.5(perennialte.ch ↗)
    discuss
  29. Revisiting Soundness for Occurrence Typing, Semantically(arxiv.org ↗)
    discuss
  30. Black Holes or Black Hole Stars?(quantamagazine.org ↗)
    discuss

From Academia to Alignment

4 pointsby 1h agomillicosm.substack.com
2 comments
1h agoHN ↗

Good luck to the ARC. Alignment is not a solvable problem. A paradox cannot be solved.

I've stated like the following:

“Alignment, which we cannot define, will be solved by rules on which none of us agree, based on values that exist in conflict, for a future technology that we do not know how to build, which we could never fully understand, must be provably perfect to prevent unpredictable and untestable scenarios for failure, of a machine whose entire purpose is to outsmart all of us and think of all possibilities that we did not.”

The full elaboration I wrote up here - https://www.mindprison.cc/p/ai-alignment-why-solving-it-is-i...

50m agoHN ↗

Kinda funny a chatbot threatening its users was the breaking point for them to see "AIs would overtake humans as the dominant intelligence". I would've thought it would be benchmarks or AI cleanly solving unsolvable math problems.

I guess that means fear is a better motivator than demos.