matmat's Likes

Specifications for SIP Submission and Metadata Requirements  🏛️Preservation Standards

How does intelligence relate to compression?  📊Compression Proofs

A history of the Internet, part 2: The high-tech gold rush begins  📡DNS Archaeology

Random Floppies - Volume 2  🗃️ROM Preservation

Active Directory Pentesting from Linux  🕵️Domain Enumeration

What is cosh(List(Bool))? Or beyond algebra: analysis of data types.  🔤Type Theory

The design and implementation of LZW (the GIF compression algorithm)  📦Deflate

2025-06-08 Omnimax  🌐Omnimax Projection

Lo8: Resurrecting 8-track as a data storage medium (cassettepunk.com)  🎵8-track Revival

Nuremberg Letterbooks: A Multi-Transcriptional Dataset of Early 15th Century Manuscripts for Document Analysis  📜Nuremberg Letterbooks

Disk Imaging for Preservation: Part 1  🛡️Preservation Proofs

Fast character classification with z3  🔤Character Classification

Functional Programming in Bash: Harnessing the Power of Simplicity  🐚Bash FP

Beginner resources for formalizing lambda calculi  λLambda Formalization

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE  🛡️CBOR Security

EBCDIC Is Incompatible with GDPR  🔤EBCDIC Privacy

Old but gold: Paper tape and punched cards still getting the job done – just about  📼Cassette Archaeology

I wrote a deep dive into classic Bloom Filters  🌸Bloom Filters

Apple II: Launched June 10, 1977  🍎Apple Computing

Inductive definitions  👑Isabelle