News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
80
Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
by
btilly
18 hours ago
|
6 comments
94
SIMD-friendly algorithms for substring searching
(0x80.pl)
by
Rendello
7 hours ago
|
5 comments
85
TimeGuessr
(timeguessr.com)
by
stefanpie
4 days ago
|
16 comments
15
Slowing the flow of core-dump-related CVEs
(lwn.net)
by
jwilk
3 days ago
|
0 comments
67
Filedb: Disk-based key-value store inspired by Bitcask
(github.com)
by
todsacerdoti
7 hours ago
|
3 comments
154
Endometriosis is an interesting disease
(owlposting.com)
by
crescit_eundo
12 hours ago
|
12 comments
140
Implementing Logic Programming
(btmc.substack.com)
by
sirwhinesalot
13 hours ago
|
17 comments
8
Last fifty years of integer linear programming: Recent practical advances
(inria.hal.science)
by
teleforce
4 hours ago
|
0 comments
79
Liquid Glass – WWDC25 [video]
(developer.apple.com)
by
lnrd
3 days ago
|
34 comments
149
Self-Adapting Language Models
(arxiv.org)
by
archon1410
15 hours ago
|
14 comments
< prev
1 / 10
more >