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

Proofs of the Pythagorean Theorem
cut-the-knot.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The possibility of a giant impact on Venus
arxiv.org·13h·
Discuss: Hacker News
🎨Rendering
CSIS Launches Commission on Cyber Force Generation
csis.org·1d·
Discuss: Hacker News
🔒Cryptography
The Magic of Herding
nautil.us·21h·
Discuss: Hacker News
🔒Cryptography
Marines now have an official drone-fighting handbook
marinecorpstimes.com·1d·
Discuss: Hacker News
🔒Cryptography
The Economic Impact of Instant Payments and Dollar-Linked Digital Currencies(US)
papers.ssrn.com·10h·
Discuss: Hacker News
🔒Cryptography
The Epstein Files by Heather Marsh
georgiebc.wordpress.com·10h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Systematic Risks in Your Digital Stack
dealflowiq.com·22h·
Discuss: Hacker News
🔒Cryptography
Spectral: A Screen-First Typeface (2017)
design.google·1d·
Discuss: Hacker News
🦀Rust
Glossary of Studio Neologisms (2018)
miltonline.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
List of 100k websites Meta scrapes data from to train its AI models
dropsitenews.com·11h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
[Showcasing my baby] - High-Quality E2E Tests at Recorder Speed - You own the code!
youtube.com·4d·
Discuss: Hacker News, r/webdev
🦀Rust
Human First AI
ente.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work
collabora.com·19h·
Discuss: Hacker News
⚡CUDA
How to run Doom on IBM mainframes
linkedin.com·14h·
Discuss: Hacker News
⚡CUDA
OpenAI’s New Open Models Accelerated Locally on NVIDIA GeForce RTX and RTX PRO GPUs
blogs.nvidia.com·1d·
Discuss: Hacker News
⚡CUDA
Why blocking LLMs from your website is dumb
johnjianwang.medium.com·13h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Write Faster with AI – While Keeping It Yours
anupshinde.com·3d·
Discuss: Hacker News
🦀Rust
I've spent 4 months and $800/mo AI bill on Cursor, Claude Code. Later is better?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap