Hackernews posts about SMT
- SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style (www.philipzucker.com)
- Show HN: Happymail – We made email simple again (happymail.tech)
- Show HN: Generating self-enumerating pangrams with constraint solving on the Web (www.autogramgenerator.com)
- Maybe the default settings are too high (www.raptitude.com)
- Garage – An S3 object store so reliable you can run it outside datacenters (garagehq.deuxfleurs.fr)
- Warren Buffett steps down as Berkshire Hathaway CEO after six decades (www.latimes.com)
- 4 billion if statements (2023) (andreasjhkarlsson.github.io)
- Sick of smart TVs? Here are your best options (arstechnica.com)
- Classical statues were not painted horribly (worksinprogress.co)
- 1.5 TB of VRAM on Mac Studio – RDMA over Thunderbolt 5 (www.jeffgeerling.com)
- I got hacked: My Hetzner server started mining Monero (blog.jakesaunders.dev)
- Horses: AI progress is steady. Human equivalence is sudden (andyljones.com)
- I ignore the spotlight as a staff engineer (lalitm.com)
- Dollar-stores overcharge customers while promising low prices (www.theguardian.com)
- What is the nicest thing a stranger has ever done for you? (louplummer.lol)
- Stranger Things creator says turn off “garbage” settings (screenrant.com)
- AI agents are starting to eat SaaS (martinalderson.com)