🐿️ 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

X(Twitter) Shadow Bans Turkish Presidential Candidate
utkusen.substack.com·3d·
Discuss: Substack
🔒Cryptography
The future of excess mortality after Covid-19 (2024)
swissre.com·4d·
Discuss: Hacker News
🦀Rust
YouTube Starts Enforcing Premium Family Plan Rules
droid-life.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Can Creatine Keep Your Brain Sharp?
time.com·2d·
Discuss: Hacker News
🦀Rust
Making Voice AI Work Across All Android Devices
blog.simplertc.com·6d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
My phone is an ereader now
davepagurek.com·5d·
Discuss: Hacker News
🔒Cryptography
WebRage – The modern web is terrible. Here's why
webrage.net·3d·
Discuss: Hacker News
🐛Vulnerability Research
China Weighs Curbs on Stock Speculation to Foster Steady Gains
bloomberg.com·1d·
Discuss: Hacker News
⚡CUDA
I Love Reading 1980s Computer Magazines, and So Should You
wired.com·6d·
Discuss: Hacker News
🔒Cryptography
Free AI Tool Removes Image Backgrounds in Seconds
nanobananas.site·6d·
Discuss: Hacker News
🎨Rendering
Trump calls video of bag being thrown from White House an ‘AI-generated’ fake
cnn.com·2d·
Discuss: Hacker News, r/technology
🐛Vulnerability Research
Thermal facial image analyses predict age and metabolic diseases
cell.com·5d·
Discuss: Hacker News
🎨Rendering
The US is transforming into a 1930s-style autocracy, says billionaire Ray Dalio
cnn.com·2d·
Discuss: Hacker News
🎨Rendering
Chaotic Food: The Attraction of the Standard American Diet
exfatloss.com·5d·
Discuss: Hacker News
🦀Rust
The Ingredients of a Lasting Marriage
nytimes.com·6d·
Discuss: Hacker News
🦀Rust
How ageing changes our genes — huge epigenetic atlas gives clearest picture yet
nature.com·4d·
Discuss: Hacker News
🎨Rendering
Scientists unveil a rubber band that generates electricity from body heat
techxplore.com·3d·
Discuss: Hacker News
🎨Rendering
I sat down with Werner Vogels, the CTO of Amazon
everton.xyz·6d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Tesla’s fourth ‘Master Plan’ reads like LLM-generated nonsense
techcrunch.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Payrolls rose 22,000 in August, less than expected in further sign of hiring slowdown
cnbc.com·7h·
Discuss: Hacker News, r/Economics
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap