News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
91
Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
by
btilly
18 hours ago
|
6 comments
103
SIMD-friendly algorithms for substring searching
(0x80.pl)
by
Rendello
7 hours ago
|
5 comments
17
Last fifty years of integer linear programming: Recent practical advances
(inria.hal.science)
by
teleforce
4 hours ago
|
0 comments
19
Slowing the flow of core-dump-related CVEs
(lwn.net)
by
jwilk
3 days ago
|
1 comments
69
Filedb: Disk-based key-value store inspired by Bitcask
(github.com)
by
todsacerdoti
8 hours ago
|
4 comments
159
Endometriosis is an interesting disease
(owlposting.com)
by
crescit_eundo
12 hours ago
|
12 comments
141
Implementing Logic Programming
(btmc.substack.com)
by
sirwhinesalot
13 hours ago
|
18 comments
7
The Many Sides of Erik Satie
(mitpress.mit.edu)
by
anarbadalov
5 days ago
|
1 comments
90
TimeGuessr
(timeguessr.com)
by
stefanpie
4 days ago
|
17 comments
82
Liquid Glass – WWDC25 [video]
(developer.apple.com)
by
lnrd
3 days ago
|
35 comments
< prev
1 / 10
more >