Estas son algunas cosas que me gusta hacer:
Escuchar y tocar música.
De vez en cuando hago de técnico de sonido en el programa de radio de blues de Radio Círculo, La Cofradía del Blues.
Lo tengo un poco abandonado, pero toco un poco la guitarra y el piano y estoy aprendiendo a tocar el bajo.
Durante el confinamiento montamos una radio online. Puedes acceder al archivo de la radio.
A veces suena en directo en este enlace la música que estoy escuchando.
Reparar bicicletas.
He participado en varios talleres autogestionados de bicicletas en los que he aprendido un montón. Mi mayor logro ha sido montar una bicicleta desde cero con piezas recicladas.
Viajar.
Me gusta viajar no solo para ir otro sitio, sino para recorrer territorios. Hasta ahora mi forma de transporte preferida ha sido la bicicleta, pero también le estoy cogiendo el gustillo a caminar.
Me gustan las montañas y los sitios inhóspitos, pero también me encanta conocer pueblos de España y hablar con sus gentes. Suelo llevar equipo para cocinar y dormir donde surja.
Ordenadores y programación.
He aprendido de forma autodidacta bastantes cosas sobre lenguajes de programación y sistemas operativos. Además en la carrera he cursado bastantes asignaturas de computación. Puedes ver mis códigos en mi perfil de github.
Matemáticas.
Estoy terminando el grado en matemáticas. Mi trabajo de fin de grado es sobre formalización de la geometría euclídea en Lean, un lenguaje de programación que se puede utilizar para digitalizar y verificar resultados de matemáticas. Me interesan bastante la geometría, la lógica formal y los fundamentos matemáticos de la computación.