🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 77
•
Page 79 »