🏛️ Constructive Type Theory - matmat · Scour

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

arxiv.org·3d

🔠Type-Level Programming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Making a Language

thunderseethe.dev·14h

🛠Language Design

haskellweekly.news·1h

🔗Functional Compilers

abelianization of an additive category in nLab

ncatlab.org·20h

🧮Algebraic Archives

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

thume.ca·3d·

Discuss: Hacker News

👑Dependent Haskell

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

medium.com·20h·

Discuss: Hacker News

🤝Unification Algorithms

Hint-Based SMT Proof Reconstruction

arxiv.org·7h

🧮SMT Solvers

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·1d

📊Static Analysis

Kolmogorov Complexity

en.wikipedia.org·1d·

Discuss: Hacker News

🧮Kolmogorov Complexity

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Designing a Programming Language for the Desert

futhark-lang.org·20h·

Discuss: Hacker News

🔗Functional Compilers

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🧠Machine Learning

Alexis King’s Blog

lexi-lambda.github.io·2d

🎯Gradual Typing

From Literal Prompts to Autonomous Agents

dev.to·15h·

Discuss: DEV

⚡Proof Automation

Values of the world, unite!

jemarch.net·1d

🔧Binary Parsers

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

💧Liquid Types

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

Loading more...