🔀 Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

(Weak) Factorization Systems
bartoszmilewski.com·21h·
Discuss: Hacker News
λLambda Encodings
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·2d
🧮Algebraic Archives
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·18h
🔤Type Theory
Open problems in topos theory
ncatlab.org·2d
🕸️Algebraic Topology
clj-coll: Clojure collections and sequences in Common Lisp
github.com·18h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
category theory emergency? dial 00よ, now!
thalescircles.tumblr.com·12h
λLambda Formalization
Formal specs as sets of behaviors
surfingcomplexity.blog·10h
✅Formal Methods
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·20h
⚔️Lean Theorem
How to draw lambda diagrams (2020)
risingentropy.com·1d·
Discuss: Hacker News
λLambda Formalization
Why MIT switched from Scheme to Python (2009) | Hacker News
news.ycombinator.com·1h·
Discuss: Hacker News
💻CS
What is Machine Learning?
dev.to·8h·
Discuss: DEV
🧠Machine Learning
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·1d
🧮Algebraic Datatypes
Joy & Curiosity #47
registerspill.thorstenball.com·2h
🌀Brotli Internals
Thinking of an Animal: the classic guessing game
thepottshouse.org·6h·
Discuss: Hacker News
🔲Cellular Automata
Monads as Graphs (2019)
neilmitchell.blogspot.com·4d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Algebra Problems of the Day (Algebra Regents, June 2025 Part II)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
📐Linear Algebra
Double operadic theory of systems (DOTS) — lecture series
youtube.com·3d
🔲Cellular Automata
Finding entities with given uuids in the current project
mbork.pl·1d
🗄️Database Internals
Stop Paying for Free Monads • Mark Hopkins • YOW! 2016
youtube.com·5d
🧮Algebraic Archives
Runtime over Syntax
devpoga.org·3h·
Discuss: Hacker News
🧩WASM Components