Ignacio Ballesteros
LightNews LightNews
banner
ignacioballesteros.es
Ignacio Ballesteros
@ignacioballesteros.es
190 followers 620 following 51 posts
Madrid.

PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Posts Replies Media Videos
ignacioballesteros.es
May 6, 2025 at 5:39 PM
ignacioballesteros.es
Los diagramas son bonitos visualmente, pero difíciles de entender. La notación original (+ licencias) es bastante compacta.

En el máster de Métodos Formales de la @upm.es + @ucm.es hay una asignatura en la que se hacen estos ejercicios ♥️

lambster.dev
λ> and true false λ > ((and true) false) δ > expanded 'and' into '(λa. (λb. ((a b) a)))' δ > expanded 'true' into '(λt. (λf. t))' δ > expanded 'false' into '(λt. (λf. f))' Δ > (((λa. (λb. ((a b) a))) (λt. (λf. t))) (λt. (λf. f))) Beta reducing '(λt. (λf. t))' into '(λa. (λb. ((a b) a)))' β > ((λb. (((λt. (λf. t)) b) (λt. (λf. t)))) (λt. (λf. f))) Beta reducing 'b' into '(λt. (λf. t))' β > ((λb. ((λf. b) (λt. (λf. t)))) (λt. (λf. f))) Beta reducing '(λt. (λf. t))' into '(λf. b)' β > ((λb. b) (λt. (λf. f))) Beta reducing '(λt. (λf. f))' into '(λb. b)' β > (λt. (λf. f)) >>> (λt. (λf. f)) ↳ equivalent to: false, zero
March 31, 2025 at 3:09 PM
ignacioballesteros.es
Took part in the first Theory Cake (informal) talks at IMDEA Software Institute!

Was way more nervous about the homemade cake than the talk, but both turned out great!
Me setting up the laptop to present next to the homemade cheesecake. The cheesecake.
March 27, 2025 at 12:24 PM
ignacioballesteros.es
Beluga over Madrid
Picture taken from the ground of an Airbus Beluga flying overhead
February 14, 2025 at 11:35 AM
ignacioballesteros.es
It has been an amazing week in Denver. Many great ideas there. Also happy to share our work about Haskell based spreadsheets :)

But what an unexpected travel back to Madrid. Delayed flights, missed connections, buggy plane tickets...
Diagram showing my flights from Denver to Madrid. Route was: DEN - JFK - LHR - AMS - MAD Failed: JFK - MAD (twice), LHR - MAD
January 27, 2025 at 6:47 PM
ignacioballesteros.es
Choose the best name presented at PADL 2025:

- KeBAP
- Gringo
- MOLA
Knowledge-Base API for Python (KeBAP) mini-Gringo (from CLINGO) MOLA (from LOLA/HLOLA)
January 21, 2025 at 11:34 PM
ignacioballesteros.es
Oh, and the Duck Duck Goose name for the room is because of these ♥️
Picture of two pictures of ducks, hang at the end of the conference room. And a picture of a picture of a goose
January 21, 2025 at 12:51 AM
ignacioballesteros.es
Oh wait it wasn't a joke
W3C page describing that PNG file format is pronounced "ping"
January 19, 2025 at 4:53 AM
ignacioballesteros.es
I'm not ready for this... Cold days in Madrid are around 0°C
Weather for next Monday in Denver, CO. Maximum of -13°C, minimum of -19°C.
January 17, 2025 at 4:58 PM
ignacioballesteros.es
IMDEA Software Intitute #BlueSky
Picture of IMDEA Software Institute and trees under a clear blue sky
December 16, 2024 at 1:05 PM
ignacioballesteros.es
¡Suerte con el paper!

Y enhorabuena 👍
Ferrero dando el visto bueno 👍
December 15, 2024 at 11:59 PM
ignacioballesteros.es
#AlTrabajoEnBici
Fotografía desde mi bici, en un parque, teniendo un camino asfaltado delante. El camino está lleno de las hojas de los árboles que hay a cada lado.
November 27, 2024 at 2:07 PM
ignacioballesteros.es
Y lo mejor es que ya tenemos una charla asegurada para las siguientes ediciones :D
Santiago Tapia Julio Mariño
November 25, 2024 at 4:53 PM
ignacioballesteros.es
Siempre es una maravilla poder asistir a las Lightning Talks organizadas por ACM UPM.

Esta edición con profes ha sido estupenda.

Muchas gracias a ACM por organizarlas, y a los profes por participar y mostrar otra cara más allá de las clases.
Loïc Martínez Tema Barambones M. Carmen Suárez Figueroa Antonio Díaz Honrubia
November 25, 2024 at 4:53 PM