News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
30
Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
by
btilly
15 hours ago
|
3 comments
52
SIMD-friendly algorithms for substring searching
(0x80.pl)
by
Rendello
4 hours ago
|
2 comments
53
Filedb: Disk-based key-value store inspired by Bitcask
(github.com)
by
todsacerdoti
5 hours ago
|
2 comments
38
TimeGuessr
(timeguessr.com)
by
stefanpie
4 days ago
|
8 comments
123
Implementing Logic Programming
(btmc.substack.com)
by
sirwhinesalot
10 hours ago
|
15 comments
43
The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More
(wsj.com)
by
aspenmayer
18 hours ago
|
28 comments
123
Endometriosis is an interesting disease
(owlposting.com)
by
crescit_eundo
9 hours ago
|
9 comments
17
"The Illusion of Thinking" – Thoughts on This Important Paper
(hardcoresoftware.learningbyshipping.com)
by
rbanffy
3 days ago
|
5 comments
138
Self-Adapting Language Models
(arxiv.org)
by
archon1410
12 hours ago
|
12 comments
50
Liquid Glass – WWDC25 [video]
(developer.apple.com)
by
lnrd
3 days ago
|
28 comments
< prev
1 / 10
more >