< prev1 / 10 more >

• 21Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)
  by birdculture1 hour ago | 2 comments
• 123Why don't you use dependent types? (lawrencecpaulson.github.io)
  by baruchel5 hours ago | 12 comments
• 108Linux gamers on Steam cross over the 3% mark (gamingonlinux.com)
  by haunter1 hour ago | 12 comments
• 42Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
  by todsacerdoti9 hours ago | 4 comments
• 180Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
  by meander_water8 hours ago | 17 comments
• 19Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
  by simplegeek1 hour ago | 0 comments
• 111Anti-cybercrime laws are being weaponized to repress journalism (cjr.org)
  by giuliomagnifico2 hours ago | 9 comments
• 90X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
  by birdculture7 hours ago | 4 comments
• 8Printed circuit board substrates derived from lignocellulose nanofibrils (nature.com)
  by PaulHoule6 days ago | 1 comments
• 88Autodesk's John Walker Explained HP and IBM in 1991 (2015) (cringely.com)
  by suioir4 days ago | 13 comments

< prev1 / 10 more >