∀ Quantified Types - abnv · Scour

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

arxiv.org·3d

🏗️Calculus of Constructions

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees

dev.to·10h·

Discuss: DEV

🚂Error Propagation

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

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

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

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

shibaprasadb.com·1d·

Discuss: Hacker News

🔍ML Language

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·6h

🎲Parser Fuzzing

Making a Language

thunderseethe.dev·9h

🔬programming language theory

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Lindbladian versus Postselected non-Hermitian Topology

link.aps.org·21h

⚡Partial Evaluation

Jacobson's Rank

denvaar.dev·1d

📐Succinct Data Structures

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

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

github.com·14h·

Discuss: r/cpp

🦀MIR Optimization

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔢Bit Manipulation

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Loading more...