prev 1 / 10 more

• 328
  Exe.dev (exe.dev)
  by achairapart16 hours ago 59 comments
• 56
  Some Junk Theorems in Lean (github.com)
  by saithound4 days ago 8 comments
• 291
  Always bet on text (2014) (graydon2.dreamwidth.org)
  by jesseduffield16 hours ago 46 comments
• 13
  An exploration of playing three generations of windows games on macOS (carette.xyz)
  by LucidLynx7 days ago 1 comments
• 9
  Floor796 (floor796.com)
  by krtkush2 hours ago 0 comments
• 213
  QNX Self-Hosted Developer Desktop (devblog.qnx.com)
  by transpute14 hours ago 21 comments
• 77
  Langjam-Gamejam Devlog: Making a language, compiler, VM and 5 games in 52 hours (github.com)
  by suioir5 days ago 4 comments
• 323
  The best things and stuff of 2025 (blog.fogus.me)
  by adityaathalye4 days ago 19 comments
• 700
  Package managers keep using Git as a database, it never works out (nesbitt.io)
  by birdculture1 day ago 76 comments
• 195
  Publishing your work increases your luck (github.com)
  by magoghm15 hours ago 20 comments

prev 1 / 10 more