๐Ÿฟ๏ธ 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

Chicago has the most lead pipes in the nation. We mapped them all.
grist.orgยท3dยท
Discuss: Hacker News
๐Ÿ›Vulnerability Research
Nat Friedman โ€“ Some things I believe
nat.orgยท3dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Perplexity launches revenue share with content publishers
perplexity.aiยท6dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Cricket, Fandom, and the Unspoken Price of Fantasy Gaming
uselessmbaguy.substack.comยท3dยท
Discuss: Substack
๐Ÿ›Vulnerability Research
Trump admin dismisses Endangered Species List as โ€œHotel Californiaโ€
arstechnica.comยท3dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Early gunpowder was made from the 'pisse' of church ladies
chicagoreader.comยท4dยท
Discuss: Hacker News
๐Ÿฆ€Rust
The National Design Studio is a Scam
chrbutler.comยท4dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
New brain-computer interface allows man with ALS to 'speak' again
health.ucdavis.eduยท4dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
The Curious Case of Steve Bannonโ€™s Tactics
jacobin.comยท4dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Scientist claims mega-flood wiped out early civilisations
thetatva.inยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Non-Consensus Is Dead. Long Live Non-Consensus
newinternet.techยท5dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
The Relativity of Wrong by Isaac Asimov (1988)
hermiene.netยท5dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Amtrak Debuts New High-Speed Acela Trains After Years of Delays
bloomberg.comยท3dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Cupertino must stop calling Apple Watches 'carbon neutral,' German court rules
theregister.comยท5dยท
Discuss: Hacker News
๐ŸŽจRendering
LaLiga Threatens Cloudflare Customer For Using an IP Address Linked to Piracy
torrentfreak.comยท5dยท
Discuss: Hacker News, r/Piracy
๐Ÿ›Vulnerability Research
AI 'deadbots' are persuasive and primed for monetization
text.npr.orgยท4dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Elon Musk's SpaceX achieve first satellite deployment on Starship's 10th flight
timesofindia.indiatimes.comยท4dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Google Pixel 10 Pro Review: This A.I. Phone Can Save Time if You Surrender Your Data
nytimes.comยท4dยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Reverse Engineering ALL the Raspberry Pis
jeffgeerling.comยท5dยท
Discuss: Hacker News
๐Ÿ›Vulnerability Research
Google will require developer verification to install Android apps, including sideloading
9to5google.comยท6dยท
Discuss: Hacker News, r/programming, r/singapore
๐Ÿ”Zero-Knowledge Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap