< prev1 / 10 more >

• 176ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew6 hours ago | 19 comments
• 190A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis9 hours ago | 14 comments
• 36Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 3 comments
• 85Blog Feeds (blogfeeds.net)
  by stevedsimkins5 hours ago | 19 comments
• 20XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
  by camel-cdr2 hours ago | 1 comments
• 55Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew6 hours ago | 5 comments
• 61How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule7 hours ago | 4 comments
• 22Matrix Core Programming on AMD GPUs (salykova.github.io)
  by skidrow3 hours ago | 0 comments
• 165Self-hosting email like it's 1984 (maxadamski.com)
  by xmx989 hours ago | 26 comments
• 36OpenAI's hunger for computing power has Sam Altman dashing around the globe (wsj.com)
  by doener2 hours ago | 6 comments

< prev1 / 10 more >