prev 1 / 10 more

• 21
  Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
  by ngrislain2 hours ago 5 comments
• 24
  Transformers Are Bayesian Networks (arxiv.org)
  by Anon844 days ago 4 comments
• 29
  Algorithm Visualizer (algorithm-visualizer.org)
  by vinhnx4 days ago 2 comments
• 715
  Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains (xda-developers.com)
  by felineflock8 hours ago 29 comments
• 228
  Show HN: Email.md – Markdown to responsive, email-safe HTML (emailmd.dev)
  by dancablam10 hours ago 27 comments
• 51
  What happened to GEM? (dfarq.homeip.net)
  by naves4 days ago 8 comments
• 194
  Hypura – A storage-tier-aware LLM inference scheduler for Apple Silicon (github.com)
  by tatef11 hours ago 25 comments
• 270
  Show HN: Gemini can now natively embed video, so I built sub-second video search (github.com)
  by sohamrj12 hours ago 27 comments
• 213
  Hypothesis, Antithesis, synthesis (antithesis.com)
  by alpaylan11 hours ago 14 comments
• 60
  How the world’s first electric grid was built (worksinprogress.co)
  by zdw4 days ago 6 comments

prev 1 / 10 more