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
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
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
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
🚨 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 🥳)
@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!
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
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
@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
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