🔗 Category Theory - abnv · Scour

abelianization of an additive category in nLab

ncatlab.org·4h

🧩Monadic Parsing

Unification of Deterministic Higher-Order Patterns

arxiv.org·15h

🔗Unification Algorithms

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

freederia.com·1d

🧮Combinator Calculus

Kolmogorov Complexity

en.wikipedia.org·8h·

Discuss: Hacker News

λLambda Calculus

Reflexive graph lenses in univalent foundations

arxiv.org·15h

🔍Lens Libraries

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

dev.to·7h·

Discuss: DEV

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

🧮Linear Algebra

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·3h·

Discuss: Hacker News

📋Souffle Datalog

Calculus Made Easy

calculusmadeeasy.org·5h

Binary Algorithms

exystence.net·20h

📡Binary Protocols

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

Generalized Statistics on Lattices

link.aps.org·13h

🔶Lattice Theory

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·21h

🌲Deforestation

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

medium.com·4h·

Discuss: Hacker News

🪢Rope Data Structures

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·8h

🏗️Cranelift

Designing Boring Software with Functional Programming

agentultra.com·18h

🪞Homoiconicity

On Learning Elixir

denvaar.dev·17h

🚂Error Propagation

arvatamas/The-Cosmic-Mirror: An experiment in emergent structure: from simple rules to geometry-like behavior.

github.com·1h·

Discuss: Hacker News

♾️Codata Types

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·2h·

Discuss: r/cpp

🦀MIR Optimization

Loading more...