logoNewsNewestAskShowJobs Open on GitHub
< 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 >