🎯 Type Theory

Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🐪OCaml
Algebraic Types are not Scary
blog.aiono.dev·9h·
Discuss: Lobsters, Hacker News
✅Type Checking
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·55m·
Discuss: Hacker News
🔗Lexical Scoping
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·23h·
Discuss: Hacker News
⚡functional programming
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
The Hierarchical Morphotope Classification: A Theory-Driven Framework for Large-Scale Analysis of Built Form
arxiv.org·15h
🔍Lens Libraries
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·4h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·4h·
Discuss: Hacker News
📚Self-Documenting Code
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🎭Racket Modules
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🚶Tree-walking
ECMAScript TC39 proposal-pattern-matching
github.com·5h·
Discuss: Hacker News
🎯Pattern Matching
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·22h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
What Does -> Mean in Python Function Definitions?
realpython.com·5h
🌊Gradual Typing
Death to Type Classes
jappie.me·3d·
Discuss: Hacker News
🐪OCaml
New C++ Conference Videos Released This Month - September 2025
reddit.com·2h·
Discuss: r/cpp
🎓Teaching Compilers
[ Dialectics, Complexity & the Processual ]
threadreaderapp.com·1d
💫Effect Systems