🔀 Category Theory

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

Feeds to Scour
SubscribedAll
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The Problem With Grothendieck’s Use Of Equality
hackernoon.com·4d
🔲Proof Irrelevance
Preview
Report Post
Meet TOON: A Token-First Data Format Built for AI
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·2h
🔄Language Evolution
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·1d
🔧KAITAI
Preview
Report Post
Advent of Swift
leahneukirchen.org·4h
🔗Lisp
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·2d
🎯Performance Proofs
Preview
Report Post
Frege and Philosophy at Home
dailynous.com·2d
🏛️Philosophy
Preview
Report Post
Formal Axiomatization of Advaita Vedanta in Lean 4
github.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·2d
📐Mathematical Art
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·2d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
An Intro to Large Language Models and the Transformer Architecture: Talking to a calculator
dev.to·13h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·21h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post
Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
arxiv.org·3d
🔗Combinatory Logic
Preview
Report Post
AI ALPHABITZ and AXI.
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
Ramsey, Fraïssé, and orders
cameroncounts.wordpress.com·6d
🧮Algebraic Archives
Preview
Report Post
Polymorphism, but for Your Database
typedb.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
Preview
Report Post
Microfeatures I'd like to see in more languages
buttondown.com·3d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post