PROGRAMMING

Catala: A Programming Language for the Law
224 points | 123 comments

Programming in Z3 by learning to think like a compiler
177 points | 18 comments

History of Programming Languages
149 points | 31 comments

The Programming Languages Zoo
146 points | 13 comments

Advancing Excel as a programming language [audio]
85 points | 108 comments

Extempore – An audiovisual live programming environment
53 points | 13 comments

Grain: WebAssembly-First Programming Language
49 points | 16 comments