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

Here's How F1 Cars Were Refueled In Mere Seconds (Before It Was Banned)
jalopnik.com·5d·
Discuss: Hacker News
🦀Rust
Intrigue on the Slopes of Bardonecchia
theparisreview.org·4d·
Discuss: Hacker News
🦀Rust
The "Waitrose and GAIL's effect" vs. the "ASDA reality"
area360.uk·4d·
Discuss: Hacker News
🦀Rust
Will SCOTUS Stop Trump's Ieepa Tariffs?
gusvanhorn.blogspot.com·4d·
Discuss: Hacker News
🦀Rust
My review of Amazon's Shareholder letters
nandinfinitum.com·3d·
Discuss: Hacker News
🐛Vulnerability Research
Sweeteners can harm cognitive health equivalent to 1.6 years of ageing, study finds
theguardian.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
This startup wants to sell a fully self-driving car you can own, no supervision required
businessinsider.com·6d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Ice obtains access to Israel-made spyware that can hack phones and encrypted apps
theguardian.com·3d·
Discuss: Hacker News, r/50501, r/news, r/technews
🔒Cryptography
How VPN kill-switch made my sudo hang
anagogistis.com·6d·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
The Super-Rich 'Preppers' Planning To Save Themselves From The Apocalypse (2022)
theguardian.com·5d·
Discuss: Hacker News
🔒Cryptography
Ted Cruz criticizes Trump plan to cancel SLS and Lunar Gateway as “folly”
arstechnica.com·2d·
Discuss: Hacker News, r/China, r/space
🔒Cryptography
Demography leads to more conservative European societies
tandfonline.com·6d·
Discuss: Hacker News
🦀Rust
Who eats seaweed? Barriers and motivations in Japan versus the United Kingdom
sciencedirect.com·5d·
Discuss: Hacker News
🐛Vulnerability Research
Goldman Sachs warns AI bubble could burst datacenter boom
theregister.com·4d·
Discuss: Hacker News
🐛Vulnerability Research
Show Automatically updated sunrise/sunset calendar (ICS)
github.com·5d·
Discuss: Hacker News
🎨Rendering
Jaguar Land Rover manufacturing and retail ‘severely disrupted’ by cyber incident
theguardian.com·4d·
Discuss: Hacker News
🐛Vulnerability Research
Study finds caffeine can weaken effectiveness of certain antibiotics
uni-tuebingen.de·5d·
Discuss: Hacker News
🐛Vulnerability Research
The "it" in AI models is the dataset
nonint.com·4d·
Discuss: Hacker News
🦀Rust
The Millionaire Who Left Wall Street to Become a Paramedic
nytimes.com·4d·
Discuss: Hacker News
🦀Rust
Tesla proposes Musk pay package – could make him the first trillionaire
cnn.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap