Home /
Monthly Highlights
1711.
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
59 points by PaulHoule 2 weeks ago | 12 comments
1712.
QBasic64 Phoenix 4.3.0 Released (qb64phoenix.com)
59 points by jandeboevrie 3 weeks ago | 6 comments
1713.
Rust errors without dependencies (vincents.dev)
58 points by vsgherzi 2 weeks ago | 88 comments
1714.
Chinese AI models have lagged the US frontier by 7 months on average since 2023 (epoch.ai)
58 points by gmays 1 week ago | 87 comments
1715.
Provenance Is the New Version Control (aicoding.leaflet.pub)
58 points by gpi 3 days ago | 70 comments
1716.
US oil giant ExxonMobil says Venezuela is 'uninvestable' (ft.com)
58 points by petethomas 6 days ago | 54 comments
1717.
PassSeeds – hijacking Passkeys to unlock new cryptographic use cases (backalleycoder.com)
58 points by csuwldcat 1 week ago | 40 comments
1718.
Choosing learning over autopilot (anniecherkaev.com)
58 points by evakhoury 3 days ago | 38 comments
1719.
Tesla's Germany Sales Down 72% from Their Peak (cleantechnica.com)
58 points by 01-_- 5 days ago | 38 comments
1720.
My coworker's 36 key Corne open-source keyboard setup (nuon.co)
58 points by realsharkymark 3 weeks ago | 35 comments
1721.
Microsoft Agent Framework (learn.microsoft.com)
58 points by mooreds 3 weeks ago | 27 comments
1722.
Show HN: Hover – IDE style hover documentation on any webpage (github.com)
58 points by sampsonj 1 week ago | 27 comments
1723.
Bankruptcies are exploding across the economy (businessinsider.com)
58 points by zerosizedweasle 2 weeks ago | 20 comments
1724.
Phind.com Is Shutting Down (phind.com)
58 points by squimmy26 3 days ago | 15 comments
1725.
Germany joins European partners with troop deployment to Greenland (reuters.com)
58 points by consumer451 1 day ago | 13 comments
1726.
Show HN: VaultSandbox – Test your real MailGun/SES/etc. integration (vaultsandbox.com)
58 points by vaultsandbox 1 week ago | 13 comments
1727.
Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers (amohan.dev)
58 points by rcarmo 4 weeks ago | 9 comments
1728.
Tux Paint (tuxpaint.org)
58 points by 1317 5 days ago | 9 comments
1729.
LLMRouter: An Open-Source Library for LLM Routing (github.com)
58 points by simonpure 2 weeks ago | 7 comments
1730.
Signal creator Moxie Marlinspike wants to do for AI what he did for messaging (arstechnica.com)
58 points by aarghh 9 hours ago | 5 comments
1731.
Why we're taking legal action against SerpApi's unlawful scraping (2025) (blog.google)
58 points by doppp 1 week ago | 2 comments
1732.
AI sycophancy panic (github.com)
57 points by firasd 1 week ago | 102 comments
1733.
Grok Sexual Images Draw Rebuke, France Flags Content as Illegal (finance.yahoo.com)
57 points by akutlay 1 week ago | 92 comments
1734.
Show HN: Epstein IM – Talk to Epstein clone in iMessage (epstein.im)
57 points by RyanZhuuuu 5 days ago | 51 comments
1735.
NSFW Acronyms for Programmers (Free eBook) (github.com)
57 points by fristovic 1 week ago | 35 comments
1736.
Mapping Protests in Iran (fdd.org)
57 points by nsoonhui 1 week ago | 35 comments
1737.
Multiple explosions in Venezuela's capital Caracas (cnn.com)
57 points by breppp 1 week ago | 31 comments
1738.
The Showa Hundred Year Problem (dampfkraft.com)
57 points by polm23 2 weeks ago | 18 comments
1739.
SQLNet A social network that looks like Twitter but you write SQL to do anything (sqlnet.cc)
57 points by colinbartlett 1 week ago | 18 comments
1740.
US immigration officer fatally shoots woman, 37, in Minneapolis, officials say (bbc.com)
57 points by onemoresoop 1 week ago | 17 comments