matmat's likes

Matched interest: Binary Grammars. See more posts related to it

Grammars of Formal Uncertainty

arXivHN
Read on Scour →
Feeds
Matched interest: Isabelle. See more posts related to it

04 Jun 2025

lawrencecpaulson.github.io
Read on Scour →
Feeds
Matched interest: Proof Engineering. See more posts related to it

Formal Verification and Why I Fell in Love With It

DEV CommunityDEV
Read on Scour →
Feeds
Matched interest: Text Compression. See more posts related to it

Rationale for a Large Text Compression Benchmark (2009)

Matt Mahoney's Home PageHN
Read on Scour →
Feeds
Matched interest: Lambda Encodings. See more posts related to it

Silly job interview questions in Haskell

chrispenner.caHN
Read on Scour →
Feeds
Matched interest: Lambda Formalization. See more posts related to it

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

Artyom Bologovr/programming
Read on Scour →
Feeds
Matched interest: Formal Methods. See more posts related to it

The pragmatic magic of semi-formal methods

antithesis.comHN6 min read
Read on Scour →
Feeds
Matched interest: Type Theory. See more posts related to it

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

cacm.acm.org
Read on Scour →
Feeds
Matched interest: Compression Algorithms. See more posts related to it

Algorithm based on LLMs doubles lossless data compression rates

Tech Xplore
Read on Scour →
Feeds
Matched interest: Bitwise Algorithms. See more posts related to it

Bit Twiddling Hacks

graphics.stanford.eduHNCovered by5
Read on Scour →
Feeds
Matched interest: Sphere Packing. See more posts related to it

Understanding the Hamming 'sphere packing' bound in coding theory

Kevin Boone's website
Read on Scour →
Feeds
Matched interest: Floppy disks. See more posts related to it

Creating Floppy Disc Image Files

blog.laufeyjarson.com
Read on Scour →
Feeds
Matched interest: Metadata Standards. See more posts related to it

What the Heck is Open Metadata?

HackerNoon
Read on Scour →
Feeds
Matched interest: Information Crystallography. See more posts related to it

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

bitmath.blogspot.comHN
Read on Scour →
Feeds
Matched interest: Lambda Encodings. See more posts related to it

Binary Lambda Calculus

gist.github.comHN
Read on Scour →
Feeds
Matched interest: Unicode Normalization. See more posts related to it

UTF-8 Everywhere

utf8everywhere.orgHNCovered by2
Read on Scour →
Feeds
Matched interest: Compilers. See more posts related to it

GDBMiner: Mining Precise Input Grammars on Almost Any System

drops.dagstuhl.deHN
Read on Scour →
Feeds
Matched interest: Character Encoding. See more posts related to it

An overview of character encoding for developers

Kevin Boone's website
Read on Scour →
Feeds
Matched interest: FLAC Archaeology. See more posts related to it

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

akpain.netHN2
Read on Scour →
Feeds
Matched interest: Archive Topology. See more posts related to it

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

nayuki.ioHN
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help