prev 1 / 10 more

• 6
  VitruvianOS – Desktop Linux Inspired by the BeOS (v-os.dev)
  by felixding1 hour ago 0 comments
• 31
  Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
  by ngrislain3 hours ago 8 comments
• 47
  A Compiler Writing Journey (github.com)
  by ibobev4 hours ago 2 comments
• 102
  In Edison’s Revenge, Data Centers Are Transitioning From AC to DC (spectrum.ieee.org)
  by jnord3 hours ago 16 comments
• 43
  Algorithm Visualizer (algorithm-visualizer.org)
  by vinhnx4 days ago 2 comments
• 39
  An Aural Companion for Decades, CBS News Radio Crackles to a Close (nytimes.com)
  by tintinnabula3 days ago 4 comments
• 239
  Show HN: Email.md – Markdown to responsive, email-safe HTML (emailmd.dev)
  by dancablam11 hours ago 27 comments
• 751
  Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains (xda-developers.com)
  by felineflock9 hours ago 29 comments
• 58
  What happened to GEM? (dfarq.homeip.net)
  by naves4 days ago 8 comments
• 196
  Hypura – A storage-tier-aware LLM inference scheduler for Apple Silicon (github.com)
  by tatef12 hours ago 25 comments

prev 1 / 10 more