< prev 5 / 12 more >

• 1Theorem proving as a (brain tumor) therapy/distraction (orcid.org)
  by fredokun28 minutes ago | 1 comments
• 3Show HN: Spreadsheets Cells with Uncertainty Distributions (github.com)
  by tobiadefami29 minutes ago | 0 comments
• 2Revisiting mshare in Linux (lwn.net)
  by chmaynard29 minutes ago | 0 comments
• 1A spatial canvas of every public US Government UAP record (openuap.space)
  by dominikmartn31 minutes ago | 1 comments
• 1OpenCS2 – 5k hours recording of Counter Strike for world model training (blanchon-opencs2-dataset-viewer.hf.space)
  by blanchon33 minutes ago | 1 comments
• 1Stupidly Simple SVG Sparklines (shkspr.mobi)
  by Brajeshwar33 minutes ago | 0 comments
• 4Show HN: Promptcellar – capture every Claude Code prompt as JSONL in your repo (github.com)
  by dominiek34 minutes ago | 1 comments
• 1What if your AI could buy you a car? (medium.com)
  by yankouskia34 minutes ago | 2 comments
• 28The US Is Winning the AI Race (avkcode.github.io)
  by akrylov36 minutes ago | 27 comments
• 1Styled-Components v7 Alpha (styled-components.com)
  by quantizor36 minutes ago | 2 comments

< prev 5 / 12 more >