[tunesmith]

I use this daily as a software architect.

Also for recipes!

And for argument graphs. Premises, therefores/lemmas, conclusions.

I don't get heavily into CRT/FRT, at least not the most disciplined versions. I find that in practice the kinds of problems that justify that in-depth level of analysis are few and far between.

[eespark]

I'm slightly surprised that there's not more mention of Flying Logic on here. How do you decide when to use it, and what other tools/frameworks do you use in conjunction?

Do you share or collaborate on these models with anyone? I find that it's very easy to assume that people will look at the model and see what you're seeing but mostly their eyes glaze over.

Also: recipes? Just what are you cooking up?

[tunesmith]

I use it when I want to draw a graphical data structure that will visually auto-update as I change it. That answer sounds kind of pat, since you basically need to gather enough experience to know when that is useful. I tend to think it's useful in far many more cases than people usually appreciate.

I often screenshare. You can also share the *.xlogic files, even via git, although the company has made it harder to download a free version of the app that can read them read-only. Last I checked it seemed they require a credit card even if you don't buy.

The natural representation of a recipe is a DAG! ;-)