News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
68
Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
by
btilly
17 hours ago
|
5 comments
83
SIMD-friendly algorithms for substring searching
(0x80.pl)
by
Rendello
6 hours ago
|
3 comments
73
TimeGuessr
(timeguessr.com)
by
stefanpie
4 days ago
|
14 comments
42
"The Illusion of Thinking" – Thoughts on This Important Paper
(hardcoresoftware.learningbyshipping.com)
by
rbanffy
4 days ago
|
9 comments
63
Filedb: Disk-based key-value store inspired by Bitcask
(github.com)
by
todsacerdoti
6 hours ago
|
3 comments
135
Implementing Logic Programming
(btmc.substack.com)
by
sirwhinesalot
12 hours ago
|
17 comments
146
Endometriosis is an interesting disease
(owlposting.com)
by
crescit_eundo
11 hours ago
|
11 comments
70
The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More
(wsj.com)
by
aspenmayer
19 hours ago
|
33 comments
71
Liquid Glass – WWDC25 [video]
(developer.apple.com)
by
lnrd
3 days ago
|
31 comments
8
Slowing the flow of core-dump-related CVEs
(lwn.net)
by
jwilk
3 days ago
|
0 comments
< prev
1 / 10
more >