🧮 Functional Programming - linhns · Scour

Generalized Functional ANOVA in Closed-Form: A Unified View of Additive Explanations 🎯Recommendation Algorithms

What could Functional Architecture mean? [video] 🏗️System Design

youtube.com·6d·Hacker News

A-ProS: Towards Reliable Autonomous Programming Through Multi-Model Feedback 🛠️AI Tools

lone-lang/lone: The standalone Linux Lisp 📦uv

Always Learning, Always Mixing: Efficient and Simple Data Mixing All The Time 🧠Machine Learning

A Finite-State Gibbs Construction from a Recognition Cost 💬LLM

XSearch: Explainable Code Search via Concept-to-Code Alignment 💬LLM

Universal Approximation of Nonlinear Operators and Their Derivatives 🎪Actor Frameworks

Monads and Distributive Laws in Substructural Contexts (Extended Version) 🔀Concurrency

String Diagrams for Quantum Foundations, Computing and Natural Language Processing 🎪Actor Frameworks

LFPL: Revisited and Mechanized 💬LLM

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version) 📊Go Profiling

All Circuits Lead to Rome: Rethinking Functional Anisotropy in Circuit and Sheaf Discovery for LLMs 💬LLM

Cubical Type Theoretic Navya-Ny\=aya 🔀Concurrency

Constructive higher sheaf models with applications to synthetic mathematics 💬LLM

VibeProteinBench: An Evaluation Benchmark for Language-interfaced Vibe Protein Design 💬LLM

Field Theory of Data: Anomaly Detection via the Functional Renormalization Group. The 2D Ising Model as a Benchmark 🌐Distributed Systems

Harness Engineering as Categorical Architecture 🏗️System Design

SCOPE: Siamese Contrastive Operon Pair Embeddings for Functional Sequence Representation and Classification 💬LLM

KV-Fold: One-Step KV-Cache Recurrence for Long-Context Inference 💬LLM

Log in to enable infinite scrolling