Hackernews posts about SMT

  1. Exploring a Modern SMTPE 2110 Broadcast Truck (www.jeffgeerling.com)
    157 points by assimpleaspossi 13 days ago | 48 comments
  2. BadSMTP — the reliably unreliable SMTP server (badsmtp.com)
    12 points by Arnt 6 days ago | 1 comments
  3. Use of PQC in SMTP STARTTLS (www.netmeister.org)
    6 points by 8organicbits 28 days ago | 1 comments
  4. SMTP server from scratch in Go – FSM, raw TCP, and buffer-oriented I/O
    5 points by Jyotishmoy 8 days ago | 2 comments
  5. Exploring a Modern SMTPE 2110 Broadcast Truck with My Dad (www.jeffgeerling.com)
    3 points by HotGarbage 14 days ago | discuss
  6. Predicting Math.random() in Firefox Using Z3 SMT-Solver (yurichev.com)
    3 points by thunderbong 18 days ago | discuss
  7. DavMail Pop/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway (davmail.sourceforge.net)
    2 points by todsacerdoti 14 days ago | discuss
  8. Optimal Software Pipelining Using an SMT-Solver (arxiv.org)
    2 points by ahsillyme 22 days ago | discuss
  9. Pg_utl_SMTP for PostgreSQL Like Oracle Utl_SMTP (hexacluster.ai)
    1 points by avivallssa 29 days ago | 1 comments
  10. SMTLIB as a Compiler IR I (www.philipzucker.com)
    1 points by matt_d 11 days ago | discuss
  11. Show HN: PostgreSQL extension to add compatibility to Oracle UTL_SMTP package (github.com)
    1 points by avivallssa 11 days ago | discuss
  12. Proving Laderman's 3x3 Matrix Multiplication Is Locally Optimal via SMT Solvers (zenodo.org)
    1 points by DarenWatson 13 days ago | discuss
  13. Show HN: Messaging for AI agents without SMTP, MIME, or polling inboxes (getrelay.sh)
    1 points by juansgaitan 16 days ago | discuss
  14. Show HN: Craftplan – Elixir-based micro-ERP for small-scale manufacturers (puemos.github.io)
    22 points by deofoo 18 days ago | 4 comments
  15. Show HN: SuperPlane - open source DevOps control plane
    21 points by markoa 24 days ago | 2 comments
  16. Ask HN: Anyone have a "sovereign" solution for phone calls?
    12 points by kldg 18 days ago | 1 comments
  17. Show HN: I built managed OpenClaw hosting with 60s provisioning in 6 days (clawhosters.com)
    9 points by yixn_io 10 days ago | discuss
  18. Ask HN: Why don't we have a global, unified database for scam reputation?
    5 points by mysocialguard 2 days ago | 4 comments
  19. Show HN: Velo – Open-source, keyboard-first email client in Tauri and Rust
    4 points by Espired about 7 hours ago | discuss
  20. Show HN: Lucid – Catch hallucinations in AI-generated code before they ship (github.com)
    4 points by jordanappsite 7 days ago | discuss
  21. Show HN: Magpie – my self-hosted replacement for Google/Yahoo email aggregation (github.com)
    3 points by bigtech 21 days ago | 1 comments
  22. Ask HN: Why is 'Verified' B2B data becoming a deliverability trap?
    2 points by solarisos 1 day ago | 9 comments
  23. Show HN: Subatix – your local-first consulting team in an AI-workspace (www.subatix.com)
    1 points by AlxBrks 24 days ago | 1 comments
  24. Show HN: Free OSS cold email bulk sender and management
    1 points by danesto 8 days ago | discuss
  25. Show HN: Open-Source Inbox-as-a-Service for LLM Agents (nornweave.datacovey.com)
    1 points by rnc000 9 days ago | discuss
  26. Show HN: WardGate, give AI agents API access without giving them credentials (github.com)
    1 points by avoutic 18 days ago | discuss
  27. Trump's global tariffs struck down by US Supreme Court (www.bbc.com)
    1377 points by blackguardx about 17 hours ago | 1125 comments
  28. Amazon's Ring and Google's Nest reveal the severity of U.S. surveillance state (greenwald.substack.com)
    935 points by mikece 6 days ago | 663 comments
  29. Notepad++ hijacked by state-sponsored actors (notepad-plus-plus.org)
    917 points by mysterydip 19 days ago | 519 comments
  30. I started programming when I was 7. I'm 50 now and the thing I loved has changed (www.jamesdrandall.com)
    847 points by jamesrandall 11 days ago | 668 comments
More