Thelie @ Thelie @sh.itjust.works

Posts

3

Comments

48

Joined

1 yr. ago

If you are so inclined, reading up on compatilism might complicate the distinction you make between free will and the causal nature of the universe. ;)

That is my exact thought, every time. I might actually say that to my nephew some day...

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.

I think you meant to write "da gender" ; )

Lemmy discovers deism. ;)

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…

I'm looking forward to the new version, thanks for doing all this work and I hope the update goes well :)

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

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

Damn that would have been nice. The big circles are a nice alternative, though. ;)

For the lazy:

∫‍⚧

∫‍🇸🇦

ꙮ‍⚧

∫‍∫‍ꙮ

Edit: I did this knowing full-well that it won't render in any way like in the post. Unicode is not magic, folx! The font still needs to handle this random string of bits. I'm sorry to have disillusioned a few of you… 😬

I've started Celeste last week and damn that game get difficult quick (at least if you try to get all the strawberries^^). Also the Pico8 version is a whole other beast o.O

Also the usual TF2 for me, which now miraculously works on Linux again…

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…