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/)B

BatmanAoD

@ BatmanAoD @programming.dev

Posts
2
Comments
242
Joined
2 yr. ago

  • new Date("wtf")

    Jump

  • Apparently the JS name was selected and announced in partnership with Sun from the very beginning, and Sun had the copyright over both Java and JapaScript up until the acquisition by Oracle. I had no idea, but that makes perfect sense.

  • Needs

    Jump

  • Bugs around read-notifications are pretty bad. Slack still has those, but they're infrequent and transient, and often solvable with a hard-refresh.

  • Needs

    Jump

  • I've never understood the hatred for Teams. I don't particularly like Slack, and Teams (from my limited experience using it) doesn't seem that much worse.

  • new Date("wtf")

    Jump

  • Oracle? Oracle owns Java, not JavaScript.

    Edit: mea culpa! Sun owned both!

  • Production breaking driven developer

    Jump

  • Kingdom of Heaven, I believe

  • Locked

    I'm on a list somewhere, I can feel it

    Jump

  • https://askubuntu.com/q/641049

    TL;DR: it's supposed to send email to an administrator, but by default on some distros (including Ubuntu), it isn't actually sent anywhere.

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

    Jump

  • Do you mean Dan Luu, or one of the studies reviewed in the post?

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

    Jump

  • Yeah, I understand that Option and Maybe aren't new, but they've only recently become popular. IIRC several of the studies use Java, which is certainly safer than C++ and is technically statically typed, but in my opinion doesn't do much to help ensure correctness compared to Rust, Swift, Kotlin, etc.

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

    Jump

  • I don't know; I haven't caught up on the research over the past decade. But it's worth noting that this body of evidence is from before the surge in popularity of strongly typed languages such as Swift, Rust, and TypeScript. In particular, mainstream "statically typed" languages still had null values rather than Option or Maybe.

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

    Jump

  • Note that this post is from 2014.

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

    Jump

  • Partly because it's from 2014, so the modern static typing renaissance was barely starting (TypeScript was only two years old; Rust hadn't hit 1.0; Swift was mere months old). And partly because true evidence-based software research is very difficult (how can you possibly measure the impact of a programming language on a large-scale project without having different teams write the same project in different languages?) and it's rarely even attempted.

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

    Jump

  • Notably, this article is from 2014.

  • Fox news trying to explain github.

    Jump

  • It's valid usage if you go waaay back, i.e. centuries. You also see it in some late 19th/early 20th century newsprint and ads.

  • Fox news trying to explain github.

    Jump

  • No, because the thing they are naming is "The Github Dictionary"; they're not applying scare-quotes to the word "dictionary" implying that what they've written is not really a "dictionary".

  • The end of Windows 10 is approaching, so it's time to consider Linux and LibreOffice

    Jump

  • The ribbon that was introduced around... 2007, I think? Or is there a substantially different one now?

  • Fox news trying to explain github.

    Jump

  • "Scare quotes" definitely precede Austin Powers, though that may have spurred a rise in popularity of the usage. (Also, "trashy people never saw Austin Powers" is honestly a pretty weird statement, IMO.)

    That said, in this case, arguably the quotes are appropriate, because "the github dictionary" isn't something that happened (i.e. a headline), but a thing they've made up.

  • Fox news trying to explain github.

    Jump

  • Fox news trying to explain github.

    Jump

  • GitHub PR of Copilot AI agent "fixing" a bug in official .NET repo

    Jump

  • Most of those comments are actually just random people arguing about the merits of the experiment, not continued discussion with the bot.

    Also, the bot is supposed to be able to run builds to verify its work, but is currently prevented from doing so by a firewall rule they're trying to fix, so its feedback is limited to what the comments provide. Humans wouldn't do great in that scenario either. (Not to say the AI is doing "great" here, just that we're not actually seeing the best-case scenario yet.)