Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)V

verstra

@ verstra @programming.dev

Posts
10
Comments
185
Joined
3 yr. ago

  • What's wrong with my sudachi (citrus)?

    Jump

  • Small frutis might mean it is too cold. It could also lack nutrition.

    You should think about different conditions (how wet is the soil, have i provided enough nutrients, what was the temperature) and cross-off different causes of this.

  • You can take it from my cold dead pincers

    Jump

  • Report reason: I'm in this picture and I don't like it.

    I do find it funny though :D

  • Are there any other dark themes available for many services like the dracula one?

    Jump

  • There is also gruvbox. Not as much support, but I like it.

  • Good Morning

    Jump

  • My laptops runs postgres, but it is still pretty portable

  • Coders on Lemmy be like

    Jump

  • Fun fact: in rust and python, they use "selfself" instead of "meme"

  • oddly specific

    Jump

  • There are only two hard problems in computer science:

    • naming things,
    • cache invalidation,
    • off-by-one errors.

    I'm afraid you've fell victim to the problem 2.

  • oddly specific

    Jump

  • Well, no. They are not certainly using int, they might be using a more efficient data type.

    This might be for legacy reasons or it might be intentional because it might actually matter a lot. If I make up an example, chat_participant_id is definitely stored with each message and probably also in some index, so you can search the messages. Multiply this over all chats on WhatsApp, even the ones with only two people in, and the difference between u8 and u16 might matter a lot.

    But I understand how a TypeScript or Java dev could think that the difference between 1 and 4 bytes is negligible.

  • Social media isn’t just for pictures

    Jump

  • Maybe checkout Pixelfed, which is (from what I gather) similar to what instagram was 10 years ago

  • TIL that RFC 4180 specifies the CSV format to use CRLF line endings

    Jump

  • I hate that the pleasant news about standardization of CSV come with the let-down that is using two bytes for new lines.

  • What does 1000€ buy you in your favourite hobby?

    Jump

  • Or a pair of boots, a great backpack, hiking trousers, helmet, harness and a "via ferrata cable kit".

  • What does 1000€ buy you in your favourite hobby?

    Jump

  • ~10 manual mid-range tools and enough wood to make a nice looking jewellery box.

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • Dan Luu. From summary of summaries:

    I suspect I might prefer Rust once it's more stable.

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • Just because we cannot prove something, doesn't mean that we can treat strong claims the same way as proven hypnosis. If we cannot prove that UBI is overall beneficial, we just cannot believe it with the same certainty that we would if we had a bunch of studys on our side.

    Look, I'm not saying that we have nothing - I'm just saying that what we have are educated guesses, not proven facts. Maybe "open question" was too strong of a term.

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • Well, you can conclude anything using your reasoning, but that does give the high degree of certainty that is sought after in the studies reviewed in the article.

    Again, I'm not saying that I don't believe static type checkers are beneficial, I'm just saying we cannot say that for sure.

    It's like saying seat belts improve crash fatality rates. The claim seems plausible and you can be a paramedic to see the effects of seat belts first-hand and form a strong opinion on the matter. But still, we need studies to inspect the impact under scrutiny. We need studies in controlled environments to control for things like driver speed and exact crash scenarios, we need open studies to confirm what we expect really is happening on a larger scale.

    Same holds for static type checkers. We are paramedics, who see that we should all be wearing seat belts of type annotations. But it might be that we are some subset of programmers dealing with problems that benefit from static type checking much more than average programmer. Or there might be some other hidden variable, that we cannot see, because we only see results of code we personally write.

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • The original author does mention that they want to try using rust when it becomes more stable.

    This is why any published work needs a date annotation.

  • KDE Plasma Mobile — The Dev Log: April 2024 - June 2025

    Jump

  • Damn, this actually looks really good! Is there an estimate on when this will be useable-ish as a main phone for non-dev users?

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • Hindley-milner type inference for the win!

    It's hard to implement, but the result is a statically typed language, mostly without type annotations.

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • Because it is hard to design a study that would capture it. Because it is hard to control many variables that affect the "bugs/LOC" variable.

  • Literature review on the benefits of static types, by Dan Luu

    Jump

  • My conclusion is that it is hard to empirically prove that "static type systems improve developer productivity" or "STS reduce number of bugs" or any similar claim. Not because it looks like it is not true, but because it is hard to control for the many factors that influence these variables.

    Regardless of anyone's opinion on static/dynamic, I think we still must call this an "open question".