< prev1 / 10 more >

• 551More questions about whether researchers can trust OpenAI with unpublished math (mathstodon.xyz)
  by pred_16 hours ago | 119 comments
• 34NTSB Issues Investigative Update on B-767 Runway Excursion Accident in Miami (ntsb.gov:443)
  by mckn1ght1 hour ago | 6 comments
• 331Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra (cognition.com)
  by seelos7 hours ago | 26 comments
• 60OpenAI Agents API (developers.openai.com)
  by aquir3 hours ago | 20 comments
• 238Don't let anyone take away your big box of cables (blog.jim-nielsen.com)
  by Brajeshwar7 hours ago | 65 comments
• 236NASA Color Trick Was Meant for Mars. Now It's Unveiling Rock Art on Earth (gizmodo.com)
  by gumby7 hours ago | 12 comments
• 104OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
  by ibobev1 hour ago | 20 comments
• 129Music Theory for the 21st-Century Classroom (musictheory.pugetsound.edu)
  by aanet5 hours ago | 12 comments
• 25Bodily Oddities (vester.si)
  by vesterde2 hours ago | 8 comments
• 131Forgejo <=16.0.3 Critical RCE (codeberg.org)
  by weierstass6 hours ago | 17 comments

< prev1 / 10 more >