I thought operational semantics were a straightforward way of formalizing languages, until I actually tried. I'm now drowning in operational bureaucracy. Denotational semantics are more fun.


@lyxia You formal folks are a completely different breed. I'm baffled and amazed.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!