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...

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with The Code Maverick

The Code Maverick Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @maverick_code

12 Jan
Estaba repasando mi perfil de Linkedin y me he acordado de esto en la época que andaba coqueteando con hacer el doctorado en Química computacional o algo por el estilo...

Seguro que a @vielbein le va a hacer gracia..
Tambien habia un montón de mates que me enseño mi compañero del grupo Felipe Zapata...
Y juntos nos montamos la locura en #Erlang pasándolo pipa antes de incarle el diente a #Haskell
Read 4 tweets
12 Jan
La transformada discreta del coseno es una transformacion de dominio que habitualmente usada en 2D convierte una señal continua "una foto" o en una serie de coeficientes de cosenos a diferentes frecuencias +
Tiene propiedades interesantes ya que el espectro de potencia exhibe una localidad que se puede aprovechar para almacenar la información usando menos bits que la señal original +
A esta representacion se le puede aplicar una codificación entrópica (compresión sin perdida) resultando en un ahorro considerable de ancho de banda, pero las técnicas no se quedaron aqui +
Read 8 tweets
4 Jan
Bueno pues aqui voy con mi particular acercamiento al snippet de @thinbaker con la librería Pillow.

Claro que como ya adelanté, yo he integrado el código del tocayo en mi herramientilla/playground de python #Python
Ya dije q suelo iterar sobre un concepto en cada oportunidad. Como veis hay un fichero principal y una "carga de pago" consistente en uno o varios comandos como modulos independientes...

En este caso hay tres snippets sacados de Twitter integrados en la misma herramienta..
El modulo main se encarga de preparar la estrutura de argparse, aumentarla con "subparsers" para cada comando que se añada y de comprobar la cmdline y bifurcar al comando apropiado... Es casi lo mismo que visteis para el #AdventOfCode
Read 19 tweets
2 Jan
Leyendo "The ambiguous operator, pt.2" en blog.sigfpe.com/2006/02/ lo que me ha llevado a revistar en la wiki unos cuantos conceptos interesantes: +
Primeramente: Call/CC la clásica instrucción de LISP para aplicar continuaciones:

en.wikipedia.org/wiki/Call-with…
Este el el punto de partida para la mas interesante: continuacion delimitada (algo que GHC está en proceso de tener como operación nativa), tambien en la wiki:

en.wikipedia.org/wiki/Call-with…
Read 7 tweets
1 Jan
Muchos perros en la epoca navideña lo pasan mal con los petardos. Triste pero por otro lado una de las situaciones en la que el dueño de una mascota sufre una imposición por parte de un tercero. +
Aun recuerdo el mordisco que me dío en la pantorilla un perrete "juguetón" y la cara de sus dueñas incapaces de gesticular mas allá de un "perdon! solo quería jugar"
Como si el poder llevarse un bocado fuera una decisión colegiada con cualquier viandante que se cruzasen... +
Como yo tuve perro puedo empatizar con ambos lados pero a mi personalmente me queda claro la unidireccionalidad que se dá en estas situaciones.

Las personas con mascotas las "imponen" a las demás. Es como el fumar: tu fumas, yo me trago tus humos, no hay reciprocidad posible. +
Read 4 tweets
21 Dec 21
Atribuyen a Edison la frase: “I will not say I failed 1000 times, I will say that I discovered there are 1000 ways that can cause failure.” Pues yo he estado haciendo lo mismo en los ratos libres de estos ajetreados días... +

#AdventOfCode2021 #AdventOfCode
Por las noches mientras veía alguna peli del Prime time he estado programando mi particular acercamiento al problema 15 haciendo stiching de soluciones para encontrar la solución completa al #AoC +
La dificultad no provenía del Floyd Warshall sino de como pegar las soluciones entre si propagando los costos del tal manera que no me sorprendian los fallos, hasta que aburrido/estancado pensé programar el dijkstra para tener la solución y comparar el devenir de cada código.. +
Read 50 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us on Twitter!

:(