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

gedhrel

@ gedhrel @lemmy.world

Posts
0
Comments
273
Joined
2 yr. ago

  • For the First Time, Artificial Intelligence Is Being Used at a Nuclear Power Plant

    Jump

  • I'm not sure if that opening sentence is fatuous or not. What errors in any industrial enterprise are not human in origin?

  • Search Index in 150 Lines of Haskell

    Jump

  • Yes! Steele's Fortress-era talks are amazing. Really thought-provoking.

  • Search Index in 150 Lines of Haskell

    Jump

  • Yes! Steele's Fortress-era talks are amazing. Really thought-provoking.

  • TIL antimatter is the most expensive substance on Earth, costing $60 trillion per gram

    Jump

  • It doesn't, but if it did that'd explain why there isn't much of it around.

  • Search Index in 150 Lines of Haskell

    Jump

  • "Since we are talking about aggregating documents into an index, the word semigroup might pop into our heads."

    This is why Haskell tutorials have a bad rep. Why not use a common English term like "monoid" instead?

    Snark aside, the <> approach to solving the problem piecewise and aggregating the results into a larger instance of the same type is a really convenient approach.

  • Deleted

    Permanently Deleted

    Jump

  • That's actually the idea. It's not general precrime, it's a decision support tool for predicting recidivism when deciding parole cases.

    That doesn't mean it's not on decidedly shonky ground statistically speaking.

  • Deleted

    Permanently Deleted

    Jump

  • 570 recorded homicides between March 2023 and 2024.

    Data on "hundreds of thousands" of people can't provide the distinguishing markers to even have a stab at this.

    It can reliably predict when people are black, though.

  • You must eat banana!

    Jump

  • She (Paulina something..?) is rather famously (or infamously) banana-phobic. When the story went viral a handful of other public figures came out to say they had the same, somewhat unusual, phobia.

  • You must eat banana!

    Jump

  • Sweden's former minister for equality had a particular interest in these.

  • Labels go brrrr

    Jump

  • And as for your specific question: typechecked code doesn't get to production with a type error; it won't compile. There's a common phrase, "left-shifting errors". It means catching bugs as early in the development cycle as possible. In terms of things like developer time (and patience), it's far more cost-effective to do so.

  • Labels go brrrr

    Jump

  • I worked on OpenStack back in the day: millions of lines of untyped Python.

    Let's say you've got an X509 certificate. You know you can probably pull the subject out of it - how? Were I using Java (for instance), the types would guide my IDE and make the whole thing discoverable. The prevalent wisdom at the time was that the repl was your friend. "Simply" instantiate an object in the repl then poke at it a bit.

    And it's not just that kind of usability barrier. "Where is this used?" is a fantastic IDE tool for rapid code comprehension. It's essentially impossible to answer for a large Python codebase.

    Don't get me wrong: python is still a great go-to tool for glue and handy cli tools. For large software projects, the absence of type enforcement is a major impediment to navigation, comprehension and speed of iteration.

  • DOGE Plans to Rebuild SSA Codebase in Months, Risking Benefits and System Collapse

    Jump

  • Not just domain logic. The implementation logic is often weird too. Cobol systems have crash/restart behaviour and other obscure semantics that often end up being used in anger; it's like using exceptions for control flow, but exceedingly obscure and unfortunately (from what I've seen of production cobol) a "common trick" in lots of real-world deployments.

  • Journalists Demand More Synonyms for Stupid as Trump Administration Enters Third Month in Office

    Jump

  • They are also running out of euphemisms for "Nazi salute".

  • Revealed: at least 25 UK ‘spy cops’ had sex with deceived members of public

    Jump

  • That's pretty nuch why every one of these cases has settled before it reached court. The first thing the prosecution would do would be to get documetation of how many times this had happened, and the met policy that knowingly encouraged it.

  • Henry Symeonis

    Jump

  • Wait until you hear why Cambridge exists.

  • Linux royalty backs adoption of Rust for kernel code

    Jump

  • Whilst it's gotten a lot better in the -17 and -20 iterations, the fact that there was recently a doorstop book published solely on the subject of C++ initialisation semantics is pretty telling.

    I really like what Herb Sutter's doing around cppfront; I still wouldn't use C++ unless I absolutely had to.

  • Linux royalty backs adoption of Rust for kernel code

    Jump

  • To add something to this: linux has avoided internal SPIs for a long time. It's often lauded as one of the reasons it hasn't ossified.

    However, some subsystems have a huge amount of complexity and hidden constraint in how you correctly use them. Some of that may be inherent, but more of it will be accidental.

    Wrapping type-erased shims around this that attempt to capture (some of) those semantics shines a light onto the problem. The effort raises good technical questions around whether the C layer can be improved. Where maintainers have approached that with an open mind, the results are positive for both C and Rust consumers. Difficult interfaces are a source of bugs; it's always worth asking whether that difficulty is inherent or accidental.

  • Linux royalty backs adoption of Rust for kernel code

    Jump

  • Linux royalty backs adoption of Rust for kernel code

    Jump

  • You're wrong, but it's possible the article gave you that impression. Read the mailing-list thread.

    It's particularly worth reading Ted T'so's contribution, which (considering his rude behaviour at the recent con led to a previous round of this nonsense) seems much more positive.