📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2h·
Discuss: Lobsters, Hacker News
📝Lisp
A Library Approach to Constant Template Parameters
brevzin.github.io·49m·
Discuss: Hacker News
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🧮Programming Language Theory
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Show HN: List of Clojure-Like projects
github.com·18h·
Discuss: Hacker News
🔧Compiler Design
Lobsters Interview with Icefox
lobste.rs·21h·
Discuss: Lobsters
🔧Compiler Design
True names matter in C++
quuxplusone.github.io·1d
🧮Programming Language Theory
Seed7: a programming language I plan to work on for decades
reddit.com·6h·
Discuss: r/programming
📝Lisp
OSE: The End of Programming Language Silos?
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Chromahack, a programming language
blog.libove.org·18h
🔧Compiler Design
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔢Mathematical Logic
Parallel Programming Models
ayushgundawar.me·8h·
Discuss: Hacker News
🏗Computer Architecture
Critique my Portfolio/Resume page
maraket.github.io·3h·
Discuss: r/webdev
🧮Programming Language Theory
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·2d
🧮Programming Language Theory
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·4h·
Discuss: Hacker News
🔗Parser Combinators
Issue 483
haskellweekly.news·2d
⚙Functional Programming
Symbolic-numeric programming in scientific computing
dspace.mit.edu·3d
⚙Functional Programming
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·6h
🎲Probabilistic Programming
🐥 Elixir Anti-Patterns
yellowduck.be·21h
⚙Functional Programming