🔲 Proof Irrelevance - matmat · Scour

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward L\"owenheim-Skolem Theorem

arxiv.org·1d

🏗️Constructive Mathematics

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

🧮Kolmogorov Complexity

Hint-Based SMT Proof Reconstruction

arxiv.org·3h

🧮SMT Solvers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔧Binary Parsing

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔬Logic in Computer Science

Logic Puzzle with Poison Pill

dev.to·1d·

Discuss: DEV

🔮Proof Search

So You Thought You Knew Everything About Equilateral Triangles, Expanded Version

pballew.blogspot.com·1h·

Discuss: Blogger

📐Mathematical Art

abelianization of an additive category in nLab

ncatlab.org·16h

🧮Algebraic Archives

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·4h

🔓Reverse engineering

Dealing with alternatives

jemarch.net·1d

🔧Binary Parsing

Gauss is Not Mocked

notstatschat.rbind.io·8h

🔍Concolic Testing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·16h·

Discuss: Hacker News

🤝Unification Algorithms

Alexis King’s Blog

lexi-lambda.github.io·2d

🎯Gradual Typing

Ditching Dualism #9: Reductionism

dothemath.ucsd.edu·1d

Get Closer So I Can Hear the Birds

terratauri.com·11h·

Discuss: Hacker News

✅FLAC Verification

Type-Safe Routing Without the Build Step

werkbank.dev·14h·

Discuss: Hacker News

✅Format Verification

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🧠Machine Learning

Making a Language

thunderseethe.dev·10h

🛠Language Design

Loading more...