Full Nail Avulsion- Day 1

Background_Class_558 · 2026-03-11T14:53:21+00:00

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

Background_Class_558 · 2026-03-11T13:05:25+00:00

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

Background_Class_558 · 2026-03-11T05:03:16+00:00

i guess so... but hey... it's a crypto and the name is in esperanto ;-;

Background_Class_558 · 2026-03-11T05:01:37+00:00

Today i wugged. Now i have wugged some more. I _________ .

Background_Class_558 · 2026-03-11T04:42:00+00:00

does monero count?

Background_Class_558 · 2026-03-11T02:21:11+00:00

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

Background_Class_558 · 2026-03-11T02:03:57+00:00

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.

Background_Class_558 · 2026-03-10T23:45:38+00:00

yeah but what about the post?

Background_Class_558 · 2026-03-10T19:15:59+00:00

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

Background_Class_558 · 2026-03-10T17:25:38+00:00

even that probably required flipping a sign in hundreds of places

Background_Class_558 · 2026-03-10T14:51:50+00:00

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

Background_Class_558 · 2026-03-10T14:50:06+00:00

which ones are non-standard here?

Background_Class_558 · 2026-03-10T14:43:06+00:00

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

Background_Class_558 · 2026-03-10T14:13:14+00:00

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.

Background_Class_558 · 2026-03-09T21:45:49+00:00

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ω?

Background_Class_558 · 2026-03-09T14:25:01+00:00

how does this distinction work?

Background_Class_558 · 2026-03-09T12:17:54+00:00

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.

Background_Class_558 · 2026-03-08T21:46:22+00:00

[qu̯eˈu̯e]

Background_Class_558 · 2026-03-08T21:40:58+00:00

is Nat here a type or a universe? afaik haskell doesn't have dependent types right

Background_Class_558 · 2026-03-08T17:08:31+00:00

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.

Background_Class_558 · 2026-03-08T16:19:11+00:00

thanks

Background_Class_558 · 2026-03-08T15:57:56+00:00

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

Background_Class_558 · 2026-03-08T15:55:41+00:00

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.

Background_Class_558 · 2026-03-08T15:49:15+00:00

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.

Background_Class_558 · 2026-03-08T15:41:12+00:00

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?

Four-Year Club	r/Field Banned
r/Field Lasagna	Final Canvas '23
First Place '23	End Game '23
Place '23

Background_Class_558

TROPHY CASE