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