# Elies García Alvira

¡Te doy la bienvenida a mi web personal! Estudio ingeniería de telecomunicaciones en el Campus Nord de la UPC, en Barcelona.

[GitHub](https://github.com/eliesgalvira) · [X](https://x.com/eliesgalvira)

## Escritos

- [What this blog is for](https://www.elies.site/blog/what-this-blog-is-for.md) (nota, oct 2026, en)

## Proyectos

- [bendoom](https://doom.elies.site) (software): El primer nivel de Doom, reescrito en Bend 2 y compilado a WASM para que funcione en el navegador.
- [Fusor Farnsworth](https://fusor.elies.site) (hardware): Un dispositivo de fusión de demostración construido en el instituto, para el que diseñé el circuito de alimentación de 2000 voltios.
- [Celda](https://celda.elies.site) (software): Un mapa de las antenas de telefonía móvil de España, con simulaciones de cobertura.
- [pragma-dsp](https://github.com/eliesgalvira/pragma-dsp) (software): Una biblioteca de procesamiento de señales para TypeScript.
- [Signal Transformer](https://sigtransform.elies.site) (software): Una herramienta web que muestra el contenido en frecuencia de una señal, hecha con pragma-dsp.
- [HP-35](https://hp-35.elies.site) (software): Un simulador web de la primera calculadora científica de bolsillo.
- [Servidor de impresión](https://github.com/eliesgalvira/ipp-print-orchestrator) (hardware): Una Raspberry Pi que conecta a la red una impresora que solo tiene USB, con un protocolo de impresión escrito desde cero.

## Eventos

- [CERN Challenge Based Innovation, Fusion Point](https://github.com/eliesgalvira/CBI-CarSalut-app) (programa, 2025): Un programa del CERN IdeaSquare en el que equipos de estudiantes trabajan en un reto propuesto por una empresa. Para SEAT, mi equipo hizo una ficha de salud digital para coches de segunda mano, guardada en una etiqueta Bluetooth ESP32 dentro del coche y leída desde una app del móvil.
- [Una semana en el CERN IdeaSquare](https://github.com/eliesgalvira/CERN-CBI-hackathon) (estancia, oct 2025): IdeaSquare es el espacio de innovación del CERN. Durante una semana allí con el resto de estudiantes del CBI, mi equipo construyó en un make-a-thon de un día una máquina que separa canicas en metal, vidrio y plástico según la fuerza con la que caen.
- [LauzHack 2024, EPFL](https://github.com/SolomonTracker) (hackathon, nov 2024): Un hackathon de estudiantes de 24 horas en la EPFL. Para el reto de BOBST, mi equipo creó SolomonTracker, que rastrea objetos con códigos únicos y seguros basados en la teoría de códigos.
- [UAB THE HACK!](https://github.com/Barretina-Negra/UAB-WiFi-Dataset-Analysis) (hackathon, nov 2025): Un hackathon de 24 horas en la Universitat Autònoma de Barcelona. Con los datos de la wifi del campus, mi equipo creó una plataforma que diagnostica la congestión y propone dónde poner nuevos puntos de acceso.
- [Datathon FME-UPC](https://devpost.com/software/distillers) (datathon, nov 2025): Un datathon de la Facultat de Matemàtiques i Estadística de la UPC. Para Smadex, mi equipo creó un modelo que predice cuánto dinero genera dentro de la app una impresión de anuncio en los siete días siguientes, y empezó una versión más pequeña para producción.

## Leyendo ahora

- *The Princeton Companion to Mathematics* (Timothy Gowers, ed.): «[Part IV] covers over two dozen active fields of research, each one introduced by an expert with a talent for clear communication.» — Grant Sanderson
- *Introduction to Graph Theory* (Richard J. Trudeau): [Este vídeo de David Amos](https://www.youtube.com/watch?v=dJL4_p4f2Qg) me llevó a echarle un vistazo.
- *Homotopy Type Theory: Univalent Foundations of Mathematics* (Univalent Foundations Program): Una exposición pionera y fundacional de la teoría homotópica de tipos y los fundamentos univalentes, escrita con un tono irreverente.
- *El ingenioso hidalgo don Quijote de la Mancha* (Miguel de Cervantes): Un libro para soñar, dormido o despierto.

## Recomendaciones

- [On Proof and Progress in Mathematics](https://arxiv.org/pdf/math/9404236) (ensayo, William P. Thurston)
- [On Proofs Without Words](https://www.whitman.edu/documents/academics/majors/mathematics/Miller.pdf) (tesis, Robin L. Miller)
- [If math is more than proof, we need to better celebrate the rest of it](https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it) (entrada, Terence Tao)
- [A Graphical Notation for the Lambda Calculus With Animated Reduction](https://www.dkeenan.com/Lambda/index.htm) (artículo, David C. Keenan)