The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·21m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Python Fundamentals: OrderedDict
dev.to·1d·
Discuss: DEV
🛡️Proof-Carrying Archives
Begin Blog Experiment of No Tags and Only 8 Categories
wisdomandwonder.com·1h
🔗Online Curation
Professional Update
math.columbia.edu·1h
🧮Theoretical Computer Science
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
I reviewed the Orico Cyberdata Vault CF56 Pro prototype - and it revealed an aggressive entry to the prosumer NAS market
techradar.com·2h
🔌Operating system internals
Archiving databases: Why, what and how?
e-ark-foundation.eu·2d
🏛️OAIS Implementation
remove(42) vs. find(42).remove()
yegor256.com·21h
📐Archive Calculus
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
The Quantum Price of Forgetting: Scientists Finally Measure the Energy Cost of Deleting Information
scitechdaily.com·2d
⚛️Information Physics
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Depict: AI-powered search for Indian museum artworks using CLIP embeddings
github.com·11h·
Discuss: Hacker News
📸TIFF Archaeology
From Risk to Resolution: Building Adaptive Preservation Planning at Cambridge University Libraries
digitalpreservation-blog.lib.cam.ac.uk·2d
💰Preservation Economics
The Probability of a Hash Collision
kevingal.com·17h·
Discuss: Hacker News
🔐Hash Functions
I'm writing a book!
laplab.me·21h
🗄️Database Internals
A Decade of Cloud Native: The CNCF’s 10-Year Journey
blog.abhimanyu-saharan.com·6h·
Discuss: r/devops
🤝Distributed Consensus
New in Apache Iceberg 3.0: Fresh Data Types, NULL Vals, Change Capture
thenewstack.io·3d
📦METS Packaging
Data analysis using discrete cubical homology
arxiv.org·3d
🕳️Persistent Homology
HashMap in Java
dev.to·2h·
Discuss: DEV
🌳Trie Structures