λ Lambda Calculus - abnv · Scour

CPU-less parallel execution of lambda calculus in digital logic

arxiv.org·15h

📏Linear Scanning

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

medium.com·4h·

Discuss: Hacker News

🪢Rope Data Structures

abelianization of an additive category in nLab

ncatlab.org·4h

🔗Category Theory

Kolmogorov Complexity

en.wikipedia.org·8h·

Discuss: Hacker News

🧮Combinator Calculus

Unification of Deterministic Higher-Order Patterns

arxiv.org·15h

🔗Unification Algorithms

Designing Boring Software with Functional Programming

agentultra.com·18h

🪞Homoiconicity

Rust async combinators for elegant and secure concurrency

kerkour.com·14h·

Discuss: r/rust

🪆Embedded DSLs

On Learning Elixir

denvaar.dev·17h

🚂Error Propagation

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔢Bit Manipulation

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

shibaprasadb.com·12h·

Discuss: Hacker News

🔍ML Language

From logical reasoning to code in C and PHP

dev.to·9h·

Discuss: DEV

GNU C Language Manual

gnu.org·1h

🪄C Metaprogramming

AWS Lambda From Scratch

forgestream.idverse.com·1d·

Discuss: r/rust

🔢lambda calculus

Binary Algorithms

exystence.net·20h

📡Binary Protocols

Calculus Made Easy

calculusmadeeasy.org·5h

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·8h

🏗️Cranelift

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🛡️Taint Analysis

Making an LSP for great good

thunderseethe.dev·20h·

Discuss: Lobsters, Hacker News

Google Releases FunctionGemma Model

i-programmer.info·4h

💬Smalltalk VMs

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

Loading more...