Thread by @maverick_code

Se sabe desde hace tiempo que la programación oculta grandes cantidades de matemáticas.

Ya en 1995 la DARPA en un informe secreto recientemente desclasificado indica que el 99% del software de la industria estaba plagado de isomorfismos y relaciones de orden total y grafos +

Es un secreto a voces q el software de criptografía de curva elíptica, está infectado de grupos abelianos, cuando se suponía que por fin iba a solucionarse la infestación por campos finitos y exponenciación que aquejaban a los sistemas de la generación anterior +

Durante muchos años se ha estudiado como las álgebras de Boole están entre las primeras causas del mal funcionamiento de los ordenadores ya desde la década de los 50. +

mientras los padres fundadores como Turíng se preguntaban cómo solucionar el problema de la parada temerosos de que una ordenador no se pudiese parar nunca, solo unas décadas después la industria asistía impotente a la situación contraria las máquinas se paraban inesperadamente

Mientras el currículo universitario hace unas décadas incluía grandes cantidades de matemáticas para q los programadores pudieran detectar y eliminar esas aberraciones al primer síntoma, las nuevas generaciones de autodidactas carecen de ese ojo certero q necesita la industria

esto ha hecho que en una sola década las aplicaciones web por ejemplo se hayan visto infectadas de transformaciones naturales, categorías monoidales y extrañas formas de cálculo Lambda.

Se sabe desde hace poco que la industria dedica ahora casi 10 veces más dinero en forma de meet ups a combatir estas afecciones lo que supone un coste muy superior al que tradicionalmente se asociaba con la formación reglada

Y tú aún eres incapaz de ver todas las matemáticas que hay en tu software? estás aupado a hombros de gigantes cuidado no te caigas...