Hackernews posts about SMT

1. Announce: SMTP DANE Verify – self-monitor your DANE policy (github.com)
   3 points by lquidfire 6 days ago | 1 comments
2. SMTMSMT: Gluing Together CVC5 and Z3 Nelson Oppen Style (www.philipzucker.com)
   1 points by matt_d 2 days ago | discuss
3. Tell HN: AI is good for software hackers because we will be more substantial
   3 points by keepamovin 20 days ago | discuss
4. Show HN: AIThreads – Give your AI agent an email address in 30 seconds
   3 points by heyarviind2 30 days ago | discuss
5. Show HN: Happymail – We made email simple again (happymail.tech)
   1 points by samset7 1 day ago | 2 comments
6. Show HN: Generating self-enumerating pangrams with constraint solving on the Web (www.autogramgenerator.com)
   1 points by nels_martin about 6 hours ago | discuss
7. Ask HN: IPv6 capable transactional email senders?
   1 points by hevisko 23 days ago | discuss
8. We invited a man into our home at Christmas and he stayed with us for 45 years (www.bbc.co.uk)
   1175 points by rajeshrajappan 8 days ago | 281 comments
9. Maybe the default settings are too high (www.raptitude.com)
   932 points by htk 7 days ago | 321 comments
10. Accepting US car standards would risk European lives (etsc.eu)
    860 points by saubeidl 30 days ago | 724 comments
11. Why are 38 percent of Stanford students saying they're disabled? (reason.com)
    766 points by delichon 28 days ago | 1021 comments
12. Garage – An S3 object store so reliable you can run it outside datacenters (garagehq.deuxfleurs.fr)
    722 points by ibobev 13 days ago | 182 comments
13. Meta is using the Linux scheduler designed for Valve's Steam Deck on its servers (www.phoronix.com)
    699 points by yellow_lead 9 days ago | 392 comments
14. Warren Buffett steps down as Berkshire Hathaway CEO after six decades (www.latimes.com)
    693 points by ValentineC 1 day ago | 539 comments
15. 4 billion if statements (2023) (andreasjhkarlsson.github.io)
    638 points by damethos 26 days ago | 176 comments
16. Sick of smart TVs? Here are your best options (arstechnica.com)
    636 points by fleahunter 20 days ago | 532 comments
17. Classical statues were not painted horribly (worksinprogress.co)
    631 points by bensouthwood 15 days ago | 332 comments
18. 1.5 TB of VRAM on Mac Studio – RDMA over Thunderbolt 5 (www.jeffgeerling.com)
    617 points by rbanffy 14 days ago | 228 comments
19. I got hacked: My Hetzner server started mining Monero (blog.jakesaunders.dev)
    606 points by jakelsaunders94 15 days ago | 412 comments
20. The state of Schleswig-Holstein is consistently relying on open source (www.heise.de)
    601 points by doener 25 days ago | 286 comments
21. Horses: AI progress is steady. Human equivalence is sudden (andyljones.com)
    581 points by pbui 24 days ago | 629 comments
22. Stardew Valley developer made a $125k donation to the FOSS C# framework MonoGame (monogame.net)
    571 points by haunter 1 day ago | 244 comments
23. I ignore the spotlight as a staff engineer (lalitm.com)
    547 points by todsacerdoti 29 days ago | 243 comments
24. We replaced H.264 streaming with JPEG screenshots (and it worked better) (blog.helix.ml)
    521 points by quesobob 9 days ago | 320 comments
25. Dollar-stores overcharge customers while promising low prices (www.theguardian.com)
    514 points by bookofjoe 25 days ago | 729 comments
26. Alzheimer’s disease can be reversed in animal models? Study (case.edu)
    490 points by thunderbong 7 days ago | 122 comments
27. Show HN: Minimalist editor that lives in browser, stores everything in the URL (github.com)
    468 points by medv 8 days ago | 168 comments
28. What is the nicest thing a stranger has ever done for you? (louplummer.lol)
    443 points by speckx 21 days ago | 335 comments
29. Stranger Things creator says turn off “garbage” settings (screenrant.com)
    434 points by 1970-01-01 3 days ago | 785 comments
30. AI agents are starting to eat SaaS (martinalderson.com)
    412 points by jnord 18 days ago | 386 comments