Login
故事
< prev
page 2
more >
Loading...
801
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
15 hours ago |
717 comments
109
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
16 hours ago |
29 comments
244
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
a day ago |
131 comments
204
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
16 hours ago |
143 comments
788
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
a day ago |
401 comments
163
Doublespeed hacked, revealing what its AI-generated accounts are promoting
(404media.co)
by
grahamlee
6 hours ago |
97 comments
884
alpr.watch
(alpr.watch)
by
theamk
a day ago |
433 comments
56
Modern SID chip substitutes [video]
(youtube.com)
by
vismit2000
4 days ago |
6 comments
18
The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video]
(youtube.com)
by
Geekette
3 hours ago |
3 comments
258
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
2 days ago |
210 comments
819
Announcing the Beta release of ty
(astral.sh)
by
gavide
a day ago |
151 comments
3
Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API
(github.com)
by
iaroo
4 hours ago |
discuss
801
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
a day ago |
154 comments
108
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
a day ago |
20 comments
160
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
2 days ago |
194 comments
240
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
51 comments
43
GitHub postponing the announced billing change for self-hosted GitHub Actions
(twitter.com)
by
coloneltcb
5 hours ago |
12 comments
7
UNC System President Peter Hans confirms all syllabuses will be public records
(dailytarheel.com)
by
toomuchtodo
7 hours ago |
discuss
44
AI capability isn't humanness
(research.roundtable.ai)
by
mdahardy
7 hours ago |
50 comments
775
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
a day ago |
802 comments
509
GPT Image 1.5
(openai.com)
by
charlierguo
a day ago |
245 comments
9
Nvidia 800 Gbps ConnectX-8 SuperNIC
(servethehome.com)
by
geerlingguy
3 hours ago |
1 comments
6
Browser 'privacy' extensions have eye on your AI, log all your chats
(theregister.com)
by
Bender
2 hours ago |
discuss
98
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
a day ago |
31 comments
167
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
39 comments
35
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
16 hours ago |
5 comments
207
30 years of <br> tags
(artmann.co)
by
FragrantRiver
4 days ago |
92 comments
31
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
3 comments
42
Nvidia plans heavy cuts to GPU supply in early 2026
(overclock3d.net)
by
tareqak
7 hours ago |
13 comments
582
Mozilla appoints new CEO Anthony Enzor-Demeo
(blog.mozilla.org)
by
recvonline
a day ago |
877 comments