< prev1 / 10 more >

• 153ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew4 hours ago | 17 comments
• 174A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis8 hours ago | 14 comments
• 61Blog Feeds (blogfeeds.net)
  by stevedsimkins4 hours ago | 17 comments
• 19Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 2 comments
• 46Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew4 hours ago | 4 comments
• 56How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule5 hours ago | 4 comments
• 71$912 energy independence without red tape (sunboxlabs.com)
  by nikodunk1 hour ago | 21 comments
• 44Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com)
  by zdw3 days ago | 2 comments
• 3XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
  by camel-cdr1 hour ago | 0 comments
• 146Self-hosting email like it's 1984 (maxadamski.com)
  by xmx988 hours ago | 24 comments

< prev1 / 10 more >