๐Ÿ”€ Category Theory

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

Feeds to Scour
SubscribedAll
Scoured 11534 posts in 1.07 s
Some Lean Syntax for Knuckledragger
philipzucker.comยท1d
๐Ÿง Lisp Dialects
Preview
Report Post
Sign Relations โ€ข Definition
inquiryintoinquiry.comยท1d
๐Ÿ”Archive Semantics
Preview
Report Post
Mathematics of natural intelligence
arxiv.orgยท21h
๐Ÿ”ฒCellular Automata
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.comยท18hยท
Discuss: Hacker News
๐Ÿ”ฌLean
Preview
Report Post
Copy-on-write teaches you EVERYTHING about Swift Internals ๐Ÿฎ
blog.jacobstechtavern.com
ยท10h
๐Ÿ”—Functional Compilers
Preview
Report Post
The Problem With Grothendieckโ€™s Use Of Equality
hackernoon.comยท5d
๐Ÿ”ฒProof Irrelevance
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.orgยท1d
๐Ÿ”„Language Evolution
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dkยท10h
โš–๏ธHoare Logic
Preview
Report Post
Why Regex Fails at Google Taxonomy: Building a 98% Accurate RAG Agent
dev.toยท19hยท
Discuss: DEV
๐Ÿ”RegEx Engines
Preview
Report Post
How Transformers Think: The Information Flow That Makes Language Models Work
kdnuggets.comยท11h
๐ŸŒฒParse Trees
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.deยท2d
๐Ÿ”งKAITAI
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.netยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.orgยท21h
โฌ†๏ธLambda Lifting
Preview
Report Post
Advent of Swift
leahneukirchen.orgยท1d
๐Ÿ”—Lisp
Preview
Report Post
Frege and Philosophy at Home
dailynous.comยท3d
๐Ÿ›๏ธPhilosophy
Preview
Report Post
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.orgยท21h
ฮปLambda Encodings
Preview
Report Post
Mining Legal Arguments to Study Judicial Formalism
arxiv.orgยท21h
๐ŸงฎTheorem Proving
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.orgยท3d
๐Ÿ“Mathematical Art
Preview
Report Post
Fully Inductive Node Representation Learning via Graph View Transformation
arxiv.orgยท21h
๐Ÿ•ธ๏ธGraph Embeddings
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.comยท6d
๐ŸงฎTheorem Proving
Preview
Report Post