< prev1 / 10 more >

• 31You can't parse XML with regex. Let's do it anyways (sdomi.pl)
  by birdculture1 hour ago | 8 comments
• 206ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew8 hours ago | 20 comments
• 60Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 5 comments
• 210A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis12 hours ago | 15 comments
• 29Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
  by bookofjoe3 hours ago | 1 comments
• 111Blog Feeds (blogfeeds.net)
  by stevedsimkins8 hours ago | 19 comments
• 15Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
  by jumpocelot2 hours ago | 2 comments
• 85Microsoft 365 Copilot is a commercial failure (perspectives.plus)
  by jukkan7 hours ago | 25 comments
• 7Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com)
  by TheWiggles2 hours ago | 0 comments
• 41Matrix Core Programming on AMD GPUs (salykova.github.io)
  by skidrow6 hours ago | 0 comments

< prev1 / 10 more >