< prev1 / 10 more >

• 158ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew4 hours ago | 17 comments
• 179A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis8 hours ago | 14 comments
• 22Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 2 comments
• 64Blog Feeds (blogfeeds.net)
  by stevedsimkins4 hours ago | 18 comments
• 5XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
  by camel-cdr1 hour ago | 0 comments
• 47Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew4 hours ago | 4 comments
• 58How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule6 hours ago | 4 comments
• 82$912 energy independence without red tape (sunboxlabs.com)
  by nikodunk2 hours ago | 23 comments
• 149Self-hosting email like it's 1984 (maxadamski.com)
  by xmx988 hours ago | 24 comments
• 4How do drivers react to partisan bumper stickers? (frontiersin.org)
  by PaulHoule1 hour ago | 0 comments

< prev1 / 10 more >