- 1Does a recent proof on open induction formalize the logical limits of LLMs? (arxiv.org)
- 27Tech CEOs are breaking the law (kiesow.net)
- 1Show HN: Kelora – query and transform logs from the command line (github.com)
- 1Hotshot – tool to make screenshot –> Claude/copilot/goose faster (github.com)
- 11ClojureWasm is a Clojure runtime written from scratch in Zig and Clojure, no JVM (github.com)
- 2Brexit tore apart European science – now the research rifts are healing (nature.com)
- 6Leaked Names Expose Billionaire Peter Thiel's 'Dialog' Society (bsky.app)
- 2Show HN: Tamper-evident audit logs for LangChain/Crew AI agents (github.com)
- 1Infrastructure Is the Source of Truth (engineeringforteams.substack.com)
- 5AI data centre would be 'one of Scotland's top polluters' if plans greenlit (thenational.scot)
- 3Google just lost one of its biggest AI names to OpenAI (businessinsider.com)
- 3Openfoot Manager (openfootmanager.com)
- 3Show HN: electron-expose – Make Electron IPC boring with TypeScript decorators (github.com)
- 3Researchers have uncovered how Russia's nuclear-powered missile works (npr.org)
- 3ExportMyMap – Export your Google Maps saved places to any format (exportmymap.com)
- 13Securing the Future of AI Agents (deepmind.google)
- 2Apollo Makes Debt Concessions on Shutterfly as AI Competition Pressures Mount (bloomberg.com)
- 4Elon Musk tries again to escape FTC audits of X data handling (arstechnica.com)
- 2The Future of Session (getsession.org)
- 2RaptorX AI, incubated by Moonpay and backed by Solana ()
- 3Growing as an Engineer in a World of AI (nlopes.dev)
- 2You now have cursor-like diff control over Claude Code ()
- 3Meta Tapped a Pentagon Supplier to Prototype Face Recognition for Its Glasses (wired.com)
- 4Side Project Time (en.wikipedia.org)
- 3Google DeepMind unveils plan to protect itself from its own rogue AI agents (fortune.com)
- 1How do Venus flytraps work? New study sheds light on cellular mechanisms (abc.net.au)
- 2Student Cheating Is Becoming Impossible to Detect in an A.I. Era (nytimes.com)
- 2Show HN: I Made OpenClaw Employable (github.com)
- 2Fonos – Open-source voice dictation for macOS, BYO key or local (github.com)
- 1Moving online webserver using public transport (2010) [video] (youtube.com)