M42 is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Escribir artículos grandes o libros en latex con : lo limpio que queda todo en un solo archivo con previsualización de imágenes, los tiempos de compilación y el no poder usar fácil un make o algo así para compilar sólo las secciones que hayan cambiado cada vez.

Aun así, se puede usar un comando para compilar todo y se pueden compilar secciones separadas desde Emacs.

M42 boosted

Some context to understand why I love this.

The realw logo of my University shows an eagle with two heads, and reads UNIVERSITAS GRANATENSIS, which is latin for University of Granada (my city).

The app logo has a double-headed Nyan cat and reads UNIVERSITAS GATENSIS, which is (fake) latin for University of Cats.

Also, FREE SOFTWARE instead of PLUS ULTRA.

Isn't it beautiful? <3

M42 boosted

Do you remember that story about my University and the proprietary app that stoles data from students? And how some heroes coded a free software alternative with the same functionality but with cats instead of ads?

Well, that app has a logo.

And no open source logo can live without a companion sticker.

kosmos.social/media/8uSNccLHxS kosmos.social/media/xxA6jhMXDh

M42 boosted
Hoy en el blog la historia de la aplicación no oficial de la Universidad de Granada #eugr
https://labur.eus/3qvkm
M42 boosted
M42 boosted
Cómo nos alegra ver iniciativas como esta...

"La aplicación UGRApp es una aplicación de Universia, una filial del Santander, que la UGR ha lanzado como app oficial de la misma. No se ha liberado su código, comparte datos personales con el Santander, su funcionalidad es muy reducida e incluye información comercial de productos financieros del Santander. Universia, la red del banco Santander destinada a universidades se nutre de la obtención de datos personales para el envío de publicidad a los usuarios.

Se recomienda no usar la aplicación y exigir a la UGR que la retire y facilite el desarrollo de aplicaciones libres para una universidad pública fuera de la influencia del Banco Santander"

https://antiugrapp.github.io/
#LiberemosUgrApp !privacidad #FueraBancosDeLaUniversidad

I have written an interactive lambda calculus tutorial

m42.github.io/mikrokosmos/tuto

M42 boosted

¿Recordáis lo de mi universidad haciendo una aplicación privativa desarrollada por el Santander?

Pues tras las vacaciones hemos redactado un documento para enviarlo al equipo de gobierno de la universidad.

Si queréis eharle un vistazo y/o contribuir de alguna forma, aquí está: gist.github.com/agarciamontoro

M42 boosted

Llevo toda la tarde redactando esta mierda porque unos gilipollas decidieron que hacer esta app estaba bien. Mira, me cago en los tontos.

M42 boosted

Yesterday, a nazi group attacked a mosque in Granada, Spain. They threw smoke bombs and spread their hate messages: they're blaming all the Islamic community for the terror attacks in Barcelona.

There is a demonstration today, at 20.00, in front of the mosque, to protest against racism and fascism.

#punchanazi

granadadigital.es/el-colectivo

M42 boosted

Mikrokosmos, a didactic untyped lambda calculus interpreter m42.github.io/mikrokosmos/

M42 boosted

Tl;DR: remember the Director of communications in my uni? He just tone policed me for stupid reasons and I'm angry.

M42 boosted

The Director of communications of my university has just said that the security of the app is assured because the passwords are not sent in plain text but in JSON objects.

kosmos.social/media/xlDkfFYtb2

M42 boosted

| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|
| This is not plain text, |
| it's a JSON object |
|___________|
(\__/) ||
(•ㅅ•) ||
/   づ

M42 boosted

My university just released an "official" app to "chat with your friends, look up your marks, your timetables, see your enrolment details..."

Guess who developed it? The fucking Santander bank.

Guess what the Terms & Conditions say? That your data can be sold to third parties and that you will receive advertisements from third parties.

The app even has a "News" category that is, again, controlled by the bank.

FUCK, I'M ANGRY.

M42 boosted
M42 boosted

#truqui

Para dibujar redes neuronales en #TiKZ, este generador de autómatas finitos con salida a #LaTeX viene de perlas: madebyevan.com/fsm/ mstdn.io/media/YtOAbOjZEyEHxCw

M42 boosted

This is huge! The supreme court is going to hear a case on partisan gerrymandering, in which they may rule about what process (including what mathematical techniques) can be used in a case that a partisan gerrymander is illegal.

cnn.com/2017/06/19/politics/su

This is going to happen in October, just after I attend the Gerrymandering Workshop at Tufts. Exciting times!

Five Stages of Accepting Constructive Mathematics - Andrej Bauer
youtube.com/watch?v=21qPOReu4F