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