José A. Alonso
LightNews LightNews
banner
jalonso.bsky.social
José A. Alonso
@jalonso.bsky.social
1.7K followers 670 following 5.1K posts
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

Homepage: https://jaalonso.github.io

Sevilla, Spain
Posts Replies Media Videos
jalonso.bsky.social
#Exercitium: Inversa a trozos. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional
November 11, 2025 at 6:33 PM
jalonso.bsky.social
#Exercitium: Mínimos locales. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
November 10, 2025 at 5:45 PM
jalonso.bsky.social
Summary of "A new paradigm for mathematical proof?"
November 8, 2025 at 6:42 PM
jalonso.bsky.social
#Exercitium: Pequeño test de inteligencia. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
November 8, 2025 at 6:14 PM
jalonso.bsky.social
#Exercitium: Mayores elementos de una matriz. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
November 7, 2025 at 7:28 PM
jalonso.bsky.social
#Exercitium: Último dígito no nulo del factorial. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
November 5, 2025 at 5:44 PM
jalonso.bsky.social
#Exercitium: Repetición de elementos. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional
November 5, 2025 at 5:08 PM
jalonso.bsky.social
#Exercitium: Conjunto de primos relativos. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
November 5, 2025 at 4:21 PM
jalonso.bsky.social
#Exercitium: Precio total. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional
November 1, 2025 at 7:29 PM
jalonso.bsky.social
#Exercitium: Extensión de un fichero. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional
October 31, 2025 at 5:57 PM
jalonso.bsky.social
#Exercitium: Distancia de Hamming. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 30, 2025 at 7:26 PM
jalonso.bsky.social
#Exercitium: Rompecabeza matemático. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 30, 2025 at 6:32 PM
jalonso.bsky.social
#Exercitium: Suma de todos los anteriores. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 29, 2025 at 6:33 PM
jalonso.bsky.social
#Exercitium: Poner en mayúscula la primera letra y las restantes en minúsculas. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional
October 27, 2025 at 1:01 PM
jalonso.bsky.social
#Exercitium: Parte impar de un número. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 26, 2025 at 4:53 PM
jalonso.bsky.social
#Exercitium: Elementos no repetidos. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 22, 2025 at 12:10 PM
jalonso.bsky.social
#Exercitium: Listas equidigitales. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 21, 2025 at 6:24 PM
jalonso.bsky.social
#Exercitium: Divisibles por el primero. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 20, 2025 at 5:28 PM
jalonso.bsky.social
#Exercitium: Laberinto numérico. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 11, 2025 at 5:41 PM
jalonso.bsky.social
#Exercitium: Sustitución en una expresión aritmética. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 10, 2025 at 6:00 PM
jalonso.bsky.social
#Exercitium: Clausura de un conjunto respecto de una función. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 9, 2025 at 5:21 PM
jalonso.bsky.social
#Exercitium: Cadenas de ceros y unos. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 8, 2025 at 4:21 PM
jalonso.bsky.social
#Exercitium: Números con todos sus dígitos primos. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 7, 2025 at 5:00 PM
jalonso.bsky.social
#Exercitium: Matriz permutación. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 6, 2025 at 5:17 PM
jalonso.bsky.social
#Exercitium: Inserción en árboles binarios de búsqueda. jaalonso.github.io/exercitium/p... #Haskell #ProgramaciónFuncional #Matemáticas
October 3, 2025 at 4:57 PM