Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧮Haskell
Flag this post
essential spectrum
ncatlab.org·2d
🧮Haskell
Flag this post
NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.edu·11h
🧮Haskell
Flag this post
Software design is refinement, not abstraction (2022)
🔷C#
Flag this post
Diagnostics of Hilbert space fragmentation, freezing transition, and its effects in the family of quantum East models involving varying range of constraints
journals.aps.org·10m
🎲Bayesian Stats
Flag this post
Generalized Witt and Morita equivalences
arxiv.org·1d
🧮Haskell
Flag this post
Creating Lisp Systems
🧮Haskell
Flag this post
r/mathematics
🧮Haskell
Flag this post
There's a fundamental flaw in how we learn about expertise
writingslowly.com·50m
🤖AI
Flag this post
The Curved Spacetime of Transformer Architectures
🤖AI
Flag this post
PCT quantum symmetries -- section
ncatlab.org·11h
🧮Haskell
Flag this post
postrationality annotated bibliography
jenn.site·19h
🎲Bayesian Stats
Flag this post
Even Numbers Are Tautologies
🧮Haskell
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🧮Haskell
Flag this post
Loading...Loading more...