< prev1 / 10 more >

• 135ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew3 hours ago | 16 comments
• 167A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis7 hours ago | 14 comments
• 48Blog Feeds (blogfeeds.net)
  by stevedsimkins3 hours ago | 16 comments
• 45$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
• 30New 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
• 165The UK is still trying to backdoor encryption for Apple users (eff.org)
  by CharlesW2 hours ago | 9 comments
• 130Self-hosting email like it's 1984 (maxadamski.com)
  by xmx987 hours ago | 22 comments

< prev1 / 10 more >