SpecTec has been adopted - WebAssembly

«...huge leap forward, because the practical state of language specifications is basically stuck in the 1960s: most language standards, even new ones, are still defined by some basic grammar notation for their syntax (and sometimes not even that), while their semantics is given by a combination of pretty prose, hidden assumptions, and wishful thinking.»

https://webassembly.org/news/2025-03-27-spectec/

A Brief, Incomplete, and Mostly Wrong History of Programming Languages — https://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html #programming #programminglanguages

Very disturbed by an idea in a theogg video today. "The end of frameworks" and new language ideas because it won't immediately be available in the LLMs and therefore feel more difficult to use.

That just feels so gross. Imagine if tech had stopped 10, 20, 30 years ago because magic autocomplete worked sometimes.

Writing an #interpreter for #Brainfuck is almost a rite of passage for any programming language implementer, and it’s my turn now. In this post, I write not one but four Brainfuck #interpreters in #Haskell: https://abhinavsarkar.net/posts/brainfuck-interpreter/

Please boost for reach. If you have any questions or comments, please reply to this post.

I wrote the fourth part of my #blog series “Implementing Co, a small programming language with #coroutines”. And this time, we add support for channels in #Co for inter-coroutine communication. https://abhinavsarkar.net/posts/implementing-co-4/