Cooklang is a markup language for recipes.

Thread and link to site about Tree Calculus, an alternative to Lambda Calculus as a minimal foundation for PL research.

Buy Lets Go! by Francis McCabe (Paperback) online at Lulu. Visit the Lulu Marketplace for product details, ratings, and reviews.

Nova looks like the baby of Markdown and Prolog. You write documents that contains facts that then can be run to infer properties. Certainly novel!

This is a weird one, but I do find it strangely interesting. The glyphs in the end are relatively well chosen, but are still hard to guess without a dictionary. As with APL/K/Q am quite curious about performance.

Strudel is a music live coding environment for the browser, porting the TidalCycles pattern language to JavaScript.

An interactive introduction to Forth that gives the gist and feel of it.

Concatenative programming language implemented in Nim.

It’s a language for writing IF that compiles to Z-machine and it’s inspired by Inform 7 (one of the best languages of all time)… and Prolog! This sounds awesome!

Here’s the intro.

I have been semi-offline for over a month and that’s gonna continue but I had scheduled to do a deep dive today and I’m glad I did because on Darren’s gemlog I found a link to this.

Rust has a /learn page, and I was really impressed by the way it described the three books. I was like “wow, sounds like of one of them is awesome and the other two suck, and I can completely see how which one of them is the awesome one would be different for different people, and how good this presentation is at letting people know which is fit for them”.

A lot of languages have several tutorials and guides and it’s often a choice the learner has to make without any real info or clue. Here, we get clarity right away. 👍🏻

The story of how YouTube outpaced Google Videos. Conclusion: type annotations are a plague 😭

Scrapscript is a tiny programming language and messaging notation. Use it to make small programs and share them with others! Our community celebrates connectedness, correctness, and compression.

The title is clickbait. I did not design and implement a programming language for the sole or even primary purpose of leaderboarding on Advent of Code. It just turned out that the programming language I was working on fit the task remarkably well.

RBBF is based on Brainfuck, but adds multiple pointers. Each of these pointers has a color of their own. On top of having multiple pointers, RBBF decouples the source pointer and the target pointer for each command. For example: in normal brainfuck a “ “ means “load the value at the pointer, increase it by one, then store it at the pointer”. In RBBF the character color is the source, the background color the target. So a red plus on a green background would mean “load the value from pointer to by red, increase it by one, then store it in the byte pointed to by green”. From now on I’ll refer to character color with FG (foreground) and background color with BG (background).

In early 2015 I was honored to be invited to develop and present a graduate course on Virtual Machines at UC Berkeley. The result is CS294-113: Virtual Machines and Managed Runtimes, which was presented in the Fall of 2015.This page contains the materials from that course.