< prev1 / 10 more >

• 126A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com)
  by andsoitis4 hours ago | 13 comments
• 28Use theorem provers to ensure the correctness of your LLM's reasoning (github.com)
  by barthelomew44 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
• 18Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
  by PaulHoule2 hours ago | 2 comments
• 65Self-Hosting Email Like It's 1984 (maxadamski.com)
  by xmx984 hours ago | 8 comments
• 126The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
  by t-vi7 hours ago | 11 comments
• 183How 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 dtgriscom7 hours ago | 15 comments
• 4Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
  by esubaalew44 minutes ago | 0 comments
• 181Paged Out Issue #7 [pdf] (pagedout.institute)
  by todsacerdoti8 hours ago | 9 comments

< prev1 / 10 more >