Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. The 'AI Safety' Movement Is Making AI Less Safe(reason.com)
    1 pointsby 0 minutes ago
    —discuss
  2. Show HN: Livenerf – a benchmark for whether Opus 5.5 gets nerfed(github.com/ninjahawk)
    1 pointsby 1 minute ago
    —discuss
  3. Adding side drawer with workspace concepts to rio (rust termainl) like cmux has(github.com/raphamorim)
    1 pointsby 1 minute ago
    —discuss
  4. The Jagged Frontier of Jev 1.13(typesafe.ai)
    2 pointsby 7 minutes ago
    —discuss
  5. Mercury Is Shrinking, and Faster Than We Thought(nytimes.com)
    1 pointsby 9 minutes ago
    —discuss
  6. Swarm Scaling(tobyord.com)
    1 pointsby 12 minutes ago
    —discuss
  7. A WIP Lego Sorter: Maybe a million pounds is possible [video](youtube.com)
    3 pointsby 12 minutes ago
    —discuss
  8. Artificial Intelligence in Research(tmodrzyk.github.io)
    1 pointsby 14 minutes ago
    —discuss
  9. CNN Mood 'Like a Funeral' as Paramount Acquires Warner Bros(variety.com)
    4 pointsby 15 minutes ago
    2comments
  10. Show HN: Palette, a Figma plugin that turns one color into a whole UI system(figma.com)
    1 pointsby 18 minutes ago
    —discuss
  11. AUGUSTOSFACES(augusto.at)
    1 pointsby 19 minutes ago
    —discuss
  12. What is the World's Loveliest Language(economist.com)
    1 pointsby 20 minutes ago
    —discuss
  13. Xounds Redux and FruitMenu Redux(totallynotmalicious.com)
    1 pointsby 24 minutes ago
    1comments
  14. Design your programming languages right (2024)(veritates.love)
    1 pointsby 24 minutes ago
    —discuss
  15. U.S. Government seizes 54-pound Martian meteorite sold at auction last year(nytimes.com)
    3 pointsby 25 minutes ago
    2comments
  16. A Taxonomy for Navigating the Global Landscape of AI Regulation (2025)(acm.org)
    1 pointsby 26 minutes ago
    —discuss
  17. The 38 most influential Bluesky posters(bsky38.com)
    2 pointsby 27 minutes ago
    —discuss
  18. UN General Assembly: Trump renames AI to Super Intelligence(washingtonpost.com)
    4 pointsby 27 minutes ago
    4comments
  19. The Mac Mini M6 is the fastest way to.. emulate a Windows 98 Pentium II machine(nyaa.sh)
    1 pointsby 29 minutes ago
    —discuss
  20. Show HN: A fast, offline Markdown viewer for macOS built in Swift(github.com/temir-dev)
    2 pointsby 31 minutes ago
    —discuss
  21. About Impersonation Risk Detection(support.apple.com)
    1 pointsby 31 minutes ago
    —discuss
  22. Trump orders AI rebrand as "super intelligence"(axios.com)
    6 pointsby 35 minutes ago
    2comments
  23. Neo-Median Voter Model(betonit.ai)
    2 pointsby 35 minutes ago
    —discuss
  24. Simple-jev by featherless AI – Turn context into clear decisions(featherless.ai)
    1 pointsby 36 minutes ago
    1comments
  25. How to Escape the Algorithm(raahelbaig.com)
    1 pointsby 38 minutes ago
    —discuss
  26. What Does Childhood Trauma Have to Do with White Supremacy?(psychologytoday.com)
    4 pointsby 44 minutes ago
    2comments
  27. Inspiring Applications of Spin Model Checker(spinroot.com)
    1 pointsby 44 minutes ago
    —discuss
  28. Show HN: WavexAI – Unlimited tokens for a fixed cost(wavexai.dev)
    4 pointsby 46 minutes ago
    5comments
  29. Show HN: Open-source Express-like HTTP server in C++(amsozzer.com)
    1 pointsby 50 minutes ago
    —discuss
  30. Daily Bible Verse Wordle Game(lordle.net)
    2 pointsby 55 minutes ago
    2comments

Inspiring Applications of Spin Model Checker

1 pointsby 45m agospinroot.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗