Cyclic Proofs for iGL via Corecursion
arxiv.orgยท2d
๐Functional Programming
Flag this post
essential spectrum
ncatlab.orgยท3d
๐Functional Programming
Flag this post
NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.eduยท21h
๐Functional Programming
Flag this post
Enterprise Design Patterns: The Repository Pattern (Catalog of Patterns of EAA) โ A Practical Guide with Python
๐ฎGame Development
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ยท9h
๐Functional Programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
๐Functional Programming
Flag this post
Generalized Witt and Morita equivalences
arxiv.orgยท2d
๐Functional Programming
Flag this post
<p>**Random Sub-Field of ๋ฌธํ์ ๊ธฐ์ Selected:** Oral Transmission and Memory Systems in Early Agricultural Societies **Research Paper Title:** **Quantifying Tempora...
freederia.comยท8h
๐Functional Programming
Flag this post
Multi-Method Analysis of Mathematics Placement Assessments: Classical, Machine Learning, and Clustering Approaches
arxiv.orgยท6h
๐Functional Programming
Flag this post
r/mathematics
๐ฏGame Theory
Flag this post
There's a fundamental flaw in how we learn about expertise
writingslowly.comยท10h
๐Functional Programming
Flag this post
PCT quantum symmetries -- section
ncatlab.orgยท21h
๐Functional Programming
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
๐Functional Programming
Flag this post
Using the probabilistic method to bound the performance of toy transformers by Alex Gibson
greaterwrong.comยท11h
๐Functional Programming
Flag this post
Creating Lisp Systems
๐Functional Programming
Flag this post
Loading...Loading more...