📐 Language Theory - cpt · Scour

The mythology of category theory 🧩programming

johndcook.com·6h

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·3d

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·3h·Hacker News

Some recent articles on language and linguistics ⚙️Compilers

languagelog.ldc.upenn.edu·6h

On Lisp Book 🧩programming

paulgraham.com·21h

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

flexiana.com·3h

Works 🧩programming

halimmadi.com·13h

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

ramzesx.github.io·2d·Hacker News

Three views on monads 🧩programming

vera/FAQ.md at main 🧩programming

LLMs are not compilers or interpreters ⚙️Compilers

talapu.bearblog.dev·1h

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

philsci-archive.pitt.edu·1d

Finally a viable option for local agentic coding - 262k context on ... ⚙️Compilers

reddit.com·3h·r/LocalLLaMA

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

Semantics of pattern unification 🧩programming

How Gödel’s Proof Works 🧩programming

3quarksdaily.com·40m

Log in to enable infinite scrolling