Generic Reduction-Based Interpreters (Extended Version)
arxiv.orgยท8h
๐Ÿ”—Parser Combinators
Typechecker Zoo
stephendiehl.comยท3dยท
Discuss: Lobsters
๐Ÿ”Type Inference
The continuation monad: a mathematical introduction
wildonblog.wordpress.comยท14h
๐Ÿ”—Functional Compilers
Are We Teaching Rust Effectively?
blog.kodewerx.orgยท22hยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
A Lisp in 99LOC
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Lisp
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.netยท8h
โšกIncremental Computation
Functional Programming HOWTO
docs.python.orgยท15hยท
Discuss: Lobsters
๐Ÿ”—Lisp
Binary Tree BFS: Zigzag Order
mmhaskell.comยท4h
๐Ÿ”—Topological Sorting
Typechecker Zoo
sdiehl.github.ioยท2dยท
Discuss: Lobsters, r/programming
ฮปLambda Formalization
Modelling Exactly-Once Delivery Using TLA+
medium.comยท10hยท
Discuss: Hacker News
โš™๏ธTLA+
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.comยท8h
๐ŸŽฏGradual Typing
Towards Efficient Hash Maps in Functional Array Languages
arxiv.orgยท8h
๐Ÿ”—Functional Compilers
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.orgยท8h
๐Ÿ”ฎProof Search
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.comยท2h
๐ŸงฌPalindrome Codes
Unification
eli.thegreenplace.netยท5hยท
Discuss: Hacker News
๐ŸคUnification Algorithms
MCP Tools and Dependent Types
vlaaad.github.ioยท2hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Functional Analysis of Variance for Association Studies
arxiv.orgยท8h
๐ŸงฌFunctional Programming
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.beยท6h
๐ŸŒŠStream Ciphers
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.orgยท8h
๐Ÿ“ผTape Combinators
Encoding and Reasoning About Arrays in Set Theory
arxiv.orgยท8h
๐Ÿ’ปProgramming languages