song name?

Interesting that you pick GOG and Itch as examples, because I have all my gemes from these platforms available Through Lutris in a central interface. And it works well because Lutris can, provided my login info, just download and install the games without needing any extra services.

I see PMG, I upvote.

From what I gathered from the Wikipedia page of Kripke Models, they take the form of something like a graph (nodes and edges). My mediocre knowledge of higher math makes me wave my hands and say something about Category theory also working with graph-like structures and that sheaves and topoi definitely come up there, too.

https://www.youtube.com/watch?v=RfCiefs0k3k

thanks mr skeltal

To first give you some context, the thing on the top is from The “Representable Functors” chapter of Category Theory for Programmers. So technically, you only need to read 230 Pages of a maths textbook to get it ;)

But this isn’t exactly what you asked for, so I’ll try to help you get it as best I can with my limited understanding of the subject. First of all it would be helpful to know what your prior knowledge in Maths, especially Set theory, is?

I think you’d be happy to know that I’ve gone for a bit of an overkill and used Pest to parse the commands, which automagically gets me an enum to match against in this position.

The sad part is, I haven’t gotten the Media upload to work, so the project is on ice for a little while…

Textbooks don’t only get digital releases. If everyone started to pirate it all the time, the author would not make any money at all.

Maybe you should start looking into academic publishing and the amount of money authors get for their work in this field. Spoiler: It’s a laughable fraction of the book prices.

I’m not sure how I would go about this in an elegant way since I’m matching the string I get from a message…

That’s a good point, thanks. Maybe I’ll go without the if entirely, the (janky) code is still very much in flux ;)

Almost, but not quite. It’s built against Presage

Inside me are two wolves I guess…

Wow you sound so smart!

Oh whoops. Thanks for the hint, I fixed it.