🏗️ Calculus of Constructions - abnv · Scour

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

arxiv.org·3d

🎯Type Theory

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Calculus Made Easy

calculusmadeeasy.org·17h

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

GNU C Language Manual

gnu.org·13h

🪄C Metaprogramming

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

Hint-Based SMT Proof Reconstruction

arxiv.org·3h

🧮Theorem Provers

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Harper: Free, Open Source Grammar Checker

writewithharper.com·6h·

Discuss: r/webdev

🔄Incremental Lexing

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

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...

freederia.com·2d

🔗Category Theory

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·20h

🛡️Taint Analysis

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

Loading more...