Noxbru @Noxbru@qoto.org

@jaymerryfield @mekkaokereke

📊 Ya sólo queda una semana para las #elecciones generales del #23J en España. Mediante técnicas de minería de texto, se puede automatizar la lectura de los programas electorales de cada partido y saber de qué están hablando.

Acompañadme en este ejercicio de #estadística para ver qué nos dicen los principales partidos 👀

A basic strategy to prove a difficult statement in mathematics is to break it up into two more more substatements of lower difficulty. For instance, if one wishes to prove a difficult implication "A implies B", one can locate an intermediate statement X between A and B, and focus on proving the sub-implications "A implies X" and "X implies B" of lower difficulty than the original implication.

Of course, to make this strategy work one has to find the right intermediate statement X; if one chooses an inappropriate X, then at least one of the two implications "A implies X" and "X implies B" could be extremely difficult to prove, or just as hard as the original implication, or even just plain false. Having plenty of examples (either rigorous or heuristic) where A and B are known (or predicted) to be true or false can help a lot here in guessing a candidate intermediate statement X, and eliminating those guesses that are not even close to working.

Often, an initial proposal for an intermediate statement X will be imbalanced in difficulty; for instance, the implication "A implies X" looks quite easy to establish, while the implication "X implies B" looks rather challenging. This is a sign that one should strengthen the claim X in order to shift the burden of difficulty from the latter implication to the former. Conversely, if "A implies X" looks difficult and "X implies B" looks easy, one should weaken the claim X. (1/n)

Mi último repost sobre el bar nazi me recuerda a la mala costumbre de la "izquierda no radical" de no salir por patas de los espacios donde los nazis ostentan una posición de poder. Dicen cosas como "pero si no te afecta", o "no ha hecho nada", pero es siempre mentira. Nada ni bueno ni neutral sale teniendo a nazis en posiciones de poder, y negarlo o preguntar "qué ha hecho, a ver" me parece sea lioning de manual. Salir por patas cuesta pero es lo que toca por no haber nacido ricos.

Al final me he descargado todos los que he encontrado y mañana poco a poco los probaré todos un poco a ver cuál me convence más :nkoOwO:

Me informan de que no ha llegado a Mastodon así que lo cuento yo: el grupo neonazi Desokupa publica un vídeo con Tubthumping de Chumbawamba y los miembros del grupo, asqueados y avergonzados, le advierten que todas sus canciones son antifascistas y que tomarán acciones legales. Y le recomiendan que si quieren usar una canción suya le dejan usar The Day the Nazi Died.

Storm in zaragoza, july 6, 2023 (1 of 8).

On vacation in Moreton island, I was able to see the effect of the curvature of the Earth by viewing the city of Brisbane about 25 miles away (which corresponds to a lowering of elevation of about 300 feet; Brisbane is roughly 100 feet above sea level).

La estadística de las 3,8 millones de viviendas vacías en España ha dado muchas vueltas esta semana.

Más allá de las implicaciones de la cifra (que las tiene, vaya si las tiene), la metodología seguida por el INE para realizar esta estimación refleja el espíritu de los cambios acaecidos en las estadísticas oficiales de todo el mundo, y los que estarán por venir 👇

Adrian studies the cookbook intently. Even though he can’t cook, because he has no thumbs. #Caturday #CatsOfMastodon

Two years after putting AirTags & other Bluetooth trackers into the world despite warnings they would be used for domestic violence. Companies have gotten around to thinking up a standard to manage the privacy of at-risk people. Two years.

So tired of companies knowingly putting harmful technology into the world so it becomes indispensable before addressing harms.

https://www.theverge.com/2023/5/2/23707920/apple-google-airtag-stalking-bluetooth-tracker-alert-standard

Ya que ha venido tanta gente este finde, aprovecho para subir estas fotos de
🤍 Lira 🖤 y 🧡 Draco 💛
#catsofthefediverse

Una de las cosas buenas de este éxodo es que están uniéndose mogollón de artistas al fediverso, y siempre está genial ver dibujitos bonitos.

#Blog #NANOGrav #PTA NANOGrav observa indicios entre tres y cuatro sigmas del fondo estocástico de ondas gravitacionales https://francis.naukas.com/2023/07/01/nanograv-observa-indicios-entre-tres-y-cuatro-sigmas-del-fondo-estocastico-de-ondas-gravitacionales/