mzan @mzan@qoto.org

@freemo IMHO "trans-women are/aren't women" is the perfect clickbait for differentiating political parts, without speaking of serious thinks. It is an arm of mass-distraction. I think that the gender vs sex aspect is intentionally left out for making this slogan more "provocative".

A man identifying as a woman (i.e. the gender) can try to adapt his/her sexual identity. He/she will never be a normal woman (with normal I mean having the average sexual characteristic of a woman), because there are still biological differences (bones density, structure of the brain, muscle, etc...), and some of these are determined in early fetus development and/or maybe from XY chromosomes. So it is a "good-enough" approach.

But from a gender point of view, who bothers... there is a lot of variance from man and man or woman and woman, for including also the behavior of trans-women, who again have a big variance.

On the contrary there is very few public discussion about how damage are doing microplastics on the fetus. This will potentially affect 100% of humanity.

@hayley eh I were into one of these flames.

If you have a low resource CPU, like mobile CPU of few years ago, or desktop CPU in the 1995-2010 era (when the JVM was taking over the world) then a register based VM seems a better decision, as reported by [1] and [2].

Nowdays, with faster CPU and plenty of RAM, I don't know.

In [1] they added to the JVM Jikes VM a support for a register based byte code. The register based VM spend less time converting the code to CPU code. In one extreme case it was 0.3s vs 9.0s. Then, it seems that the stack VM produced faster code, but 9s of "startup" time are a lot.

In [2] they show that an interpreter of a register based VM is 33% faster respect an interpreter of a stack VM.

So in a typical low resource scenario of the past (when the wars between the two VM approach started), the register based VM seem more hardware-friendly.

[1] SSA-Based Mobile Code: Implementation and Empirical Evaluation - Wolfram Amme, Jeffery Von Ronne , Michael Franz https://dl.acm.org/doi/pdf/10.1145/1250727.1250733

[2] Virtual machine showdown: stack versus registers - Yunhe Shi, David. Gregg, M. Ertl - https://www.usenix.org/legacy/events/vee05/full_papers/p153-yunhe.pdf

@codinghorror this is fun... "Misirlou" by unknown author before 1920, vs Pulp Fiction version of Dick Dale in 1962.

This is the Pulp Fiction version https://youtu.be/1hLIXrlpRe8?si=WKt0LEgHNOp9ycaA

and this a version strict to the original https://youtu.be/LW6qGy3RtwY?si=0CwC2ZKlxSJH6axa

Misirlou was covered a lot of times. https://en.wikipedia.org/wiki/Misirlou

Some of them: 1941 by Harry James and peaked 22 on US Charts; 1946 by Jan August peaked 7 on US Charts; 1962 by jazz pianist Vince Guaraldi ; The Beach Boys in 1963.

@codinghorror "Mr. Tambourine Man" Bob Dylan vs The Byrds.

https://youtu.be/Swqw5a8I4b4?si=kINRky5GTnh3onow

IMHO the Byrds version is a lot better than the original version.

When I were a child, I listened this old song a lot of time from a tape of my father.

@codinghorror "The man who sold the world", David Bowie vs Nirvana. The cover is not radical, but many believe it is a song of Nirvana. https://youtu.be/fregObNcHC8?si=YT88tapdtnehaAer

@wingo so, if you are right (I doubt), can you list some community focused on free software/hardware, that is better than FSF?

@shegeley hi, I created today a writefreely instance, and I wrote a blog post about my experience about developing #commonlisp in #guix : https://blog.dokmelody.org/mzan/how-to-develop-with-commonlisp-in-guix

@freemo the trick is converting the necktie in a secret additional suspender 🙂

@Gert non è un sondaggio, perchè ammette una sola risposta corretta: "è la lavatrice che ora fa schifo" a causa dello "sporco", e non si potrà più usare perchè non sarà possibile reggere "al carico delle emozioni" di quando la si era aperta per la riparazione. 😜

@alephoto85

@serimemo ecco il link alla discussione, così tutti possono giudicare https://mastodon.uno/@talksina/112945443173188511

Secondo me il messaggio di protesta è stato troppo maleducato e nonostante questo gran parte delle risposte sono state gentili.

E a mio parere, se si lanciano insinuazioni, bisogna poi anche postare il link.

@davew I don't remember the source, but the most important question a journalist can ask is... the second one!

@freemo which came first - the pooping or the pissing? 🙂

@loke I'm not a mathematicians, but I will underline two things.

First, in a formal proof you had to prove that all the initial conditions C1..Cn can be respected. Often this is implicit. Then you introduce the assumption P that you want to disprove. So, if P causes a contradiction, but C1...Cn can be respected, it is P that is impossible to respect, given C1...Cn. Usually C1...Cn are not strong conditions, but rather generic conditions. So often there is no explicit proof about the fact that they can be respected. Often it is true by construction.

Second: not all "proof by contradiction" are strictly "by contradiction", but many of them are simpler cases of "refutation by contradiction" and they are accepted also in intuitionistic logic.

A "refutation by contradiction" is based on this: C1...Cn are initial conditions that can be respected; I suspect that P is not respectable, i.e. that "not P" is true; I assume P and I show that P cannot be respected.

The integer between 0 and 1 is an example of "refutation by contradiction". I suspect that there is no such number; I assume it exists; I obtain a contradiction.

Instead a "proof by contradiction" using the rule of the excluded middle, is less direct, because we assume that if "not P" introduces a contradiction, then "P" must be true, but in the proof we have no directly proved the existence of P. These proofs are not accepted by intuitionistic logic.

@hayley reading this book is a cure for who suffers of Impostor Syndrome.

@Lana I bet that feminists will be offended if Macron will use the "Master Chef Last Supper" image during an institutional event about "The professional cooking day" because they are nearly all men. Or someone can be offended if during the "Father Day", Macron displays the Homer Last Supper". The "Lost" image will be not very accepted, if used during the inauguration of a new airport. Context is important.

@ambulocetus I agree with @freemo: SmarterEveryDay is not spreading misinformation. In no part of the video, he lied.

The suggested book is controversial, but he warns about this, and he specifies that it is mainly a philosophical book, to read with open-mind. So, he is fair.

IMHO, the misunderstatement is here: he compares the sense of wonder observing the flagella in the small, to the sense of wonder observing the Universe in the large (and this is fair); science cannot explain why the Universe and/or its laws exist; because science cannot explain all, philosophical reflections are legitimate; he miss to underline that science can explain how flagella evolved and there is consensus about this.

He should be more precise/pedantic in the last point, but the focus on the last part of the video was about the wonder of Universe and life, and not anymore about scientific truth, so *if* it is an error, it is an error made in good faith.

@alexraffa stavo curiosando in giro... su computer di amici/parenti dove avevo messo OpenSUSE Leap ho visto (almeno in passato) diversi delta RPM.

Invece su OpenSUSE Tumbleweed solo RPM normali.

Avrebbe senso usarli anche su OpenSUSE Slowroll, dato che di solito qua uno installa tutto in modo "cronologico" come con Leap.

@toad