• 1 Bitter Lessoned in Automated Theorem Proving (essays.johnloeber.com)
  by loeber 12 hours ago | discuss
• 34 One Man's Pan Am 747 Replica [video] (youtube.com)
  by Teever 12 hours ago | 2 comments
• 1 Zedis v0.2.0 (github.com)
  by barddoo 12 hours ago | discuss
• 2 Empirical agents with hard constraints, strict isolation and trusty protocols (qip.dev)
  by codesparkle 12 hours ago | discuss
• 2 Show HN: Token Beggar, route coding agent subtasks to cheaper models (github.com)
  by levi74108520963 12 hours ago | discuss
• 2 Show HN: AiSniff, underline the phrases in a text that read like AI wrote them (github.com)
  by levi74108520963 12 hours ago | discuss
• 1 Show HN: I trained a 160M code model on one GPU and got 22.56% on HumanEval (jakubcwirlej.com)
  by jakcwi 12 hours ago | discuss
• 3 The Hackening (thezvi.substack.com)
  by 7777777phil 12 hours ago | discuss
• 65 Proton hosts map of 300k Flock devices amid legal threats (cyberinsider.com)
  by DeepLogin 12 hours ago | discuss
• 1 TechTwitter – For when you want to keep up, but don't like Elon (techtwitter-lime.vercel.app)
  by SpyCoder77 12 hours ago | discuss
• 1 "Slow Horses," Apple TV's Best Show (newyorker.com)
  by amrrs 12 hours ago | discuss
• 1 Show HN: CAS-X – An input-dominant recursive filter (8.5x recovery acceleration) ()
  by richardaamaya 12 hours ago | discuss
• 1 Show HN: CAS-X – An input-dominant recursive filter (8.5x recovery acceleration) ()
  by richardaamaya 12 hours ago | discuss
• 1 Show HN: I gave Claude control of Photoshop (github.com)
  by kathan3009 12 hours ago | discuss
• 1 Show HN: Automated newsletter built with Grok bot (news.devs.dev)
  by westche2222 12 hours ago | discuss
• 3 Show HN: libfpv - Modding FPV Drone into Any Game (hammerill.com)
  by hammerill 12 hours ago | 1 comments
• 1 AAS: The Metric for Monitoring DB Performance (kylehailey.com)
  by b-man 12 hours ago | discuss
• 2 Cveboard: Live Security Incidents (cveboard.org)
  by mneves75 12 hours ago | discuss
• 3 Node2Shell vuln affected Python too (opensourcemalware.com)
  by 6mile 12 hours ago | 1 comments
• 45 White House Directly Intervened to Shut Down Epstein Files Probe (newrepublic.com)
  by Betelbuddy 12 hours ago | 1 comments
• 1 Show HN: Distributed, deterministically secure agentic swarm runtime. Enclawed (zenodo.org)
  by enclawed 12 hours ago | discuss
• 3 Show HN: Conference / expo / trade show finder plus MCP (conferencefindr.com)
  by aeshang3 12 hours ago | discuss
• 2 "No way to prevent this" say users of only language where this regularly happens (xeiaso.net)
  by watermelon0 12 hours ago | 1 comments
• 1 Clearing Out the Unfinished Project Backlog (shielddigitaldesign.com)
  by stn8188 13 hours ago | 1 comments
• 171 CVE Tracker (cve.0xosprey.com)
  by Group_B 13 hours ago | 61 comments
• 2 Biggest Fails from the 2026 World Humanoid Robot Games in China [video] (youtube.com)
  by aanet 13 hours ago | 1 comments
• 2 Show HN: distrust, a Go CLI tool for blocking unwanted CA certificates ()
  by hyper_reality 13 hours ago | discuss
• 3 Hare is a boring programming language (harelang.org)
  by Muhammad523 13 hours ago | 1 comments
• 1 RTFM: TeamUpdraft (UpdraftPlus) and WordPress Hack on the RTFM Blog (rtfm.co.ua)
  by speckx 13 hours ago | discuss
• 3 Surveillance and 'constant paranoia': diplomats tell of life in war-time Moscow (bbc.com)
  by cisc 13 hours ago | discuss