Hackernews posts about SMT

1. 931
   

   newShow HN: Railo – Deterministic AST security patches verified with Z3 SMTwww.railo.dev

   ▲ 3mdzariflatif23ddiscusssavesaved
2. 932
   

   newShow HN: Email where an address is a keypair, with an SMTP bridgedmcn.dev

   ▲ 3mertenvg27ddiscusssavesaved
3. 933
   

   newMailDeskt – Manage multiple inboxes locally with native Resend and SMTP supportwww.maildeskt.com

   ▲ 2jimmy_lee3d💬 1savesaved
4. 934
   

   newNvidia Vera SMT Performance Benchmarks Reviewwww.phoronix.com

   ▲ 1rbanffy8ddiscusssavesaved
5. 935
   

   newNvidia Vera SMT Performance Benchmarks Reviewwww.phoronix.com

   ▲ 1rbanffy8ddiscusssavesaved
6. 936
   

   newShow HN: Helo – An email API from former Postmark folkswww.helohq.com

   ▲ 15Archanian5d💬 5savesaved
7. 937
   

   newGetting Outbound Email to Work on DigitalOceanmailfully.com

   ▲ 4mailfully19ddiscusssavesaved
8. 938
   

   newNavier-Stokes – Tristan Buckmaster [pdf]cims.nyu.edu

   ▲ 2054procedurecall29d💬 827savesaved
9. 939
   

   newOn the Navier–Stokes Millennium Prize Problemopenai.com

   ▲ 1346tedsanders28d💬 1137savesaved
10. 940
    

    newI can't stop thinking about Papua New Guineanotnottalmud.substack.com

    ▲ 1160networked22d💬 489savesaved
11. 941
    

    newOwed a billion dollars in Nvidia stockcolo.to

    ▲ 1091Eric_Gullichsen9d💬 458savesaved
12. 942
    

    newPentagon says overreliance on AI contributed to missile strike on Iran schoolwww.bloomberg.com

    ▲ 974devonnull14d💬 553savesaved
13. 943
    

    newWhy is Google still serving dodgy ads?www.atomic14.com

    ▲ 962iamflimflam123d💬 404savesaved
14. 944
    

    newSteam Frame starts at $1059store.steampowered.com

    ▲ 745bsimpson22d💬 649savesaved
15. 945
    

    newSmall programming trickswill-keleher.com

    ▲ 681signa1120d💬 294savesaved
16. 946
    

    newStreetComplete on iOS is now in public betagithub.com

    ▲ 630Snowly5d💬 178savesaved
17. 947
    

    newOllaya – Ollama for open-source, Jev-style decision modelsollaya.dev

    ▲ 618Ardakilic11d💬 145savesaved
18. 948
    

    newLG TVs caught spying even when offline or on standbywww.theverge.com

    ▲ 589sbulaev28d💬 359savesaved
19. 949
    

    newBonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprintprismml.com

    ▲ 589JonSchneider19d💬 200savesaved
20. 950
    

    newFixing the Portobello Police Station Clockpointinthecloud.com

    ▲ 548avidly13d💬 116savesaved
21. 951
    

    newI-have-ADHD: A skill to stop coding agents from burying the answergithub.com

    ▲ 542domhudson28d💬 371savesaved
22. 952
    

    newAWS says it can't restore some data from mideast facilities struck by Iranwww.wsj.com

    ▲ 530berkeleyjunk21d💬 452savesaved
23. 953
    

    new500k facial scans at UK stations yield no arrests, 1 false positivewww.theguardian.com

    ▲ 518ilamont7d💬 306savesaved
24. 954
    

    newWhy I'm still bearish on LLMs after Navier-Stokesdank.systems

    ▲ 496jaykru21d💬 653savesaved
25. 955
    

    newAstra and Fable still hack on simple variants of alignment evals from 2025www.lesswrong.com

    ▲ 482Levitating23d💬 235savesaved
26. 956
    

    newSingapore govt dating app uses Gale-Shapley stable marriage algorithmtwitter.com

    ▲ 467rzk7d💬 499savesaved
27. 957
    

    newFifteen years later, the Apple Cards origin storylexontech.org

    ▲ 437ksec11d💬 120savesaved
28. 958
    

    newPixel 11 doesn't yet meet the GrapheneOS security standards and may be skippeddiscuss.grapheneos.org

    ▲ 433finnlab45h💬 305savesaved
29. 959
    

    newA 12-year sequence of telescope images of a star and four planets orbitingbsky.app

    ▲ 408mariuz4d💬 84savesaved
30. 960
    

    newShow HN: Real-time Solar System with 526k asteroids and all tracked satellitesspace.bl2.net

    ▲ 407wanick7d💬 112savesaved

· edit