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·9h
🔗Functional Programming
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·18m·
Discuss: Hacker News
🔗Functional Programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Generalized Witt and Morita equivalences
arxiv.org·1d
🔗Functional Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
postrationality annotated bibliography
jenn.site·17h
🔗Functional Programming
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🎯Game Theory
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
My query languages library pivot
dev.to·8h·
Discuss: DEV
🔗Functional Programming
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·18h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
PCT quantum symmetries -- section
ncatlab.org·9h
🔗Functional Programming
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·9h·
Discuss: Bluesky
🔗Functional Programming
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Even Numbers Are Tautologies
risingentropy.com·1h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🔗Functional Programming
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
🔗Functional Programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·50m·
Discuss: Hacker News
🔗Functional Programming
Flag this post