NAS drive Refurb vs New
reddit.com·2d·
Discuss: r/homelab
🌡️Preservation Physics
Evidence Preservation: Why iPhone Data Can Expire
blog.elcomsoft.com·1d
🌡️Preservation Entropy
A Practical Guide to Kubernetes Stateful Backup and Recovery
thenewstack.io·2d
💿Backup Strategies
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·43m·
Discuss: Hacker News
⬌Bidirectional Typing
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·8h·
Discuss: Hacker News
📦METS Packaging
A disenshittification moment from the land of mass storage
doctorow.medium.com·11h
🧲Magnetic Philosophy
On Convex Functions of Gaussian Variables
arxiv.org·1d
📐Compression Mathematics
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
A Manifesto for the Programming Desperado
github.com·7h·
Discuss: Hacker News
💻Programming languages
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
ALimiter
github.com·11h
🧠Memory Allocators
The Day I Hacked XCTrack
blog.syrac.org·8h·
Discuss: Hacker News
🔐PKI Archaeology
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs