< prev1 / 10 more >

• 24What .NET 10 GC Changes Mean for Developers (roxeem.com)
  by roxeem3 days ago | 1 comments
• 233ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew11 hours ago | 21 comments
• 20Way past its prime: how did Amazon get so rubbish? (theguardian.com)
  by sandebert22 minutes ago | 6 comments
• 6Scientists debunk claims of seed oil health risks (hsph.harvard.edu)
  by thelastgallon1 hour ago | 2 comments
• 36Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com)
  by TheWiggles5 hours ago | 2 comments
• 221A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis14 hours ago | 15 comments
• 79Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 6 comments
• 134Blog Feeds (blogfeeds.net)
  by stevedsimkins11 hours ago | 22 comments
• 18Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
  by PaulHoule3 days ago | 0 comments
• 28Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
  by jumpocelot5 hours ago | 6 comments

< prev1 / 10 more >