News
Newest
Ask
Show
Jobs
Built with Nuxt3
< prev
1/10
more >
12
Intel Device Modeling Language for virtual platforms
(github.com)
by
transpute
3 days ago
|
0 comments
32
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
(ngrislain.github.io)
by
ngrislain
4 hours ago
|
8 comments
43
An Aural Companion for Decades, CBS News Radio Crackles to a Close
(nytimes.com)
by
tintinnabula
3 days ago
|
5 comments
50
A Compiler Writing Journey
(github.com)
by
ibobev
5 hours ago
|
2 comments
44
Algorithm Visualizer
(algorithm-visualizer.org)
by
vinhnx
4 days ago
|
2 comments
19
Meta ordered to pay $375M in New Mexico trial over child exploitation
(reuters.com)
by
gostsamo
50 minutes ago
|
1 comments
245
Show HN: Email.md – Markdown to responsive, email-safe HTML
(emailmd.dev)
by
dancablam
12 hours ago
|
27 comments
762
Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains
(xda-developers.com)
by
felineflock
10 hours ago
|
29 comments
105
In Edison’s Revenge, Data Centers Are Transitioning From AC to DC
(spectrum.ieee.org)
by
jnord
4 hours ago
|
17 comments
59
What happened to GEM?
(dfarq.homeip.net)
by
naves
4 days ago
|
8 comments
< prev
1/10
more >