< prev1 / 10 more >

• 188ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew7 hours ago | 19 comments
• 198A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis10 hours ago | 14 comments
• 46Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 4 comments
• 91Blog Feeds (blogfeeds.net)
  by stevedsimkins6 hours ago | 19 comments
• 25XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
  by camel-cdr3 hours ago | 1 comments
• 10Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
  by bookofjoe1 hour ago | 0 comments
• 30Matrix Core Programming on AMD GPUs (salykova.github.io)
  by skidrow4 hours ago | 0 comments
• 14Probiotics Finder (probioticfinder.org)
  by cubefox2 hours ago | 1 comments
• 58Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew7 hours ago | 6 comments
• 65How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule8 hours ago | 4 comments

< prev1 / 10 more >