🔣 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

Topology-driven classification of time series 🧠Local AI

biorxiv.org·23h

Essay: Topological Phases and Exceptional Points in Non-Hermitian Systems 🔢Type Theory

link.aps.org·2d

Profunctor Equipment 🧩Prolog

bartoszmilewski.com·6d·Hacker News

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

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

pocketcasts.com·2d·Hacker News

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

runzero.com·4h

Spatiotemporally localized optical links and knots ⚗️BEAM Ecosystem

nature.com·15h

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

Aidoc, which provides AI medical imaging software to flag incidental findings on CT scans and X-rays, raised a $150M Series E, taking its total funding to $520M... ⚗️BEAM Ecosystem

techmeme.com·23h

CT House delays electric bus mandates, eases diesel purchase ban 🔀CRDTs

hartfordbusiness.com·4h

Occasional paper: Blue Angels, Devil Hands 🗃️PKM

crookedtimber.org·2d

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

notes.pinboard.in·3d

Corrigendum to “CT-based material distribution analysis and correlation with residual stress distribution in heterogeneous composite structure fabricated via ad... 🕸️WebAssembly

sciencedirect.com·21h

삼엽충은 어떻게 숨을 쉴까? 🗣️Linguistics

blog.naver.com·1d

Corsair Vengeance CMK32GX5M2E6000Z36 32gb (2 x 16gb) DDR5 6000Mhz CL 36 (36-44-44-96) Expo/XMP memory kit - $249.99+tax after coupon at Woot ⚙️Systems Programming

forums.anandtech.com·23h

Topology-Driven Symbolic Verification of Post-Quantum Migration Paths Using Tamarin Prover 📐Formal Methods

eprint.iacr.org·3d

Log in to enable infinite scrolling