Ciro Santilli @cirosantilli 37

Ciro Santilli has mixed feelings about animal rights.

On one hand, his irrational side wants of course all animals to be happy.

On the other, he does not care about this enough to not kill and eat them, even though he believes that you could live off plants relatively well.

His more rational side says: humans are sacred. Either because you believe in the soul, or because your built-in empathy behaviours. If it is not a human, do whatever you want to it. Killing is already undoubtedly the greatest sin. It is not OK to kill a human painlessly is it? So if torturing it brings humans good, then do it.

Of course, this does get use close and closer to "the what is a human" question, which is more relevant than ever in the awakening of genetics: all species are after all a continuum right?

And Ciro does not have a simple solution to this problem, besides that in 99.9999% the answer is obvious to 99.9999% of the people, and for the others cases, we have to do it like the law and make flawed rules to cover the remaining 0.000099999% cases and let juries decide the rest.

The only other sensible sacredness barrier is the common vegetarian "nervous systems are sacred" one. But how can you believe that if you also follow the religion of physics, where everything is just made of atoms?

Is it evil to take one neuron and torture it? What does that even mean? It will be fun when pain and pleasure are fully understood.

And you are going to have a really hard time when mosquitoes start transmitting deadly diseases that kill your family.

Laws in most 2020 Western modern societies have converged to a hypocritical balance between not offending people too much by hiding the killing and minimizing the pain when possible at low cost. Killing animals painlessly is basically always fine if it brings any "non sadistic" pleasure to humans. And torturing animals is fine with approval e.g. to make medicines.

This has the downside of increasing costs for society. Maybe there are practical benefits besides people feeling bad about animals? Maybe we would have more serial killers if people were free to torture animals? Maybe people in butcher shops would become depressive if their bosses weren't forced to use more expensive painless killing methods? Neither of those seems like huge arguments though.

It eventually comes down to: "how much more is a human life worth than that of an animal" which brings Jesus's Matthew 6:25-34 "Do Not Worry" (archive) quote to mind:

Non-vegetarian pets owners also baffle Ciro, as most of them basically extend the sacred human line further arbitrarily to certain other cute looking animals like dogs, cats or rabbits, but will gladly kill a cow indirectly by paying someone to pay someone to pay someone to cut it into small pieces. Or they believe that certain specific individuals are sacred. Admittedly, the latter is more rational, and looks a lot of how we treat our own families well, and can accept that other families are not doing so well.

Ciro's even more rational evil side says: the real reason why humans are sacred is a practical one: people have families that love them, and they come to kill you if you kill them, and this starts endless chains of violence that make society unbearable.

While animals feel pain when their children are killed, their memory and logic is just not good enough to fully understand that humans in general have an evil plot to it, and they don't have a method to communicate between themselves and fight back.

For similar reasons, Ciro is pro-abortion.

Futurama's S02E15 "The Problem With Popplers" episode blew Ciro's mind so much.

Ciro should stop discussing topics in which infinite argument has already been had. Sometimes he writes things down so he can stop caring the next time the subject comes up, as there's no need to say it again once it is written.

Is the set of all n-by-y square matrices.

Because $GL(n)$ is a Lie group we can use Section "Lie algebra of a matrix Lie group".

For every matrix $x$ in the set of all n-by-y square matrices $M_n$, $e^x$ has inverse $e^{-}x$.

Note that this works even if $x$ is not invertible, and therefore not in $GL(n)$!

Therefore, the Lie algebra of $GL(n)$ is the entire $M_n$.

Their only undergraduate courses that matter:

Groups concepts by hyponymy and hypernymy and meronymy and holonymy. That actually makes a lot of sense! TODO: is there a clear separation between hyponymy and meronymy?

Browse: wordnetweb.princeton.edu/perl/webwn Appears dead as of 2025 lol.

Does not contain intermediat scientific terms, only very common ones, e.g. no mention, of "Josephson effect", "photoelectric effect"

Ciro Santilli worked on it for a brief time in 2016, when it was still called Ring, before he got fired. :-)

The people were quite nice and the project idea is fine, Ciro hopes they succeed.

Toy/test/tought experiment algorithm.

The 3D structure of GFP is so cool. It is so clearly a bottle with a fluorescent bit well isolated right in the middle. Like a little lamp.

OMG those devs are brutes, it's beautiful.

Second quantization also appears to be useful not only for relativistic quantum mechanics, but also for condensed matter physics. The reason is that the basis idea is to use the number occupation basis. This basis is:

Bibliography:

His standard C header seems to be as per example: www.sqlite.org/src/file/ext/misc/rot13.c

** The author disclaims copyright to this source code.  In place of
** a legal notice, here is a blessing:
**
**    May you do good and not evil.
**    May you find forgiveness for yourself and forgive others.
**    May you share freely, never taking more than you give.

Basic must haves:

Other cool stuff:

Missing:

Previously missing:

TODO what's the fucking official discussion/feature request forum?

Feature overview: