< prev1/10 more >

• 153Formal methods and the future of programming (blog.janestreet.com)
  by eatonphil9 hours ago | 18 comments
• 82Perlisisms (1982) (cs.yale.edu)
  by tosh7 hours ago | 15 comments
• 5TorchCodec 0.14: HDR Video Decoding for CPU and CUDA, and Fast Wav Decoder (github.com)
  by scott_s4 days ago | 1 comments
• 109The only scalable delete in Postgres is DROP TABLE (planetscale.com)
  by hollylawly3 days ago | 16 comments
• 90FarOutCompany (faroutcompany.com)
  by bookofjoe8 hours ago | 6 comments
• 203Lisp's Influence on Ruby (blog.tacoda.dev)
  by tacoda3 days ago | 10 comments
• 17Inverse Rubric Optimization: A testbed for agent science (fulcrum.inc)
  by etherio3 days ago | 0 comments
• 29Abu Fanous (en.wikipedia.org)
  by joebig1 hour ago | 2 comments
• 222I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models
  by iliashad7 hours ago | 19 comments
• 197The Birth and Death of JavaScript (2014) (destroyallsoftware.com)
  by subset9 hours ago | 18 comments

< prev1/10 more >