∘ Category Theory - hello · Scour

A non-semisimple Witt class

arxiv.org·1d

🧮SMT Solvers

How to Be Less Wrong in a Polycrisis

thoughtshrapnel.com·1d

💫Effect Systems

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

searchenginejournal.com·20h

rust.libhunt.com·13h

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

arxiv.org·1d

🔍Type Inference

Programming is over

quanttype.net·16h

🎭Program Synthesis

EduC++ Documentation

educplusplus.com·21h·

Discuss: r/cpp

🦀Rust Macros

Large Language Models for Mortals book

andrewpwheeler.com·2d

🌳Tree-sitter

On This Day in Math

pballew.blogspot.com·4h·

Discuss: Blogger

⏰Lamport Clocks

Functional Optics for Modern Java

blog.scottlogic.com·1d

🛡️Error Handling

kathrynschuler.com·10h

📐Linear Algebra

Why Taxonomies Matter in the AI Age

iabtechlab.com·2d

🗂Knowledge Management

Designing Polynomials Using the Sum of Gradients at the Roots

pub.towardsai.net

·19h

🔢Numerical Methods

January 2026 Retrospective: Refactoring English: Month 14

mtlynch.io·1d

🌳Tree-sitter

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·3d

λFunctional Programming

docs.modular.com·1d

🔢const Generics

cleveref post 2024 breaks references to theorems/lemmas etc

snips.bearblog.dev·6h

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·16h·

Discuss: r/C_Programming

Comment on “Evolution Operator Can Always Be Separated into the Product of Holonomy and Dynamic Operators”

link.aps.org·2h

🕐Vector Clocks

Java Inheritance

dev.to·22h·

Discuss: DEV

📐Type Theory

Sign up or log in to see more results