News
Newest
Ask
Show
Jobs
Open on GitHub - (Updated The Title)
< prev
1 / 10
more >
521
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
12 hours ago
|
43 comments
62
The unlikely story of Teardown Multiplayer
(blog.voxagon.se)
by
lairv
3 days ago
|
5 comments
432
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
15 hours ago
|
33 comments
418
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
16 hours ago
|
42 comments
337
The American Healthcare Conundrum
(github.com)
by
rexroad
16 hours ago
|
47 comments
217
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
6 hours ago
|
27 comments
33
Gitana 18: the new flying Ultim trimaran
(boatnews.com)
by
divbzero
4 days ago
|
5 comments
569
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
by
djoldman
9 hours ago
|
43 comments
82
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
(youtube.com)
by
Anon84
3 days ago
|
7 comments
70
Pyodide: a Python distribution based on WebAssembly
(github.com)
by
tosh
3 days ago
|
12 comments
< prev
1 / 10
more >