News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
48
How to think about durable execution
(hatchet.run)
by
abelanger
7 days ago
|
9 comments
336
Noclip.website – A digital museum of video game levels
(noclip.website)
by
ivmoreau
13 hours ago
|
30 comments
106
From Zero to QED: An informal introduction to formality with Lean 4
(sdiehl.github.io)
by
rwosync
5 days ago
|
3 comments
630
History LLMs: Models trained exclusively on pre-1913 texts
(github.com)
by
iamwil
17 hours ago
|
60 comments
17
AMD officially confirms fresh next-gen Zen 6 CPU details
(overclock3d.net)
by
akyuu
1 hour ago
|
3 comments
6
Building a Transparent Keyserver
(words.filippo.io)
by
noident
58 minutes ago
|
1 comments
535
GPT-5.2-Codex
(openai.com)
by
meetpateltech
21 hours ago
|
41 comments
201
Prompt caching for cheaper LLM tokens
(ngrok.com)
by
samwho
2 days ago
|
11 comments
56
Pingfs: Stores your data in ICMP ping packets
(github.com)
by
linkdd
5 days ago
|
7 comments
405
How China built its ‘Manhattan Project’ to rival the West in AI chips
(japantimes.co.jp)
by
artninja1988
20 hours ago
|
39 comments
< prev
1 / 10
more >