Vine is an experimental new programming language based on interaction nets. Vine is a multi-paradigm language, featuring seamless interop between functional and imperative patterns. See vine/examples/ for examples of Vine. cargo run -r –bin vine run vine/examples/$NAME.vi If you’re curious … Read more
Published on 21-02-2025 This post is me writing down some ideas for programming languages or programming language features. Mainly to get them out of my head into the world without having to write an actual compiler for them 😅 I … Read more
The interactive features and visualizations of this post won’t work because Javascript isn’t enabled in your browser. Try disabling browser extensions and content blockers, or view this page in another browser. After 8 months of working on this post I … Read more
Dusa is a logic programming language designed by Rob Simmons and Chris Martens, the first implementation of finite-choice logic programming. The easiest way to use Dusa is in our web editor. Dusa is also available as a command-line utility and … Read more
Programming in Lua (first edition) This is the online version of the first edition of the book Programming in Lua, a detailed and authoritative introduction to all aspects of Lua programming written by Lua’s chief architect. The first edition was … Read more
Programming languages seem to have somewhat stagnated to me. A lot of shuffling around ideas that already exist, not a lot of new ones. This is not necessarily bad. Shuffling around ideas that already exist is a natural part of … Read more
Download PDF
Welcome to the Luon Programming Language Luon is a high-level programming language with a syntax similar to Oberon+, Oberon-07 and Oberon-2, integrating concepts from Lua, and targeting the LuaJIT VM. Luon can be regarded as a statically typed version of … Read more
Programming language memory models answer the question of what behaviors parallel programs can rely on to share memory between their threads. For example, consider this program in a C-like language, where both x and done start out zeroed. // Thread … Read more
DSPy is the framework for programming—rather than prompting—language models. It allows you to iterate fast on building modular AI systems and offers algorithms for optimizing their prompts and weights, whether you’re building simple classifiers, sophisticated RAG pipelines, or Agent loops. … Read more