< prev1 / 10 more >

• 125ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew3 hours ago | 16 comments
• 160A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis6 hours ago | 14 comments
• 33Blog Feeds (blogfeeds.net)
  by stevedsimkins2 hours ago | 11 comments
• 38Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew3 hours ago | 4 comments
• 41How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
  by PaulHoule4 hours ago | 3 comments
• 23Solaris 2.1 for x86 (2017) (os2museum.com)
  by naves3 hours ago | 0 comments
• 8$912 energy independence without red tape (sunboxlabs.com)
  by nikodunk26 minutes ago | 1 comments
• 12Pianists Can Shape Piano Timbre Through Touch (neuropiano.org)
  by giuliomagnifico3 days ago | 4 comments
• 125Self-hosting email like it's 1984 (maxadamski.com)
  by xmx986 hours ago | 21 comments
• 144The UK is still trying to backdoor encryption for Apple users (eff.org)
  by CharlesW1 hour ago | 8 comments

< prev1 / 10 more >