Were you laid off recently?
deeperlights.com·3d·
Discuss: Hacker News
✅Formal Methods
A brief intro to threat modeling
shehackspurple.ca·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
M-x spook (Emacs mail amusement)
gnu.org·1d·
Discuss: Hacker News
🔒Cryptography
New resource on AI & Open Source for U.S. policymakers
opensource.org·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Why ‘Black Swan,’ ‘Jaws’ and ‘Clue’ Are Coming Back to Theaters
nytimes.com·3d·
Discuss: Hacker News
🔒Cryptography
Why Semantic Layers Matter (and how to build one with DuckDB)
motherduck.com·6d·
Discuss: Hacker News, r/programming
🦀Rust
Work on Revolution Wind project halted
text.npr.org·2d·
Discuss: Hacker News
🦀Rust
Designing for Ephemerality
brajeshwar.com·5d·
Discuss: Hacker News
🔒Cryptography
HeartWatch: A Proactive Child Safety System
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Cryptography
Sequoia Backs Zed's Vision for Collaborative Coding
zed.dev·6d·
Discuss: Hacker News
🦀Rust
The scientific method and its application to the science of deep learning
james-simon.github.io·5d·
Discuss: Hacker News
🦀Rust
Simulations - the secret behind every great agent
sierra.ai·5d·
Discuss: Hacker News
✅Formal Methods
Probiotics, Prebiotics Tied to Decreased Depression, Anxiety
medscape.com·1d·
Discuss: Hacker News
🦀Rust
SPL Lightweight Multisource Mixed Computation Practices
github.com·6d·
Discuss: Hacker News, r/programming
✅Formal Methods
Commodore took in over $2 million during the C64 Ultimate's debut week — roadmap will include three major releases a year
tomshardware.com·2d·
Discuss: Hacker News
⚡CUDA
A Distant Star Explodes While Swallowing Its Black Hole Companion
universetoday.com·5d·
Discuss: Hacker News
✅Formal Methods
Stopped Using Cursor, for Now
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust
Rage: Fast web framework compatible with Rails
github.com·2d·
Discuss: Hacker News
🦀Rust
Another Earth-Like Exoplanet Off the List: JWST Shows GJ 3929B Has No Atmosphere
universetoday.com·3d·
Discuss: Hacker News
✅Formal Methods
Delhi High Court Orders Sci-Hub, Libgen to Be Blocked in India
maktoobmedia.com·2d·
Discuss: Hacker News
✅Formal Methods