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

Is Iran's water crisis fueled by military-backed illegal wells?
globalvoices.orgΒ·4dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Feedback on AI-Powered "Tinder for Home Buying"
curbswipe.aiΒ·4dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Wozniak's Tale of His 'Counterfeit' $2 Bill Secret Service Adventure
web.archive.orgΒ·3dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Show HN: Put a Contract on Your Goals
contracted.pwΒ·5dΒ·
Discuss: Hacker News
πŸ¦€Rust
Most e-scooter riders follow the rules
zagdaily.comΒ·4dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Best practices for creating and editing OpenDocument Format (ODF) files
blog.documentfoundation.orgΒ·6dΒ·
Discuss: Hacker News
πŸ¦€Rust
Why Your Stimulant "Stopped Working" (and What's Going On)
psychofarm.substack.comΒ·4dΒ·
Discuss: Substack
πŸ¦€Rust
Cluely: "Cheat on Everything" Fueled Explosive Growth
getcassius.aiΒ·6dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
GitHub folds into Microsoft following CEO resignation β€” once independent programming site now part of 'CoreAI' team
tomshardware.comΒ·6dΒ·
Discuss: Hacker News, r/homelab, r/programming
πŸ”’Cryptography
The Song Was a Hit 20 Years Ago. It Just Got a Video
nytimes.comΒ·4dΒ·
Discuss: Hacker News
🎨Rendering
AI can make us UK's biggest firm, Rolls-Royce says
bbc.comΒ·3dΒ·
Discuss: Hacker News
⚑CUDA
Schools are next for Flock Safety's automatic license place reader cameras
therecord.mediaΒ·6dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Man develops rare condition after ChatGPT query over stopping eating salt
theguardian.comΒ·5dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Ask HN: After 5 years, why is nobody using VSCode LiveShare?
news.ycombinator.comΒ·3dΒ·
Discuss: Hacker News
πŸ¦€Rust
Bypass PostgreSQL catalog overhead with direct partition hash calculations
shayon.devΒ·6dΒ·
Discuss: Lobsters, Hacker News, r/programming
⚑CUDA
Dual-Crypt – Working AES+RSA Encryption Between Java Spring Boot and React/JS
news.ycombinator.comΒ·6dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
OpenAI Moves Fast and Breaks ChatGPT
spyglass.orgΒ·5dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
The Origins of Efficiency
press.stripe.comΒ·5dΒ·
Discuss: Hacker News
πŸ”’Cryptography
Rabbits with 'horns' in Colorado are being called 'Frankenstein bunnies.'
cnn.comΒ·3dΒ·
Discuss: Hacker News
πŸ¦€Rust
A brief history of Elon Musk and Sam Altman’s AI feud
arstechnica.comΒ·3dΒ·
Discuss: Hacker News
πŸ”Zero-Knowledge Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap