I think you meant to write "da gender" ; )
Thelie
It said my username was already taken lol. I think/hope that's because I entered myself into that earlier list for the beta... Also still waiting for the mail.
Appearantly I'm gary, but I rarely talk to CS PhDs…
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 kissed a girl in my ass
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.
ni li pona a! mi kama sona pi toki pona. tenpo ni la mi ken toki lili, taso mi ken toki kepeken tenpo lili.
tenpo pini la mi toki e ni: mi wile musi e omori lon tenpo kama. tenpo ni la mi toki e ni: mi wile musi e omori kepeken toki pona! pona tawa sina! o pali e ni.
ante: mi kama sona sin, mi ante lili e nimi.
We're on the same page as far as Mirrors EdgeI The Sims and SC3 goes, so I'll trust your taste and listen to the other ones aswell. I'd want to add Portal 2 and Team Fortress 2 aswell.