category theory emergency? dial 00よ, now!
thalescircles.tumblr.com·1d
λLambda Formalization
Digital Forensics Round-Up, July 23 2025
forensicfocus.com·4d
🚨Incident Response
Introducing OSS Rebuild: Open Source, Rebuilt to Last
simonwillison.net·4d
🔓Open Source Software
Eco-friendly 3D-printed house uses soil, not cement — building still scores top earthquake resistance rating
tomshardware.com·7h·
Discuss: Hacker News
📜Document Physics
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·2d
🧮Z3 Solver
The Return of the Artisans
techleader.pro·1d·
Discuss: Hacker News
📕Bookbinding
Age and Authenticated Encryption
words.filippo.io·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
The Best Hardware Store in the World
willdennis.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
Use Your Type System
dzombak.com·3d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Ask HN: What's your uv exit strategy?
news.ycombinator.com·50m·
Discuss: Hacker News
❄️Nix Adoption
Immutable Backups: Everything You Need To Know To Protect Your Cloud
hackernoon.com·3d
💿Backup Strategies
Manogna Sammeta’s Leadership Transforms System Sync with 92% Improvement
hackernoon.com·5d
👁️Observatory Systems
2025 One Hertz Challenge: A Discrete Component Divider Chain
hackaday.com·2d
⚙️Cassette Mechanics
Lobsters Interview with Technomancy
lobste.rs·2d·
Discuss: Lobsters
🦀Rust Macros
DevStash: AI-Powered Developer Knowledge Management with Algolia MCP
dev.to·11h·
Discuss: DEV
🌀Brotli Internals
AI Revolution & Critical RCEs: A Dev's Digest on GitHub Spark & SharePoint Exploits (23/24-July-2025)
dev.to·3d·
Discuss: DEV
🔓Hacking
AlphaGo Moment for Model Architecture Discovery
arxiv.org·2d·
Discuss: Hacker News
🎯Performance Proofs
The Pg_meminfo Postgres Extension
github.com·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Zig Wants to Replace Go and Rust. Does It Have What It Takes?
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Writing experience: My decade with Org
xenodium.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis