Juanjo Madrigal
@jxm_math
Followers
234
Following
693
Media
12
Statuses
68
⚗️ + 💻 + 🤸♂️; creador de @74WTungsteno y programador en @devo_Inc
Joined September 2018
RT @Lambda_World: CHECK OUT the summary video from last week's #LambdaWorld!. #FunctionalProgramming #Cadiz #Amonopichita .
0
3
0
KARATE MATH FIGHT at Lambda World with a bit of Agda and Lean by Juanjo Madrigal @jxm_math & Jorge Mayoral!. #FunctionalProgramming #Agda #Lean
0
1
2
Preparing with my colleague Jorge Mayoral the workshop on Agda and Lean to be held next month at @Lambda_World : lots of code, lots of examples, lots of applications. I certainly wouldn't miss it 🙂.
1
2
5
🥳🥳🥳💥.
We are glad to announce Juanjo Madrigal @jxm_math and Jorge Mayoral to our panel of speakers of @Lambda_World . They will give a workshop on Agda and Lean!. More here: #FunctionalProgramming #Agda #Lean
2
1
9
RT @ajimenez1503: Un grande @jxm_math .Muchas gracias por compartir tu conocimiento en @JOTBConf . Btw, con la pegatina de @AlmeriaTech_es….
0
2
0
La Commit Conf ha molado un pegote ❤️❤️❤️.
Juan José Madrigal Martínez @jxm_math: Algoritmos probabilísticos en streaming: precisión y velocidad con bajo coste. 📽️
0
0
3
It was great to speak at JOTB!!! 🥳.
Learn about Probabilistic Streaming Algorithms with @jxm_math at #JOTB23 #dataengineering #streamanalytics
2
1
10
This JS edition of classic SICP is insanely good.Highly interactive, solved exercises, amazing content.
0
0
3
RT @stmcallister: Finishing up the day at #jotb23 with .@jxm_math teaching us about probabilistic streaming algorithms .
0
1
0
RT @AlexAndBooks_: The world's 30 most beautiful libraries:. 1. Admont Abbey Library, Austria
0
8K
0
RT @apbarrero: "Necesito" que WhatsApp Web permita introducir emojis en el texto como lo hace Slack: escribiendo ':' y el nombre del emoji….
0
1
0
Data visualization is an art.
Don’t like graphs? This new visualization shows monthly global temperature anomalies (changes from an average) between 1880 and 2021, based on @NASAGISS data. White and blue = cooler temps.Orange and red = warmer temps. More:
0
0
3
RT @canmathsociety: In Memoriam: Yulia Zdanovskaya, a 21-year old mathematician, was killed on March 8th, 2022 during a Russian forces atta….
0
12K
0