< prev1 / 10 more >

• 122A Comparison of Ada and Rust, Using Solutions to the Advent of Code (github.com)
  by andsoitis3 hours ago | 12 comments
• 16Use theorem provers to ensure the correctness of your LLM's reasoning (github.com)
  by barthelomew33 minutes ago | 0 comments
• 59Five Years as a Startup CTO: How, Why, and Was It Worth It? (distinctplace.com)
  by mooreds3 days ago | 6 comments
• 16Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
  by PaulHoule1 hour ago | 1 comments
• 56Self-Hosting Email Like It's 1984 (maxadamski.com)
  by xmx984 hours ago | 8 comments
• 121The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
  by t-vi7 hours ago | 11 comments
• 175How I influence tech company politics as a staff software engineer (seangoedecke.com)
  by facundo_olano3 hours ago | 30 comments
• 99Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
  by dtgriscom6 hours ago | 15 comments
• 177Flock's gunshot detection microphones will start listening for human voices (eff.org)
  by hhs4 hours ago | 16 comments
• 181Paged Out Issue #7 [pdf] (pagedout.institute)
  by todsacerdoti8 hours ago | 9 comments

< prev1 / 10 more >