< prev1 / 10 more >

• 109Why don't you use dependent types? (lawrencecpaulson.github.io)
  by baruchel4 hours ago | 10 comments
• 8Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)
  by birdculture30 minutes ago | 1 comments
• 170Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
  by meander_water7 hours ago | 16 comments
• 74Anti-cybercrime laws are being weaponized to repress journalism (cjr.org)
  by giuliomagnifico1 hour ago | 6 comments
• 79X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
  by birdculture6 hours ago | 3 comments
• 95At the end you use Git bisect (kevin3010.github.io)
  by _spaceatom2 hours ago | 14 comments
• 80Autodesk's John Walker Explained HP and IBM in 1991 (2015) (cringely.com)
  by suioir4 days ago | 13 comments
• 241URLs are state containers (alfy.blog)
  by thm8 hours ago | 41 comments
• 233Notes by djb on using Fil-C (cr.yp.to)
  by transpute14 hours ago | 11 comments
• 12Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
  by todsacerdoti8 hours ago | 2 comments

< prev1 / 10 more >