๐ฟ๏ธ 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
ยท
16h
ยท
Discuss:
Hacker News
๐จ
Rendering
CSIS Launches Commission on Cyber Force Generation
csis.org
ยท
1d
ยท
Discuss:
Hacker News
๐
Cryptography
The Magic of Herding
nautil.us
ยท
1d
ยท
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
ยท
13h
ยท
Discuss:
Hacker News
๐
Cryptography
The Epstein Files by Heather Marsh
georgiebc.wordpress.com
ยท
13h
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Calcule
calcule.app
ยท
1d
ยท
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
ยท
14h
ยท
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
How to run Doom on IBM mainframes
linkedin.com
ยท
17h
ยท
Discuss:
Hacker News
โก
CUDA
Mun Programming Language
mun-lang.org
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
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
PiTrac โ The DIY Golf Launch Monitor
hackaday.io
ยท
3d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Memory in Agents, Make LLMs remember.
philschmid.de
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Loading...
Loading more...
« Page 27
โข
Page 29 »