🐿️ 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Β·3dΒ·
Discuss: Hacker News
πŸ¦€Rust
Germany's far-right AfD suffers series of candidate deaths ahead of local vote
bbc.comΒ·3dΒ·
Discuss: Hacker News, r/news
πŸ¦€Rust
YouTube Starts Enforcing Premium Family Plan Rules
droid-life.comΒ·3dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Why Single-Payer Health Insurance Fails
nicholasdecker.substack.comΒ·3dΒ·
Discuss: Substack
πŸ”Zero-Knowledge Proofs
Four million tons of clay moved in HS2 excavation
bbc.comΒ·5dΒ·
Discuss: Hacker News
πŸ¦€Rust
Can Creatine Keep Your Brain Sharp?
time.comΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust
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
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
Tesla’s fourth β€˜Master Plan’ reads like LLM-generated nonsense
techcrunch.comΒ·2dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Payrolls rose 22,000 in August, less than expected in further sign of hiring slowdown
cnbc.comΒ·4hΒ·
Discuss: Hacker News, r/Economics
πŸ¦€Rust
Quantifying the Cost of RTO
otherbranch.comΒ·3dΒ·
Discuss: Hacker News
πŸ”’Cryptography
I sat down with Werner Vogels, the CTO of Amazon
everton.xyzΒ·6dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
The No-CPU Amiga Demo Challenge
github.comΒ·6dΒ·
Discuss: Hacker News
⚑CUDA
Micro-variations in timing and loudness affect music-evoked mental imagery
nature.comΒ·5dΒ·
Discuss: Hacker News
🎨Rendering
Belgium to recognise Palestinian state at UN and sanction Israel – Middle East crisis live
theguardian.comΒ·3dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
β€˜It’s been quite a ride!’ Melvyn Bragg to step down from Radio 4’s In Our Time after 27 years
theguardian.comΒ·2dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Loading...Loading more...
AboutBlogChangelogRoadmap