λ Lambda Calculus

Church Encoding, Combinators, Reduction Strategies, Computational Models

Haskell Weekly Issue 493
haskellweekly.news·46m·
Discuss: Hacker News
⚡functional programming
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·6h
🔗Category Theory
Toy Binary Decision Diagrams
philipzucker.com·3d
✅Type Checking
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·6h
💬Interactive REPLs
Defeating Return Type Polymorphism
philipphagenlocher.de·13h·
Discuss: Hacker News
📏Linear Haskell
A Proof of the Riemann Hypothesis
dev.to·8h·
Discuss: DEV
🏗️Calculus of Constructions
Three Solutions to Nondeterminism in AI
blog.hellas.ai·22h·
Discuss: Hacker News
✅Type Checking
SU(<i>d</i>)-symmetric random unitaries: quantum scrambling, error correction, and machine learning
nature.com·20h
🔬Nanopasses
The Mondrian introduction to functional optics
marcosh.github.io·2d·
Discuss: Lobsters, Hacker News
🔍Lens Libraries
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·6h
🪜Recursive Descent
GaloisInc/parameterized-utils
github.com·1d
📏Linear Haskell
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·1d
🧮Combinator Calculus
HE-based On-the-Fly MPC, Revisited: Universal Composability, Approximate and Imperfect Computation, Circuit Privacy
eprint.iacr.org·2d
⚡Control Synthesis
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·1d·
Discuss: Hacker News
🐪OCaml
Show HN: I built a local AI agent desk toy
blog.simone.computer·14h·
Discuss: Hacker News
🌊Reactive Languages
Building a Redis Clone in Zig—Part 1
charlesfonseca.substack.com·13h·
Discuss: r/Zig
💾Zig Allocators
Raw string literals in .NET, both useful and entertaining
dev.to·18h·
Discuss: DEV
📝Rope Editors
Less Is More: Recursive Reasoning with Tiny Networks
github.com·19h·
Discuss: Hacker News
🌱Minimal ML
SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·2d·
Discuss: r/LocalLLaMA
📏Linear Memory
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·6h
🎓Educational Databases