Login
故事
< prev
page 5
more >
Loading...
819
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
2 days ago |
423 comments
312
How SQLite is tested
(sqlite.org)
by
whatisabcdefgh
2 days ago |
82 comments
38
Finland gave two groups identical payments – one saw better mental health
(scottsantens.substack.com)
by
2noame
16 hours ago |
40 comments
191
Judge hints Vizio TV buyers may have rights to source code licensed under GPL
(theregister.com)
by
pabs3
a day ago |
31 comments
45
Launch HN: Kenobi (YC W22) – Personalize your website for every visitor
by
sarreph
2 days ago |
55 comments
134
Most parked domains now serving malicious content
(krebsonsecurity.com)
by
bookofjoe
19 hours ago |
51 comments
899
alpr.watch
(alpr.watch)
by
theamk
3 days ago |
439 comments
14
Show HN: TinyPDF – 3KB PDF library (70x smaller than jsPDF)
(github.com)
by
lulzx
13 hours ago |
1 comments
8
How the RESISTORS put computing into 1960s counter-culture
(spectrum.ieee.org)
by
rbanffy
2 days ago |
1 comments
16
A perfect distillation of the social uselessness of finance
(pluralistic.net)
by
zdw
17 hours ago |
2 comments
270
Japan to revise romanization rules for first time in 70 years
(japantimes.co.jp)
by
rgovostes
3 days ago |
227 comments
18
TikTok signs deal to sell US unit to American investor-led venture
(reuters.com)
by
pseudolus
7 hours ago |
2 comments
61
Heart and Kidney Diseases and Type 2 Diabetes May Be One Ailment
(scientificamerican.com)
by
Brajeshwar
17 hours ago |
37 comments
116
Cloudflare Radar 2025 Year in Review
(radar.cloudflare.com)
by
ksec
a day ago |
44 comments
826
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
3 days ago |
176 comments
90
Show HN: High-Performance Wavelet Matrix for Python, Implemented in Rust
(pypi.org)
by
math-hiyoko
2 days ago |
10 comments
107
Inside PostHog: SSRF, ClickHouse SQL Escape and Default Postgres Creds to RCE
(mdisec.com)
by
arwt
a day ago |
35 comments
255
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
4 days ago |
55 comments
248
AI's real superpower: consuming, not creating
(msanroman.io)
by
firefoxd
2 days ago |
176 comments
841
Announcing the Beta release of ty
(astral.sh)
by
gavide
2 days ago |
169 comments
13
Largest wildlife overpass in North America now open in Colorado
(cpr.org)
by
toomuchtodo
6 hours ago |
4 comments
56
Fast SEQUENCE iteration in Common Lisp
(world-playground-deceit.net)
by
BoingBoomTschak
6 days ago |
11 comments
80
Learning Fortran (2024)
(uncenter.dev)
by
lioeters
2 days ago |
81 comments
166
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
3 days ago |
207 comments
14
What's New in Ruby 4.0
(nithinbekal.com)
by
bkudria
9 hours ago |
discuss
19
Fluent: A Localization System for Natural-Sounding Translations
(projectfluent.org)
by
stefankuehnel
5 days ago |
6 comments
35
The Legacy of Nicaea
(hedgehogreview.com)
by
diodorus
6 days ago |
32 comments
912
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
2 days ago |
804 comments
12
North Korean hackers stole a record $2B of crypto in 2025, Chainalysis says
(coindesk.com)
by
hhs
8 hours ago |
1 comments
57
The Number That Turned Sideways
(zuriby.github.io)
by
tzury
6 days ago |
33 comments