📐 Quotient Types - abnv · Scour

When You Run Out of Types... 🌈Gradual Languages

buttondown.com·5d·

Rust's next-generation trait solver 🦀Rust Macros

lwn.net·2d·Lobsters, Hacker News, r/programming·

Knowledge Governance For The Agentic Economy. ♾️Codata Types

padisovereignbureau.substack.com·22h·DEV·

rahultumpala/dsm: Declarative finite state machines and pipelines 🎭Staged Interpreters

github.com·1h·

Combinators 🧮Combinator Calculus

tinyapl.rubenverg.com·1d·Hacker News·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·19h·Lobsters, Hacker News·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

Show HN: Connecting Duhem's Law of Cognitive Complementarity to Metrology ⚖️Inference Rules

lll.scrybble.ink·11h·Hacker News·

The Reamorment Monograph: Four-Torus, Decordment, and the Topology of Return 🔗Category Theory

beyondturbulence.blogspot.com·2d·

The Tetrad ♾️Codata Types

samirvarma.substack.com·2d·Substack·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

Mar '26 Notes 🔗Category Theory

susam.net·3d·

Propositional Alignment 🔗Concatenative Theory

lesswrong.com·2d·

Girls are Bayesian, Boys are Axiomatic ✨Effect Inference

peteribanks.substack.com

·1d·Substack·

Show HN: PyNear – exact and approximate KNN, faster than Faiss 📋JSON Parsing

news.ycombinator.com·3d·Hacker News·

Linkage 🤐Zipper Structures

11011110.github.io·1d·

Red-black tree in Lean 4 prover with everything proved 🧮Theorem Provers

rentry.co·1d·Lobsters·

The Type Theorists need to take a look at Zig ⚙️Zig Comptime

pure-systems.org·5d·Hacker News·

mlajtos/es1995: ES1995 – The Missing JS Polyfill 🌈Gradual Languages

github.com·11h·r/javascript·

Loading more...