🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

FStar, libjade, Jasmin, hacl-star

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...
AboutBlogChangelogRoadmap