< prev1 / 10 more >

• 135ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew3 hours ago | 16 comments
• 168A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis7 hours ago | 14 comments
• 50Blog Feeds (blogfeeds.net)
  by stevedsimkins3 hours ago | 16 comments
• 46$912 energy independence without red tape (sunboxlabs.com)
  by nikodunk1 hour ago | 11 comments
• 43Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew3 hours ago | 4 comments
• 48How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule5 hours ago | 3 comments
• 34New California law restricts HOA fines to $100 per violation (calmatters.org)
  by JumpCrisscross1 hour ago | 3 comments
• 33Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com)
  by zdw3 days ago | 2 comments
• 167The 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 | 26 comments

< prev1 / 10 more >