https://ntietz.com/blog/you-should-make-a-new-terrible-programming-language/
https://www.ntietz.com/blog/first-impressions-of-gleam/
https://zyme.dev/
an esoteric language for genetic programming.
https://www.cs.cornell.edu/~asampson/blog/gator.html
A special kind of bug exists in code that has to deal with geometric concepts like positions, directions, coordinate systems, and all that. Long ago, in an OOPSLA 2020 paper, we defined geometry bugs and designed a type system to catch them. This post demonstrates the idea through some buggy GLSL shaders.
https://dl.acm.org/doi/10.1145/3591264
File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns such as the random access pattern and the type-length-value pattern. We ...
https://browncs1951x.github.io/static/files/hitchhikersguide.pdf
https://www.cs.cornell.edu/~asampson/blog/bril.html
I created a new intermediate language, called Bril, for teaching my funky open-source, hands-on compilers course. Because it’s for education, Bril prioritizes simplicity and regularity over more typical compiler priorities like performance and concision. This is an overview of Bril’s design, its quirks, and the ecosystem that has grown up around it since 2019.
https://glisp.app/
A Lisp-based Design Tool Bridging Graphic Design and Computational Arts
https://bernsteinbear.com/blog/toy-abstract-interpretation/
CF Bolz-Tereick wrote some excellent posts in which they introduce a small IR and optimizer and extend it with allocation removal. We also did a live stream together in which we did some more heap optimizations.
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
@armchair_progamer
@programming.dev