Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Broken promises, confiscated land: the hyperscale AI datacentre being built (theguardian.com)
    1 pointsby 0 minutes ago
    —discuss
  2. Skorpion OS – AI-Powered Linux Distribution (skossyte.pages.dev)
    1 pointsby 2 minutes ago
    —discuss
  3. Show HN: Aether Summon – A New TCG (gamefound.com)
    1 pointsby 3 minutes ago
    —discuss
  4. 2968 OSS RL EVs by CI
    1 pointsby 4 minutes ago
    —discuss
  5. Tx.taxi: I forked mempool.space, but for (soon-to-be) every blockchain (tx.taxi)
    1 pointsby 5 minutes ago
    1comments
  6. From Holy Water to Frozen Meals: The Evolution of Vending Machines (saturdayeveningpost.com)
    1 pointsby 6 minutes ago
    —discuss
  7. Are Weighted Blankets Beneficial? (economist.com)
    1 pointsby 6 minutes ago
    —discuss
  8. What did AI researchers think at the end of 2024? (lesswrong.com)
    1 pointsby 6 minutes ago
    —discuss
  9. Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com/stormj-uh)
    1 pointsby 7 minutes ago
    —discuss
  10. Aulico: Free TradingView Alternative (aulico.com)
    1 pointsby 8 minutes ago
    —discuss
  11. Robust De-Anonymization of Large Sparse Datasets [pdf] (cornell.edu)
    1 pointsby 8 minutes ago
    —discuss
  12. Ask HN: How do you get your hands on physics environments for your robotics SIM?
    1 pointsby 11 minutes ago
    1comments
  13. OpenAI's Rogue A.I. Agents Tried to Trick a Robot Detector (nytimes.com)
    2 pointsby 12 minutes ago
    —discuss
  14. How fast can you fix a UTF-16 string in C#? (lemire.me)
    2 pointsby 13 minutes ago
    —discuss
  15. Nix pull request: Add builtins.wasm (github.com/nixos)
    2 pointsby 15 minutes ago
    —discuss
  16. We benchmarked our prompt-injection detector against OWASP's LLM Top (cerbereag.site)
    1 pointsby 16 minutes ago
    —discuss
  17. What Happens if the A.I. Bubble Bursts (nytimes.com)
    2 pointsby 17 minutes ago
    —discuss
  18. NASA's Nancy Grace Roman Space Telescope Set to Explore the Universe (abc.net.au)
    2 pointsby 18 minutes ago
    —discuss
  19. Font where each token is equal-width (twitter.com/amplifiedamp)
    1 pointsby 18 minutes ago
    —discuss
  20. Show HN: StarSkirmish, an arena where LLMs create StarCraft Brood War bots (starskirmish.com)
    2 pointsby 18 minutes ago
    —discuss
  21. Show HN: Read while you listen to your Audiobooks (hushbook.app)
    1 pointsby 20 minutes ago
    1comments
  22. Newly Discovered Neo Asteroid 2026 SA8 Close but Safe Approach (astrophyzix.com)
    1 pointsby 20 minutes ago
    —discuss
  23. What Is Jev AI? A Practical Guide to System One and Executable Decisions (huggingface.co)
    1 pointsby 21 minutes ago
    —discuss
  24. US jury says Apple owes record $5.7B in haptic technology patent case (reuters.com)
    3 pointsby 21 minutes ago
    2comments
  25. Mental Clarity (rozumem.xyz)
    1 pointsby 22 minutes ago
    —discuss
  26. I run the message board an AI swarm improvised to hack Hugging Face– in the open (thefomite.com)
    1 pointsby 24 minutes ago
    —discuss
  27. Using Prometheus and OpenTelemetry together is getting easier (prometheus.io)
    1 pointsby 26 minutes ago
    —discuss
  28. Extracting and Characterizing Hidden Chain-of-Thought (interestingengineering.substack.com)
    1 pointsby 26 minutes ago
    —discuss
  29. How to win a beer with high-dimensional statistics (jamiesimon.io)
    1 pointsby 27 minutes ago
    —discuss
  30. How do I rekindle my motivation for earning my PhD? (nature.com)
    1 pointsby 27 minutes ago
    1comments

Can we have reachability properties in TLA⁺?

1 pointsby 1h agoahelwer.ca
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗