📐 Language Theory - cpt · Scour

The mythology of category theory 🧩programming

johndcook.com·8h

Category Theory for Tiny ML in Rust 🧩programming

hghalebi.github.io·2d·Hacker News

Valuation Spaces and Relativisation: The Lambda Calculus Example 🧩programming

practal.com·3d·Hacker News

Polymorphism Meets DHOL ⚙️Compilers

Categorical update 🧩programming

logicmatters.net·4d

New comment by odomojuli in "Ask HN: Who wants to be hired? (May 2026)" 🧩programming

news.ycombinator.com·2d·Hacker News

Vector, the Journal of the British APL Association 🧩programming

web.archive.org·5h·Hacker News

A behavioral notion of subtyping (1994) 🧩programming

cs.cmu.edu·2h·Lobsters

Some recent articles on language and linguistics ⚙️Compilers

languagelog.ldc.upenn.edu·8h

On Lisp Book 🧩programming

paulgraham.com·23h

Building Data-Heavy Systems in Clojure Without Losing Simplicity ⚙️Compilers

flexiana.com·5h

Ω-Theory: Machine-Verified Algebraic Framework (formal paper, 2026-05-04) 🧩programming

ramzesx.github.io·2d·Hacker News

Three views on monads 🧩programming

Works 🧩programming

halimmadi.com·15h

kowainik/learn4haskell: 👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests 🧩programming

github.com·18h

Beyond Pattern Matching: Representation and the Case for a Middle-Level Theory of Large Language Models ⚙️Compilers

philsci-archive.pitt.edu·1d

The Last Human-First Programming Language 🧩programming

andreasbergstrom.dev·1h·DEV

Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience 🎰Bytecode VMs

Semantics of pattern unification 🧩programming

LLMs are not compilers or interpreters ⚙️Compilers

talapu.bearblog.dev·3h

Log in to enable infinite scrolling