๐ฟ๏ธ 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
How One Oregon Activist Is Using a Decades-Old Liberal Policy to Stall Green Energy Projects in Rural Areas
propublica.org
ยท
2d
ยท
Discuss:
Hacker News
,
r/longform
๐ฆ
Rust
Atom Spy Case/Rosenbergs
fbi.gov
ยท
4d
ยท
Discuss:
Hacker News
๐
Cryptography
Hyder and Stewart: A Tale of Two Border Towns (2018)
johnzada.com
ยท
3d
ยท
Discuss:
Hacker News
๐จ
Rendering
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com
ยท
6d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Dexter Cows and Kefir Cheese
smallfarmersjournal.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: TrustBit โ Building a URL shortener with Cloudflare's edge stack
trustbit.me
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
Firecracker: Start a VM in less than a second (2021)
jvns.ca
ยท
6d
ยท
Discuss:
Hacker News
๐
Cryptography
Elon Musk's xAI loses co-founder Igor Babuschkin, leaving to start venture firm
cnbc.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Cryptography
Logic and Creativity
hakon.gylterud.net
ยท
6d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Angel Investors, a Field Guide
jeanyang.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
The #1 Reason Buyers Choose Competitors Who Aren't Better Than You
businessofsoftware.org
ยท
3d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
No digital sovereignty without open source, warns OSBA
heise.de
ยท
4d
ยท
Discuss:
Hacker News
,
r/opensource
,
r/programming
๐
Cryptography
AI: Great Expectations
rodneybrooks.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Empowering Researchers, Developers and Students
medium.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Suetopia: Generative AI is a lawsuit waiting to happen to your business
theregister.com
ยท
4d
ยท
Discuss:
Hacker News
๐จ
Rendering
Ask HN: Would you use a chat-based money tracker?
news.ycombinator.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Cryptography
Offering expanded Claude access across all three branches of the U.S. government
anthropic.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: Airbook โ Cursor for Analytics
news.ycombinator.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
I built SelectToSearch to reduce my clicks by 85% when needing AI search
apps.apple.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Show HN: VAC โ Cognitive AI Framework with Hierarchical Memory Architecture
github.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
Loading...
Loading more...
« Page 49
โข
Page 51 »