Instance Logo

node.isonomia.net

Profile for modulux. Username @modulux, node.isonomia.net. Role: admin

About

MATRIX @modulus:matrix.org

Marxist, law graduate, civil servant, writer, coder. Blind.
Location: Galicia, Spain, EU.
Interests: #writing #poetry #sf #rust #coq #marxism #tech #erotica #bdsm #kink
Languages: en es gl de eo
Favourite insult received: commander of the queer communist revolutionary corps.
Runner-up: cipayo de los señores del aire.
Uphold Marxism-Leninism-Martin-Löf thought.
¬(∀x. free(x)) ⇒ ¬∃x. free(x)
(None of us is free until all of us are free.)

Joined on Oct, 2022. 6806 posts. Followed by 294. Following 802.

Pinned posts

jump to recent
modulux . @modulux,
Presentación, tut largo. Introduction, long toot. Toggle visibility

Buenos días. Por si acaso toca #presentación.

Soy modulux, funcionario, y me fascinan las #matemáticas y las #ciencias, especialmente la teoría de tipos y la mecanización de pruebas con sistemas como #coq.

También me gusta leer y escribir ficción, sobre todo #CienciaFicción y #Fantasía. También la #erótica, y me gustan los juegos de rol eróticos, y los que no.

Mi formación es en informática y derecho. Políticamente, me considero un comunista, marxista ortodoxo.


Good morning. Just in case it's time for an #introduction.

I'm modulux, a civil servant, and I'm fascinated by #mathematics and #science, especially type theory and proof mechanization with systems like #coq.

I also like reading and writing fiction, especially #ScienceFiction and #Fantasy. Also #erotica, and I like erotic as well as non-erotic role playing.

My background is in computer science and law. Politically, I consider myself a communist, an orthodox Marxist.

Open thread

Recent posts

modulux . @modulux,

Flattr is shutting down. I thought as micropayment projects went it was a promising one, but it didn't work out.

Open thread
modulux . @modulux,

Mooooooornings! Plan of action for the day: do absolute fuck all.

However, it will also be acceptable to fiddle with some code but only if I feel like it.

Buenos días. Plan de acción para hoy: rascarme las boulas.

Pero fedellar con código también se acepta, solo si me da la gana.

Open thread
modulux . @modulux,

Yeah this is great. Exim4 is vulnerable so I turned it off. I cannot send or receive email. Wonderful.

Open thread
modulux . @modulux,

I must admit I'm not super interested in the #UFO US thing, but this article is hilarious:

Leading UFO researcher Ron James says senior figures in the US government fear aliens are in fact demons. Ron, who is Director of Media Relations for UFO research group MUFON, claims there is “a very large contingent of people” within the Pentagon who opposed the work of the Advanced Aerospace Threat Identification Program [AATIP] because they think the UAPs regularly reported by US military sources are piloted by creatures from Hell.
He says he was told by Luis Elizondo, who has gone on record as being the boss of AATIP, it “was not just a little voice in The Pentagon…but a huge group of people thought the phenomenon that was being witnessed was demons”.

https://www.dailystar.co.uk/news/weird-news/bible-reading-pentagon-commanders-halted-31060240

Open thread
modulux . @modulux,

My windows start menu search thing just stopped working. I type cmd on it, press enter, and nothing happens.

Open thread
modulux . @modulux,
Slogan in logic: ¬(∀x. free(x)) ⇒ ¬∃x. free(x) Toggle visibility

None of us is free until all of us are free.

Thanks to @chrisamaphone for the inspiration. Too good not to add to my profile too.

Open thread
modulux . @modulux,

Mooooorning everyone! yawning, stretching noises

Buenos días, gente. bostezos

Open thread
modulux . @modulux,

Un colegio concertado. El padre de una alumna manda un correo a una profesora pidiendo una tutoría y advirtiendo que su hija se siente menospreciada y comparada con otros. La profesora lo cuenta en clase, identificando a la alumna. 3 días después, vuelve a referirse al incidente diciendo que "ya no se puede decir la verdad."

AEPD: 15000 EUR de sanción, que se quedan en 9000 EUR por reconocimiento de la infracción y pronto pago.

Hay cosas que mejoran.

El artículo: https://www.economistjurist.es/actualidad-juridica/15-000-euros-de-sancion-por-comentar-en-clase-el-correo-del-padre-de-una-alumna/

#AEPD #DatosPersonales #RGPD #edu #dignidad

Open thread
modulux . @modulux,

Ya hemos acabado la comisión de personal, y es último hábil del mes así que voy a salir algo más temprano para utilizar el cómputo de flexibilidad de horario. Fin de semana empieza en breve.

Open thread