🔠 Type-Level Programming - matmat · Scour

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🌐Protocol Synthesis

arxiv.org·3d

Incremental Lambda Calculus 🔗Functional Compilers

inc-lc.github.io·2d·Hacker News

docs Unison | Abilities for the monadically inclined · Unison programming language 🧬Functional Programming

unison-lang.org·16h

APL: Evaluator for a Subset of Scheme 🔗Lisp

dfns.dyalog.com·21m·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🧠Lisp Dialects

jointhefreeworld.org·2d·Lobsters, Hacker News

Calculus of constructions 🔤Type Theory

en.wikipedia.org·18h

GistNoesis/Shoggoth.db: Self Organising Databases 🧮Datalog

github.com·5h·Hacker News

Linear Time Complexity in Fano Driven E8 Reductions 🎯Performance Proofs

zenodo.org·6d·Hacker News

Tree Calculus ⚔️Lean Theorem

news.ycombinator.com·2d·Hacker News

The Exception Butterfly 🔗Functional Compilers

valhovey.github.io·17h·Hacker News

The 6 Big Ideas of Typescript 🎯Gradual Typing

sitr.us·2d·r/programming

Reflection On Recursion • 2 λLambda Formalization

inquiryintoinquiry.com·3d

A Type System for Management 💧Liquid Types

rescrv.net·2d·Hacker News

War on Raze ⚔️Lean Tactics

gist.github.com·5d·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🧪Binary Fuzzing

pvk.ca·2d·Hacker News

Choosing a Programming Language (2016) 💻programming languages

thesquareplanet.com·1d·Hacker News

[Rust Guide] 5.2. Struct Usage Example - Printing Debug Information 🦀Rust Macros

doc.rust-lang.org·3d·DEV

Lectures in Advanced Data Structures (6.851) 📼Tape Combinators

courses.csail.mit.edu·3d

Grow and mow: interpretable models with boosting, symbolic regression and e-graphs 🧮Kolmogorov Bounds

mchav.github.io·3d·Hacker News

Munkres' General Topology Autoformalized in Isabelle/HOL 🧮Algebraic Archives

arxiv.org·2d

Loading more...