News
Newest
Show
Jobs
prev
1 / 10
more
648
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
18 hours ago
53 comments
7
Diels-grabsch2: Self Hashing C Program (2019)
(ioccc.org)
by
icwtyjj
4 days ago
0 comments
165
The unlikely story of Teardown Multiplayer
(blog.voxagon.se)
by
lairv
3 days ago
13 comments
80
Reverse-engineering Viktor and making it Open Source
(matijacniacki.com)
by
zggf
6 hours ago
8 comments
40
Gummy Geometry
(newkrok.github.io)
by
memalign
3 days ago
3 comments
474
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
20 hours ago
37 comments
423
The American Healthcare Conundrum
(github.com)
by
rexroad
21 hours ago
62 comments
16
FFmpeg 8.1
(ffmpeg.org)
by
gyan
18 minutes ago
1 comments
189
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
(youtube.com)
by
Anon84
4 days ago
11 comments
485
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
21 hours ago
45 comments
prev
1 / 10
more