🔣 Category Theory - c13e · Scour

applications of (higher) category theory in nLab 🔢Type Theory

ncatlab.org·4d

Transformations, functors, categories λFunctional Programming

muratkasimov.art·1d·r/functionalprogramming

Relation morphisms of directed graphs 📐Formal Methods

Evaluative AI and Semantic Topology 🧠Local AI

gsnv.substack.com·5h·Substack

Topology-driven classification of time series 🧠Local AI

biorxiv.org·1d

Profunctor Equipment 🧩Prolog

bartoszmilewski.com·6d·Hacker News

streqvmap (3) Linux Manual Page ↩️Continuations

systutorials.com·8h

Topology driven magnetic memory of ${\mathrm{OsB}}_{2}$ surface states ⚙️Systems Programming

link.aps.org·6h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🐫OCaml

pocketcasts.com·2d·Hacker News

Baseball faces Northern Colorado at Jackson Field 🧠Local AI

Dallas Wings have 2 preseason games, Thursday and Sunday 🔤New Languages

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

swingtradesystems.com·3d

[ASAP] MolCrysKit: A Topology-Aware Toolkit for Bridging Experimental Molecular-Crystal Structures and Simulation-Ready Modeling 🗃️PKM

Ultrahigh-holmium carbon dots enable single-element-mediated dual-modality CT/MR imaging in vivo 💧Elixir

sciencedirect.com·7h

Novel Knotted Solenoid fold with order-shifted coil arrangement leads to nontrivial 31 topology 🔤New Languages

lacan's development of non-metaphorical topology 🔢Type Theory

notes.pinboard.in·3d

Announcing runZero 4.9: Unmask attack paths and segmentation gaps with advanced topology and deep OT device intelligence ⚗️BEAM Ecosystem

runzero.com·14h

Spatiotemporally localized optical links and knots ⚗️BEAM Ecosystem

Yankees OF Jasson Dominguez heads for CT scan on elbow 🧠Local AI

deadspin.com·5h

Clinical AI company Aidoc snags $150M in new funding 🤖AI Engineering

·9h

Log in to enable infinite scrolling