λ Lambda Calculus - abnv · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·1d

📏Linear Scanning

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

🧮Combinator Calculus

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

🎡Beginner-Friendly Guide 'Minimum Pair Removal to Sort Array I' - Problem 3507 (C++, Python, JavaScript)

dev.to·5h·

Discuss: DEV

🌲Deforestation

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

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

shibaprasadb.com·1d·

Discuss: Hacker News

🔍ML Language

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Binary Algorithms

exystence.net·1d

📡Binary Protocols

AWS Lambda From Scratch

forgestream.idverse.com·2d·

Discuss: r/rust

🔢lambda calculus

GNU C Language Manual

gnu.org·13h

🪄C Metaprogramming

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Calculus Made Easy

calculusmadeeasy.org·17h

Lambda Durable Functions - Keeping your Payloads Secure

dev.to·6h·

Discuss: DEV

📮Persistent Queues

Loading more...