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