< prev1 / 10 more >

• 48How to think about durable execution (hatchet.run)
  by abelanger7 days ago | 9 comments
• 336Noclip.website – A digital museum of video game levels (noclip.website)
  by ivmoreau13 hours ago | 30 comments
• 106From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
  by rwosync5 days ago | 3 comments
• 630History LLMs: Models trained exclusively on pre-1913 texts (github.com)
  by iamwil17 hours ago | 60 comments
• 17AMD officially confirms fresh next-gen Zen 6 CPU details (overclock3d.net)
  by akyuu1 hour ago | 3 comments
• 6Building a Transparent Keyserver (words.filippo.io)
  by noident58 minutes ago | 1 comments
• 535GPT-5.2-Codex (openai.com)
  by meetpateltech21 hours ago | 41 comments
• 201Prompt caching for cheaper LLM tokens (ngrok.com)
  by samwho2 days ago | 11 comments
• 56Pingfs: Stores your data in ICMP ping packets (github.com)
  by linkdd5 days ago | 7 comments
• 405How China built its ‘Manhattan Project’ to rival the West in AI chips (japantimes.co.jp)
  by artninja198820 hours ago | 39 comments

< prev1 / 10 more >