🔢 lambda calculus - abnv · Scour

AWS Lambda From Scratch

forgestream.idverse.com·2d·

Discuss: r/rust

Calculus Made Easy

calculusmadeeasy.org·17h

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

abelianization of an additive category in nLab

ncatlab.org·15h

🔗Category Theory

To Combat The Entirety Of Metaphysics In One Sentance

mason.bearblog.dev·3h

🔗Concatenative Theory

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·18h·

Discuss: Blogger

📐Mathematical Computing

Rigorous Theory of Coupled Resonators

link.aps.org·21h

🔍Lens Libraries

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·1d

🐪OCaml GADTs

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

Why I Moved My ML Model from Flask to AWS Lambda (A Student’s Guide to $0 Hosting)

dev.to·3h·

Discuss: DEV

Free papers, get your free papers here!

esat.kuleuven.be·12h

🔗Hash Functions

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·1d·

Discuss: Hacker News

🔍ML Language

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

So You Thought You Knew Everything About Equilateral Triangles, Expanded Version

pballew.blogspot.com·1h·

Discuss: Blogger

🧮Combinator Calculus

value noise derivatives - 2008 - Inigo Quilez :: computer graphics, maths, shaders, fractals, demoscene

iquilezles.org·1d

🔢Algebraic Datatypes

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·13h·

Discuss: r/cpp

🦀MIR Optimization

Loading more...