- 2 Lean4Physics: Reasoning Framework for College Physics in Lean4 (arxiv.org)
- 2 Artificial Adventures (scattered-thoughts.net)
- 21 Show HN: I made a tool that prevents websites from tracking you (github.com)
- 2 Show HN: Document to Excel Converter (docupipe.ai)
- 4 An Ordinary Mind on an Ordinary Day (laphamsquarterly.org)
- 10 America Is Having MacBook Sticker Shock (theatlantic.com)
- 4 Show HN: Autonomous Home Services Businesses (rainslice.ai)
- 5 Deep Agent Code Capabilities (docs.langchain.com)
- 7 Startup sues Palo Alto Networks' Koi Security due to AI-hallucinated report (theregister.com)
- 141 Order a burned CD of your own public GitHub repo (forms.cloud.microsoft)
- 312 An American Privacy Emergency (scottaaronson.blog)
- 4 Fable 5's cyber safeguards and jailbreak framework (anthropic.com)
- 3 GLM-5.2: The Open-Source Chinese Model Challenging Claude at One-Fifth the Cost (mrkt30.com)
- 6 Australians have more negative view of Israel than of China – Essential poll (theguardian.com)
- 277 Right to Local Intelligence (righttointelligence.org)
- 6 Google must pay €4.1B fine for using Android to 'block' rivals (bbc.co.uk)
- 6 Hobbes – A Language and Embedded JIT Compiler (github.com)
- 3 Using AI Agents with Databases (github.com)
- 3 Stealing 50 Years of Database Ideas for AI Agents (onewill.ai)
- 5 Domino's Pizza parodies Sony's discontinuation of physical games (twitter.com)
- 2 Building the T.LY iOS App (timleland.com)
- 6 Leverage Research 1.0 (lydialaurenson.substack.com)
- 3 Data Science Weekly – Issue 658 (datascienceweekly.substack.com)
- 5 Amazon launches new $1B FDE org, following OpenAI and Anthropic (techcrunch.com)
- 2 Microsoft’s answer to the end of PlayStation discs: a bizarre GitHub stunt (theverge.com)
- 4 Ukraine has struck a key semiconductor facility in Voronezh [video][7 mins] (youtube.com)
- 4 Learning to Replicate Expert Judgment in Financial Tasks (thinkingmachines.ai)
- 3 Meta launches vibe-coded gaming app Pocket (techcrunch.com)
- 12 Small Molecules Have More Information per Atom Than Biologics (corinwagen.github.io)
- 2 Linux kernel developers discuss dropping AI attribution tags (phoronix.com)