Hackernews posts about Quint
- Apalache: Symbolic model checker for TLA+ and Quint (github.com)
- More on Newton's Diameter Theorem (www.johndcook.com)
- Show HN: Twitter for Voice Notes (earful.world)
- The quiet renovation at Bitwarden (blog.ppb1701.com)
- WASM is not quite a stack machine (purplesyringa.moe)
- I love Linux, but I can't quit Windows (jpain.io)
- Postgres's lateral joins allow for quite the good eDSL (bensimms.moe)
- I quit drinking for a year (dynomight.net)
- The quiet grief of adult friendship (timesofindia.indiatimes.com)
- United Arab Emirates to quit oil cartel OPEC (www.bbc.co.uk)
- United Arab Emirates quits OPEC as Iran war raises gulf tensions (www.nbcnews.com)
- Why Can't Writers Seem to Quit Substack? (www.talkscratch.com)
- The quiet grief of adult friendship (timesofindia.indiatimes.com)
- Trump admin pays wind developers to quit, back fossil fuel projects (www.theregister.com)
- Germany's main left-wing parties quit Musk's X over disinformation (dpa-international.com)
- Cigna to quit health insurance exchanges (www.modernhealthcare.com)
- Probably quit your job if you're asking Reddit (datastream.substack.com)
- US Government takes $2B equity stake in nine quantum computing firms (arstechnica.com)
- People Don't Quit Loudly. That's the Problem (www.mistakesweremade.xyz)