< prev1 / 10 more >

• 223ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew10 hours ago | 20 comments
• 213A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis14 hours ago | 15 comments
• 73Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 5 comments
• 128Blog Feeds (blogfeeds.net)
  by stevedsimkins10 hours ago | 20 comments
• 23Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
  by jumpocelot4 hours ago | 6 comments
• 27Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com)
  by TheWiggles4 hours ago | 2 comments
• 40Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
  by bookofjoe5 hours ago | 1 comments
• 48AI-powered open-source code laundering (github.com)
  by genkiuncle5 hours ago | 7 comments
• 13Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
  by PaulHoule3 days ago | 0 comments
• 44XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
  by camel-cdr7 hours ago | 3 comments

< prev1 / 10 more >