🧮 Lambda Calculus - tiferrei · Scour

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Altos Labs launches Institute of Computation 🤖Program Synthesis

altoslabs.com·1d

$\lambda_A$: A Typed Lambda Calculus for LLM Agent Composition 💎Refinement Types

arxiv.org·18h

"At its core, fentanyl is a supply-driven problem. Problem is, local efforts have relied on demand-reduction strategies..." ≤Order Theory

althouse.blogspot.com·6d

Reducibility Theory and Ergodic Theorems for Ergodic Quantum Processes 🔗Curry-Howard

arxiv.org·1d

Saar-Voice: A Multi-Speaker Saarbr\"ucken Dialect Speech Corpus 🧠Apple Neural Engine

arxiv.org·18h

Accurate and Reliable Uncertainty Estimates for Deterministic Predictions Extensions to Under and Overpredictions 🎯Hindley-Milner

arxiv.org·1d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·6d

Social Reality Construction via Active Inference: Modeling the Dialectic of Conformity and Creativity 🔲Cellular Automata

arxiv.org·1d

Robots that learn to evaluate models of collective behavior 🤖Robotics

arxiv.org·5d

Meta-learning In-Context Enables Training-Free Cross Subject Brain Decoding 📚Automata Learning

arxiv.org·4d