This is my first Mastodon post! Very happy to share Reify.

Recently, we've been working on a new paradigm for random program generation (RPG), which we call *semantic reification*.

Unlike typical syntax-first RPG, semantic reification is semantics first.

I did Compiler Explorer's monthly accounts, and for the first time in ages we only broke even. Usually we run at a small surplus (which I save) & we have a year contingency saved up.

If you want to support us:

* Buy stuff: https://shop.compiler-explorer.com/
* Patron/GH: "Other" menu on CE

Would appreciate a repost - thanks so much! :)

Now Live: The Iris Workshop Bingo

https://iris.bingo

(not affiliated with BahnBingo 🙈)

The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities.

There is no #Haskell without the trans people who have shaped it through the years.

This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

kind of a funny clang infinite loop bug:

https://github.com/llvm/llvm-project/issues/195367

this hangs Apple clang on my mac as well as the one I built most recently

does anyone know if anyone has taken a look at where infinite loop bugs in compilers come from? the only related paper I can think of is this one:

https://dl.acm.org/doi/abs/10.1145/2884781.2884809

but this is about a specific kind of infinite loop, I'd be interested to learn about all kinds of these found in real compilers

I spent this spring (co-)teaching a course on Vibe Coding, and I've been doing some of it myself. and this essay seems pretty much spot-on

https://larsfaye.com/articles/agentic-coding-is-a-trap