• 2Show HN: Guilds – Open-source inspectable multi-agents collaboration framework (github.com)
  by 0mbre 6 hours ago | discuss
• 2Russia on the Brink, 1913 (worldhistory.substack.com)
  by gdillard 6 hours ago | discuss
• 2Nobloat/Poll (nobloat.org)
  by cinemast 6 hours ago | discuss
• 2PGO or not PGO this is the dilemma. Step 1 (percona.com)
  by hndhyc0bdt 6 hours ago | discuss
• 1Show HN: InfiniWord – infinite multiplayer word search (infiniword.com)
  by Static2280 7 hours ago | discuss
• 2More reasons not to be an electrician (UK) ()
  by notasparkthrowa 7 hours ago | discuss
• 4The Placenta Is More Powerful–and More Mysterious–Than You Think (nautil.us)
  by Brajeshwar 7 hours ago | discuss
• 1'You have a meeting': the calendar phishing scam growing exponentially (theguardian.com)
  by Brajeshwar 7 hours ago | 1 comments
• 2Eggshell is an open-source token-saving tool built in Lean4 (github.com)
  by o8vm 7 hours ago | discuss
• 2Ditherpunk – The article I wish I had about monochrome image dithering (2021) (surma.dev)
  by EndXA 7 hours ago | 1 comments
• 1Show HN: Git for Robots In The Future (github.com)
  by Na6z 7 hours ago | 1 comments
• 1AI companies are starting to do phones (twitter.com)
  by elorant 7 hours ago | 2 comments
• 1A Tutorial on the Curry-Howard Correspondence [pdf] (web.archive.org)
  by rramadass 7 hours ago | discuss
• 1DesktopBrain – Clean up your messy Mac without uploading files to the cloud (desktopbrain.saposs.com)
  by jimmy_lee 7 hours ago | discuss
• 1Show HN: Contribute to Collection of JavaScript Demos (brysonbw.github.io)
  by Brysonbw 7 hours ago | discuss
• 2Show HN: Quaesito: a self-hosted app for quiz nights with friends (github.com)
  by ggirelli 7 hours ago | 1 comments
• 2Tensordyne is making AI compute more efficient using logarithms (zach.be)
  by mdp2021 7 hours ago | discuss
• 1Did Numerical Control De-Skill Machinists? [video] (youtube.com)
  by rnicholson 7 hours ago | discuss
• 1I just build Claude Dev Tools (github.com)
  by AshborneDev 7 hours ago | discuss
• 2AI does math. Should you get a PhD? (jasonpolak.substack.com)
  by bemtevi 7 hours ago | 4 comments
• 1Ask HN: Open-source model weights on bluray drives, anyone? ()
  by satuke 7 hours ago | discuss ask
• 7The Double-Counted Future (yusufaytas.com)
  by yusufaytas 7 hours ago | discuss
• 1Simulate coding pre-AI by year (beforetheprompt.xipu.li)
  by GoodluckH 7 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