๐ฟ๏ธ 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
Implementing an Unlimited PTO Policy
startupsoup.substack.com
ยท
4d
ยท
Discuss:
Substack
๐
Zero-Knowledge Proofs
The Tinkertoy Computer
retrothing.com
ยท
6d
ยท
Discuss:
Hacker News
๐จ
Rendering
Scientist May Have Discovered a New Drug That Makes Up for Lost Sleep
nad.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Vulnerability Research
Who Owns, Operates, and Develops Your VPN Matters
opentech.fund
ยท
4d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
"Medicine goes viral" โ resuscitating a century-old solution, bacteriophages
news.cnrs.fr
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Passkeys and Modern Authentication
lucumr.pocoo.org
ยท
6d
ยท
Discuss:
Lobsters
,
Hacker News
๐
Cryptography
Tax Codex
infopedia.io
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
Burnout
scaleyourself.com
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
XAI CFO Leaves Elon Muskโs AI Venture Three Months After Taking Job
bloomberg.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Cryptography
The Ongoing Fallout from a Breach at AI Chatbot Maker Salesloft
krebsonsecurity.com
ยท
6d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Rust 1.90 Switching To LLD Linker On Linux For Faster Linking Times
phoronix.com
ยท
6d
ยท
Discuss:
Hacker News
๐ฆ
Rust
How the Democrats keep copying the MAGA influencer playbook (and failing)
theverge.com
ยท
5d
ยท
Discuss:
Hacker News
๐ฆ
Rust
OpenAI is adding parental controls to ChatGPT
engadget.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Five armed police officers arrest writer Graham Linehan in the UK for 3 tweets
grahamlinehan.substack.com
ยท
5d
ยท
Discuss:
Substack
๐
Cryptography
Novel hollow-core optical fiber transmits data 45% faster with record low loss
phys.org
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
Biden stopped ICE from buying Israeli spyware, but Trump admin allows it to proceed
theregister.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Cryptography
Tech leaders take turns flattering Trump at White House dinner
theverge.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
The Suicide State
brooklynrail.org
ยท
4d
ยท
Discuss:
Hacker News
๐
Zero-Knowledge Proofs
Traffic and Transit Roundup #1
thezvi.substack.com
ยท
5d
ยท
Discuss:
Substack
๐
Zero-Knowledge Proofs
A little oddity in the way curl deals with old dates
shkspr.mobi
ยท
6d
ยท
Discuss:
Hacker News
,
shkspr.mobi
๐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 101
โข
Page 103 »