Login
ζ δΊ
< prev
page 5
more >
Loading...
819
AI will make formal verification go mainstream
(martin.kleppmann.com)
by
evankhoury
2 days ago |
423 comments
190
Judge hints Vizio TV buyers may have rights to source code licensed under GPL
(theregister.com)
by
pabs3
a day ago |
31 comments
312
How SQLite is tested
(sqlite.org)
by
whatisabcdefgh
2 days ago |
82 comments
8
How the RESISTORS put computing into 1960s counter-culture
(spectrum.ieee.org)
by
rbanffy
2 days ago |
1 comments
17
TikTok signs deal to sell US unit to American investor-led venture
(reuters.com)
by
pseudolus
6 hours ago |
2 comments
45
Launch HN: Kenobi (YC W22) β Personalize your website for every visitor
by
sarreph
2 days ago |
55 comments
899
alpr.watch
(alpr.watch)
by
theamk
3 days ago |
439 comments
16
A perfect distillation of the social uselessness of finance
(pluralistic.net)
by
zdw
16 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
12
Largest wildlife overpass in North America now open in Colorado
(cpr.org)
by
toomuchtodo
5 hours ago |
4 comments
61
Heart and Kidney Diseases and Type 2 Diabetes May Be One Ailment
(scientificamerican.com)
by
Brajeshwar
16 hours ago |
37 comments
116
Cloudflare Radar 2025 Year in Review
(radar.cloudflare.com)
by
ksec
a day ago |
44 comments
90
Show HN: High-Performance Wavelet Matrix for Python, Implemented in Rust
(pypi.org)
by
math-hiyoko
a day ago |
10 comments
826
No Graphics API
(sebastianaaltonen.com)
by
ryandrake
3 days ago |
176 comments
107
Inside PostHog: SSRF, ClickHouse SQL Escape and Default Postgres Creds to RCE
(mdisec.com)
by
arwt
a day ago |
35 comments
14
What's New in Ruby 4.0
(nithinbekal.com)
by
bkudria
9 hours ago |
discuss
4
Alzheimer's disease starts in childhood in polluted Mexico City (2020)
(pubmed.ncbi.nlm.nih.gov)
by
rdgthree
4 hours ago |
discuss
255
Nvidia Nemotron 3 Family of Models
(research.nvidia.com)
by
ewt-nv
4 days ago |
54 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
56
Fast SEQUENCE iteration in Common Lisp
(world-playground-deceit.net)
by
BoingBoomTschak
6 days ago |
11 comments
11
North Korean hackers stole a record $2B of crypto in 2025, Chainalysis says
(coindesk.com)
by
hhs
7 hours ago |
1 comments
80
Learning Fortran (2024)
(uncenter.dev)
by
lioeters
2 days ago |
81 comments
35
The Legacy of Nicaea
(hedgehogreview.com)
by
diodorus
5 days ago |
32 comments
166
The World Happiness Report is beset with methodological problems
(yaschamounk.substack.com)
by
thatoneengineer
3 days ago |
207 comments
19
Fluent: A Localization System for Natural-Sounding Translations
(projectfluent.org)
by
stefankuehnel
5 days ago |
6 comments
912
Is Mozilla trying hard to kill itself?
(infosec.press)
by
pabs3
2 days ago |
804 comments
57
The Number That Turned Sideways
(zuriby.github.io)
by
tzury
6 days ago |
33 comments
24
Truth Social parent to merge with nuclear fusion firm in $6B deal
(nytimes.com)
by
2OEH8eoCRo0
18 hours ago |
4 comments
125
TLA+ Modeling Tips
(muratbuffalo.blogspot.com)
by
birdculture
2 days ago |
29 comments