< prev1 / 10 more >

• 123A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com)
  by andsoitis4 hours ago | 13 comments
• 24Use theorem provers to ensure the correctness of your LLM's reasoning (github.com)
  by barthelomew40 minutes ago | 0 comments
• 64Five Years as a Startup CTO: How, Why, and Was It Worth It? (distinctplace.com)
  by mooreds3 days ago | 6 comments
• 17Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
  by PaulHoule1 hour ago | 2 comments
• 62Self-Hosting Email Like It's 1984 (maxadamski.com)
  by xmx984 hours ago | 8 comments
• 125The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
  by t-vi7 hours ago | 11 comments
• 182How I influence tech company politics as a staff software engineer (seangoedecke.com)
  by facundo_olano4 hours ago | 31 comments
• 101Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
  by dtgriscom6 hours ago | 15 comments
• 4Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew40 minutes ago | 0 comments
• 182Flock's gunshot detection microphones will start listening for human voices (eff.org)
  by hhs4 hours ago | 17 comments

< prev1 / 10 more >