🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
A Dodge Charger EV Driver Got a Ticket for a Loud Exhaust
thedrive.com
·
4d
·
Discuss:
Hacker News
🎨
Rendering
1TB Raspberry Pi SSD on sale now for $70
raspberrypi.com
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The Cost of Privacy
magiclasso.co
·
5d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
My New Book: The Art of Spending Money
collabfund.com
·
5d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Show HN: Dripz – Try on outfits from real life, online, even AI Instantly
getdripz.com
·
6d
·
Discuss:
Hacker News
🎨
Rendering
Dolby announces Dolby Vision 2
engadget.com
·
6d
·
Discuss:
Hacker News
🎨
Rendering
Show HN: Amber – better Beeper, a modern all-in-one messenger
useamber.app
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
The IBM Selectric
ibm.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
The rise of the traveling third space
thechow.net
·
6d
·
Discuss:
Hacker News
,
Hacker News
🔐
Zero-Knowledge Proofs
Sri Lanka's crisis shows how debt is devouring the Global South
aljazeera.com
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
Why does academia suck? incentives
sebjenseb.net
·
6d
·
Discuss:
Hacker News
🦀
Rust
Noem Fires FEMA Staff for Viewing Racially Charged Porn on Government Devices
dhs.gov
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Steven Soderbergh Goes Rogue (Again)
hollywoodreporter.com
·
4d
·
Discuss:
Hacker News
🎨
Rendering
OpenAI shuffles executive roles, acquires Statsig for $1.1 billion
theverge.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
How to Blow Up a Planet
nybooks.com
·
4d
·
Discuss:
Hacker News
🦀
Rust
Radical new Big Bang theory says gravitational waves created galaxies, stars and planets
space.com
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
‘Almost unimaginable’: these ants are different species but share a mother
nature.com
·
5d
·
Discuss:
Hacker News
🔒
Cryptography
Anthropic Clamps Down on AI Services for Chinese-Owned Firms
bloomberg.com
·
4d
·
Discuss:
Hacker News
🎨
Rendering
OpenAI to Buy Product Testing Startup Statsig for $1.1 Billion
bloomberg.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
TranscribePad – Mobile offline medical transcription and AI note structuring
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🦀
Rust
Loading...
Loading more...
« Page 104
•
Page 106 »