Login
故事
< prev
page 5
more >
Loading...
817
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
2 days ago |
420 comments
106
Inside PostHog: SSRF, ClickHouse SQL Escape and Default Postgres Creds to RCE
(mdisec.com)
by
arwt
a day ago |
35 comments
90
Show HN: High-Performance Wavelet Matrix for Python, Implemented in Rust
(pypi.org)
by
math-hiyoko
a day ago |
10 comments
897
alpr.watch
(alpr.watch)
by
theamk
2 days ago |
439 comments
6
One Generic Cancer Drug Costs $35. Or $134. Or $13,000
(bloomberg.com)
by
danem
3 hours ago |
discuss
56
Fast SEQUENCE iteration in Common Lisp
(world-playground-deceit.net)
by
BoingBoomTschak
5 days ago |
11 comments
270
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
3 days ago |
227 comments
57
The Number That Turned Sideways
(zuriby.github.io)
by
tzury
6 days ago |
33 comments
79
Learning Fortran (2024)
(uncenter.dev)
by
lioeters
a day ago |
80 comments
193
'Ghost jobs' are on the rise – and so are calls to ban them
(bbc.com)
by
1659447091
19 hours ago |
225 comments
112
Cloudflare Radar 2025 Year in Review
(radar.cloudflare.com)
by
ksec
a day ago |
43 comments
254
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
3 days ago |
54 comments
826
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
2 days ago |
176 comments
6
2.8 days to disaster: Why we are running out of time in low earth orbit
(phys.org)
by
smartmic
4 hours ago |
discuss
841
Announcing the Beta release of ty
(astral.sh)
by
gavide
2 days ago |
167 comments
246
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
2 days ago |
176 comments
222
TikTok unlawfully tracks shopping habits and use of dating apps?
(noyb.eu)
by
doener
a day ago |
132 comments
905
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
2 days ago |
802 comments
50
AI capability isn't humanness
(research.roundtable.ai)
by
mdahardy
a day ago |
53 comments
165
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
3 days ago |
207 comments
125
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
2 days ago |
29 comments
10
Show HN: DocsRouter – The OpenRouter for OCR and Vision Models
(docsrouter.com)
by
misbahsy
16 hours ago |
discuss
39
A look back: LANPAR, the first spreadsheet
(technicallywewrite.com)
by
rbanffy
a day ago |
2 comments
117
Introduction to Software Development Tooling (2024)
(bernsteinbear.com)
by
vismit2000
2 days ago |
21 comments
41
Microsoft kills IntelliCode in favor of the paid Copilot
(visualstudiomagazine.com)
by
todsacerdoti
14 hours ago |
4 comments
16
Oasis: Pooling PCIe Devices over CXL to Boost Utilization
(dl.acm.org)
by
blakepelton
6 days ago |
2 comments
10
President Orders Cannabis Rules Relaxed, Easing Research
(nytimes.com)
by
thelastgallon
5 hours ago |
3 comments
9
Study suggests recent tundra fires 'exceed anything in past 3k years
(phys.org)
by
bikenaga
5 hours ago |
2 comments
128
The State of AI Coding Report 2025
(greptile.com)
by
dakshgupta
a day ago |
109 comments
9
YouTube Shuts Down Channels Using AI Making Fake Movie Trailers Seen by Millions
(deadline.com)
by
randycupertino
4 hours ago |
1 comments