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!)

Ooooh, I’d been thinking of switching to a standalone bookmark manager. I’ve had such luck moving to Keepass for password management (and using syncthing as my universal “no cloud” solution) that I’m hoping to eventually get all my cloud and proprietary-vendor-features moved to self-hosted OSS apps.

How can sole maintainers work with multi-billion corporations without being taken advantage of?

They can’t, thats why GPL is noncommercial. Capitalism is an exploitative system that relies on power imbalance. As soon as MS reached out, he should have made it clear they can’t even look at his code for ideas without a contract and payment. He shouldn’t have told them anything else without a contract. Papers with legal claims on them are the only language business speaks.

There is no place for Fascists within the Open Source and Free Software communities or the society at large. You will never fester your poisonous roots here. Go back to the cave you crawled out from where no sunlight can reach.

NAZI! DEVS! FUCK! OFF! 💯

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.

Yep, Voyager!

That blows but I’m not surprised. Reddit has gone full lockdown on anything opposing glorious leader, his politics, and the money Spez presume will soon flow to him as just reward. The LA sub was already super conservative anyway. Even the fucking NOLA sub is shockingly conservative for this town. The Money doesn’t like to be reminded of inconvenient truths.

Well, I’ve labelled you as an LA local. If we keep posting and building up a fediverse LA community, I know we’ll eventually get to critical mass here!

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.

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’m being sarcastic but not by much. Nordic countries do have much better digital id systems and the EU overall looks to be following their model.

https://www.mitid.dk/en-gb/get-started-with-mitid/

https://www.openbankingexcellence.org/blog/eid-and-the-eu-digital-identity-frameworka-scandinavian-perspective/