< prev1 / 10 more >

• 194ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew7 hours ago | 20 comments
• 24Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
  by bookofjoe2 hours ago | 1 comments
• 205A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis11 hours ago | 15 comments
• 54Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 5 comments
• 100Blog Feeds (blogfeeds.net)
  by stevedsimkins7 hours ago | 19 comments
• 10Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
  by jumpocelot1 hour ago | 0 comments
• 30XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
  by camel-cdr4 hours ago | 1 comments
• 34Matrix Core Programming on AMD GPUs (salykova.github.io)
  by skidrow5 hours ago | 0 comments
• 4One Battle After Another: PTA and the Death of Revolutionary Cinema (letterboxd.com)
  by Rant4232 days ago | 1 comments
• 70How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule9 hours ago | 4 comments

< prev1 / 10 more >