∘ Category Theory - hello · Scour

What F# Knows About Functors and What Comes Next

dev.to·1d·

Discuss: DEV

📐Type Theory

Algebraic Topology 1: Homotopy Equivalence

youtube.com·12h

📐Type Theory

The Origins and Motivations of Univalent Foundations | Ideas

ias.edu·7h

💫Effect Systems

Higman-Neumann-Neumann extension in nLab

ncatlab.org·1d

💫Effect Systems

**Title:** Enhanced Symmetry Detection via Adaptive Graph Resonance and Temporal Correlation Analysis: A Novel Approach to Mirror Symmetry Validation in High-Dimensional Spaces

freederia.com·1h

🕸️GraphBLAS

freethoughtblogs.com·19h

🌊CALM Theorem

(19) Elisenda Grigsby - Braids, complex geometry, and homology-type invariants

youtube.com·23h

🔢Homomorphic Encryption

the myth of multitasking and other things i learned today

lollar.bearblog.dev·9h

⏭️Skip Lists

GHC 9.12.3 is now available

haskell.org·1d

📐Type Theory

Port of Statistical Rethinking (2nd edition) code to Julia

shmuma.github.io·6h·

Discuss: Hacker News

📊Data Science

A Validated Semantics for LLVM IR

sf.snu.ac.kr·16h

Resolving Names Once and for All

thunderseethe.dev·1d·

Discuss: r/programming, r/rust

🦀Rust Macros

A Mechanistic Analysis of Transformers for Dynamical Systems

arxiv.org·2d

🤖Transformers

Profunctors, Arrows, & Static Analysis

elvishjerricco.github.io·5d·

Discuss: Hacker News

λFunctional Programming

Regression by Composition

lesswrong.com·1d

🧠Machine Learning

Space of programs (calculus of programming in llms)

reddit.com·2d·

Discuss: r/LLM

λFunctional Programming

Unknown Knowns: Five Ideas You Can't Unsee

linch.substack.com·1d·

Discuss: Substack

💫Effect Systems

C Right-Left Rule (Rick Ord's CSE 30

cseweb.ucsd.edu·1d

♻️Interning

Klein bottle: from intuition to rigor

johndcook.com·16h

🔢Homomorphic Encryption

Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho

v5.chriskrycho.com·5h

Loading more...