🔤 Type Theory

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

What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·11h
🧮Kolmogorov Bounds
Scheme Basics
courses.cs.washington.edu·3d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
The Baby Paradox in Haskell
blog.jle.im·4d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·9h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Simpler Category Theory
ryanbrewer.dev·5d·
Discuss: Hacker News
🔀Category Theory
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·3h
🎯Performance Proofs
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·4h·
Discuss: r/kubernetes
📦Container Security
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·11h·
Discuss: Hacker News
⚡Proof Automation
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·18h·
Discuss: Hacker News
💾Binary Linguistics
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·7h·
Discuss: Hacker News
🔱Galois Cryptography
Fun OCaml 2025
fun-ocaml.com·2d·
Discuss: Hacker News
🧬Functional Programming
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Builder Pattern in CDK
medium.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Nullable vs. Nullable in C#
einarwh.no·7h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification