∑ Math - buckman · Scour

applications of (higher) category theory in nLab 🔤Tokenization

ncatlab.org·1d

Mathematical Understanding 📐Mathematics

philsci-archive.pitt.edu·3d

Simplifier 🔍Binary Diffing

simplifier.neocities.org·18h

Crash Course on Notation in Programming Language Theory 🔍Static Analysis

siek.blogspot.com·1h·r/programming

What are covering spaces in algebraic geometry? (Pt II: Finite etale covering spaces) 🔍Static Analysis

ayoucis.wordpress.com·1d

SEXUATED TOPOLOGY AND THE SUSPENSION OF MEANING A NON-HERMENEUTICAL PHENOMENOLOGICAL APPROACH TO TEXTUAL ANALYSIS WILLIAM J. URBAN 💬Philosophy of Language

swingtradesystems.com·12h

Algebra of Contexts 🧠Context Engineering

neurons-me.github.io·6d·r/programming

Parabolas, Tangents, and the Wallace-Simson Line 📐Mathematics

pballew.blogspot.com·10h·Blogger

Readings for the geometry of linear equations 📐Linear Algebra

breno.bearblog.dev·2d

Sum-Check as an Algebraic Tensor Reduction: Part 1 🌊Stream Ciphers

blog.zksecurity.xyz·8h·Hacker News

Generalised plusequals 🔍Binary Diffing

leontrolski.github.io·2d·Hacker News

The monstrous number sequences that break the rules of mathematics 🔢Combinatorics

newscientist.com·3d·Hacker News

Geometry Problems of the Day (Geometry Regents, August 2025 Part IV) 📐Mathematics

mrburkemath.blogspot.com·22h·Blogger

Mathematics and Empiricism ∞Philosophy of Math

lesswrong.com·2d

Show HN: Logic Designer ✍️Prompt Engineering

logic-designer.github.io·17h·Hacker News

Profunctor Equipment 🔤Tokenization

bartoszmilewski.com·3d·Hacker News

The Archic Matrix 🏺Computational Archaeology

ottobwiersma.nl·1d

Abstraction 💬Philosophy of Language

en.wikipedia.org·1d

Morphisms 💬Philosophy of Language

nick-black.com·5d

Mathsci-comm Network 🕸️Network Topology

mathsci-comm.maths.org·2d

Log in to enable infinite scrolling