< prev 9 / 10 more >

• 194A Necessary History of the Oddest Letter: W (lithub.com)
  by NaOH1 day ago | 16 comments
• 428If math is more than proof, we need to better celebrate the rest of it (terrytao.wordpress.com)
  by num423 days ago | 53 comments
• 161Show HN: Radius – A Meetup.com Alternative (radius.to)
  by radius891 day ago | 33 comments
• 109Winning the visa lottery (aeaweb.org)
  by neehao1 day ago | 15 comments
• 171Laya on Mac M4 CoreML Offline (gist.github.com)
  by putna1 day ago | 11 comments
• 1330I built non-autoregressive decision models with RL a year ago (laya.convaiinnovations.com)
  by nandakishor_ml3 days ago | 83 comments
• 8Copper-Rs: Live Telemetry Deterministic Twins for Robots (copper-robotics.com)
  by gbin2 days ago | 1 comments
• 7Prose as Code: Applying Formal Verification to Product Specs (alexanderabramovich.medium.com)
  by happyalexander4 hours ago | 0 comments
• 325MCP was always a bad idea? (maharship.com)
  by maharshi3651 day ago | 104 comments
• 255The senior engineer death spiral (sunilpai.dev)
  by nsavage1 day ago | 34 comments

< prev 9 / 10 more >