Cloudflare acquires Astro
(astro.build)
792 points
353
STFU
(github.com)
784 points
499
Apple is fighting for TSMC capacity as Nvidia takes center stage
(www.culpium.com)
760 points
464
Ask HN: How can we solve the loneliness epidemic?
754 points
1191
Photos capture the breathtaking scale of China's wind and solar buildout
(e360.yale.edu)
741 points
549
The Palantir app helping ICE raids in Minneapolis
(www.404media.co)
631 points
827
Briar keeps Iran connected via Bluetooth and Wi-Fi when the internet goes dark
(briarproject.org)
570 points
352
25 Years of Wikipedia
(wikipedia25.org)
556 points
457
Just the Browser
(justthebrowser.com)
528 points
246
Cursor's latest “browser experiment” implied success without evidence
(embedding-shapes.github.io)
514 points
212
Load More Posts
Hax: Verifying Security-Critical Rust Software Using Multiple Provers
OP
by
forks
today at 4:40 AM
1 points
eprint.iacr.org
Comments
Loading comments...