🧬 Functional Programming

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

The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🐚Shell Monads
Flag this post
The Sacrilegious Coder
dev.to·7h·
Discuss: DEV
🎯Gradual Typing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
The Machine Learning Roadmap
github.com·8h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·16h
🔌Interface Evolution
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Infix Versus Prefix Operators
irreal.org·15h
🧠Lisp Dialects
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·20h·
Discuss: Substack
💻Programming languages
Flag this post
Thankful for Memory Managed Languages
mooreds.com·12h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post