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·8h
🧮Haskell
Flag this post
The Downside of Anthropomorphizing
funcall.blogspot.com·15h·
Discuss: www.blogger.com
🤖AI
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
🧮Haskell
Flag this post
Generalized Witt and Morita equivalences
arxiv.org·1d
🧮Haskell
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🧮Haskell
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🧮Haskell
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🧮Haskell
Flag this post
My query languages library pivot
dev.to·8h·
Discuss: DEV
🧮Haskell
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·18h·
Discuss: Hacker News
🤖AI
Flag this post
PCT quantum symmetries -- section
ncatlab.org·9h
🧮Haskell
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🧮Haskell
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🔷C#
Flag this post
Even Numbers Are Tautologies
risingentropy.com·1h·
Discuss: Hacker News
🧮Haskell
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·9h·
Discuss: Bluesky
🧮Haskell
Flag this post
Kant: Leave people better than you found them
en.wikipedia.org·16h·
Discuss: Hacker News
🧮Haskell
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🧮Haskell
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·38m·
Discuss: Hacker News
🧮Haskell
Flag this post
postrationality annotated bibliography
jenn.site·17h
🎲Bayesian Stats
Flag this post