Presentación, tut largo. Introduction, long toot.
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.