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