Hackernews posts about SMT

  1. ASMTP – SMTP for Agents (www.asmtp.net)
    8 points by nickcrews 4 days ago | 1 comments
  2. Show HN: Goshs – Single-binary server for red teamers: HTTP/S,SMB,NTLM,DNS/SMTP (github.com)
    3 points by patrickhener 11 days ago | discuss
  3. Exim 4.99.3 – SMTP Mail Server – Message Transfer Agent (MTA) (lists.exim.org)
    1 points by neustradamus 10 days ago | discuss
  4. Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (github.com)
    1 points by marcosjunior 23 days ago | discuss
  5. Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com)
    1 points by tosh 29 days ago | discuss
  6. Postfix 1998, Dovecot 2002, Roundcube 2008: Why Email Stack Frozen 25 Years?
    3 points by panelica 20 days ago | 1 comments
  7. Show HN: Arrr!, Linux notification aggregator (RSS, Telegram, WhatsApp, email) (github.com)
    2 points by squidleon 24 days ago | discuss
  8. Show HN: Free OSS Contact Form Forwarder (www.simplecontactform.org)
    1 points by maxibenner 16 days ago | discuss
  9. Show HN: I've built email capture on a hosted page (no SDK/ESP setup) (optinpa.ge)
    1 points by Abstract2D 26 days ago | discuss
  10. Email could have been X.400 times better (buttondown.com)
    239 points by maguay 29 days ago | 206 comments
  11. Valve releases Steam Controller CAD files under Creative Commons license (www.digitalfoundry.net)
    1747 points by haunter 16 days ago | 593 comments
  12. Your phone is about to stop being yours (keepandroidopen.org)
    1702 points by doener 24 days ago | 889 comments
  13. Talking to strangers at the gym (thienantran.com)
    1550 points by thitran 18 days ago | 753 comments
  14. Project Hail Mary – Stellar Navigation Chart (valhovey.github.io)
    1092 points by speleo 1 day ago | 222 comments
  15. I moved my digital stack to Europe (monokai.com)
    1038 points by monokai_nl 9 days ago | 613 comments
  16. Palantir employees are starting to wonder if they're the bad guys (www.wired.com)
    964 points by pavel_lishin 29 days ago | 705 comments
  17. Belgium stops decommissioning nuclear power plants (dpa-international.com)
    871 points by mpweiher 22 days ago | 1061 comments
  18. Meta tells staff it will cut 10% of jobs (www.bloomberg.com)
    800 points by Vaslo 29 days ago | 888 comments
  19. Minnesota becomes first state to ban prediction markets (www.npr.org)
    783 points by ortusdux 3 days ago | 244 comments
  20. Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit (www.fire.org)
    764 points by ceejayoz 2 days ago | 511 comments
  21. Programming Still Sucks (www.stvn.sh)
    726 points by jeromechoo 16 days ago | 337 comments
  22. Men who stare at walls (www.alexselimov.com)
    724 points by aselimov3 25 days ago | 337 comments
  23. Moving away from Tailwind, and learning to structure my CSS (jvns.ca)
    695 points by mpweiher 6 days ago | 397 comments
  24. GoDaddy gave a domain to a stranger without any documentation (anchor.host)
    691 points by jamesponddotco 26 days ago | 253 comments
  25. StarFighter 16-Inch (us.starlabs.systems)
    687 points by signa11 17 days ago | 389 comments
  26. SQLite Is a Library of Congress Recommended Storage Format (sqlite.org)
    663 points by whatisabcdefgh 16 days ago | 192 comments
  27. Microsoft Edge stores all passwords in memory in clear text, even when unused (twitter.com)
    644 points by cft 18 days ago | 234 comments
  28. Setting up a free *.city.state.us locality domain (2025) (fredchan.org)
    617 points by speckx 9 days ago | 222 comments
  29. 4TB of voice samples just stolen from 40k AI contractors at Mercor (app.oravys.com)
    600 points by Oravys 25 days ago | 226 comments
  30. I’ve banned query strings (chrismorgan.info)
    576 points by susam 13 days ago | 297 comments
More