< prev1 / 10 more >

• 136ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew4 hours ago | 17 comments
• 170A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis7 hours ago | 14 comments
• 54Blog Feeds (blogfeeds.net)
  by stevedsimkins3 hours ago | 17 comments
• 54$912 energy independence without red tape (sunboxlabs.com)
  by nikodunk1 hour ago | 15 comments
• 44Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew4 hours ago | 4 comments
• 49How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule5 hours ago | 4 comments
• 8Newton: physics simulation engine built upon NVIDIA Warp (github.com)
  by skilled3 days ago | 0 comments
• 37Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com)
  by zdw3 days ago | 2 comments
• 180The UK is still trying to backdoor encryption for Apple users (eff.org)
  by CharlesW2 hours ago | 9 comments
• 181Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
  by amichail4 days ago | 27 comments

< prev1 / 10 more >