∘ Category Theory - hello · Scour

[2602.07604] Free fibrations, lax colimits and Kan extensions for $(infty,2)$-categories

arxiv.org·2d

📐Type Theory

Generalized Decidability via Brouwer Trees

arxiv.org·22h

🧮SMT Solvers

How to Be Less Wrong in a Polycrisis

thoughtshrapnel.com·20h

💫Effect Systems

Finally out! Miriam's (@miriamppol) 1st, 1st author article!

threadreaderapp.com·1d

🧬Computational Biology

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·2d·

Discuss: Hacker News

🧮Algebraic Effects

Python to Clojure: A Gentle Guide for Pythonistas

dev.to·19h·

Discuss: DEV

A C implementation of the inference pipeline for the Mistral AI’s Voxtral Realtime 4B model

blog.adafruit.com·11h

🧮Intel MKL-DNN

Endomorphisms via splittings

eprint.iacr.org·2d

🔀Topological Sorting

The programming language after Kotlin – with the creator of Kotlin

newsletter.pragmaticengineer.com·7h·

Discuss: Lobsters

(Re)Discovering Natural Laws

lesswrong.com·6h

🎯Hindley-Milner

LoganFlaherty/banish: A repo for the Banish, a Rust embedded DSL that simplifies state machines and rule-based logic.

github.com·13h·

Discuss: r/rust

Lost Proofs, Found Proofs: How AI Unearthed Forgotten Solutions

hackernoon.com·1d

🧮SMT Solvers

Carnegie Mellon at NeurIPS 2025

blog.ml.cmu.edu·1d

📐Linear Algebra

rust.libhunt.com·6h

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

searchenginejournal.com·13h

New comment by anonymous908213 in "What functional programmers get wrong about systems"

news.ycombinator.com·3d·

Discuss: Hacker News

λFunctional Programming

Programming is over

quanttype.net·9h

🎭Program Synthesis

Large Language Models for Mortals book

andrewpwheeler.com·1d

🌳Tree-sitter

EduC++ Documentation

educplusplus.com·14h·

Discuss: r/cpp

🦀Rust Macros

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

latent.space·1d

🧬Computational Biology

Loading more...