🔲 Proof Irrelevance - matmat · Scour

What F# Knows About Functors and What Comes Next

dev.to·1d·

Discuss: DEV

💻Programming languages

Semantic Deception: When Reasoning Models Can't Compute an Addition

arxiv.org·2d

📏Linear Logic

unintentional type theory in nLab

ncatlab.org·3d·

Discuss: Hacker News

🔤Type Theory

GHC 9.12.3 is now available

haskell.org·1d

💧Liquidhaskell

Algebraic Topology 1: Homotopy Equivalence

youtube.com·11h

🕸️Algebraic Topology

Resolving Names Once and for All

thunderseethe.dev·1d·

Discuss: r/programming

⬆️Lambda Lifting

JavaScript vs Go: A Deep Dive into Syntax and Philosophy

dev.to·7h·

Discuss: DEV

🔗Concatenative Programming

Port of Statistical Rethinking (2nd edition) code to Julia

shmuma.github.io·5h·

Discuss: Hacker News

λLambda Formalization

Klein bottle: from intuition to rigor

johndcook.com·15h

📐Mathematical Art

Unknown Knowns: Five Ideas You Can't Unsee

linch.substack.com·1d·

Discuss: Substack

⚔️Lean Theorem

Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm

blog.can.ac·3d

🤝Paxos Consensus

The Case for Snake Case: A Kolmogorov Complexity Argument

modulovalue.com·1d·

Discuss: Hacker News

λLambda Encodings

flyspeck/flyspeck: The formal proof of the Kepler conjecture

github.com·11h·

Discuss: Hacker News

λLambda Formalization

Why have lower bounds on generics?

blog.jez.io·4d

🧮Algebraic Datatypes

From Zero to QED: An informal introduction to formality in Lean 4

sdiehl.github.io·1d

git rebase (Al Viro; Linus Torvalds; Theodore Tso)

yarchive.net·1d

🌳Git Internals

On (and Contra) Chalmers on LLM Interlocutors

benjamincongdon.me·20h

🔲Cellular Automata

A Validated Semantics for LLVM IR

sf.snu.ac.kr·14h

✅Formal Methods

Demystifying Fuzzer Behaviour (39c3)

cdn.media.ccc.de·11h

An Inequality Union Find Inspired by Atomic Asymmetric Completion

philipzucker.com·6d

🤝Unification Algorithms

Loading more...