Hackernews posts about Quint

1. We used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
   39 points by 0xedb 3 days ago | discuss
2. Apalache: Symbolic model checker for TLA+ and Quint (github.com)
   3 points by stevefan1999 1 day ago | discuss
3. Quint – Behavioral security for AI agents, OS-level interception (quintai.dev)
   1 points by amerabbadi 23 days ago | 1 comments
4. More on Newton's Diameter Theorem (www.johndcook.com)
   5 points by ibobev 29 days ago | discuss
5. Show HN: Macfigure – Mac configuration in pkl. Simple alternative to Nix-Darwin (github.com)
   2 points by quintisimo 1 day ago | discuss
6. Show HN: Twitter for Voice Notes (earful.world)
   2 points by quinto_quarto 29 days ago | 1 comments
7. The quiet renovation at Bitwarden (blog.ppb1701.com)
   705 points by DaSHacka 6 days ago | 314 comments
8. Google’s AI is being manipulated. The search giant is quietly fighting back (www.bbc.com)
   334 points by tigerlily 2 days ago | 211 comments
9. I found ultra-pure quantum crystals in an abandoned mine in the Atacama desert (medium.com)
   287 points by vi_sextus_vi 6 days ago | 119 comments
10. WASM is not quite a stack machine (purplesyringa.moe)
    183 points by signa11 25 days ago | 45 comments
11. I love Linux, but I can't quit Windows (jpain.io)
    121 points by speckx 7 days ago | 219 comments
12. Postgres's lateral joins allow for quite the good eDSL (bensimms.moe)
    93 points by nitros 25 days ago | 24 comments
13. I quit drinking for a year (dynomight.net)
    82 points by webninja 25 days ago | 111 comments
14. The quiet grief of adult friendship (timesofindia.indiatimes.com)
    17 points by jger15 4 days ago | 2 comments
15. United Arab Emirates to quit oil cartel OPEC (www.bbc.co.uk)
    15 points by mattcollins 24 days ago | 1 comments
16. Lawyers for Sam Altman's sister quit representing her in lawsuit vs. OpenAI CEO (nypost.com)
    10 points by 1vuio0pswjnm7 24 days ago | discuss
17. United Arab Emirates quits OPEC as Iran war raises gulf tensions (www.nbcnews.com)
    10 points by ceejayoz 24 days ago | discuss
18. Why Can't Writers Seem to Quit Substack? (www.talkscratch.com)
    8 points by tolerance 8 days ago | 7 comments
19. Quantum stocks soar as U.S. plans $2B award, taking equity stakes (www.cnbc.com)
    7 points by atlasunshrugged 1 day ago | 2 comments
20. The quiet grief of adult friendship (timesofindia.indiatimes.com)
    7 points by luispa 5 days ago | 1 comments
21. Trump admin pays wind developers to quit, back fossil fuel projects (www.theregister.com)
    7 points by FpUser 23 days ago | discuss
22. Germany's main left-wing parties quit Musk's X over disinformation (dpa-international.com)
    6 points by vrganj 18 days ago | discuss
23. Cigna to quit health insurance exchanges (www.modernhealthcare.com)
    6 points by brandonb 22 days ago | discuss
24. Probably quit your job if you're asking Reddit (datastream.substack.com)
    5 points by racketracer 23 days ago | 5 comments
25. U.S. to Award Nine Quantum-Computing Firms $2B and Take Equity Stakes (www.wsj.com)
    5 points by giuliomagnifico 1 day ago | 2 comments
26. US Government takes $2B equity stake in nine quantum computing firms (arstechnica.com)
    5 points by joozio 1 day ago | 1 comments
27. People Don't Quit Loudly. That's the Problem (www.mistakesweremade.xyz)
    5 points by speckx 23 days ago | discuss
28. Rational quantum mechanics: Testing quantum theory with quantum computers (dx.doi.org)
    4 points by p4bl0 1 day ago | 3 comments
29. LLMs Don't Quite Beat Classical Hyperparameter Optimization Algorithms (github.com)
    4 points by achierius 22 days ago | 2 comments
30. The quantum realm, the cosmological realm, and the multiverse, in 69 minutes (bigthink.com)
    4 points by lschueller about 5 hours ago | discuss