News
Newest
Ask
Show
Jobs
Open on GitHub
< prev
1 / 10
more >
299
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
4 hours ago
|
55 comments
612
alpr.watch
(alpr.watch)
by
theamk
8 hours ago
|
41 comments
406
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
6 hours ago
|
23 comments
298
Announcing the Beta release of ty
(astral.sh)
by
gavide
4 hours ago
|
20 comments
309
GPT Image 1.5
(openai.com)
by
charlierguo
7 hours ago
|
45 comments
54
Midjourney is alemwjsl
(aadillpickle.com)
by
aadillpickle
6 days ago
|
9 comments
84
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
3 hours ago
|
11 comments
483
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
8 hours ago
|
140 comments
58
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
2 hours ago
|
8 comments
391
40 percent of fMRI signals do not correspond to actual brain activity
(tum.de)
by
geox
11 hours ago
|
26 comments
< prev
1 / 10
more >