< prev1 / 10 more >

• 122A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com)
  by andsoitis4 hours ago | 13 comments
• 21Use theorem provers to ensure the correctness of your LLM's reasoning (github.com)
  by barthelomew38 minutes ago | 0 comments
• 60Five 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
• 61Self-Hosting Email Like It's 1984 (maxadamski.com)
  by xmx984 hours ago | 8 comments
• 124The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
  by t-vi7 hours ago | 11 comments
• 179How I influence tech company politics as a staff software engineer (seangoedecke.com)
  by facundo_olano4 hours ago | 30 comments
• 100Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
  by dtgriscom6 hours ago | 15 comments
• 181Flock's gunshot detection microphones will start listening for human voices (eff.org)
  by hhs4 hours ago | 17 comments
• 181Paged Out Issue #7 [pdf] (pagedout.institute)
  by todsacerdoti8 hours ago | 9 comments

< prev1 / 10 more >