📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·21h
🧮Programming Language Theory
Show HN: List of Clojure-Like projects
github.com·12h·
Discuss: Hacker News
🔧Compiler Design
Lobsters Interview with Icefox
lobste.rs·15h·
Discuss: Lobsters
🔧Compiler Design
True names matter in C++
quuxplusone.github.io·1d
🧮Programming Language Theory
Lesson 1: Variables and Data Types — The “Basic Elements” of Programming
dev.to·6h·
Discuss: DEV
🧮Programming Language Theory
Seed7: a programming language I plan to work on for decades
reddit.com·12m·
Discuss: r/programming
📝Lisp
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Chromahack, a programming language
blog.libove.org·11h
🔧Compiler Design
OSE: The End of Programming Language Silos?
dev.to·23h·
Discuss: DEV
🔧Compiler Design
Issue 483
haskellweekly.news·1d
⚙Functional Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Parallel Programming Models
ayushgundawar.me·2h·
Discuss: Hacker News
🏗Computer Architecture
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·2d
🧮Programming Language Theory
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
⚙Functional Programming
🐥 Elixir Anti-Patterns
yellowduck.be·15h
⚙Functional Programming
Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·1d
⚙Functional Programming
Understanding Sized, Copy, and Clone Traits
dev.to·1d·
Discuss: DEV
🦀Rust
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·4d·
Discuss: Hacker News
📝Lisp