🔢 lambda calculus - abnv · Scour

AWS Lambda From Scratch

forgestream.idverse.com·2d·

Discuss: r/rust

Calculus Made Easy

calculusmadeeasy.org·11h

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·21h

🔗Unification Algorithms

abelianization of an additive category in nLab

ncatlab.org·10h

🔗Category Theory

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

mrburkemath.blogspot.com·12h·

Discuss: Blogger

📐Mathematical Computing

Topological order and fractons from gauging exponential symmetries

link.aps.org·18h

λLambda Calculus

Making a Language

thunderseethe.dev·4h

🔬programming language theory

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·21h

🐪OCaml GADTs

On Learning Elixir

denvaar.dev·23h

🚂Error Propagation

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

shibaprasadb.com·19h·

Discuss: Hacker News

🔍ML Language

Free papers, get your free papers here!

esat.kuleuven.be·7h

🔗Hash Functions

Kolmogorov Complexity

en.wikipedia.org·14h·

Discuss: Hacker News

λLambda Calculus

Lambda Durable Functions - Keeping your Payloads Secure

dev.to·41m·

Discuss: DEV

📮Persistent Queues

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

iquilezles.org·22h

🔢Algebraic Datatypes

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

github.com·8h·

Discuss: r/cpp

🦀MIR Optimization

Google Releases FunctionGemma Model

i-programmer.info·10h

💬Smalltalk VMs

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·13h

🔧Scheme Macros

Loading more...