• 1 Post
  • 33 Comments
Joined 2 years ago
cake
Cake day: July 3rd, 2023

help-circle



  • The tests that Trump fails are some of the most consistent themes, repeated by Jesus and not contradicted (but rather reinforced) by other passages: pride, greed, selfishness, oppression of the poor and the needy, lying, adultery, rape – all of these are continuously, explicitly condemned by the Bible without any “mixed messages” there.

    The only way to “interpret” the Bible as okay with those things is just to claim it doesn’t mean exactly what it explicitly, repeatedly, directly says.

    Like, without getting into the “let’s debate contradictions” game, the claim that the Bible is too contradictory to identify that people like Trump aren’t actually following Jesus’s teachings is akin to saying “I blame the EPA guidelines: there are too many contradictions on where the blinkers get put or what the in-dash entertainment system is, so it leaves people to pick and choose what counts as an internal-combustion-engine vehicle.” The core definition is pretty clear, even though the secondary features may vary — and claiming that there’s no way you can apply the core definition because those secondary features vary is just epistemological surrender, rather than a fault in the core definition itself.


  • spencerwi@lemm.eetoMemes@sopuli.xyzMemory Wiped
    link
    fedilink
    arrow-up
    7
    arrow-down
    5
    ·
    3 months ago

    Yeah, there’s a difference between “information that is not discussed because you’ll get a visit from the cops” and “information that is not discussed because, though it’s freely available, people don’t care enough to learn it.”





  • spencerwi@lemm.eetoLemmy Shitpost@lemmy.worldWelp
    link
    fedilink
    arrow-up
    97
    arrow-down
    5
    ·
    edit-2
    3 months ago

    I feel like “noo it wasn’t a Nazi salute, or uh, it wasn’t intentional” is more of a “right of center” response instead of a “center” response, and “Elon Musk just did a Nazi salute on live TV” is closer to center, but otherwise this seems accurate.

    Maybe the Overton window has shifted so far right that I’m wrong about that, though.









  • I’m really surprised to see Java ranked as less-verbose than OCaml.

    Here’s an equivalent code sample in Java 17 vs OCaml:

    Java:

    abstract sealed class Expr permits Value, Add, Subtract, Multiply, Divide {
      abstract long eval();
    }
    record Value(long value) extends Expr {
      @Override
      long eval() { return value; }
    }
    record Add(Expr left, Expr right) {   
      @Override
      long eval() { return left.eval() + right.eval(); }
    }
    record Subtract(Expr left, Expr right) {
      @Override
      long eval() { return left.eval() - right.eval(); }
    }
    record Multiply(Expr left, Expr right) {
      @Override
      long eval() { return left.eval() * right.eval(); }
    }
    record Divide(Expr left, Expr right) {
      @Override
      long eval() { return left.eval() / right.eval(); }
    }
    

    OCaml:

    type expr = 
      | Value of int
      | Add of expr * expr
      | Subtract of expr * expr
      | Multiply of expr * expr
      | Divide of expr * expr
    
    let rec eval = function 
      | Value value -> value
      | Add (left, right) -> (eval left) + (eval right)
      | Subtract (left, right) -> (eval left) - (eval right)
      | Multiply (left, right) -> (eval left) * (eval right)
      | Divide (left, right) -> (eval left) / (eval right)
    

    …Java has so much more syntactical overhead than OCaml, and that’s even with recent Java and being pretty aggressive about using boiler-plate reducing sugars like Records. And F# has even less, since it doesn’t require you to use different operators for numerics or do as much manual casting between strings/numerics


  • spencerwi@lemm.eetoAntiwork@lemmy.worldTesla founders
    link
    fedilink
    arrow-up
    8
    ·
    edit-2
    2 years ago

    Notably, Woz found out decades later, after Steve was dead already, when he was interviewed by someone who told him the whole story.

    I like to think that if Jobs were alive today, the general public would see him as the Elon Musk type that he was. Instead, he died before his cult of personality could properly sour on him.



  • Conversely, I have a recent-ish (<5yrs old) Brother inkjet printer that’s waiting to be dumped to recycling because it arbitrarily decided that it didn’t ever need to be discoverable or respond to any print requests one day, and so even though there was nothing mechanically wrong with it, even hooking up a Raspberry Pi to run CUPS over USB didn’t fix the issue – because Brother explicitly refuses to publish drivers for the Raspberry Pi, and their inkjet drivers are proprietary.

    I’ve since replaced it with the best-reviewed Epson printer I could find that supports a generic PCL driver, so that if Epson ever loses their minds in the way Brother did, I can fall back on an open-source implementation of good ol’ PCL.

    That thing’s given us no issues so far.