🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·13h
📝Concrete Syntax
Cactus Language • Syntax 12
inquiryintoinquiry.com·3h
📝Concrete Syntax
derived set
ncatlab.org·4h
🧮Algebraic Archives
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·12h·
Discuss: DEV
λLambda Formalization
Hypercubical manifolds in homotopy type theory
arxiv.org·15h
🔶Cubical Type Theory
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Explaining software and computational methods
blog.khinsen.net·19h
📝Concrete Syntax
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
Godel's Incompleteness Theorem
news.ycombinator.com·2h·
Discuss: Hacker News
🔲Proof Irrelevance
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2h
🔒Linear Types
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Travels, 10
cameroncounts.wordpress.com·4h
🎯Performance Proofs
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Field Sensitive Escape Analysis in Golang?
reddit.com·14h·
Discuss: r/golang
🧠Lisp Dialects