< prev1 / 10 more >

• 73ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
  by barthelomew1 hour ago | 8 comments
• 138A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
  by andsoitis5 hours ago | 13 comments
• 42The UK Is Still Trying to Backdoor Encryption for Apple Users (eff.org)
  by CharlesW20 minutes ago | 1 comments
• 87Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
  by mooreds3 days ago | 6 comments
• 26Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
  by PaulHoule3 hours ago | 2 comments
• 17Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew1 hour ago | 4 comments
• 9Blog Feeds (blogfeeds.net)
  by stevedsimkins1 hour ago | 5 comments
• 111Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
  by dtgriscom8 hours ago | 15 comments
• 138The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
  by t-vi8 hours ago | 12 comments
• 158Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
  by amichail4 days ago | 24 comments

< prev1 / 10 more >