∘ Category Theory - hello · Scour

A non-semisimple Witt class

arxiv.org·1d

🧮SMT Solvers

The Classifier Layer: Spam, Safety, Intent, Trust Stand Between You And The Answer via @sejournal, @DuaneForrester

searchenginejournal.com·17h

rust.libhunt.com·10h

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

arxiv.org·1d

🔍Type Inference

Python In Easy Steps, 3rd Ed (In Easy Steps)

i-programmer.info·1d

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·2d·

Discuss: Hacker News

🧮Algebraic Effects

Programming is over

quanttype.net·13h

🎭Program Synthesis

🔬Science at the speed of inference — Gabriele Corso & Jeremy Wohlwend, Boltz

latent.space·1d

🧬Computational Biology

Functional Optics for Modern Java

blog.scottlogic.com·1d

🛡️Error Handling

Carnival of Maths 248

aperiodical.com·1d

📐Linear Algebra

Why Taxonomies Matter in the AI Age

iabtechlab.com·2d

🗂Knowledge Management

Lexer, Parser, Codegen

github.com·1h·

Discuss: DEV

v6 (Code 2 here) — Most complete architecture. This version is faster than my old v5, statistically correct, has all the advanced psychology/network features, and produces stunning visualizations

gist.github.com·13h·

Discuss: r/C_Programming

kathrynschuler.com·7h

📐Linear Algebra

January 2026 Retrospective: Refactoring English: Month 14

mtlynch.io·1d

🌳Tree-sitter

Designing Polynomials Using the Sum of Gradients at the Roots

pub.towardsai.net

·17h

🔢Numerical Methods

AI uncovers solutions to Erdős problems, moving closer to transforming math

scientificamerican.com

·10h

Python to Clojure: A Gentle Guide for Pythonistas

dev.to·23h·

Discuss: DEV

Large Language Models for Mortals book

andrewpwheeler.com·1d

🌳Tree-sitter

docs.modular.com·1d

🔢const Generics

Sign up or log in to see more results