• 8 Posts
  • 8 Comments
Joined 2 years ago
cake
Cake day: January 13th, 2022

help-circle





  • Apparently, “Theorems for free!” is a paper that talks about an extensive ability to reason about parts of programs, if you follow some rather basic rules.

    However, lots of popular programming languages throw this ability out the window, because they do not want to enforce those basic rules.
    Most languages, for example, allow for rather uncontrolled side effects and to be able to reason as a programmer, you have to make the assumption that no one else abused side effects.

    The instanceof is rather referring to dynamic typing, though, as e.g. employed by Python and JS, which makes it difficult to make any assumptions at all.

    So, in statically typed languages, when you’re implementing a function, you can declare that a given parameter is a number or a string etc. and the compiler will enforce that for you. In dynamically typed languages, you have to assume that anyone calling your function is using it correctly, which is a difficult assumption to make after a refactoring in a larger codebase.

    All in all, such different levels of rigorosity can be fine, but the larger your codebase grows, the more you do want such rules to be enforced, so you can just ignore the rest of the codebase.


  • Kind of feels disparate from it being a video game, but it’s difficult to really make this experience another way:

    I wanted to play a healer in an MMO. It was a shitty MMO, so healers could only be female characters wearing skimpy armor.

    Well, it took about half a minute until I had people walk up to me, to then just stop 3 meters away. From the way they were moving, I have to assume, they were working their cameras to look underneath my skirt, and probably doing so with only one hand.

    Some of them were sending me “hello :)” messages, which I guess is basic decency, if you’re going to use my body, but it felt weird, too, since we had nothing to talk about.

    All in all, it felt uncomfortable. And I did not even have to fear for them to start touching or even raping me. Plus, I was able to log out, delete my account and basically just leave all of that behind.

    Well, except for one thing I did not leave behind: I do not want to be the other side in that experience either.