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