logo
NewsNewestShowJobs
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