🧬 Functional Programming

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

Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Item Patterns and Struct Await
noratrieb.dev·17h·
Discuss: Hacker News
🦀Rust Macros
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·1d
🛠Language Design
Open Lineage
usenix.org·19h
🔌Interface Evolution
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving
Implicit `operator bool` participates in comparison
quuxplusone.github.io·23h
🦀Rust Verification
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·2d·
Discuss: Hacker News, r/neovim
🔗Lisp
Does Go have types?
youtube.com·10h·
Discuss: r/golang
🔒Linear Types
English - the hottest programming language of the future
dev.to·6h·
Discuss: DEV
🔄Language Evolution
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·6h·
Discuss: Hacker News
📐Linear Algebra
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Umwelt
en.wikipedia.org·21h
⚙️systems theory
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming