🔀 Category Theory

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

Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·27m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
And the other Big Red Logic Books?
logicmatters.net·3d
🔬Lean
Python Fundamentals: any
dev.to·22h·
Discuss: DEV
💧Liquid Types
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Begin Blog Experiment of No Tags and Only 8 Categories
wisdomandwonder.com·1h
🔗Online Curation
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Professional Update
math.columbia.edu·1h
🧮Theoretical Computer Science
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Graphs With Polarities (Part 6)
johncarlosbaez.wordpress.com·2d
📈Spectral Graph Theory
I wrote my PhD Thesis in Typst
fransskarman.com·13m·
Discuss: Lobsters
📝Concrete Syntax
Grelling–Nelson Paradox
en.wikipedia.org·2d·
Discuss: Hacker News
🔲Proof Irrelevance
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
How to market Haskell to a mainstream programmer
wadler.blogspot.com·1d·
Discuss: www.blogger.com
🧬Functional Programming
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Discover C++26’s compile-time reflection
lemire.me·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics