matmat's Likes

Specifications for SIP Submission and Metadata Requirements
digitalpreservation.no·3w
🏛️Preservation Standards
How does intelligence relate to compression?
lewish.io·7w·
Discuss: Hacker News
📊Compression Proofs
A history of the Internet, part 2: The high-tech gold rush begins
arstechnica.com·7w·
Discuss: Lobsters
📡DNS Archaeology
Random Floppies - Volume 2
filesfound.net·7w
💽Floppy disks
Active Directory Pentesting from Linux
tbhaxor.com·7w
🕵️Domain Enumeration
What is cosh(List(Bool))? Or beyond algebra: analysis of data types.
cofault.com·7w
🔤Type Theory
The design and implementation of LZW (the GIF compression algorithm)
commandlinefanatic.com·7w
📦Deflate
2025-06-08 Omnimax
computer.rip·7w·
Discuss: Hacker News
🌐Omnimax Projection
Lo8: Resurrecting 8-track as a data storage medium (cassettepunk.com)
cassettepunk.com·9w·
Discuss: Hacker News
📼Cassette Technology
Nuremberg Letterbooks: A Multi-Transcriptional Dataset of Early 15th Century Manuscripts for Document Analysis
nature.com·10w
📜Nuremberg Letterbooks
Disk Imaging for Preservation: Part 1
blogs.lib.umich.edu·7w
🛡️Preservation Proofs
Fast character classification with z3
lemire.me·8w·
Discuss: Hacker News
🔤Character Classification
Functional Programming in Bash: Harnessing the Power of Simplicity
scalastic.io·8w·
Discuss: Hacker News
🐚Bash FP
Beginner resources for formalizing lambda calculi
chrishenson.net·11w·
Discuss: Hacker News
λLambda Formalization
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
arxiv.org·9w
🛡️CBOR Security
EBCDIC Is Incompatible with GDPR
shkspr.mobi·7w·
Discuss: Hacker News
🔤EBCDIC Privacy
Old but gold: Paper tape and punched cards still getting the job done – just about
theregister.com·7w·
Discuss: Hacker News
📼Cassette Archaeology
I wrote a deep dive into classic Bloom Filters
maltsev.space·7w·
Discuss: Hacker News, r/compsci, r/programming
🌸Bloom Filters
Apple II: Launched June 10, 1977
dfarq.homeip.net·7w·
Discuss: Hacker News
🍎Apple Computing
Inductive definitions
lawrencecpaulson.github.io·7w
👑Isabelle