logoNewsNewestAskShowJobs Open on GitHub
< prev1 / 10 more >
  • 11Intel Device Modeling Language for virtual platforms (github.com)
    by transpute3 days ago | 0 comments
  • 32Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
    by ngrislain3 hours ago | 8 comments
  • 47A Compiler Writing Journey (github.com)
    by ibobev4 hours ago | 2 comments
  • 103In Edison’s Revenge, Data Centers Are Transitioning From AC to DC (spectrum.ieee.org)
    by jnord3 hours ago | 16 comments
  • 43Algorithm Visualizer (algorithm-visualizer.org)
    by vinhnx4 days ago | 2 comments
  • 39An Aural Companion for Decades, CBS News Radio Crackles to a Close (nytimes.com)
    by tintinnabula3 days ago | 4 comments
  • 14You can run a DNS server (2025) (simonsafar.com)
    by surprisetalk4 days ago | 2 comments
  • 240Show HN: Email.md – Markdown to responsive, email-safe HTML (emailmd.dev)
    by dancablam12 hours ago | 27 comments
  • 753Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains (xda-developers.com)
    by felineflock9 hours ago | 29 comments
  • 11Meta ordered to pay $375M in New Mexico trial over child exploitation (reuters.com)
    by gostsamo24 minutes ago | 0 comments
< prev1 / 10 more >