Door Reversal Devices: 1930-1960
elevatorworld.com·3d·
Discuss: Hacker News
🔒Cryptography
EP 132: Sam the Vendor
darknetdiaries.com·3d·
Discuss: Hacker News
🔒Cryptography
"For Research Purposes"
secarateratur.medium.com·2d·
Discuss: Hacker News
✅Formal Methods
SF Doesn't need the revenue from speed cameras
smorgiapps.com·3d·
Discuss: Hacker News
🔒Cryptography
Taking a look at my old Palm IIIx
goto10retro.com·6d·
Discuss: Hacker News, Hacker News
🔒Cryptography
Documented source code for Aviator on the BBC Micro
aviator.bbcelite.com·5d·
Discuss: Hacker News
✅Formal Methods
US Supreme Court allows NIH to cut $2 billion in research grants
nature.com·4d·
Discuss: Hacker News
🦀Rust
Tennis Legend Roger Federer Is Now A Billionaire
forbes.com·4d·
Discuss: Hacker News
✅Formal Methods
"Contain and verify" is the real endgame of US-China AI competition
stevenadler.substack.com·6d·
Discuss: Substack
🔒Cryptography
The Whale of Mass Destruction: How Bitcoin FOMO Might Become TBTF
asomo.co·4d·
Discuss: Hacker News
🔒Cryptography
Research roadmap update, August 2025
stackoverflow.blog·5d·
Discuss: Hacker News
🦀Rust
Android App End-to-End Testing with FusionAuth
fusionauth.io·5d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Debugging the Human Layer
blog.joac.com.ar·4d·
Discuss: Hacker News
🦀Rust
CPAP Medical Data Breach Impacts 90k People
securityweek.com·2d·
Discuss: Hacker News
🔒Cryptography
The Political Economy of AI
moneypower.substack.com·4d·
Discuss: Substack
🔐Zero-Knowledge Proofs
You Can Build Better AI Agents in Java Than Python
medium.com·6d·
Discuss: Hacker News
🦀Rust
Helping others shown to slow cognitive decline
medicalxpress.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
How Consumers Are Revolutionizing Automation (Not Enterprises)?
medium.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Navigating the Future: Building Software for AI Consumers
thebootstrappedfounder.com·6d·
Discuss: Hacker News
✅Formal Methods
Ask HN: Why is Prolog not gaining traction?
news.ycombinator.com·4d·
Discuss: Hacker News
🦀Rust