< prev 2 / 12 more >

• 3Lithe – A Web Framework for Lean4 (github.com)
  by JoshPurtell8 minutes ago | 1 comments
• 4Yann LeCun – Why LLMs Will Never Get Us to AGI (2025) (the-information-bottleneck.com)
  by ripe9 minutes ago | 1 comments
• 1The Claude Constitution as Techgnostic Scripture (turbulence.substack.com)
  by ivm9 minutes ago | 0 comments
• 1Apache Doris Up to 40x Faster Than ClickHouse (velodb.io)
  by ahachete10 minutes ago | 0 comments
• 2Smaller Grains Are Not Stronger: Microcrystalline Metals at High Strain Rates (journals.aps.org)
  by PaulHoule10 minutes ago | 0 comments
• 3Tesla Just Killed the Most Important Car of the 21st Century (theatlantic.com)
  by fortran7710 minutes ago | 1 comments
• 2Windows 8 had a 30-second ad with more creativity than Windows 11 (windowslatest.com)
  by abnercoimbre11 minutes ago | 0 comments
• 2Ask HN: Why the OpenClaw hype? What's so special?
  by anon_anon1212 minutes ago | 1 comments
• 2Claude on Mars (anthropic.com)
  by Philpax13 minutes ago | 1 comments
• 1A Story of Computer-Use: Where We Started, Where We're Headed (cua.ai)
  by frabonacci14 minutes ago | 0 comments

< prev 2 / 12 more >