2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Exploring High Efficiency Web Analysis Results（1750584977764000）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
Is Mathematics Mostly Chaos or Mostly Order?
quantamagazine.org·1d·
Discuss: Hacker News
🔲Proof Irrelevance
AI learns math reasoning by playing Snake and Tetris-like games rather than using math datasets
the-decoder.com·39m
🔲Cellular Automata
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
How the Universe and Its Mirrored Version Are Different
wired.com·23m
🔲Proof Irrelevance
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
🔬Lean
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Boolean Blindness
existentialtype.wordpress.com·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
Amplitudes 2025 This Week
4gravitons.com·1d
🌀Differential Geometry
A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
arxiv.org·5d
🔗Combinatory Logic
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
Struggling with lambda functions? Learn them in 3 easy steps.
dev.to·15h·
Discuss: DEV
λLambda Formalization
Cracovians: The Twisted Twins of Matrices
marcinciura.wordpress.com·1d·
Discuss: Hacker News
📐Linear Algebra