🔀 Category Theory

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

Simpler Category Theory
ryanbrewer.dev·4d·
Discuss: Hacker News
🔤Type Theory
Typeclassopedia
wiki.haskell.org·9h·
Discuss: Hacker News
🧬Functional Programming
Song recommendations with F# free monads
blog.ploeh.dk·5h
🔗Functional Compilers
My Journey with Sentence Transformers, OpenAI Embeddings, and Vector Databases
dev.to·3h·
Discuss: DEV
🗂️Vector Databases
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·1d
🔗Combinatory Logic
CL-JSON Ambiguity
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧠Lisp Dialects
Academic Philosophy - My quixotic quest
notes.billmill.org·10h
🏛️Philosophy
Sets & Heaps in Haskell and Rust
mmhaskell.com·3h
🔒Type Safety
Fox pairing
ncatlab.org·2d
🔱Galois Theory
Format as a Prior: Quantifying and Analyzing Bias in LLMs for Heterogeneous Data
arxiv.org·8h
🧠Machine Learning
What is a smooth manifold?
burttotaro.wordpress.com·3d
🕸️Algebraic Topology
Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·23h
🌀Differential Geometry
Lobsters Interview with Matklad
lobste.rs·2d·
Discuss: Lobsters
🦀Rust Macros
LLMs and the Russellian Inversion
philosophicalhacker.com·1d·
Discuss: Hacker News
💻Programming languages
Thinking Across Languages
hedgehogreview.com·19h·
Discuss: Hacker News
🏛️Philosophy
Fun OCaml 2025
fun-ocaml.com·1d·
Discuss: Hacker News
🧬Functional Programming
Legal Doublet (Wikipedia)
en.wikipedia.org·13h·
Discuss: Hacker News
📜Text Collation
Meson 1.9 Released With New Rust Features, Adds Swift/C++ Interoperability
phoronix.com·1h
🦀Rust Borrowing
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
🦀Rust Borrowing
Capture Checking in Scala
nrinaudo.github.io·7h·
Discuss: Hacker News
🧪Binary Fuzzing