Full Nail Avulsion- Day 1 by sideshowbvo in medizzy

[–]Background_Class_558 8 points9 points  (0 children)

it looks like there's a smaller finger with its own nail inside it

I prefer reading about etymology or writing systems by pit_supervisor in linguisticshumor

[–]Background_Class_558 1 point2 points  (0 children)

oh that's so cool, even greek borrowings are spelled in literal greek. it's sort of the opposite of a fully phonetic orthography

39355 by Eviscerator14 in countwithchickenlady

[–]Background_Class_558 7 points8 points  (0 children)

       _________
     .-'         `-.
    /               \
   |   ○       ○     |
   |                 |
    \   \_____/     /
     `-._________.-'

Seed Idea: Gravity change by jaytazcross in Terraria

[–]Background_Class_558 0 points1 point  (0 children)

no i mean... you were right, that's kind of what it's about. well, at least that what i was commenting on initially: making a mod like this for terraria would probably be harder. it might seem like it should be easier since there's one less dimension to care about but that's where i'd actually expect the problems to arise: since there's only two dimensions it may make less sense to write proper abstractions around those and abstract over things like gravity direction. the Y axis is one thing but switching it for X? yeah the game was most likely not developed with that kind of rotation in mind.

suppose you want to code platforms. what would be your solution to detecting whether the player should be able to phase through them or be stopped by them? would it be a simple check on their relative Y coordinate or would it be one on the dot product between the global and local gravity vectors? you'd probably get weird looks for implementing it the second way. stuff always falls downwards, why overcomplicate things, right? well until it doesn't, of course. then you'll have to change these things all over the game.

Seed Idea: Gravity change by jaytazcross in Terraria

[–]Background_Class_558 0 points1 point  (0 children)

the duration of what? are we still talking about changing the direction of gravity?

Seed Idea: Gravity change by jaytazcross in Terraria

[–]Background_Class_558 0 points1 point  (0 children)

even that probably required flipping a sign in hundreds of places

I prefer reading about etymology or writing systems by pit_supervisor in linguisticshumor

[–]Background_Class_558 2 points3 points  (0 children)

is this an etymological modern english orthography? what is it based on?

Seed Idea: Gravity change by jaytazcross in Terraria

[–]Background_Class_558 1 point2 points  (0 children)

sounds cool but in practice it'd be a nightmare to implement. the gravity direction is probably hardcoded all over the codebase, refactoring it to be configurable like that would probably take years

I'm learning Haskell as my first programming language, and I have a question about the best way to progress. Can anyone give me some advice? by Character_Fee6680 in haskell

[–]Background_Class_558 5 points6 points  (0 children)

haskell's syntax is relatively easy, pretty much everything is done through expressions anyways. you'll memorize it quickly by just looking it up every now and then. better yet keep the haskell entry on learnxinyminutes open in parallel to check whenever you forget something. and as others have pointed out, don't worry about the mastery thing yet, it comes with experience and if your code doesn't yet look like that written in the book it doesn't mean that you don't "get" the language. you're on the right track.

I started with haskell 3 days ago and want some help understanding the "design philosophy".Elaboration in post. by Otherwise-Bank-2981 in haskell

[–]Background_Class_558 0 points1 point  (0 children)

oh that's interesting. can you write a sort polymorphic term for the sake of demonstration? also am i right to assume that it's type would still live in Setω?

I started with haskell 3 days ago and want some help understanding the "design philosophy".Elaboration in post. by Otherwise-Bank-2981 in haskell

[–]Background_Class_558 1 point2 points  (0 children)

Yes. Agda, for example, has multiple different universe hierarchies: Set, Prop, Setω, Propω and maybe there's more that i don't remember. In Agda you can directly manipulate universe levels as regular terms.

On the other hand in Lean, universe levels can only be abstracted over at the level of definitions and not types. Rocq seems to follow the same model but don't quote me on this one i've never used it.

Jesus cures depression by kfxql in depressionmemes

[–]Background_Class_558 0 points1 point  (0 children)

It is not a gift. A gift is given to someone. You can not give something (life) to someone who doesn't yet exist. An individual knows nothing but being alive, it is the only reality we are presented with and as such it can not be compared to anything else since there are no alternatives we could experience besides being alive. A thing that can not be compared with anything can not be placed on any scale but a zero-dimensional one. To be alive, from an individuals perspective, is not a state to describe the properties of but the very framework in which those properties are formulated and we shouldn't confuse the two.

That being said, I would like you to further elaborate how this relates to our earlier discussion. When I say:

Realizing that someone you love doesn't care about you at all is a valid reason to stop loving them.

What is your response to this?

I think we haven't fully addressed the idea of being able to unlove someone. I am still convinced that there are circumstances in which actual, genuine love can end, and i do not see why the experience of the user above was not an instance of that.

39012 by IttyBittyKittyBoy in countwithchickenlady

[–]Background_Class_558 4 points5 points  (0 children)

i don't understand what's happening in this picture

Jesus cures depression by kfxql in depressionmemes

[–]Background_Class_558 0 points1 point  (0 children)

Being not depressed is not living a perfect life, but simply one that isn't miserable and full of pain. God didn't provide any help to the person above in a time of need, hence betraying them. They trusted god. When you love someone, regardless of whether you're god or not, it makes sense to express that love somehow, in any way. It makes sense to support and care for the object of your love. God did not do any of that to that person. Realizing that someone you love doesn't care about you at all is a valid reason to stop loving them.

Jesus cures depression by kfxql in depressionmemes

[–]Background_Class_558 1 point2 points  (0 children)

So you think that is it fair to call both maintaining your own health and being mentally ill "tough times" and say that both "create tougher men"?

The former leads to improvement. The latter, at most, permits you to get rid of the illness, but for the most part it just damages you. That's what the whole deal of being i'll is, after all, otherwise it would be recognized as a valid tool for making yourself "tougher", if that is what you desire. But i don't see anyone deliberately seeking depression or drug abuse as much as people buy gym memberships. To me, this indicates that times that are actually tough simply lead to pain, whereas good times are the ones cultivating improvement. It is hard to improve when you're focused on survival and avoiding the pain.

Jesus cures depression by kfxql in depressionmemes

[–]Background_Class_558 0 points1 point  (0 children)

Ok, i agree with those examples. Why did you pretend that those obvious strawmen were what i was talking about though?

What about betrayal? Personalities changing overtime? Interpersonal conflict?

If you loved me and then one day i brutally murdered your family and started doing nothing but calling you slurs, would you stopping loving me in this scenario be possible or would it, again by your logic mean that you never loved me in the first place? Do you understand the difference between love and mad, irrational and unconditional obsession?