matmat's Likes · Scour

matmat's Likes

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

aartaka.me·38w·

Discuss: r/programming

λLambda Formalization

The pragmatic magic of semi-formal methods

antithesis.com·38w·

Discuss: Hacker News

✅Formal Methods

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

cacm.acm.org·36w

🔤Type Theory

Algorithm based on LLMs doubles lossless data compression rates

techxplore.com·38w

🗜️Compression Algorithms

Bit Twiddling Hacks

graphics.stanford.edu·38w

🔢Bitwise Algorithms

Understanding the Hamming 'sphere packing' bound in coding theory

kevinboone.me·37w

⚽Sphere Packing

Creating Floppy Disc Image Files

blog.laufeyjarson.com·37w

💽Floppy disks

What the Heck is Open Metadata?

hackernoon.com·37w

🏷️Metadata Standards

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

bitmath.blogspot.com·35w·

Discuss: Hacker News

🔢Bitwise Algorithms

Binary Lambda Calculus

gist.github.com·35w·

Discuss: Lobsters, Hacker News, r/programming

λLambda Encodings

UTF-8 Everywhere

utf8everywhere.org·38w·

Discuss: Hacker News

🔤Unicode Normalization

GDBMiner: Mining Precise Input Grammars on Almost Any System

drops.dagstuhl.de·35w·

Discuss: Hacker News

An overview of character encoding for developers

kevinboone.me·37w

🔤Character Encoding

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

akpain.net·35w·

Discuss: Hacker News, Hacker News

💿FLAC Archaeology

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

nayuki.io·35w·

Discuss: Hacker News, r/programming

🌐Archive Topology