Ignacio Ballesteros

@ignacioballesteros.es

194 Followers 636 Following

Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid

λ> 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
Me setting up the laptop to present next to the homemade cheesecake.
Picture taken from the ground of an Airbus Beluga flying overhead
Diagram showing my flights from Denver to Madrid. Route was: DEN - JFK - LHR - AMS - MAD Failed: JFK - MAD (twice), LHR - MAD
Knowledge-Base API for Python (KeBAP)
Picture of two pictures of ducks, hang at the end of the conference room.
W3C page describing that PNG file format is pronounced "ping"
Weather for next Monday in Denver, CO. Maximum of -13°C, minimum of -19°C.
Picture of IMDEA Software Institute and trees under a clear blue sky
Ferrero dando el visto bueno 👍
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.
Santiago Tapia
Loïc Martínez