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

Are daily dreams future insights or past reflections?
aidreamscope.com·5d·
Discuss: Hacker News
🐛Vulnerability Research
University insures itself against a drop in Chinese students (2018)
insurancebusinessmag.com·1d·
Discuss: Hacker News
🦀Rust
Mouth to gut bacteria migration explains why smoking is good for inflamed bowels
eurekalert.org·1d·
Discuss: Hacker News
🦀Rust
Twenty Years of Blog Posts
charlespetzold.com·4d·
Discuss: Hacker News
🔒Cryptography
Haraka Hash: A Look at AES-Based PoW for Blockchains
zola.ink·5d·
Discuss: Hacker News
🔒Cryptography
MCP, OTAs, and Reshaping Travel
directbooker.com·6d·
Discuss: Hacker News
🐛Vulnerability Research
Escaping the chains of tethered products: the Juice Rescue project
natematias.com·3d·
Discuss: Hacker News
🐛Vulnerability Research
Azure's Weakest Link – Full Cross-Tenant Compromise
binarysecurity.no·6d·
Discuss: Hacker News
🔒Cryptography
Evaluation of the evidence on acetaminophen use and neurodevelopmental disorders
ehjournal.biomedcentral.com·5d·
Discuss: Hacker News
🦀Rust
Megalibrary accelerates discovery of iridium alternative for hydrogen production
news.northwestern.edu·6d·
Discuss: Hacker News
🔒Cryptography
Unauthorized OpenAI Equity Transactions
openai.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Inducible genome-wide mutagenesis for improvement of pDNA production
microbialcellfactories.biomedcentral.com·6d·
Discuss: Hacker News
🦀Rust
Y Combinator Brief in Epic vs. Apple
scribd.com·5d·
Discuss: Hacker News
🔒Cryptography
How to Deploy FastAPI with Docker and K3s
orencodes.io·6d·
Discuss: Hacker News
🦀Rust
I did 98,000 Anki reviews. Anki is already dead
miguelconner.substack.com·6d·
Discuss: Substack
🔐Zero-Knowledge Proofs
The problems that accountability can’t fix
surfingcomplexity.blog·4d·
Discuss: Hacker News
🐛Vulnerability Research
Google wants to make sideloading Android apps safer by verifying developers’ identities
androidauthority.com·2d·
Discuss: Lobsters, Hacker News, r/Android, r/linux, r/privacy
🔐Zero-Knowledge Proofs
Pact: Head-to-head negotiation benchmark for LLMs
github.com·6d·
Discuss: Hacker News, r/LocalLLaMA
🔒Cryptography
Show HN: Filelock – AES-GCM file&folder encryption with hardware acceleration
github.com·5d·
Discuss: Hacker News
🐛Vulnerability Research
The Comfortable Familiarity Dilemma
fedecarg.substack.com·4d·
Discuss: Substack
🔒Cryptography
Loading...Loading more...
AboutBlogChangelogRoadmap