📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The power of C++26 reflection: first class existentials
reddit.com·13h·
Discuss: r/cpp
🧮Programming Language Theory
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔄Category Theory
Scheme Basics
courses.cs.washington.edu·3h·
Discuss: Hacker News, Hacker News
📝Lisp
Lobsters Interview with Matklad
lobste.rs·2h·
Discuss: Lobsters
🔧Compiler Design
The Baby Paradox in Haskell
blog.jle.im·23h·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
🧮Programming Language Theory
Stemming -- The Evolution and Current State with a Focus on Bangla
arxiv.org·12h
🧮Programming Language Theory
the core of rust
jyn.dev·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·1d
⚙Functional Programming
Making Illegal States Unrepresentable in Kotlin
dev.to·1d·
Discuss: DEV
⚙Functional Programming
An Update on Pytype
github.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Contrasting Data and Objects (2018)
tedinski.com·1d·
Discuss: Hacker News
⚙Functional Programming
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Exhaustive Switch Expressions in TypeScript
replo.computer·2d·
Discuss: Hacker News, r/typescript
🧮Programming Language Theory
Racket 8.18 Released
blog.racket-lang.org·7h·
Discuss: Hacker News
🧮Programming Language Theory
Icepath: a 2D Programming Language
healeycodes.com·16h·
Discuss: Hacker News
🧫Cellular Automata
Observability at scale
antithesis.com·4h
🎲Probabilistic Programming
Learning Through Doing: From one language to another
blog.scottlogic.com·16h
🦀Rust
Switch Statements
learn.microsoft.com·1d·
Discuss: DEV
⚙Functional Programming
A practical introduction to parsing in Rust
jhwlr.io·3d·
Discuss: r/rust
🔧Compiler Design