Hackernews posts about SMT

1. Vibe Coding an SMTP Server, in Rust (mailpace.com)
   3 points by albertgoeswoof 27 days ago | discuss
2. A Conjecture Regarding SMT Instability [pdf] (ceur-ws.org)
   2 points by luu 5 days ago | discuss
3. Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1 (www.philipzucker.com)
   2 points by matt_d 14 days ago | discuss
4. Sendria is a test SMTP server (github.com)
   2 points by porridgeraisin 18 days ago | discuss
5. Show HN: Built an email marketing platform after paying $230/month (www.fertit.com)
   44 points by rasadov 28 days ago | 35 comments
6. Show HN: I made FiscalBud to send invoices fast and worldwide in 77 languages (apps.iridesk.com)
   3 points by drex91on 10 days ago | discuss
7. Show HN: A tempmail service made with Rust (vortex.skyfall.dev)
   3 points by JustSkyfall 10 days ago | discuss
8. Show HN: I built a deep email validation library in Kotlin (github.com)
   3 points by mbalatsko 20 days ago | discuss
9. Show HN: FastLaunchAPI – A production-ready FastAPI template batteries included (fastlaunchapi.dev)
   2 points by niklasdev 21 days ago | 4 comments
10. Show HN: Communal Growth, find others with similar interests in books or papers (communalgrowth.org)
    2 points by CarpaDorada 28 days ago | discuss
11. We Accidentally Built the Fastest On-Ramp to Visuals and Why It Matters
    1 points by ahmedelalaoui 11 days ago | 1 comments
12. Perplexity is using stealth, undeclared crawlers to evade no-crawl directives (blog.cloudflare.com)
    1315 points by rrampage 14 days ago | 748 comments
13. Study mode (openai.com)
    1130 points by meetpateltech 20 days ago | 805 comments
14. Streaming services are driving viewers back to piracy (www.theguardian.com)
    1100 points by nemoniac 4 days ago | 910 comments
15. ‘I witnessed war crimes’ in Gaza – former worker at GHF aid site [video] (www.bbc.com)
    1006 points by nathanyz 21 days ago | 1278 comments
16. Steve Wozniak: Life to me was never about accomplishment, but about happiness (yro.slashdot.org)
    937 points by MilnerRoute 4 days ago | 611 comments
17. VC-backed company just killed my EU trademark for a small OSS project
    839 points by marcjschmidt 6 days ago | 244 comments
18. Global hack on Microsoft Sharepoint hits U.S., state agencies, researchers say (www.washingtonpost.com)
    809 points by spenvo 29 days ago | 427 comments
19. PYX: The next step in Python packaging (astral.sh)
    754 points by the_mitsuhiko 5 days ago | 460 comments
20. The United States withdraws from UNESCO (www.state.gov)
    625 points by layer8 27 days ago | 877 comments
21. Steam, Itch.io are pulling ‘porn’ games. Critics say it's a slippery slope (www.wired.com)
    624 points by 6d6b73 24 days ago | 892 comments
22. What's the strongest AI model you can train on a laptop in five minutes? (www.seangoedecke.com)
    567 points by ingve 6 days ago | 194 comments
23. Gemini with Deep Think achieves gold-medal standard at the IMO (deepmind.google)
    529 points by meetpateltech 28 days ago | 242 comments
24. Live coding interviews measure stress, not coding skills (hadid.dev)
    527 points by mustaphah 17 days ago | 518 comments
25. StarDict sends X11 clipboard to remote servers (lwn.net)
    479 points by pabs3 7 days ago | 324 comments
26. How we made JSON.stringify more than twice as fast (v8.dev)
    458 points by emschwartz 14 days ago | 168 comments
27. US reportedly forcing TSMC to buy 49% stake in Intel to secure tariff relief (www.notebookcheck.net)
    454 points by voxadam 13 days ago | 518 comments
28. I designed my own fast game streaming video codec – PyroWave (themaister.net)
    432 points by Bogdanp 21 days ago | 134 comments
29. Toothpaste made with keratin may protect and repair damaged teeth: study (www.kcl.ac.uk)
    428 points by sohkamyung 2 days ago | 199 comments
30. Staying cool without refrigerants: Next-generation Peltier cooling (news.samsung.com)
    387 points by simonebrunozzi 29 days ago | 318 comments