Skip Navigation

jjj

@ jjj @lemmy.blahaj.zone

Posts
9
Comments
50
Joined
5 mo. ago

  • Meet Potential Language

    Jump

  • Practically, dynamic typing is quite different from no typing, such as with the B programming language, although I agree that it often defeats certain benefits of type systems.

  • Meet Potential Language

    Jump

  • strong typing

    Grrrrrrr. (this term is ambiguous but still very popular for some reason https://en.wikipedia.org/wiki/Type_safety#Strong_and_weak_typing)

    There are other well defined ways to describe a type system, such as:

    • Static vs dynamic
    • Implicit vs manifest

    e.g.

    • Rust's is mostly static and sometimes optionally implicit
    • Haskell's is static and optionally implicit
    • Python's, Lua's, etc is dynamic and implicit
    • C's is static and manifest

  • you buy a rule

    Jump

  • For every MEAL YOU BUY A MEAL NO LOITERING POLICE ENFORCED

    Thanks for coming to my (your) TED talk.

  • Anyone played Punk?

    Jump

  • This looks great!

    Bullet hell games are normally not my thing

    It turns out genre doesn't have to do with one's preferences as much as the distribution of execution/planning/adaptation challenges:

    https://youtube.com/watch?v=NgHvdCcmQ4o

  • The AirPods Effect

    Jump

  • As an extreme introvert, I actually entirely agree with OOP's message. I didn't interpret the implication that humans are social creatures as indicating that casual social interaction with strangers must be easy and enjoyable; rather, that it is beneficial and necessary.

    I'd like to hear more about your take.

    EDIT: It does irk me that they refer to it as "The AirPods Effect," rather than "The Ear Buds Effect."

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    (OC) Somerule I drew a year or so ago

  • give me ur rss rules

    Jump

  • Homestuck prepared me too well for this. Fuck.

    insert mario parallel universes meme but its Dave Strider

  • Fans small talking

    Jump

  • rule

    Jump

  • Is there a version of regex with comments?

    I mean one would typically insert it as a literal in another language but if there are flexible macros it could be done without any runtime cost/standard reinventing.

  • R[UwU]le

    Jump

  • Who is this "Source" person, and how is their work so widely referenced and varied?

  • C++ takes decades to master

    Jump

  • I think there is something to be said for keeping a language simple, though. The basic semantics of a language should be comprehensible to everyone, let the standard library have all the wacky stuff someone wanted decades ago. (macros - the lisp kind, not the C kind - make this easier)

  • C++ takes decades to master

    Jump

  • Async has been stable for a long time. Coroutines are just syntax sugar AFAIK.

  • C++ takes decades to master

    Jump

  • What do you mean by "abstract away", and what about it is exclusive to headers?

    Eg most languages have something like a trait or interface wherein you can put a list of definitions (optionally with a default aka "inline" implementation) which are then actually implemented elsewhere. This is considered useful by everyone because it allows multiple implementations to be associated with 1 name. They are generally not desired in cases where only 1 implementation will ever be written.

    AFAIK the only use case where headers accomplish the same is if they're treated as documentation for an API that could be implemented by any library.

    Admittedly certain programming styles benefit immensely from headers, despite the drawbacks to "design as you go" programming.

  • (OC) Look it's Nighttime

    Jump

  • All I know right now is it's a fun art style to draw.

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    (OC) Look it's Nighttime

  • Gnome Slander Rules

    Jump

  • I liked using Gnome because it was my first introduction to virtual desktops. I am very thankful that it encouraged me to make use of them and to put 1 window per desktop. However, I tried KDE and it turns out that

    In a nutshell I liked Gnome because it encouraged me to use KDE in a fun way. The actual thing that made me try KDE was finally getting fed up by their whole "we refuse to implement server side decorations and also a bunch of other basic features/customization stuff middle finger emoji" thing.

  • Removed

    Valve reportedly almost delisted Rainbow Six Siege from Steam after Ubisoft attempted to sell it cheaper on Uplay

    Jump

  • It's common for those "other stores" to just be the dev's own store or a store which takes a smaller cut than Valve.

    To me, anyways, it seems perfectly expected for a business to want to pass on Valve's charges to the customer. Whether this is harmful depends on whether you focus on the player or developer, and whether the developer responds by making the game cheaper everywhere or more expensive everywhere.

  • Removed

    Valve reportedly almost delisted Rainbow Six Siege from Steam after Ubisoft attempted to sell it cheaper on Uplay

    Jump

  • I'm not in favor of these practices by Valve either. It seems like the group you're describing are interpreting this as Valve wont let anyone rip off their customers so you can be sure you're getting it at the best price there, rather than Valve wont let anyone change the narrative that you're getting it at the best price there and should buy everything there.

  • (OC) Look it's SQUARREL!

    Jump

  • Don't worry, this ends well.

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    (OC) Look it's SQUARREL!

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    Boruleders

  • I got 99 problems

    Jump

  • I've got 99 problems and 99 problems is at least one of them.

  • The letter of the rule, if not the spirit

    Jump

  • May as well go through the proofs:

    First, we need to establish that two infinities are equal in cardinality (aka size) if all their elements can be 1:1 mapped to each other.

    So, to go from the reals within [0, 1] and [0, 2], we can multiply by 2. This maps every value within [0, 1] to every value within [0, 2], so these are of the same cardinality.

    Where things get interesting is the proof that the reals within [0, 1] are of greater cardinality than every integer.

    Say we have an arbitrary mapping from every integer to a real within [0, 1]: 

     
        
0 -> 0.89236…
1 -> 0.47389…
2 -> 0.84776…
3 -> 0.18790…
4 -> 0.90542…
⋮           ⋱

    This list contains every integer, but it does not contain every real number because we can always come up with a new one by ensuring at least one digit is different in each existing real: 

     
        
0 ->  …8… ≠ 9
1 ->   …7… ≠ 8
2 ->    …7… ≠ 8
3 ->     …9… ≠ 0
4 ->      …2… ≠ 3
⋮           ⋱

          0.98803… is not within the list

    Therefore, no 1:1 mapping between the integers and reals exists. Because the limiting factor is the amount of integers, the cardinality of the reals is greater than that of the integers.

    Edit: https://en.wikipedia.org/wiki/Cantor's_diagonal_argument

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    Gruledge

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    Create rule

  • Factorio @lemmy.world
    jjj @lemmy.blahaj.zone

    PSA: This is what happens when you build on both sides of your main bus

  • 196 @lemmy.blahaj.zone
    jjj @lemmy.blahaj.zone

    Maximal Confusion Rule