Login
故事
< prev
page 2
more >
Loading...
795
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
14 hours ago |
715 comments
108
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
15 hours ago |
29 comments
204
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
15 hours ago |
141 comments
243
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
a day ago |
130 comments
788
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
a day ago |
401 comments
3
Venezuela's Navy Begins Escorting Ships as U.S. Threatens Blockade
(nytimes.com)
by
belter
21 minutes ago |
discuss
3
Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API
(github.com)
by
iaroo
3 hours ago |
discuss
56
Modern SID chip substitutes [video]
(youtube.com)
by
vismit2000
4 days ago |
6 comments
883
alpr.watch
(alpr.watch)
by
theamk
a day ago |
432 comments
16
Speed matters: Why working quickly is more important than it seems
(jsomers.net)
by
bschne
3 days ago |
10 comments
14
The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video]
(youtube.com)
by
Geekette
3 hours ago |
1 comments
257
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
2 days ago |
210 comments
800
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 |
19 comments
160
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
2 days ago |
194 comments
6
Browser 'privacy' extensions have eye on your AI, log all your chats
(theregister.com)
by
Bender
2 hours ago |
discuss
40
GitHub postponing the announced billing change for self-hosted GitHub Actions
(twitter.com)
by
coloneltcb
4 hours ago |
12 comments
240
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
51 comments
42
AI capability isn't humanness
(research.roundtable.ai)
by
mdahardy
6 hours ago |
50 comments
775
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
a day ago |
802 comments
507
GPT Image 1.5
(openai.com)
by
charlierguo
a day ago |
245 comments
5
UNC System President Peter Hans confirms all syllabuses will be public records
(dailytarheel.com)
by
toomuchtodo
7 hours ago |
discuss
40
Nvidia plans heavy cuts to GPU supply in early 2026
(overclock3d.net)
by
tareqak
7 hours ago |
11 comments
8
Nvidia 800 Gbps ConnectX-8 SuperNIC
(servethehome.com)
by
geerlingguy
2 hours ago |
1 comments
136
FCC chair suggests agency isn't independent, word cut from mission statement
(axios.com)
by
jmsflknr
5 hours ago |
127 comments
167
Show HN: Sqlit – A lazygit-style TUI for SQL databases
(github.com)
by
MaxTeabag
2 days ago |
39 comments
97
Dafny: Verification-Aware Programming Language
(dafny.org)
by
handfuloflight
a day ago |
31 comments
31
Living Particle System
(creative-art-points.vercel.app)
by
lovegrenoble
5 days ago |
3 comments
206
30 years of <br> tags
(artmann.co)
by
FragrantRiver
4 days ago |
92 comments
34
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
16 hours ago |
5 comments