• 5 Posts
  • 37 Comments
Joined 8 months ago
cake
Cake day: April 9th, 2024

help-circle










  • Thelie@sh.itjust.workstomemes@lemmy.worldYarrr
    link
    fedilink
    arrow-up
    2
    ·
    2 months ago

    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.








  • 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.