🔄 Category Theory - scribe · Scour

applications of (higher) category theory in nLab ∑Math

ncatlab.org·4d

Transformations, functors, categories 🔢Type Theory

muratkasimov.art·1d·r/functionalprogramming

Full Definability in a Profunctorial Model ∑Math

Issue 649 🔢Type Theory

datascienceweekly.substack.com·5h·Substack

Borromean Rings: Chance and Complementarity, Homology and Archetype, Analogy and Prototype. ∑Math

philsci-archive.pitt.edu·2d

Animated Logical Graphs • 1 🌀Logic & Paradoxes

stream.syscoi.com·11h

Profunctor Equipment ∑Math

bartoszmilewski.com·6d·Hacker News

Issue 522 🔢Type Theory

haskellweekly.news·18h

Document type inference 🔢Type Theory

The Mutable Value Semantics (MVS): A Non-Superficial Study 🦀Rust

federicobruzzone.github.io·5h·Hacker News

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 🌀Logic & Paradoxes

philarchive.org·14h·Hacker News

VO: The Vaccine Ontology 🔢Type Theory

The Case Against Geometric Algebra ∑Math

alexkritchevsky.com·2d

What are covering spaces in algebraic geometry? (Pt II: Finite etale covering spaces) 🔢Type Theory

ayoucis.wordpress.com·4d

Lectures on history of programming languages 🔢Type Theory

lobste.rs·16h·Lobsters

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🧩Cellular Automata

lispy-gopher-show.itch.io·2d

On pgvectorscale, and Hybrid Search Without an Elasticsearch Sidecar 🧑‍💻Computer Science

thebuild.com·4h

A Grounded Conceptual Model for Ownership Types in Rust 🦀Rust

dl.acm.org·21h·Lobsters

SEXUATED TOPOLOGY AND THE SUSPENSION OF MEANING A NON-HERMENEUTICAL PHENOMENOLOGICAL APPROACH TO TEXTUAL ANALYSIS WILLIAM J. URBAN 🔢Type Theory

swingtradesystems.com·3d

std::find_if (3) Linux Manual Page 🔢Type Theory

systutorials.com·1d

Log in to enable infinite scrolling