🔲 Proof Irrelevance - matmat · Scour

Differential Logic • 15

inquiryintoinquiry.com·35m

⚔️Lean Theorem

SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance

cekrem.github.io·18h·

Discuss: Hacker News, r/programming

🔤Type Theory

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·18h

⚔️Lean Tactics

Lil' Fun Langs' Guts

taylor.town·1d·

Discuss: Lobsters, Hacker News, r/programming

🔗Functional Compilers

The troubles with Boolean inversion in Python

lwn.net

·3d

📐Interval Arithmetic

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·1h

🔧Hardware Verification

AI and Humans Verify Fields Medal Proof for the First Time

spectrum.ieee.org·35m·

Discuss: r/technews

🎯Performance Proofs

math.columbia.edu·2h

🎼Audio Lambda Calculus

Generic methods arrive in Golang, but they weren't the top dev demand

theregister.com·1h

⬆️Lambda Lifting

Merkle Trees 101 (Part 1): Structure, Proofs, and Real-World Uses

hackernoon.com·1h

🌳Archive Merkle Trees

11011110.github.io·2d

🕳️Persistent Homology

Solutions to Saturday Mac riddles 349

eclecticlight.co·9h

🌊Stream Ciphers

What you don't see

pentesterlab.com·1d

✅Archive Fixity

A Dynamic Survey of Soft Set Theory and Its Extensions

arxiv.org·4d

🌐Archive Topology

Parse, Don't Guess

architecture-weekly.com·1h

✅Format Verification

Gödel, slowly …

logicmatters.net·2d

λLambda Formalization

Vibecoding Challenge 2: The Five Feathers (Spring 2026)

gist.github.com·3h·

Discuss: Lobsters, Hacker News

🔗Concatenative Programming

The fundamental error that doesn't exist

ianbetteridge.com·1d

⚖️Lossy Compression Ethics

Effectful Toposes and Their Lawvere-Tierney Topologies

arxiv.org·3d

🧮Algebraic Archives

Docker Scout vs Traditional Container Scanners: Why Context Beats CVE Noise

hackernoon.com·11h

📦Container Security

Loading more...