Hackernews posts about SMT

RSS feed for SMT

991
newShow HN: Railo – Deterministic AST security patches verified with Z3 SMTwww.railo.dev
▲ 3mdzariflatif 23d discuss
992
newShow HN: Email where an address is a keypair, with an SMTP bridgedmcn.dev
▲ 3mertenvg 27d discuss
993
newMailDeskt – Manage multiple inboxes locally with native Resend and SMTP supportwww.maildeskt.com
▲ 2jimmy_lee 3d 💬 1
994
newNvidia Vera SMT Performance Benchmarks Reviewwww.phoronix.com
▲ 1rbanffy 8d discuss
995
newNvidia Vera SMT Performance Benchmarks Reviewwww.phoronix.com
▲ 1rbanffy 8d discuss
996
newShow HN: Helo – An email API from former Postmark folkswww.helohq.com
▲ 15Archanian 5d 💬 5
997
newGetting Outbound Email to Work on DigitalOceanmailfully.com
▲ 4mailfully 19d discuss
998
newNavier-Stokes – Tristan Buckmaster [pdf]cims.nyu.edu
▲ 2054procedurecall 29d 💬 827
999
newOn the Navier–Stokes Millennium Prize Problemopenai.com
▲ 1346tedsanders 28d 💬 1137
1000
newI can't stop thinking about Papua New Guineanotnottalmud.substack.com
▲ 1160networked 22d 💬 489
1001
newOwed a billion dollars in Nvidia stockcolo.to
▲ 1091Eric_Gullichsen 9d 💬 458
1002
newPentagon says overreliance on AI contributed to missile strike on Iran schoolwww.bloomberg.com
▲ 974devonnull 14d 💬 553
1003
newWhy is Google still serving dodgy ads?www.atomic14.com
▲ 962iamflimflam1 23d 💬 404
1004
newSteam Frame starts at $1059store.steampowered.com
▲ 745bsimpson 22d 💬 649
1005
newSmall programming trickswill-keleher.com
▲ 681signa11 20d 💬 294
1006
newStreetComplete on iOS is now in public betagithub.com
▲ 630Snowly 6d 💬 178
1007
newOllaya – Ollama for open-source, Jev-style decision modelsollaya.dev
▲ 618Ardakilic 11d 💬 145
1008
newLG TVs caught spying even when offline or on standbywww.theverge.com
▲ 589sbulaev 28d 💬 359
1009
newBonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprintprismml.com
▲ 589JonSchneider 19d 💬 200
1010
newFixing the Portobello Police Station Clockpointinthecloud.com
▲ 548avidly 13d 💬 116
1011
newI-have-ADHD: A skill to stop coding agents from burying the answergithub.com
▲ 542domhudson 28d 💬 371
1012
newAWS says it can't restore some data from mideast facilities struck by Iranwww.wsj.com
▲ 530berkeleyjunk 21d 💬 452
1013
new500k facial scans at UK stations yield no arrests, 1 false positivewww.theguardian.com
▲ 518ilamont 8d 💬 306
1014
newWhy I'm still bearish on LLMs after Navier-Stokesdank.systems
▲ 496jaykru 21d 💬 653
1015
newAstra and Fable still hack on simple variants of alignment evals from 2025www.lesswrong.com
▲ 482Levitating 23d 💬 235
1016
newSingapore govt dating app uses Gale-Shapley stable marriage algorithmtwitter.com
▲ 467rzk 7d 💬 499
1017
newFifteen years later, the Apple Cards origin storylexontech.org
▲ 437ksec 11d 💬 120
1018
newPixel 11 doesn't yet meet the GrapheneOS security standards and may be skippeddiscuss.grapheneos.org
▲ 434finnlab 47h 💬 306
1019
newA 12-year sequence of telescope images of a star and four planets orbitingbsky.app
▲ 408mariuz 5d 💬 84
1020
newShow HN: Real-time Solar System with 526k asteroids and all tracked satellitesspace.bl2.net
▲ 407wanick 7d 💬 112