Instance Logo

node.isonomia.net

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

About

MATRIX @modulus:matrix.org
Previous account @modulux

Marxist, law graduate, civil servant, writer, coder. Blind.
Location: Galicia, Spain, EU.
Interests: #writing #poetry #sf #rust #coq #marxism #tech #erotica #bdsm #kink #nsfw ##fedi22
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.)
The sharpness of a sword results from repeated grinding, while the fragrance of plum blossoms comes from frigid weather.

Joined on Oct, 2022. 10319 posts. Followed by 341. Following 897.

Pinned posts

jump to recent
Open thread
modulux. Username: @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.

Recent posts

Open thread
modulux. Username: @modulux.

Artículo interesante sobre desigualdad fiscal en España. Los principales culpables son el IVA y el déficit de fiscalidad de las rentas del capital, que se pagan a un tipo fijo al contrario que el tipo marginal de los rendimientos del trabajo. https://cincodias.elpais.com/economia/2024-02-12/el-1-mas-rico-paga-menos-impuestos-sobre-su-renta-que-el-20-mas-pobre.html

Open thread
modulux. Username: @modulux.

Los formulismos jurídicos no mueren, y debe ser porque en el fondo nos gustan, aunque nadie lo admita.

Simplemente van cambiando, como las modas.

Sí, acabo de ver un escrito al Tribunal que acaba con la fórmula "es justo" al pie con la fecha y la firma.

Por lo menos no es el hoy obsoleto, "es justicia la que busco de su justo proceder."

Open thread
modulux. Username: @modulux.

buenos días desde la Administración Pública.

Me gustaría saber que porcentaje de la actividad de entidades ecologistas que no voy a nombrar porque no procede consiste en oponerse frívolamente a parques eólicos.

Open thread
modulux. Username: @modulux.

Tempted to write a mid-fedi manifesto (I have affinities with both sides of that issue).

This is probably a sign I need to do more work and less fediscrolling.

Open thread
modulux. Username: @modulux.

Buenos días desde la Administración Pública.

El diseño de algunos procedimientos es un lio increíble. Mi disparate favorito: una norma de procedimiento que dice que el informe del órgano especializado no forma parte del expediente.

Open thread
modulux. Username: @modulux.

I want trusworthy AI on my browser. In fact Mozilla has begun delivering this already, in the form of the Bergamot project, which is now built into the browser so you can do local translations without leaking data to the cloud. This is good and it improves privacy and safety. The alternative to running a local translation system is running something like Google Translate, feeding proprietary systems more data and losing privacy in the bargain.

And no, people won't be hiring translators to translate a random toot or a small web page they're curious about.

Open thread
modulux. Username: @modulux.

For people concerned about the opt-out bridges being considered, the project changed their mind and they will be opt-in. Specifically, the proposed idea is when someone from another network wants to follow you through the bridge, you would get a DM asking you to allow it, if you haven't otherwise opted in: https://github.com/snarfed/bridgy-fed/issues/835#issuecomment-1942046208

I think that's broadly reasonable.

Open thread
modulux. Username: @modulux.

Buenos días desde la Administración Pública.

Tenemos una porra electoral por aquí. No sé quien acertará pero la visión general no es muy favorable al PP.

Open thread
modulux. Username: @modulux.

Really, I didn't want to post this but fuck it.

It's not ok to make me opt-out with a tag on my profile. It's my profile. I put things there if I want to, hopefully to communicate to other people that I want to communicate with.

I shouldn't have to tag that I don't want to get scraped. Yes, I get that bridges are more useful this way, but think it over: do we need to tag for every bright new scraping idea that comes up? Surely you see this is unsustainable, it places the burden on the wrong party. Not to mention, profiles have a limited number of characters.

#OptOutIsNotConsent.

Open thread
modulux. Username: @modulux.

Acabo de bloquear fed.brid.gy. Cada uno que haga lo que quiera pero estoy en el fedi, no en bluesky ni en otros sistemas que no conozco bien y no quiero que mis datos vayan allí sin mi control.