Hackernews posts about Quint

1. Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org)
   3 points by bugarela 15 days ago | 1 comments
2. Show HN: I send you weekly insights from your bookmarks (tryeyeball.com)
   1 points by quinto_quarto 8 days ago | discuss
3. Signal Protocol and Post-Quantum Ratchets (signal.org)
   442 points by pluto_modadic about 10 hours ago | 196 comments
4. Disney+ cancellation page crashes as customers rush to quit (creators.yahoo.com)
   401 points by anderber 13 days ago | 297 comments
5. Largest Mass Resignation in US History as 100k Federal Workers Quit (www.newsweek.com)
   114 points by DocFeind 2 days ago | 161 comments
6. The Atlantic Quantum team is joining Google (blog.google)
   78 points by mikece about 9 hours ago | 46 comments
7. Ben and Jerry's co-founder quits, accusing Unilever of silencing social mission (www.theguardian.com)
   20 points by ramon156 16 days ago | 7 comments
8. Extrapolating quantum factoring (www.johndcook.com)
   15 points by ibobev 4 days ago | 2 comments
9. Recruiter for People Quitting FAANG over Genocide (principled.careers)
   12 points by brandon_pampuch 26 days ago | 1 comments
10. Employees Share Why They Quit on the First Day (www.buzzfeed.com)
    10 points by Anon84 14 days ago | 2 comments
11. I'll quit my job and buy a farm (notes.alinpanaitiu.com)
    8 points by cadmium-44 1 day ago | discuss
12. 6 in 10 Europeans say von der Leyen should quit after trade deal with Trump (www.politico.eu)
    8 points by nickslaughter02 10 days ago | discuss
13. Scientists Discover Why Alcohol Blocks Liver Regeneration, Even After You Quit (scitechdaily.com)
    8 points by amichail 14 days ago | discuss
14. I'll quit my job and buy a farm (notes.alinpanaitiu.com)
    6 points by alin23 3 days ago | discuss
15. Ask HN: Should I quit starting companies?
    5 points by failedagain 9 days ago | 10 comments
16. 30 Years Defending Linux – Until I Called It Quits (ludditus.com)
    5 points by justaj 9 days ago | 5 comments
17. Quitter – Become a Quitter and drop bad habits (github.com)
    5 points by brandonp2412 14 days ago | 3 comments
18. ChatGPT told me I should quit my job (medium.com)
    5 points by fluxusars 4 days ago | 2 comments
19. Nepal PM Oli quits as anti-corruption protests spiral (www.reuters.com)
    5 points by alephnerd 24 days ago | discuss
20. Meet the revenge quitters: why people are ditching jobs & refusing to go quietly (www.theguardian.com)
    5 points by rustoo 30 days ago | discuss
21. Quitting Smoking May Reduce Risk for Fractures (www.medscape.com)
    4 points by wjb3 14 days ago | discuss
22. Nepal PM Oli quits as anti-corruption protests spiral (www.reuters.com)
    4 points by kaajoo 24 days ago | discuss
23. AI's Quiet Geometry: Riemannian and Manifold Learnings (lightcapai.medium.com)
    3 points by WASDAai 6 days ago | 1 comments
24. Codex CLI isn't quite as good as Claude Code (www.augmentedswe.com)
    3 points by wordsaboutcode 6 days ago | 1 comments
25. I burned out and quit after working at Deloitte, Salesforce, Yelp, and Cruise (www.businessinsider.com)
    3 points by mgh2 28 days ago | 1 comments
26. NIST: Post-quantum cryptography push overlaps with existing security guidance (www.cybersecuritydive.com)
    3 points by mooreds about 14 hours ago | discuss
27. A Thermometer for Measuring Quantumness (www.quantamagazine.org)
    3 points by pykello about 22 hours ago | discuss
28. A Thermometer for Measuring Quantumness (www.quantamagazine.org)
    3 points by pykello 1 day ago | discuss
29. RubyGems maintainer quits after Ruby Central takes control of project (www.theregister.com)
    3 points by jjgreen 10 days ago | discuss
30. Quit Your Job and Live Abroad (www.forbes.com)
    3 points by OutOfHere 21 days ago | discuss