📚 Programming language theory - alex · Scour

Wiring the Pi-calculus to Denotational Semantics 🧮Computer science

Categorical Programming Language Tutorial 🦀Rust programming language

msakai.github.io·6d·Lobsters

samth/gradual-typing-bib: A bibliography on Gradual Typing 🧮Computer science

github.com·18h·Lobsters

Let's make a programming language 🦀Rust programming language

Proofs for programs, programs for proofs (bobkonf2026) 🧮Computer science

cdn.media.ccc.de·18h

Tacit: A new experimental LLM-first programming language 🛠️Creative Coding Frameworks

hauntemplations.leaflet.pub·2d·r/ClaudeAI

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 🧮Computer science

hyperpolyglot.org·3d·Lobsters, Hacker News

Large language models pass a standard three-party Turing test 🧮Computer science

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 🧮Computer science

news.ycombinator.com·1d·Hacker News

State Space Models, Explained Through Code 🧮Computer science

karthik-ragunath-ananda-kumar-blogs.notion.site·11h·Hacker News

Zero a Language for Humans and Robots 🧮Computer science

zero-lang.com·2d·Hacker News

Generalising monads to arrows (1998) 🧮Computer science

cs.tufts.edu·6d·Lobsters

Graded Modal Types for Memory and Communication Safety 🧮Computer science

kar.kent.ac.uk·6h·Hacker News

I Wrote a Compiler 🦀Rust programming language

funcall.blogspot.com·2d·Blogger

Bidirectional Typechecking That Does Not Stop 🧮Computer science

semantic-domain.blogspot.com·6d·Lobsters, Hacker News, semantic-domain.blogspot.com

piecewise-linear function in nLab 🧮Computer science

ncatlab.org·2d

Compiling the Trap 🧮Computer science

Thinking in States 🧮Computer science

metalevel.at·3d·Lobsters

TL;DC v0.1.0-rc is out! First LLM-native language 🛠️Creative Coding Frameworks

cdbnk.github.io·2d·r/vibecoding

The Lobster Programming Language 🛠️Creative Coding Frameworks

Log in to enable infinite scrolling