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