Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data  λLambda Formalization

The pragmatic magic of semi-formal methods  ✅Formal Methods

Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis  🔤Type Theory

Algorithm based on LLMs doubles lossless data compression rates  🗜️Compression Algorithms

Bit Twiddling Hacks  🔢Bitwise Algorithms

Understanding the Hamming 'sphere packing' bound in coding theory  ⚽Sphere Packing

Creating Floppy Disc Image Files  💽Floppy disks

What the Heck is Open Metadata?  🏷️Metadata Standards

From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs  💎Information Crystallography

Binary Lambda Calculus  λLambda Encodings

UTF-8 Everywhere  🔤Unicode Normalization

GDBMiner: Mining Precise Input Grammars on Almost Any System  🔨Compilers

An overview of character encoding for developers  🔤Character Encoding

Why Does My Ripped CD Have Messed Up Track Names? and Why Is One Track Missing?  💿FLAC Archaeology

Designing better file organization around tags, not hierarchies (2017)  🌐Archive Topology