Juanjo Madrigal

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 open-brain-lab.web.app

Seriously, I LOVE this conference 😍 @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: lambda.world/speakers/?spea… lambda.world/speakers/?spea… #RefinementTypes #SMTSolvers #FunctionalProgramming #TypeSystems

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

🚨 critical software needs, more and more, the new tools of formal verification ✨ SMT solvers, with my colleague Jorge Mayoral youtube.com/live/-7MelOvFH… (thank you @hablapps and @devo_Inc for making this possible 🥳)

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

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

@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!

@jxm_math @Lambda_World hey, I'll join your workshop (exciting yay!). Do I need to prepare anything (knowledge or setup wise)?

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 🙂 lambda.world/workshops/Agda…

Do not miss the video from the presentation "Persistent homology: shaping the new unsupervised learning" by @jxm_math at #JOTB24 ▶️ youtu.be/qM_QdtjgEsk #machinelearning #persistenthomology #data #datascience #bigdata

🥳🥳🥳💥

@ajimenez1503 @phpulpocon @BiznagaFest Psssst!! Quizá alguno de estos enlaces te es útil ;-) techconf.es eventos.wiki confs.tech dev.events

Hola Twitter, Alguien me puede informar sobre conferencias tencologicas para las segunda mitad del año? Por el momento tengo en mente @phpulpocon @BiznagaFest Mil gracias :)

@stevejtrettel Cool! Does it have nice algebraic equations?

Here’s a real algebraic surface of genus 3

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

While @hveigor and @breckcs delve into the intricacies of leveraging different technologies as a scalable data lake, other speakers from yesterday, like @jxm_math, support in the stand (and eat 🍦)😂 #JOTB24

Un grande @jxm_math Muchas gracias por compartir tu conocimiento en @JOTBConf Btw, con la pegatina de @AlmeriaTech_es #jotb

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

@sbellidog @JOTBConf Yes yes 😁

@JOTBConf @jxm_math Juanjo, se graban las sesiones verdad? @jxm_math

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! 👇 jonthebeach.com/speakers/?spea…

@albertobastos 🤣

@jxm_math De mayor quiero ser como tú. *mira su DNI* Oh, mierda.

It was great to speak at JOTB!!! 🥳