Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Territory claims in Antartica look when Antartica has no ice (willmeye.rs)
    2 pointsby 12 minutes ago
    1comments
  2. Stabilizing Rust's Never Type (lwn.net)
    1 pointsby 17 minutes ago
    —discuss
  3. How many strings can you create per second? (lemire.me)
    1 pointsby 19 minutes ago
    —discuss
  4. What OS should I pick?
    1 pointsby 20 minutes ago
    1comments
  5. Farside.link has been shut down (farside.link)
    1 pointsby 21 minutes ago
    1comments
  6. Deterministic Testing for Multithreaded Python (lwn.net)
    1 pointsby 23 minutes ago
    —discuss
  7. A geothermal amoeba sets a new upper temperature limit for eukaryotes (cell.com)
    1 pointsby 26 minutes ago
    —discuss
  8. Show HN: Clippy's Revenge – Made by Opus 5.5 [video] (youtube.com)
    1 pointsby 26 minutes ago
    —discuss
  9. Pentum_Graph [WorldNews_YouTube] (pentumlab.com)
    1 pointsby 26 minutes ago
    1comments
  10. Ask HN: Do you token max? Why or why not?
    1 pointsby 29 minutes ago
    1comments
  11. The AI Build-Out Is Becoming the Biggest Economic Bet in U.S. History (wsj.com)
    3 pointsby 30 minutes ago
    —discuss
  12. Show HN: OpsCart – Read-only Kubernetes triage with incident history (github.com/opscart)
    1 pointsby 36 minutes ago
    —discuss
  13. Send GitLab an email, push to main (aikido.dev)
    1 pointsby 39 minutes ago
    —discuss
  14. Show HN: Live Quantum Circuits Visualizator for Reinforcement Learning (github.com/sorbalda)
    1 pointsby 47 minutes ago
    —discuss
  15. Sandbox/computer to be added to your product (pine.im)
    1 pointsby 49 minutes ago
    —discuss
  16. VeriTile: Formal Verification for Triton Kernels (lizn-zn.github.io)
    2 pointsby 55 minutes ago
    —discuss
  17. Design Experiments with the Amytis Agent (amytis.io)
    1 pointsby 59 minutes ago
    —discuss
  18. Nobody Has a Good Answer for Agentic Identity Yet (fusionauth.io)
    4 pointsby 1 hour ago
    1comments
  19. Paul Graham on LLMs 'Thinking' (twitter.com/paulg)
    3 pointsby 1 hour ago
    3comments
  20. Pragtical v3.13.0 is out with native audio API and built-in audio player (pragtical.dev)
    1 pointsby 1 hour ago
    —discuss
  21. Fluid Simulation on Flip Dots (mitxela.com)
    1 pointsby 1 hour ago
    —discuss
  22. ServingStudio: Simulating, Analyzing, and Optimizing LLM Serving Systems (syfi-servingstudio.github.io)
    3 pointsby 1 hour ago
    —discuss
  23. X-planes: Are they needed in the new era of drones? (bbc.com)
    4 pointsby 1 hour ago
    —discuss
  24. Tell HN: Apple urgently needs a way to disable Apple Intelligence
    2 pointsby 1 hour ago
    6comments
  25. Seven books I keep close because I love them (plover.com)
    3 pointsby 1 hour ago
    1comments
  26. OpenAI attacked Australia's health system and doubled down. Time to act (theguardian.com)
    8 pointsby 1 hour ago
    1comments
  27. The collie and the pug – HackMIT keynote 2026 [video] (youtube.com)
    1 pointsby 1 hour ago
    —discuss
  28. Sunday is your last sure chance to visit the Academy of Natural Sciences museum (inquirer.com)
    3 pointsby 1 hour ago
    1comments
  29. (KV) Cache Rules Everything Around Me (completeskeptic.com)
    3 pointsby 1 hour ago
    —discuss
  30. OpenCode-search: fast full-text search of all your sessions (github.com/arvindell)
    4 pointsby 1 hour ago
    2comments

VeriTile: Formal Verification for Triton Kernels

2 pointsby 55m agolizn-zn.github.io
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗