mistral.ai Leanstral: Open-source agent for trustworthy coding and formal proof engineering Poudlardo 47d ago 771 188
plantbasednews.org Beyond has dropped “meat” from its name and expanded its high-protein drink line rmason 47d ago 216 569
nvidianews.nvidia.com Nvidia Launches Vera CPU, Purpose-Built for Agentic AI lewismenelaws 47d ago 175 100
thoughtworks.com Where does engineering go? Retreat findings and insights [pdf] danebalia 47d ago 80 30
bbc.com Palestinian boy, 12, describes how Israeli forces killed his family in car tartoran 47d ago 1236 404
arxiv.org Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) wek 47d ago 147 80
usechamber.io Launch HN: Chamber (YC W26) – An AI Teammate for GPU Infrastructure jshen96 47d ago 26 7
github.com Skillfile, the declarative skill manager, now with search for 110K+ skills _juli_ 47d ago 13 4
github.com Event Publisher enables event integration between Keycloak and OpenFGA mooreds 47d ago 29 6
news.ycombinator.com Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps ymarkov 47d ago 78 61
apideck.com Apideck CLI – An AI-agent interface with much lower context consumption than MCP gertjandewilde 47d ago 137 123
thenerve.news MoD sources warn Palantir role at heart of government is threat to UK security vrganj 47d ago 672 291
hackerbrief.vercel.app Show HN: Hackerbrief – Top posts on Hacker News summarized daily p0u4a 47d ago 81 47
popsci.com 'Pokémon Go' players unknowingly trained delivery robots with 30B images wslh 47d ago 222 100
community.home-assistant.io My Journey to a reliable and enjoyable locally hosted voice assistant (2025) Vaslo 47d ago 418 136
frontiersin.org Corruption erodes social trust more in democracies than in autocracies PaulHoule 48d ago 736 386
timesofisrael.com Polymarket gamblers threaten to kill me over Iran missile story defly 48d ago 1594 1037
sciencedaily.com MM120, a pharmaceutical form of LSD, shown to reduce anxiety symptoms (2025) carlos-menezes 48d ago 103 105
phoronix.com Linux 7.1 to Retire UDP-Lite – Allows for Better Performance with Cleansed Code doener 48d ago 44 13
news.ycombinator.com Ask HN: What is it like being in a CS major program these days? tathagatadg 48d ago 204 193
exclusivearchitecture.com Six ingenious ways how Canon DSLRs used to illuminate their autofocus points ExAr 48d ago 137 48
moment.dev Lies I was told about collaborative editing, Part 2: Why we don't use Yjs antics 48d ago 268 154
itu.dk What every computer scientist should know about floating-point arithmetic (1991) [pdf] jbarrow 48d ago 125 56
github.com SpiceCrypt: A Python library for decrypting LTspice encrypted model files luu 48d ago 60 18
righttoprivacyact.github.io Federal Right to Privacy Act – Draft legislation pilingual 48d ago 115 74
github.com Quillx is an open standard for disclosing AI involvement in software projects qainsights 48d ago 23 34
news.ycombinator.com Tell HN: AI tools are making me lose interest in CS fundamentals Tim25659 48d ago 97 90
ephemchat.vercel.app I built an ephemeral P2P chat with WebRTC, without servers zRinexD 48d ago 19 15
towlion.github.io An experiment to use GitHub Actions as a control plane for a PaaS baijum 48d ago 22 13
quickchat.ai I'm Too Lazy to Check Datadog Every Morning, So I Made AI Do It piotrgrudzien 48d ago 30 16
theguardian.com White House administration set to be paid $10B for brokering TikTok deal Jimmc414 48d ago 44 20
salk.edu Cannabinoids remove plaque-forming Alzheimer's proteins from brain cells (2016) anjel 48d ago 174 112
youtube.com Bandit: A 32bit baremetal computer that runs Color Forth [video] surprisetalk 48d ago 94 11