🔄 Category Theory - scribe · Scour

Randomness extractor 📡Information Theory

en.wikipedia.org·4h

Some type constructors are tensor products 🔢Type Theory

blog.sigfpe.com·3d·Blogger

Axiomism: A Developer's Perspective on the Foundation of Reality 🌀Logic & Paradoxes

github.com·1d·Hacker News

Language is the Bridge 🗂️Data Structures

jessicatalisman.substack.com·22h·Substack

Revisiting Old Ideas 🎲Tabletop RPGs

slott56.github.io·1d

Neuro-psychologist seeking advice on studying logic 🌀Logic & Paradoxes

leiterreports.com·14h

Functionals 🔢Type Theory

Updated Part 5: Path Objects 🕸️Graph Theory

blog.idrsolutions.com·8h

Insight, I Think ... 🗂️Data Structures

ronjeffries.com·1d

Evaluating complex-valued transformers based on various architectural parameters for image classification 📡Information Theory

sciencedirect.com·11h

Coloring Code: How Compilers Use Graph Theory 🕸️Graph Theory

youtube.com·1d·Lobsters, Hacker News

Abstraction 🔢Type Theory

en.wikipedia.org·4d

📊 Patterns Everywhere: Math, Statistics, and the World Around Us 🔢Recreational Math

news.kapiolani.hawaii.edu·19h

Online Philosophy Resources Weekly Update 🌀Logic & Paradoxes

dailynous.com·2d

Table Oriented Programming (2002) 🗂️Data Structures

oocities.org·17h·Hacker News

A Language of Meaning 🔢Type Theory

reddit.com·3d·r/conlangs

Meaning: lost, or muddled by metaphysics? 🌀Logic & Paradoxes

meaningness.substack.com·2d·Substack

Interesting links 📡RSS

Proof Identity and Categorical Models of BV ∑Math

My Calculator Is a Transformer 📐Algorithms

sinclairs.gitlab.io·13h·Hacker News, r/LocalLLaMA

Sign up or log in to see more results

Log in to enable infinite scrolling