🔤 Type Theory

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

Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·8h
🎯Gradual Typing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Cactus Language • Stylistics 4
inquiryintoinquiry.com·10h
🌳Context free grammars
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Historical highlights?
logicmatters.net·14h
🔀Category Theory
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
A distributed systems reliability glossary
antithesis.com·11h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Connecting legibility to theory building in programming
ashwinsundar.com·9h·
Discuss: Hacker News
💻Programming languages
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4h·
Discuss: Hacker News
🎯Interactive Provers
Extensions and Shadows (6)
sites.psu.edu·1d
🎯Proof Tactics
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
A Rust Shaped Hole
mnvr.in·14h·
Discuss: Hacker News
🦀Rust Macros
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
"Ode to Advanced TypeScript", a poem by Grok
dev.to·4d·
Discuss: DEV
🎯Gradual Typing
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·11h
🦀Rust Verification
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types