∘ Category Theory - hello · Scour

abelianization of an additive category in nLab

ncatlab.org·13h

📐Type Theory

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·1d

🔍Type Inference

**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...

freederia.com·2d

🔀Topological Sorting

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

Taxonomies and Thesauri Catalog

jessicatalisman.substack.com·4h·

Discuss: Substack

🏗️Information Architecture

Making a Language

thunderseethe.dev·7h

🔨Compiler Design

Calculus Made Easy

calculusmadeeasy.org·14h

📐Type Theory

Topological order and fractons from gauging exponential symmetries

link.aps.org·21h

🔢Homomorphic Encryption

Get To Grips With Transformers And LLMs

i-programmer.info·1d·

Discuss: Hacker News, r/programming

💬Prompt Engineering

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·17h

🦀Rust Macros

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

📐Linear Algebra

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·16h·

Discuss: DEV

🧮Vector Databases

Dynamical Systems Analysis Reveals Functional Regimes in Large Language Models

arxiv.org·1d

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

📊HyperLogLog

To Combat The Entirety Of Metaphysics In One Sentance

mason.bearblog.dev·1h

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

⏰Lamport Clocks

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structure

Uncovering the molecular logic of cortical wiring between neuronal subtypes across development through ligand–receptor inference

nature.com·4h

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·17h

🔬Static Analysis

Binary Algorithms

exystence.net·1d

⏭️Skip Lists

Loading more...