Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)S

squaresinger

@ squaresinger @lemmy.world

Posts
4
Comments
1452
Joined
1 yr. ago

  • Trick XOR Treat

    Jump

  • The AND and OR also have slightly different meanings than in "real life". That's what always happens if you use natural language terms in the context of formal languages.

    In English (and many other natural languages), "or" means either XOR or OR, and "and" can also mean OR in some contexts.

    So it just follows that IMPLIES doesn't mean the exact same as "implies".

    To take your example with the ravens: IMPLIES is just about whether the inputs contradict the statement. The statement "raven IMPLIES black" should be translated to "raven is black", not "all ravens are black", since you only ever test the statement against specific inputs.

    So if you now give it "raven" and "black" as inputs, the statement is true. If you give it "dove" and "white" as inputs, it doesn't contradict the statement, so the result is still true. Only if you give it "raven" and "white" as inputs does it contradict the statement.

    Remember: Boolean logic isn't about statements of truth, but instead as a mathematical operation. Same as you use mathematical functions and operators to "calculate x", you also use boolean operations to calculate a result.

  • Trick XOR Treat

    Jump

  • It comes from boolean logic, not from set theory (which is what it's used for here).

    A implies B means that "If A is true, B is also true", so there's the implication. "If the thing we are talking about is a desk, it is also a piece of furniture".

    The implication has no effect if A is not true: "If the thing we are talking about is not a desk, that doesn't say anything about whether it's furniture or not".

    So the implication is only false if A is true and B is false. In any other case the implication is satisfied and the result is true.

    Set theory just took over all of the boolean logic functions, since they work exactly the same in set theory, so they also took over the naming even if the name "implies" doesn't really make much sense in set theory.

  • We are deeply committed to listening to our customers’ feedback

    Jump

  • The whole joke of the meme was that the customers clearly want one thing, but the torment nexus company doesn't implement user feedback while claiming to listen to it, implying they aren't listening to user feedback but do what they want.

    I insinuated that they are listening but are purposely implementing the opposite of what the users want.

    One thing that really doesn't factor into the joke of the meme or my response to it at all was whether the user of the torment nexus has the option to just quit using the torment nexus or not. It really has nothing to do with the joke or my response.

  • We are deeply committed to listening to our customers’ feedback

    Jump

  • Listening, then doing the opposite.

  • Full list of areas in the UK targeted in ‘dodgy’ Fire TV stick crackdown

    Jump

  • The UK is such a mess, as a country. It always was, but since Brexit, it's gone downhill even further.

  • New Rules Could Force Tesla to Redesign Its Door Handles. That’s Harder Than It Sounds

    Jump

  • Satellites Are Leaking the World’s Secrets: Calls, Texts, Military and Corporate Data

    Jump

  • "Nobody's going to notice. Who would listen in on satellite communication? Nobody would be able to afford the equipment."

  • CamoLeak: Critical GitHub Copilot Vulnerability Leaks Private Source Code

    Jump

  • If they'd compensate anyone who's work they benefit from fairly, they wouldn't be a trillion dollar corporation.

  • Guess I'm sleeping on the couch again

    Jump

  • They are backed by treasury bonds

    Except when they aren't.

    So many examples of stable coins just being a delayed rug-pull that collapses as soon as people pull out their money and it turns out that they aren't backed by anything at all.

    At best they work like putting regular money in a bank. At worst they work like putting money in a "bank" but the bank is some shady anonymous dude from the internet with no oversight whatsoever.

    You don't trust a bank because it could be mismanaged and greedy bankers could steal your money? Why on earth would you trust an anonymous rando more?

    It's like those people who don't trust "big pharma" and instead eat supplements they bought from India via the internet by the kilogram.

  • Is it possible to 3D scan a motorcycle helmet and make smaller replicas?

    Jump

  • That looks really nice! Do I understand this right that this is SLS+Inkjet?

  • Is it possible to 3D scan a motorcycle helmet and make smaller replicas?

    Jump

  • Is it possible to do full-color SLS? I thought only MJF and Inkjet+FDM can do full-colour prints.

  • Is it possible to 3D scan a motorcycle helmet and make smaller replicas?

    Jump

  • Did you receive the helmet yet?

  • Removed Deleted

    Permanently Deleted

    Jump

  • It's a bug and of course it needs to be fixed. But the point was that a memory leak leaks memory until it's out of memory or the process is killed. So saying "It leaked 32GB of memory" is pointless.

    It's like claiming that a puncture on a road bike is especially bad because it leaks 8 bar of pressure instead of the 3 bar of pressure a leak on a mountain bike might leak, when in fact both punctures just leak all the pressure in the tire and in the end you have a bike you can't use until you fixed the puncture.

  • Removed Deleted

    Permanently Deleted

    Jump

  • They mainly show what's possible if you

    • don't have a deadline
    • don't have business constantly pivoting what the project should be like, often last minute
    • don't have to pass security testing
    • don't have customers who constantly demand something else
    • don't have constantly shifting priorities
    • don't have tight budget restrictions where you have to be accountable to business for every single hour of work
    • don't have to maintain the project for 15-20 years
    • don't have a large project scope at all
    • don't have a few dozen people working on it, spread over multiple teams or even multiple clusters
    • don't have non-technical staff dictating technical implementations
    • don't have to chase the buzzword of the day (e.g. Blockchain or AI)
    • don't have to work on some useless project that mostly exists for political reasons
    • can work on the product as long as you want, when you want and do whatever you want while working at it

    Comparing hobby work that people do for fun with professional software and pinning the whole difference on skill is missing the point.

    The same developer might produce an amazing 64k demo in their spare time while building mass-produced garbage-level software at work. Because at work you aren't doing what you want (or even what you can) but what you are ordered to.

    In most setups, if you deliver something that wasn't asked for (even if it might be better) will land you in trouble if you do it repeatedly.

    In my spare time I made the Fairberry smartphone keyboard attachment and now I am working on the PEPit physiotherapy game console, so that chronically ill kids can have fun while doing their mindnumbingly monotonous daily physiotherapy routine.

    These are projects that dozens of people are using in their daily life.

    In my day job I am a glorified code monkey keeping the backend service for some customer loyalty app running. Hardly impressive.

    If an app is buggy, it's almost always bad management decisions, not low developer skill.

  • Removed Deleted

    Permanently Deleted

    Jump

  • Are Electron and Tauri drop-in replacable? So is it possible to run e.g. VSCode in Tauri?

  • Removed Deleted

    Permanently Deleted

    Jump

  • I think we all can understand the correct capitalization from context.

  • Removed Deleted

    Permanently Deleted

    Jump

  • Yeah, that's quite on point. Memory leaks until something throws an out of memory error and crashes.

    What makes this really seam like a bad faith argument instead of a simple misunderstanding is this line:

    Not used. Not allocated. Leaked.

    OOP seems to understand (or at least claims to understand) the difference between allocating (and wasting) memory on purpose and a leak that just fills up all available memory.

    So what does he want to say?

  • Removed Deleted

    Permanently Deleted

    Jump

  • "Perfectly" is a strong word, so I wouldn't subscribe to this.

    But it's impossible to test software on all setups without installing it to them. There's endless variation, so all you can do is to test on a good portion of setups and then you have to release and some setups will still have problems.

    The only way to guarantee that it works on every customer's device is by declaring every customer's device as a beta test environment, and people don't seem to like that either.

  • Removed Deleted

    Permanently Deleted

    Jump

  • This. Prototypes should never be taken as the basis of a product, that's why you make them. To make mistakes in a cheap, discardible format, so that you don't make these mistake when making the actual product. I can't remember a single time though that this was what actually happened.

    They just label the prototype an MVP and suddenly it's the basis of a new 20 year run time project.

    In my current job, they keep switching around everything all the time. Got a new product, super urgent, super high-profile, highest priority, crunch time to get it out in time, and two weeks before launch it gets cancelled without further information. Because we are agile.