🔬 Hindley-Milner - abnv · Scour

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·3d

🏗️Calculus of Constructions

Regularity bias in Solomonoff, transformers, and evolution

lesswrong.com·5h

🚂Error Propagation

Making a Language

thunderseethe.dev·7h

🔬programming language theory

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

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Project Aletheia: Verifier-Guided Distillation of Backtracking for Small Language Models

arxiv.org·48m

🪜Recursive Descent

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

λLambda Calculus

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

⚡Algebraic Effects

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·16h·

Discuss: DEV

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

Constraints Not Loops: Building Features in Reverse

coey.dev·1d

🔗Parser Combinators

Balancing AI cost efficiency with data sovereignty

artificialintelligence-news.com·18h

🎭Program Synthesis

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Hippocampus model implementing a Turing machine

pub.towardsai.net·1h

🧠Memory Models

MIT's Recursive Language Models Improve Performance on Long-Context Tasks

infoq.com·1d

🪜Recursive Descent

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

shibaprasadb.com·21h·

Discuss: Hacker News

🔍ML Language

Loading more...