Login
故事
< prev
page 2
more >
Loading...
809
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
15 hours ago |
721 comments
246
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
(simonwillison.net)
by
pbowyer
a day ago |
132 comments
109
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
17 hours ago |
29 comments
71
AI Isn't Just Spying on You. It's Tricking You into Spending More
(newrepublic.com)
by
c420
4 hours ago |
49 comments
207
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
16 hours ago |
148 comments
790
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
a day ago |
403 comments
885
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
258
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
2 days ago |
211 comments
22
The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video]
(youtube.com)
by
Geekette
4 hours ago |
3 comments
820
Announcing the Beta release of ty
(astral.sh)
by
gavide
a day ago |
152 comments
10
UNC System President Peter Hans confirms all syllabuses will be public records
(dailytarheel.com)
by
toomuchtodo
8 hours ago |
discuss
803
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
a day ago |
156 comments
5
Semiquincentennial $1 Coin Candidate Designs
(usmint.gov)
by
DustinEchoes
an hour ago |
2 comments
164
Doublespeed hacked, revealing what its AI-generated accounts are promoting
(404media.co)
by
grahamlee
7 hours ago |
101 comments
108
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
a day ago |
21 comments
160
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
2 days ago |
197 comments
40
Venezuela's Navy Begins Escorting Ships as U.S. Threatens Blockade
(nytimes.com)
by
belter
2 hours ago |
18 comments
5
Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API
(github.com)
by
iaroo
5 hours ago |
discuss
241
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
2 days ago |
51 comments
45
AI capability isn't humanness
(research.roundtable.ai)
by
mdahardy
8 hours ago |
50 comments
46
GitHub postponing the announced billing change for self-hosted GitHub Actions
(twitter.com)
by
coloneltcb
5 hours ago |
12 comments
526
No AI* Here – A Response to Mozilla's Next Chapter
(waterfox.com)
by
MrAlex94
a day ago |
294 comments
777
Pricing Changes for GitHub Actions
(resources.github.com)
by
kevin-david
a day ago |
803 comments
510
GPT Image 1.5
(openai.com)
by
charlierguo
a day ago |
246 comments
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
12
Nvidia 800 Gbps ConnectX-8 SuperNIC
(servethehome.com)
by
geerlingguy
3 hours ago |
2 comments
208
30 years of <br> tags
(artmann.co)
by
FragrantRiver
4 days ago |
92 comments
35
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com)
by
Davidbrcz
17 hours ago |
5 comments