• 0 Posts
  • 174 Comments
Joined 2 years ago
cake
Cake day: August 24th, 2023

help-circle


  • In computer science this difference is called value types vs identity types. Value types are “equal” if their value is the same whereas, identity types are “equal” if they are the same actual instance. So what “equal” means changes.

    For instance (using fantasy syntax), new Vector(1,2) == new Vector(1,2) as they are conceptually the same object, but new Person ("John Smith") ≠ new Person ("John Smith") as two persons can be different people even of they share their name, so they cannot be assumed to be the same.

    I have no idea how this maps to actual math though.




  • C’est une remarque intéressante. Le droit de disposer de son corps est également le droit de l’abîmer, je pense que les gens ont droit au suicide. C’est vrai que l’ignorance est un souci mais beaucoup de choses mortelles sont en vente libre comme les couteaux ou l’eau de javel. On peut craindre les gourous façon Raoult qui pousseront les gens à prendre des médicaments dangereux, mais c’est l’acte de faire du mal aux autres qu’il faut interdire et non les substances elle-mêmes.

    Cependant l’acte de prendre certains médicaments peut faire du mal à d’autres, par exemple si la quantité est limitée ou si l’efficacité générale baisse à l’usage comme pour les antibiotiques. Alors il serait justifiable d’avoir un mécanisme de contrôle je suis d’accord.











  • One of the biggest criticisms of English is how reading a word doesn’t teach one how it is pronounced. So it’s not redundant since it addresses an actual problem.

    It was indeed superseded but that doesn’t mean it disappearing was good. Limitations of printing were involved.

    It is annoying to read because you’re not used to it. Were you used to it, you’d think “th” annoying. By your logic, everything you’re not already used to is automatically bad.

    It being hard to type was a question from OP.


  • Not everyone does it, and it’s ahistorical, but I think it’d a cool way to distinguish between voiced (ð) and unvoiced (þ) dental fricatives. Why not have two different symbols for these? Eg: ðe þin faðer þinks about ðis (the thin father thinks about this).

    It’s not necessarily hard to type, on my computer it just happens to be AltGr+d (ð) and AltGr+t (þ).