Were you laid off recently?
deeperlights.com·3d·
Discuss: Hacker News
✅Formal Methods
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
Orwell in the Gutter
robkhenderson.com·1d·
Discuss: Hacker News
🦀Rust
Processing 24T tokens for LLM training with 0 crashes (what made it possible)
daft.ai·5d·
Discuss: Hacker News
✅Formal Methods
Why Semantic Layers Matter (and how to build one with DuckDB)
motherduck.com·6d·
Discuss: Hacker News, r/programming
🦀Rust
Designing for Ephemerality
brajeshwar.com·4d·
Discuss: Hacker News
🔒Cryptography
Work on Revolution Wind project halted
text.npr.org·1d·
Discuss: Hacker News
🦀Rust
HeartWatch: A Proactive Child Safety System
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Cryptography
The scientific method and its application to the science of deep learning
james-simon.github.io·5d·
Discuss: Hacker News
🦀Rust
Probiotics, Prebiotics Tied to Decreased Depression, Anxiety
medscape.com·23h·
Discuss: Hacker News
🦀Rust
I built my first side project: Tubee, in 2017
blog.tomy.me·4d·
Discuss: Hacker News
🦀Rust
AI built from 1800s texts surprises creator by mentioning real 1834 London protests
arstechnica.com·3d·
Discuss: Hacker News, r/LocalLLaMA
🦀Rust
SPL Lightweight Multisource Mixed Computation Practices
github.com·5d·
Discuss: Hacker News, r/programming
✅Formal Methods
None the Wiser
harpers.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: Breaking IDE silos with MCP for prompts and dev-tools
news.ycombinator.com·3d·
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
A Distant Star Explodes While Swallowing Its Black Hole Companion
universetoday.com·5d·
Discuss: Hacker News
✅Formal Methods