< prev1 / 10 more >

• 27Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)
  by birdculture1 hour ago | 2 comments
• 55Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
  by todsacerdoti9 hours ago | 5 comments
• 147Linux gamers on Steam cross over the 3% mark (gamingonlinux.com)
  by haunter1 hour ago | 14 comments
• 30Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
  by simplegeek1 hour ago | 0 comments
• 128Why don't you use dependent types? (lawrencecpaulson.github.io)
  by baruchel5 hours ago | 12 comments
• 6'This is the big one' – tech firms bet on electrifying rail (bbc.com)
  by mikhael29 minutes ago | 0 comments
• 183Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
  by meander_water8 hours ago | 17 comments
• 116Anti-cybercrime laws are being weaponized to repress journalism (cjr.org)
  by giuliomagnifico2 hours ago | 10 comments
• 11Printed circuit board substrates derived from lignocellulose nanofibrils (nature.com)
  by PaulHoule6 days ago | 2 comments
• 91X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
  by birdculture7 hours ago | 4 comments

< prev1 / 10 more >