🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Explaining software and computational methods
blog.khinsen.net·16h
📝Concrete Syntax
Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·1h·
Discuss: Substack
🦀Rust Macros
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·6h·
Discuss: Hacker News, r/programming
🔗Lisp
daily quizzz
dev.to·3h·
Discuss: DEV
λLambda Encodings
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·20h·
Discuss: DEV
🔗Concatenative Programming
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·15h·
Discuss: Hacker News
🦀Rust Macros
Using PhantomData and Zero-Sized Types
dev.to·1h·
Discuss: DEV
🔒Type Safety
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Threaded Code
muforth.dev·5h·
Discuss: Hacker News
🦀Rust Macros
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·9h·
Discuss: DEV
λLambda Formalization
What Is "Modern" Programming?
lemire.me·4h·
Discuss: Hacker News
💧Liquid Types
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·9h
⬆️Lambda Lifting
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·8h·
Discuss: DEV
⚡Performance Tools