News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
15
Peano arithmetic is enough, because Peano arithmetic encodes computation
(math.stackexchange.com)
by
btilly
15 hours ago
|
2 comments
44
SIMD-friendly algorithms for substring searching
(0x80.pl)
by
Rendello
3 hours ago
|
1 comments
46
Filedb: Disk-based key-value store inspired by Bitcask
(github.com)
by
todsacerdoti
4 hours ago
|
2 comments
28
TimeGuessr
(timeguessr.com)
by
stefanpie
4 days ago
|
4 comments
119
Implementing Logic Programming
(btmc.substack.com)
by
sirwhinesalot
9 hours ago
|
14 comments
32
The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More
(wsj.com)
by
aspenmayer
17 hours ago
|
24 comments
118
Endometriosis is an interesting disease
(owlposting.com)
by
crescit_eundo
8 hours ago
|
9 comments
15
AI agent startups at Y Combinator’s Spring ’25 Demo Day
(businessinsider.com)
by
aspenmayer
1 hour ago
|
3 comments
134
Self-Adapting Language Models
(arxiv.org)
by
archon1410
12 hours ago
|
12 comments
48
Liquid Glass – WWDC25 [video]
(developer.apple.com)
by
lnrd
3 days ago
|
27 comments
< prev
1 / 10
more >