matmat's Likes

Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data
aartaka.me·8w·
Discuss: r/programming
λLambda Formalization
The pragmatic magic of semi-formal methods
antithesis.com·8w·
Discuss: Hacker News
✅Formal Methods
Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis
cacm.acm.org·6w
🔤Type Theory
Algorithm based on LLMs doubles lossless data compression rates
techxplore.com·9w
🗜️Compression Algorithms
Bit Twiddling Hacks
graphics.stanford.edu·8w
🔢Bitwise Algorithms
Understanding the Hamming 'sphere packing' bound in coding theory
kevinboone.me·7w
⚽Sphere Packing
Creating Floppy Disc Image Files
blog.laufeyjarson.com·8w
💽Floppy disks
What the Heck is Open Metadata?
hackernoon.com·8w
🏷️Metadata Standards
From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs
bitmath.blogspot.com·5w·
Discuss: Hacker News
💎Information Crystallography
Binary Lambda Calculus
gist.github.com·5w·
Discuss: Lobsters, Hacker News, r/programming
λLambda Encodings
UTF-8 Everywhere
utf8everywhere.org·9w·
Discuss: Hacker News
🔤Unicode Normalization
GDBMiner: Mining Precise Input Grammars on Almost Any System
drops.dagstuhl.de·5w·
Discuss: Hacker News
🔨Compilers
An overview of character encoding for developers
kevinboone.me·7w
🔤Character Encoding
Why Does My Ripped CD Have Messed Up Track Names? and Why Is One Track Missing?
akpain.net·5w·
Discuss: Hacker News, Hacker News
💿FLAC Archaeology
Designing better file organization around tags, not hierarchies (2017)
nayuki.io·6w·
Discuss: Hacker News, r/programming
🌐Archive Topology