Miguel Marco

Mathematician, @sagemath user and developper.
@gentoo rocks!

[Miguel Marco @braidmon]

Verifying myself: I am mmarco on Keybase.io. CJQYNUClupWyeqFlvE6xi1FauLqWA5UZWMTs / https://t.co/5qK0axc155

[Miguel Marco @braidmon]

@soyyomismo44 @opolegend ¿Cómo ves los dos en Zaragoza?

Si tomamos los resultados de las autonómicas de hace unos meses, CHA+IU-Sumar se quedan lejos de alcanzar a VOX. Si además añades a Existe (que no sé si se presentan por separado ahora), se quedan cerca, pero no llegan.

Y pinta que VOX está sube.

[Miguel Marco @braidmon]

@matthew_d_green I am so out of the loop. Is this sarcasm? or something that is actually happening?

I haven't heard any news about quantum computing lately, but I assumed it was because all the media attention was in AI.

[Miguel Marco @braidmon]

@khoiiiind I am curious. Is there an editor where you can write a latex document and and see the proof state as you write the proof?

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla Lee lo que he escrito. En ningún momento me he pronunciado sobre si me parece bien o mal que voten. Lo que he dicho en todo momento es que el auto del supremo no entra en si deben o no tener la nacionalidad: admite que la tienen pero no les deja votar.

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla Ah bueno, si nos inventamos las definiciones a gusto del consumidor, entonces no, claro.

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla O sea, ¿que sí?

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla De acuerdo. ¿entiendo que estamos también de acuerdo también en que el auto del supremo supone "despojar de derechos a ciudadanos españoles"?

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla Que sí, que eso ya lo sé.

Nada de eso cambia el hecho de que el auto supone dejar a personas con nacionalidad española pero sin derecho a voto.

Las argumentaciones para explicar ese hecho, no suponen que ese hecho no se de: sólo intentan explicar las razones por las que se da.

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla El auto no toma absolutamente ninguna medida en ese sentido. Así que esas personas siguen teniendo la nacionalidad.

Hasta que no haya otra resolución que les prive de la nacionalidad, o que les devuelva el derecho a votar, son ciudadanos españoles privados del derecho a voto.

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla Es decir, que deja a personas en la situación de tener la nacionalidad española pero no tener derecho a voto.

O dicho de otra forma: está despojando de derechos a ciudadanos españoles.

[Miguel Marco @braidmon]

@JLSerra4 @VelascoIsla No permitirles votar en las elecciones generales es, exactamente, "despojar de derechos a ciudadanos españoles".

[Miguel Marco @braidmon]

@FranckiValli @Abbasuperfan1 @aryastarkdog @dxtnpaco Sí. El auto del supremo lo único que suspende es la inscripción en el censo electoral. Al resto de efectos de la ley de nietos (en particular, la nacionalidad) no le afecta para nada.

Puedes comprobarlo tú mismo:
https://t.co/oJ8QV79WbF

[Miguel Marco @braidmon]

@YMiskoJones_33 @Abbasuperfan1 @aryastarkdog @dxtnpaco ¿A qué viene el insulto?

[Miguel Marco @braidmon]

@FranckiValli @Abbasuperfan1 @aryastarkdog @dxtnpaco No es eso lo que dice el supremo. Lo que dice es que sí son españoles, pero no pueden votar.

[Miguel Marco @braidmon]

@DomLW @gklambauer True, no useful system is proved to be consistent, but we know that if Lean is consistent, ZFC is too, while we don't have the converse.
That, together with the history of complicated type theories being found to be inconsistent, makes the situation in Lean more worrying that ZFC

[Miguel Marco @braidmon]

@FranckiValli @Abbasuperfan1 @aryastarkdog @dxtnpaco Y los demás, serán españoles pero sin derecho a votar.
Que es donde está el problema.

[Miguel Marco @braidmon]

@Deivic87 @Abbasuperfan1 @aryastarkdog @dxtnpaco ¿El derecho a voto es un derecho menos fundamental que el pasaporte?

[Miguel Marco @braidmon]

@rorrilloelpillo @Abbasuperfan1 @aryastarkdog @dxtnpaco En ese caso, lo que deberían haber suspendido es la concesión de la nacionalidad.

Pero no es eso lo que han hecho: han dejado la nacionalidad como estaba, y han dicho que esas personas son españolas, pero sin derecho a voto.

[Miguel Marco @braidmon]

@Abbasuperfan1 @aryastarkdog @dxtnpaco Si ese fuera el argumento del supremo (es decir, si el supremo estuviera suspendiendo la nacionalidad de esas personas), tal vez podría tener sentido.

Pero el argumento no es ese: lo que dice el supremo es que esas personas, aún teniendo la nacionalidad, no pueden votar.