CodexArcanum

Yeah, that one’s always bothered me too. I think the difference in meaning from colloquial “implication” and logical “material implication” are also involved in the raven paradox.

So the statement that “all ravens are black” can be taken as “if RAVEN then BLACK”. Is this statement true? If you see a black raven then trivially yes, if you see a white raven then trivially false (via counter example).

However if you see a non-raven, it is evidence for the truth of the statement because it doesn’t go against it: not-ravens being black-or-not-black both reduce the universe of possible objects without proving not-black-ravens exist.

Or something like that, I think it’s stupid too. Trinary logic can adopt a more sensible (IMHO) definition of implication that makes A being false always lead to the third value (usually defined as indeterminate or neither-true-nor-false).

I truly have no idea and wish I did, haha. It looks like a shorthand for which operation is being followed, maybe like a group theory thing, but I really don’t know.

That would be the symbol\operation called TRUE or TOP or “tautology” which is always true. They’re actually missing quite a few of the weirder ops, including implication and biconditional\iff\if-and-only-if. (Edit: Actually I think XNOR is also the biconditional. I guess pretend like I said “material implication” and “reverse implication”. Fricken booleans man!)

This is very exciting! But I’m relying on third-party addons for both Android (syncthing-fork from Fdroid, itself a fork of syncthing-android which wasn’t being maintained) and windows (syncthing tray). I think my Mac and Linux machines are using standard syncthing, but I’ll be waiting a little bit for the rest of the community/ecosystem to catch up!

Other than what everyone else has said (great taste in film, lemmings) I’ll throw out…

In the Mouth of Madness. People tend to rank The Thing as his best movie, but the other two parts of the “Apocalypse Trilogy” are also excellent. Prince of Darkness has plenty to reccomend it, but I actually have watched IMM at least 10 times. The practical effects hold up well, and I feel like I catch new little details or acting quirks on each watch. Sam Neill and Julie Carmen are both really on their game and amazingly bring a lot of both subtlety and camp to the roles. The soundtrack is really banging too, if you’re a fan of Carpenter’s synth-rock.

And for something completely different, but still an “at least 10 views” favorite: Rian Johnson’s Brick. You’ll probably need at least 2 viewings just to catch all the dialogue, which is very fast and uses a weird made up slang. The main victim makes a phone call in the first act that basically reveals everything if you understand what she’s saying, but it takes the whole movie for that to happen. It’s just a fun, good mystery story too. Great sense of style, great (slightly off kilter) acting choices all around. Its one of those movies that’s a little like poetry or a great album, just fun to watch and enjoy for itself.

More realistic versions:

Waterfall: the car is “finished” at the end, but replace the engine with a huge roaring fire. The Dev team continues to put the engine fire out and build the engine for 3x the original project duration.

Agile: replace the cute scooter and bicycle with the partial car graphics from Waterfall, but mount a uniccyle seat and then a park bench on top of the partially built car.

AI: the whole thing should always be on fire, and have several spies from different countries taking pictures of it constantly.

I should probably standardize my tags a bit, but like others I mainly use it to label argumentative people with mean names as a reminder not to argue with them and their dumbass\shithead\moron\cia-psyop views.

I should also start tagging locals when I suspect them. Maybe all 3 of us can have a Lemmy NOLA meetup sometime?

And no OP, you haven’t “earned” a label yet.

I have now tagged you as “Label-Curious”

Don’t worry, I’m sure we’ll be the first to WW3

Also, I’m quitting tomorrow and you’re in charge of MysteryTool maintenance. I’d start by upgrading the .NET version, that baby’s still running on Framework 4.5!

As discussed previously, browsers are quite complex and so adding a new feature (subtitles) is actually adding several features, on top of existing features (video player) that aren’t really (arguably) core to the web experience.

(I think olds like me want to believe the web is still “for” text and static images, but the majority of users today are (allegedly) all-in on video.)

Anyway, what sub-features make up “simple” subtitles? Oh the usual: where are they sourced? What format? What language? What encoding? (Utf8 one can only pray) Left to right support? Asian character support? What font are you using? System fonts? Are they widely supported? Does any of it work on mobile? Who holds the relevant patents? Etc.

Ooh, I’d been looking at wasmer but wasmtime looks easier and more appropriate. Thanks for the suggestion!

Also wow, a D programmer in the wild! I used to really like that language before I got into Rust (my beloved).

Literally have a dozen other tabs open about how to embed a WASM engine into my Rust game. At least I’m not (currently, at this time, right now) writing my own language or trying to embed a prolog engine.

import birthday;

let myAge1 = 4;
let sisterAge1 = 2;
let myAge2 = 44;

let sisterAge2 = birthday.deriveAge(myAge1, sisterAge1, myAge2);

print(sisterAge2);

Any bugs should be reported upstream. Please open a tracking issue to sync changes with eventual upstream fixes.

I’ve been hoping to save this one next time I saw it. So… thanks!

Oh don’t worry, I get myself involved in plenty. I prefer to make problems at the architectural or “leadership” level though.

Wildly, in C# you can do either and it has different results. I believe a bare throw doesn’t append to the stack trace, it keeps the original trace intact, while throw e updates the stack trace (stored on the exception object) with the catch and rethrow.

In C#, you can only throw objects whose class derives from Exception.

This is incorrect. The C# is valid. Throw in a catch statement simply rethrows the caught exception. Source: I’ve been writing C# for 20 years, also the docs.

I won’t act like MS absolutely didn’t steal core concepts and syntax from Java, but I’ve always thought C# was much more thoughtfully designed. Anders Hejlsberg is a good language designer, TypeScript is also a really excellent language.

PETA isn’t going to like all those für loops

At least the names are extremely self-documenting. Some of those German variable names are long enough they might even be self-aware!

I think you can tag the community like a person in a Mastodon post and it shows on the community? Like @asklemmy@lemmy.world but from Masto.

Nope! Doesn’t seem to work. Could be that my mastodon instance doesn’t federate to Lemmy.world though. If you search that “user” in masto you can follow them to see posts in this community, but seemingly not make them.