A bunch of links to stuff I often want to share, but sometimes forget so I'm writing them down so I don't forget them (as much)

Also, feel free to send me things you think are cool at and.null@sheeeeeeeep.art

Generally, I put newer stuff at the top.

• Foundations of Dawn: The Untyped Multistack Concatenative Calculus is an attempt to describe a formal calculi for multistack programming languages. It includes a note about the benfits of multiple global stacks in "Global Stacks: Global Variables Without the Drawbacks".
• Pattern-Matching as Inverse describes using inverse constructors to build composable and extensible pattern matching for concatenative programming languages.
• Ryan Zezeski's Memory by the Slab: The Tale of Bonwick's Slab Allocator is a video that discusses slab allicators, how they work, their benefits, the history of allocators, and much more.
• Maude is a term rewriting system centered around formal verification. It allows you define symbols, define types that group symbols together, write equations and rules, and features the ability to define objects. It's bit stuffy, but I did manage to implement tic-tac-toe in it. Objects were definitely the highlight of the language.
• Polymorphous Perversity another old erotic game I recall playing. You basically just get taken to another world of sex and kink where you 1) die if you don't have enough sex 2) have to discover yourself. I never finished it, but one day I'd like to. One of many projects that got me interested in making sexual games.
• 0th Dimension is an old, erotic flash where you navigate some small worlds each with different themes and kinks. The developers were convience to rehost the game after yours truely mentioned how influential it was to them.
• Wandering in the blue. Using Smalltalk to create a new language - Agustin Rafael Martinez showcases a term rewriting system implemented in Smalltalk that blends visual and textual representations of code.
• Wick Editor is a flash-like HTML5 game engine and animation tool. It's honestly a one of a kind thing. This is the closest we've seen to a proper replacement of Flash. Or, at least an emulation of some of its features.
• Terra is another low-level system language modeled after Lua. Terra like Nelua, also uses Lua as a macrolanguage. However, Terra choose to blur the lines more than Terra. Where Nelua embeds Lua into itself, Terra embeds itself into Lua.
• Nelua is a styatically typed system language model after Lua. The core language deviates from Lua to account for Nelua's native compilation pipeline. However, it's macrolanguage is Lua itself.
• Teal is a statically-typed dialect of Lua that isn't quiet as powerful as NattLua.
• NattLua is a statically-typed Lua superset with a very TypeScript like type system. It provides powerful type-level operations over Lua.
• qdbp is a cool langdev project exploring structually-typed prototype-based programming wiht immutable objects and a extremely minimal syntax.

• Ordo is a cool demo of row polymorphism as a core feature. The notable thing to me is the inclusion of types to express a field doesn't exist:

  forall ra. (ra\y) => {ra} -> {y: int | ra}

  This direct enclusion of a "negative assert" in a type system feels like a rare inclusion. From what I've seen, many programming languages focus on proving positive assertions. But sometimes a simply way to say "this cannot exist" is nice.

• Warewarea block-based 3D game making tool
• Domino a tool for making a web page of sticky notes. There is apparently a Domino 2.
• ADHD by Mikasacus.
• Finite State Machines this is a chapter from Design and Validation of Computer Prototocls that discusses FSM.
• The Visibile Zorker is a Zork player that lets you view the source code as it traces execution through the game. Andrew Plotkin's blog post about it.
• Purely Functional Retrogames is a series on programming old arcade-style games using a purely functional style of programming.
• Beans a flow based programming built overtop of Uxn.
• Prism — a really cool looking LOVE-based framework for building classic Roguelikes.
• kooltool (old) — a tile-based game building tool where you construct the world from inside the game. Has a nice feel of live-editing to it.
• coeffects — Cool way of annotating the enviromental requiremens for a function to execute.
• The Ultimate Conditional Syntax — A wonderfully unified way to express pattern matching. Has a very dataflow vibe to it imo.
• Nomsu — A extensible programming language centered around defining new syntax with a focus on natural language.
• THE DANCING BONES — A horror comic about a plague of dancing skeletons that'll free you from your flesh. It follows a pair of middle-aged lesbians researching (and flirting (and fucking)) through this affair.
• Krumm — phenomenal artist with a surreal style. Does some inspirational erotic pieces.
• Transducers A cool article about using FSMs to quickly index billions of strings.

Projects that are kinda suspect, but I want to keep a link on hand for.

• Neva a statically typed, dataflow programming that interlope with Go. The main dev is an AI and Crypto dude and their reddit is banned for some reason. Sus.