∘ Category Theory - hello · Scour

extended C*-algebra in nLab

ncatlab.org·10h

📏Linear Types

[2602.21330] Classifying anima of condensed $infty$-categories of points

arxiv.org·4d

📐Type Theory

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·7h·

Discuss: Hacker News

λFunctional Programming

G\"odel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication

arxiv.org·1d

🔍Type Inference

Differential Logic • 15

inquiryintoinquiry.com·12h

⏰Lamport Clocks

Tsonnet #31 - Taking back control of equality

dev.to·9h·

Discuss: DEV

Online Philosophy Resources Weekly Update

dailynous.com·20h

math.columbia.edu·14h

λFunctional Programming

Coding and Validation for Breadth and Desirability of 1,214 English Adjectives

nature.com·17m

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

Transformers Can Overcome the Curse of Dimensionality: A Theoretical Study from an Approximation Perspective

jmlr.org·17h

🤖Transformers

Completing the formal proof of higher-dimensional sphere packing

math.inc·11h·

Discuss: Hacker News

📏Linear Types

State of Haskell 2025 results

discourse.haskell.org·10h·

Discuss: Lobsters, r/programming

📐Type Theory

The Geometry of Attention: One Space, Two Operators

pub.towardsai.net

·1d

Integral theory

en.wikipedia.org·1d

👁️Phenomenology

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·13h

✓Formal Verification

Implementing constexpr parameters using C++26 reflection (kind of)

godbolt.org·18m·

Discuss: r/cpp

A rather disorganized rant about LLMs

boston.conman.org·19m

💬Prompt Engineering

Single Direction vs Low-Rank Refusal in Small LLMs

lesswrong.com·6h

🎯Escape Analysis

A Number with a Shadow

campedersen.com·1d

Loading more...