∑ Math - ghosh.debasish · Scour

Topological Field Theories and the Algebraic Structures of the Two-Sphere 🔁Category Theory

Using algebra and LLMs to verify a flight-plan bug fix in Lean ✅Formal Verification

jameshaydon.github.io·2d·Lobsters, Hacker News, r/programming

Einstein-Dirac theory in nLab 🔁Category Theory

ncatlab.org·3d

Two Researchers Are Rebuilding Mathematics From the Ground Up 🔁Category Theory

quantamagazine.org·14h

Abstract Algebra: Theory and Applications 📐Theorem Proving

twjudson.github.io·1d

The Abelian group structure of full factorial designs 🔁Category Theory

frontiersin.org·22h

Proof-reading, with a bit of help from LLMs 📊LLM Evaluation

logicmatters.net·3d

K-Theory and Characteristic Classes: A Homotopical Perspective 🔁Category Theory

link.springer.com·2d

Bending, Yanking, and Cartesian Squares in Double Categories 🔁Category Theory

bartoszmilewski.com·1d·Hacker News

≃ Calvin's Notebook 🔁Category Theory

calwoo.github.io·6d

A crash course on the OCaml module language (bobkonf2026) λFunctional Programming

cdn.media.ccc.de·1d

Combinatorial manifolds and Kleene's theorem, homotopically 🔁Category Theory

Lojban is a carefully constructed spoken language 🧠LLMs

mw.lojban.org·12h·Hacker News

System Realism: Why Math, Biology, and AI Make Perfection Impossible 🌐Distributed Systems

ksaweryskowron.substack.com·1d·Substack

Perfect Number Bomb(2025) 🔧SMT Solvers

quantumcalculus.org·6d·Hacker News

From Weyl Anomaly to Universal Defect Casimir Energy and Rényi Entropy 🌐Distributed Systems

link.aps.org·1d

Introducing Incremental 🖥️Systems Programming

blog.janestreet.com·4d·Lobsters

Hidden Patterns: Kevin Hu Navigates the Mathematics of Disordered Systems 🌐Distributed Systems

simonsfoundation.org·1d

pgrls/pgrls: Static analyzer for Postgres Row-Level Security — 36 lint rules across security, performance, and hygiene; 10 mechanically auto-fixable; semantic policy-diff for CI gating. 🌲LSM Trees

github.com·8h·Hacker News, r/PostgreSQL

[2605.21337] Multicategorical Semantics for Untyped Effects 🔁Category Theory

Log in to enable infinite scrolling