🐿️ 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
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...
« Page 26
•
Page 28 »