Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)Poudlardo57414h122
Beyond has dropped “meat” from its name and expanded its high-protein drink line(plantbasednews.org)rmason13814h302
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)(community.home-assistant.io)Vaslo37422h108
Polymarket gamblers threaten to kill me over Iran missile story(www.timesofisrael.com)defly150923h948
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs(www.moment.dev)antics2534d114
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)(arxiv.org)wek11818h66
Corruption erodes social trust more in democracies than in autocracies(www.frontiersin.org)PaulHoule70924h370
Apideck CLI – An AI-agent interface with much lower context consumption than MCP(www.apideck.com)gertjandewilde13020h110
MoD sources warn Palantir role at heart of government is threat to UK security(www.thenerve.news)vrganj63423h269
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain(www.michaelgeist.ca)opengrass9872d327
MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025)(www.sciencedaily.com)carlos-menezes9324h88
Six ingenious ways how Canon DSLRs used to illuminate their autofocus points(exclusivearchitecture.com)ExAr1312d46
Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)(gitclassic.com)heythisischris375d21