🔬 programming language theory - abnv · Scour

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

🌱Tiny Languages

Functional Logic Program Transformations

arxiv.org·15h

🏭Functional Compilers

Designing Boring Software with Functional Programming

agentultra.com·18h

🪞Homoiconicity

Making an LSP for great good

thunderseethe.dev·20h·

Discuss: Lobsters, Hacker News

Get To Grips With Transformers And LLMs

i-programmer.info·1d·

Discuss: Hacker News, r/programming

🔍ML Language

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Languages

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🛡️Taint Analysis

GNU C Language Manual

gnu.org·1h

🪄C Metaprogramming

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

Designing a Programming Language for the Desert

futhark-lang.org·4h·

Discuss: Hacker News

🔄Bootstrapping

Evolution of LLMs use by a programmer

asfaload.com·3h·

Discuss: Hacker News

🎮Language Ergonomics

From logical reasoning to code in C and PHP

dev.to·9h·

Discuss: DEV

From LLMs to Agents in Programming: The Impact of Providing an LLM with a Compiler

arxiv.org·15h

🛠programming language development

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

Use of Assertions

blog.regehr.org·5h

🔍Static Analysis

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·7h

🔧Scheme Macros

Kolmogorov Complexity

en.wikipedia.org·8h·

Discuss: Hacker News

λLambda Calculus

Calculus Made Easy

calculusmadeeasy.org·5h

abelianization of an additive category in nLab

ncatlab.org·4h

🔗Category Theory

Loading more...