• 1 I just build Claude Dev Tools (github.com)
  by AshborneDev 6 hours ago | discuss
• 2 AI does math. Should you get a PhD? (jasonpolak.substack.com)
  by bemtevi 6 hours ago | 4 comments
• 1 Ask HN: Open-source model weights on bluray drives, anyone?
  by satuke 6 hours ago | discuss ask
• 7 The Double-Counted Future (yusufaytas.com)
  by yusufaytas 6 hours ago | discuss
• 1 Simulate coding pre-AI by year (beforetheprompt.xipu.li)
  by GoodluckH 6 hours ago | discuss
• 1 Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking (mytasterank.com)
  by MarkBekooy 7 hours ago | 1 comments
• 2 Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers (blueberrywren.dev)
  by birdculture 7 hours ago | discuss
• 2 Show HN: GrogLog, a Free Drink Tracker (groglog.io)
  by antihero 7 hours ago | discuss
• 1 Windows, Linux, Oracle and the Internet – BBC, 2000 [video] (youtube.com)
  by xqcgrek2 7 hours ago | discuss
• 1 Show HN: An MCP server where AI agents confess, in their own name (ai.confess.online)
  by RenderNest 7 hours ago | discuss
• 4 AI Can Cut Film Budgets by Up to 40%, Says 'The Outlaws' Director Kang Yoon-Sung (variety.com)
  by bariumbitmap 7 hours ago | 2 comments
• 5 Auto Vectorizing the RISC-V Linux Kernel Shows Promising Results (phoronix.com)
  by khalidkhair 7 hours ago | discuss
• 1 Zinky Boys (en.wikipedia.org)
  by bhickey 7 hours ago | 1 comments
• 1 MCP servers that tell your agent "dont tell the user" are stopping it from lying (semantik.tech)
  by jayokunle 7 hours ago | discuss
• 1 Artex AI, Claude agents used in cyberattacks on South Korean banks (bleepingcomputer.com)
  by Brajeshwar 7 hours ago | discuss
• 1 Point: Free URL Shortener with deeper analytics than bitly and zero ads (point.codecraftsol.org)
  by sasenb 7 hours ago | discuss
• 2 How Tabasco Became the World's Hot Sauce (weareravenous.com)
  by bookofjoe 7 hours ago | discuss
• 1 Show HN: Put yourself in a street freestyle video with one photo (bulin47aivideo.app)
  by hashkitly 7 hours ago | discuss
• 50 Open-source Microsoft Excel, PowerPoint, and Word replications (tomshardware.com)
  by mathgenius 7 hours ago | 63 comments
• 1 Show HN: Polywick Blue VSCode Theme (vscode.polywickstudio.net)
  by polywickstudio 7 hours ago | discuss
• 1 Show HN: FileoPDF, PDF tools that process your files in the browser (fileopdf.com)
  by Horatio148 7 hours ago | discuss
• 2 Show HN: A Safari extension to accelerate animated WebP images (github.com)
  by 76SlashDolphin 7 hours ago | discuss
• 2 SQLAlchemy 2.1.0 Released (sqlalchemy.org)
  by kbumsik 7 hours ago | discuss
• 218 Terence Tao: Math 2.0 [pdf] (teorth.github.io)
  by Anon84 7 hours ago | 257 comments
• 4 Show HN: My radio station calls its listeners (canarics.com)
  by attels33 7 hours ago | discuss
• 1 MicroG: [Bounty] RCS Support [$14999] (github.com)
  by BoingBoomTschak 7 hours ago | discuss
• 1 About the Book: Solving the Bottom Turtle (spiffe.io)
  by cgeier 7 hours ago | 1 comments
• 2 AWS AgentCore security undone by prompt requesting credentials (theregister.com)
  by sbulaev 7 hours ago | discuss
• 12 How HN: Go-dev-auth zero-dependency authentication library for Go (github.com)
  by BisratMelak 7 hours ago | 5 comments
• 2 Choreographic Programming in Rust (github.com)
  by o8vm 7 hours ago | 1 comments