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

I’m kind of weirdly horny for Torvalds making unilateral decisions about long running controversies? Tell me what standards are best kernel daddy.

Maybe next he can ban tabs and ‘\t’ from Linux? Everyone indents with spaces now, debate over.

Wow, I knew godot had a lot of potential for general app usage too (its a great Dev environment in a lot of ways) but I hadn’t predicted “AAA games use Godot as mod editor.” The idea of just using it as an open source interchange format for loading into proprietary engines is… blowing my mind a little. I kind of hate it.

Thanks to THC destroying my ability to REM, I have become Jet Li’s the One.

For all the sudden word scholars here: there is no second word “master” that’s spelled, pronounced, and written exactly the same as the other one but is entirely unrelated to the concept of master\slave. All modern meanings of the word master derive from the same root: magister, meaning an authority or teacher.

A “master recording” is the authority, the base copy from which all others are duplicated. They aren’t called “slave” copies, although the primary use of the terms in computing did originally use those 2 words. Also as someone else pointed out, you don’t even really make copies of git branches in the same way as audio so the term is misapplied.

Main is also a bad name, unless you’re working on a solo project with only 1 main branch and some features. As soon as you start collaborating with other people, you should really have individual dev branches or “forks” (be honest, 90% of you aren’t rawdogging git straight from the CLI, there’s a forge website involved as hub) to work on, with an integration\testing “fork”\branch to combine work and a release branch for final code, with each discrete release tagged.

No gods, no kings, no masters!

No one commits to trunk anymore…

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.

Thank you for creating alchemical programming content!

Try this fun prank next time a coworker wanders off and leaves their PC unlocked!

https://www.musixmatch.com/lyrics/Fercris-Hart-1/Boss-Made-a-Dollar-I-Made-a-Dime

Boss made a dollar, I made a dime

That was a rhyme from a simpler time

Now boss makes a thousand and gives me a cent

When I′m an employee who can’t pay my rent

When the boss makes a million and us workers make jack

That′s when I protest and take my life back

Boss makes a dollar, I make a dime

That’s why I shit on company time

Boss makes a billion, my prospects are grim

Next company party, I’m gonna eat him

When the boss makes a million and us workers make jack

That′s when we riot and take our lives back

We make a penny, the boss makes fifteen

Guess who′s in line for the guillotine

Boss made a dollar, we made a dime

Til’ we went to his mansion and burned him alive

I feel like its a mixed bag. Certainly there’s an infinitely higher chance of someone randomly noticing a backdoor in OSS than in closed source simply because any OSS project in use has someone looking at it. Many closed systems have dusty corners that haven’t had programmer eyes on them in years.

But also, modern dev requires either more vigilance than most of us have to give or more trust than most of us would ideally be comfortable offering. Forget leftpad, I’ve had npm dependencies run a full python script to compile and build sub dependencies. Every time I run npm update, it could be mining a couple of bitcoins for all I know in addition to installing gigs and gigs of other people’s code.

The whole industry had deep talks after leftpadgate about what needed to be done and ultimately, not much changed. NPM changed policy so that people couldn’t just dissapear their packages. But we didn’t come up with some better way.

Pretty much every language has its own NPM now, the problem is more widespread than ever. With Rust, it can run arbitrary macros and rust code in the build files, it can embed C dependencies. I’m not saying it would be super easy to hide something in cargo, i haven’t tried so I don’t know, but i do think the build system is incredibly vulnerable to supply chain attacks. A dependency chain could easily pull in some backdoor native code, embed it deep into your app, and you might never realize it’s even there.

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.