• 394 Lean proved this program correct; then I found a bug (kirancodes.me)
  by bumbledraven 5 days ago | 177 comments
• 156 GAIA – Open-source framework for building AI agents that run on local hardware (amd-gaia.ai)
  by galaxyLogic 5 days ago | 37 comments
• 38 Show HN: Gave Claude a casino bankroll – it gambles till it's too broke to think (letaigamble.com)
  by mackbrowne 3 days ago | 9 comments
• 7 Listen to PyPI (miketheman.github.io)
  by woodruffw a day ago | discuss
• 317 YouTube users get option to set their Shorts time limit to zero minutes (theverge.com)
  by pentagrama 3 days ago | 159 comments
• 3 A shared library for Commodore Amiga written in Motorola 68020 assembly language (amiga-assembly-library.vercel.app)
  by doener a day ago | 1 comments
• 48 Academic fraud may be the symptom of a more systemic problem (voxweb.nl)
  by the-mitr 3 days ago | 52 comments
• 145 Show HN: LangAlpha – what if Claude Code was built for Wall Street? (github.com)
  by zc2610 4 days ago | 54 comments
• 16 FAA Scraps Civil and Criminal Penalties for Flying Drones Near ICE Vehicles (404media.co)
  by pavel_lishin a day ago | 2 comments
• 4 Writing string.h functions using string instructions in asm x86-64 (pmasschelier.github.io)
  by thaisstein a day ago | discuss
• 189 Show HN: Every CEO and CFO change at US public companies, live from SEC (tracksuccession.com)
  by porsche959 3 days ago | 64 comments
• 121 Europe has "maybe 6 weeks of jet fuel left" (apnews.com)
  by ck2 2 days ago | 84 comments
• 23 Show HN: Ilha – a UI library that fits in an AI context window (ilha.build)
  by ryuzyy 2 days ago | 9 comments
• 94 Show HN: Plain – The full-stack Python framework designed for humans and agents (github.com)
  by focom 4 days ago | 51 comments
• 280 OpenSSL 4.0.0 (github.com)
  by petecooper 4 days ago | 86 comments
• 27 EU Age Verification Solution (ageverification.dev)
  by t0bia_s 3 days ago | 25 comments
• 17 Show HN: Agent-cache – Multi-tier LLM/tool/session caching for Valkey and Redis ()
  by kaliades 2 days ago | 6 comments
• 7 Japan reveals new name for 40C-and-hotter days after blistering summer (bbc.com)
  by throw0101d a day ago | 2 comments
• 180 Hospital at centre of child HIV outbreak caught reusing syringes in Pakistan (bbc.com)
  by flykespice 2 days ago | 116 comments
• 40 Why Is France Moving from Microsoft Windows to Linux (qazinform.com)
  by losgehts 4 days ago | 5 comments
• 252 Does Gas Town 'steal' usage from users' LLM credits to improve itself? (github.com)
  by rektomatic 3 days ago | 126 comments
• 10 Shared Dictionaries: compression that keeps up with the agentic web (blog.cloudflare.com)
  by salkahfi a day ago | discuss
• 176 Show HN: Ithihāsas – a character explorer for Hindu epics, built in a few hours (ithihasas.in)
  by cvrajeesh 5 days ago | 45 comments
• 1125 Backblaze has stopped backing up OneDrive and Dropbox folders and maybe others (rareese.com)
  by rrreese 5 days ago | 690 comments
• 97 Visualizing CPU Pipelining (2024) (timmastny.com)
  by flipacholas 5 days ago | 14 comments
• 40 AI companies are buying the Slack data of failed startups (twitter.com)
  by harambae 2 days ago | 10 comments
• 64 On hacker mindset (henrikkarlsson.xyz)
  by jger15 4 days ago | 5 comments
• 76 What Claude Code's Source Revealed About AI Engineering Culture (techtrenches.dev)
  by lucketone 4 days ago | 50 comments
• 129 Kalshi CEO expects US DOJ to prosecute insider trading cases (semafor.com)
  by thm 3 days ago | 144 comments
• 5 48 domains produce 22.5% of ChatGPT's B2B citations (growtika.com)
  by Growtika 14 hours ago | discuss