matmat's Likes

Specifications for SIP Submission and Metadata Requirements

🏛️Preservation Standards

digitalpreservation.no·

How does intelligence relate to compression?

📊Compression Proofs

lewish.io··Hacker News

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

📡DNS Archaeology

arstechnica.com··Lobsters

Random Floppies - Volume 2

🗃️ROM Preservation

filesfound.net·

Active Directory Pentesting from Linux

🕵️Domain Enumeration

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

🔤Type Theory

cofault.com··Lobsters, Hacker News

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

commandlinefanatic.com·

2025-06-08 Omnimax

🌐Omnimax Projection

computer.rip··Hacker News

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

🎵8-track Revival

cassettepunk.com··Hacker News

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

📜Nuremberg Letterbooks

Disk Imaging for Preservation: Part 1

🛡️Preservation Proofs

blogs.lib.umich.edu·

Fast character classification with z3

🔤Character Classification

lemire.me··Hacker News

Functional Programming in Bash: Harnessing the Power of Simplicity

scalastic.io··Hacker News

Beginner resources for formalizing lambda calculi

λLambda Formalization

chrishenson.net··Hacker News

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

🛡️CBOR Security

EBCDIC Is Incompatible with GDPR

🔤EBCDIC Privacy

shkspr.mobi··Hacker News

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

📼Cassette Archaeology

theregister.com··Hacker News

I wrote a deep dive into classic Bloom Filters

🌸Bloom Filters

maltsev.space··Hacker News, r/compsci, r/programming

Apple II: Launched June 10, 1977

🍎Apple Computing

dfarq.homeip.net··Hacker News

Inductive definitions

lawrencecpaulson.github.io·

Log in to enable infinite scrolling