< prev1/10 more >

• 12Intel 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 ngrislain4 hours ago | 8 comments
• 43An Aural Companion for Decades, CBS News Radio Crackles to a Close (nytimes.com)
  by tintinnabula3 days ago | 5 comments
• 50A Compiler Writing Journey (github.com)
  by ibobev5 hours ago | 2 comments
• 44Algorithm Visualizer (algorithm-visualizer.org)
  by vinhnx4 days ago | 2 comments
• 19Meta ordered to pay $375M in New Mexico trial over child exploitation (reuters.com)
  by gostsamo50 minutes ago | 1 comments
• 245Show HN: Email.md – Markdown to responsive, email-safe HTML (emailmd.dev)
  by dancablam12 hours ago | 27 comments
• 762Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains (xda-developers.com)
  by felineflock10 hours ago | 29 comments
• 105In Edison’s Revenge, Data Centers Are Transitioning From AC to DC (spectrum.ieee.org)
  by jnord4 hours ago | 17 comments
• 59What happened to GEM? (dfarq.homeip.net)
  by naves4 days ago | 8 comments

< prev1/10 more >