< prev1 / 10 more >

• 608History LLMs: Models trained exclusively on pre-1913 texts (github.com)
  by iamwil16 hours ago | 60 comments
• 310Noclip.website – A digital museum of video game levels (noclip.website)
  by ivmoreau12 hours ago | 28 comments
• 97From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
  by rwosync5 days ago | 3 comments
• 524GPT-5.2-Codex (openai.com)
  by meetpateltech20 hours ago | 41 comments
• 187Prompt caching for cheaper LLM tokens (ngrok.com)
  by samwho2 days ago | 11 comments
• 51Pingfs: Stores your data in ICMP ping packets (github.com)
  by linkdd5 days ago | 6 comments
• 33Designing a Passive Lidar Detector Device (atredis.com)
  by speckx3 days ago | 2 comments
• 392How China built its ‘Manhattan Project’ to rival the West in AI chips (japantimes.co.jp)
  by artninja198820 hours ago | 39 comments
• 367Show HN: Picknplace.js, an alternative to drag-and-drop (jgthms.com)
  by bbx2 days ago | 85 comments
• 49Show HN: I open-sourced my Go and Next B2B SaaS Starter (deploy anywhere, MIT) (github.com)
  by moh_quz3 hours ago | 12 comments

< prev1 / 10 more >