Cyclic Proofs for iGL via Corecursion
arxiv.orgยท1d
๐Functional Programming
Flag this post
essential spectrum
ncatlab.orgยท2d
๐Functional Programming
Flag this post
NOV. 13th COLLOQUIUM: Sheldon Katz (University of Illinois at Urbana-Champaign)
math.columbia.eduยท13h
๐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ยท2h
๐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ยท1d
๐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ยท1h
๐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ยท3h
๐Functional Programming
Flag this post
PCT quantum symmetries -- section
ncatlab.orgยท14h
๐Functional Programming
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
๐Functional Programming
Flag this post
postrationality annotated bibliography
jenn.siteยท22h
๐Functional Programming
Flag this post
Creating Lisp Systems
๐Functional Programming
Flag this post
Show HN: Kumi โ a portable, declarative, functional core for business logic
๐Functional Programming
Flag this post
Even Numbers Are Tautologies
๐Functional Programming
Flag this post
Loading...Loading more...