Skip Navigation

CodexArcanum

@ codexarcanum @lemmy.dbzer0.com

Posts
1
Comments
111
Joined
12 mo. ago

  • Trick XOR Treat

    Jump

  • 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).

  • Trick XOR Treat

    Jump

  • 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.

  • Trick XOR Treat

    Jump

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

  • Serious Sam 2 - 20th Annviersary Update

    Jump

  • Oh wow, now that's a fun surprise! I loved SS2 back in the day, my god, 20 years... Love the banner image too, Croteam's always had a cute sense of humor.

  • bad news ipv4 fans

    Jump

  • (As a lover of mixed-style and chaos in general, I picked what seemed like the "normiest" option for maximum impact, haha)

  • bad news ipv4 fans

    Jump

  • 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.

  • Syncthing 2.0 Launches With Major Database Overhaul

    Jump

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

  • Leaked list shows Facebook training their AI on multiple Lemmy instances

    Jump

  • Hmmm... I don't see dbzer0 in the list, I wonder how we escaped? I think we're like the 3rd or 4th biggest instance, and positive leaning on AI. Maybe @[email protected] just has amazing sys admin skills?

  • What movie(s) did you watch 10+ times and offered something new with each view?

    Jump

  • 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.

  • Be the feminist you aspire to be

    Jump

  • There's a graffiti on an abandoned building nearby, about 8 stories tall, that just says "STOP MEN."

    Strangely, neither myself nor any of the men I regularly hang with have been offended by this or felt targeted. It's almost like random graffiti can't hurt you.

  • Important PSA

    Jump

  • The Astronomer CEO's Coldplay Concert Fiasco Is Emblematic of Our Social Media Surveillance Dystopia | 404 Media

    Jump

  • Fair cop, I didn't check source I just saw it mentioned elsewhere. His company being valued at just over a billlion probably confused people.

    I grant that there's a difference of degrees here, but him being "just" an unethical millionaire doesn't substantially change my views on the situation.

    Someone in another thread mentioned polyamory which I find a personally interesting angle as well, since I practice relationship anarchy. This situation would just never happen to me because all my paramours know each other and know about the activies we do together. It makes me suspicious of these stories because while I also enjoy laughing at a rich guy getting caught, I don't like that it culturally reinforces this idea of monogamy as a core value and that breaking the trust of such monogamy should have public consequences.

    Obviously the last thing I want is society-wide condemnation of the wrong aspect of this situation. It isnt the having a side-piece that's the problem, it's the lying to your primary partner (and everyone else) that actually creates the trouble.

  • Important PSA

    Jump

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

  • The Astronomer CEO's Coldplay Concert Fiasco Is Emblematic of Our Social Media Surveillance Dystopia | 404 Media

    Jump

  • Their reaction is what set it all off too. Even the singer immediately speculates that they're having an affair because of how they acted. So yeah, even if he wasn't a billionaire, somebody probably would have doxxed him anyway because there are tons of people that like drama and know they can make money off it. That he is a billionaire and doing something deeply unethical is what makes the story go viral all over social media. Lots and lots of people there want to make money and clout by exploiting any avenue for drama and engagement.

    Perhaps the problems this exposes are not just our grim and omnipresent surveillance apparatus, but the attached system of gig-economy content creators all racing to the lowest common denominator for scraps of engagement and ad revenue? We've created a society of unempathetic monsters.

  • What are some more niche communities Lemmings are sleeping on?

    Jump

  • I'm not even a sports fan but I'm always impressed how active [email protected] and [email protected] are! The active members put in a lot of time (and memes) into making those communities and I hope they attract the membership to become sustainable.

  • Did AI voiceovers get much better recently? I seem to be hearing videos with AI voiceovers that have good English and Tagalog pronunciations even when switching between them.

    Jump

  • The spoken language of the native people of the Philippines; still one of the country's official languages and spoken by a majority of the population.

  • Locked

    Which git branch are you on?

    Jump

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

  • Locked

    Which git branch are you on?

    Jump

  • No one commits to trunk anymore....

  • Doom creator John Romero's next shooter project loses funding following Microsoft cuts

    Jump

  • Imagine creating one of the best, most important pieces of media of your generation. Being a rock star of a new medium, defining genres, shaping history and the world.

    Then imagine struggling to keep a job, find work, and create more works in your medium. And now imagine that you were barely in your 20s when you broke out, so that the rest of your life is always in the shadow of your first masterpieces.

    Romero seems like way too nice a person, too good of a being, to be treated with such indignity. In a lot of ways Bill Gates and his company have been fucking over Romero for like 30 years now.

  • Original Crysis suddenly vanishes on Steam in another blow to preservation

    Jump

  • Preservation, while perhaps idealistic, is about keeping every version that we can. Doom is a great example. Because Carmac released the source code, source ports have proliferated. That means anyone can play the original Doom on just about any machine. Varying degrees of accuracy to the original DOS release exist thanks to ports like Chocolate Doom, GZDoom, Eternity Engine, et al. As do varying degrees of accuracy to Doom 95, the Windows 95 rerelease. Or to the version running on Xbox packed in with Doom 3.

    Ports cover the engine, but we also have an archive of all the doom.wad files, the contents. We have demo and prototype versions. The dos release. Officially patched versions. The win95 release. The Xbox release.

    But a preservationist also wants the original Bethesda Unity release, wad and engine. The Kex release with the new engine and new episodes. Neither of those Bethesda engines needs to exist but why not keep them too? They're a part of the Doom legacy, an ongoing chapter in the endless story of Doom.

    Its good that in this community we've gotten to preserve so much. It keeps the history of one of the most important video games alive and relevant. It keeps the game itself relevant. Without the original source release, there's no GZDoom and there's probably no Bethesda rereleases. The impact that source release had on the gaming community, gaming as an industry, modding and indie gaming, is incalculable.

    That Crysis--also a landmark game in its own time--deserves any less is laughable. The original release of the game should always be present and available: as an artifact of its time, as a fine game in its own right, and as a piece of living history that can be stood up against its remakes, sequels, and the games it inspired.

  • Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ @lemmy.dbzer0.com
    CodexArcanum @lemmy.dbzer0.com

    Getting Started with Self-Hosting?