🐿️ 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 to Drill Your Own Water Well
drillyourownwell.com
·
23h
·
Discuss:
Hacker News
🐛
Vulnerability Research
Throws out NHS whistleblower's challenge to ruling on deletion of 90k emails
computerweekly.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
AI saves elephants – 6,592 safe elephant crossings on Tamil Nadu railway tracks
timesofindia.indiatimes.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Will Smith’s concert crowds are real, but AI is blurring the lines
waxy.org
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Imgur Users Rebel Against MediaLab over Moderation, Glitches, and Lost Community
digitalinformationworld.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🦀
Rust
Drones to Deliver Mosquitoes to Prevent Bird Extinctions in Hawai'i
forbes.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
SQLite (with WAL) doesn't do `fsync` on each commit under default settings
avi.im
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
Denmark summons top US diplomat over alleged Greenland influence operation
bbc.com
·
1d
·
Discuss:
Hacker News
,
r/europe
,
r/worldnews
🔒
Cryptography
Would this Supreme Court ever overturn same-sex marriage?
nymag.com
·
3d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Scummvm: Announcing support for World Builder-based games
scummvm.org
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
New Jersey prisoner laments reliance on floppy disks for appeals documents, limiting file sizes to 1.44 MB — prisoners allowed 20 floppy disks in cell, but USB ...
tomshardware.com
·
3d
·
Discuss:
Hacker News
,
r/news
🐛
Vulnerability Research
'Tamed' algorithms and plummeting porn views: impact of UK online safety rules
news.sky.com
·
3d
·
Discuss:
Hacker News
🔒
Cryptography
Pong Cloned by Neural Network
hackaday.com
·
4d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
The A.I.-Profits Drought and the Lessons of History
newyorker.com
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Are we solving digital identity or revealing we've lost what we're proving?
syntheticauth.ai
·
6d
·
Discuss:
Hacker News
🔒
Cryptography
With Starship, SpaceX encounters an obstacle that haunted NASA’s space shuttles
arstechnica.com
·
2d
·
Discuss:
Hacker News
🔒
Cryptography
MIT study on AI profits rattles tech investors
axios.com
·
1d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Is it a Web3 gamemaster scam, or a game program?
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
RK3588 AI Module7
crowdsupply.com
·
6d
·
Discuss:
Hacker News
⚡
CUDA
The AI Stack Paradox: Why Tool Polygamy Is Killing Your Build Velocity
zakelfassi.com
·
6d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Loading...
Loading more...
« Page 80
•
Page 82 »