locally presentable (infinity,n)-category
ncatlab.orgยท59m
๐Category Theory
Flag this post
Graphs defined on algebras
cameroncounts.wordpress.comยท4h
๐Spectral Graph Theory
Flag this post
SCL Decoding of Non-Binary Linear Block Codes
arxiv.orgยท11h
โ๏ธQuantum LDPC
Flag this post
Langโs theorem โ Pt. I: the classical result
ayoucis.wordpress.comยท1d
๐Category Theory
Flag this post
Updated paper: Moduli spaces of semiorthogonal decompositions in families
pbelmans.ncag.infoยท16h
๐งฎAlgebraic Archives
Flag this post
Counting past infinity
youtube.comยท1d
๐ผTape Algebra
Flag this post
FIR filters on FPGA
hackster.ioยท1d
๐๏ธFFmpeg Filters
Flag this post
Distinguished Lecture - hosted by UKRI CDT in Natural Language Processing
informatics.ed.ac.ukยท1h
๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
two-dimensional category
ncatlab.orgยท1d
๐Category Theory
Flag this post
Teaching Rust the SQL Language
๐ฆRust Macros
Flag this post
Linkage
11011110.github.ioยท1d
๐Mathematical Art
Flag this post
a go parser for Claude Skills
๐ณIncremental Parsing
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.orgยท11h
๐Isabelle
Flag this post
Loading...Loading more...