Juanjo Madrigal

⚗️ + 💻 + 🤸‍♂️; creador de @74WTungsteno y programador en @devo_Inc

[Juanjo Madrigal @jxm_math]

Very happy to be part of this project bringing together neuroscience and web technologies.

An open-source, web-based environment for interactive 3D brain visualization, useful in research and education.

@openbrainlab https://t.co/DWBJg93Gxc

[OpenBrain @openbrainlab]

We’re happy to share the first version of OpenBrain 🧠

A web-based neuroimaging viewer designed to explore brain data directly in the browser.
This is just the beginning — more features and improvements coming soon.

#neuroscience #neuroimaging #datavisualization #opensource

[Juanjo Madrigal @jxm_math]

Seriously, I LOVE this conference 😍
@Lambda_World

[Lambda World @Lambda_World]

The Mastermind behind Refinement Types, at Lambda World 2025!

Have you ever wondered if types in programming languages can do more than just describe data? What if they could think? What if your code could be proven correct before it even runs?

Jorge Luis Mayoral Pérez and Juan José Madrigal Martínez invite you to dive into the fascinating world of refinement types.

Learn more about Jorge, Juanjo, and their talk here: https://t.co/go1VbFmweq
https://t.co/oLzOBoG2Rh

#RefinementTypes #SMTSolvers #FunctionalProgramming #TypeSystems

[Juanjo Madrigal @jxm_math]

We're back at @Lambda_World !!! 🥳🥳🥳

[Lambda World @Lambda_World]

Jorge L. Mayoral & Juanjo Madrigal @jxm_math
Math meets FP! 🧮
They’ll turn dependent types + SMT solvers into your new favorite tools for correctness.
https://t.co/8K54KJwc20

[Juanjo Madrigal @jxm_math]

🚨 critical software needs, more and more, the new tools of formal verification

✨ SMT solvers, with my colleague Jorge Mayoral

https://t.co/Y55vG6k6RQ

(thank you @hablapps and @devo_Inc for making this possible 🥳)

[Lambda World @Lambda_World]

CHECK OUT the summary video from last week's #LambdaWorld!

#FunctionalProgramming #Cadiz #Amonopichita

[Juanjo Madrigal @jxm_math]

Black belt in Formal Verification!! 🥋🧮🥳
Don't miss it!!! #Agda #Lean @Lambda_World

[Lambda World @Lambda_World]

KARATE MATH FIGHT at Lambda World with a bit of Agda and Lean by Juanjo Madrigal @jxm_math & Jorge Mayoral!

#FunctionalProgramming #Agda #Lean

[Juanjo Madrigal @jxm_math]

@lenguyenthanh @Lambda_World That's great! 🥳🥳🥳
We will soon publish a github repo with detailed installation instructions and info to get everything ready on your laptop.
Nothing else is needed, just a lot of willingness to learn!

[Juanjo Madrigal @jxm_math]

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 🙂

https://t.co/br9uJqrtf7

[J On The Beach @JOTBConf]

Do not miss the video from the presentation "Persistent homology: shaping the new unsupervised learning" by @jxm_math at #JOTB24
▶️ https://t.co/a6esu7Jcrw

#machinelearning #persistenthomology #data #datascience #bigdata

[Juanjo Madrigal @jxm_math]

🥳🥳🥳💥

[Lambda World @Lambda_World]

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: https://t.co/8K54KJwJRy

#FunctionalProgramming #Agda #Lean

[Juanjo Madrigal @jxm_math]

@ajimenez1503 @phpulpocon @BiznagaFest Psssst!! Quizá alguno de estos enlaces te es útil ;-)
https://t.co/VjsFxLMMpt
https://t.co/8xjwAjrHeW
https://t.co/uluJYUbU5A
https://t.co/s2BedhmcCP

[Juanjo Madrigal @jxm_math]

@stevejtrettel Cool! Does it have nice algebraic equations?

[Juanjo Madrigal @jxm_math]

@JOTBConf @hveigor @breckcs I was paying close attention 😁

[Antonio Jimenez @ajimenez1503]

Un grande @jxm_math
Muchas gracias por compartir tu conocimiento en @JOTBConf

Btw, con la pegatina de @AlmeriaTech_es

#jotb

[Juanjo Madrigal @jxm_math]

La Commit Conf ha molado un pegote ❤️❤️❤️

[Commit Conf @commitconf]

Juan José Madrigal Martínez @jxm_math: Algoritmos probabilísticos en streaming: precisión y velocidad con bajo coste. 📽️ https://t.co/E167yDloQv

[Juanjo Madrigal @jxm_math]

@sbellidog @JOTBConf Yes yes 😁

[J On The Beach @JOTBConf]

Welcome back Juanjo Madrigal @jxm_math ,software engineer at @devo_Inc , to #JOTB24

Juanjo will speak about persistent homology, a technique that mixes the best of 20th-century Maths and the latest advances in matrix calculus and graph algorithms!
👇
https://t.co/xIPVl63pR7

[Juanjo Madrigal @jxm_math]

@albertobastos 🤣

[Juanjo Madrigal @jxm_math]

It was great to speak at JOTB!!! 🥳

[J On The Beach @JOTBConf]

Learn about Probabilistic Streaming Algorithms with @jxm_math at #JOTB23 #dataengineering #streamanalytics https://t.co/tORudBt5Jy