Escritos (1)
Proyectos (7)
El primer nivel de Doom, reescrito en Bend 2 y compilado a WASM para que funcione en el navegador.
Un dispositivo de fusión de demostración construido en el instituto, para el que diseñé el circuito de alimentación de 2000 voltios.
Un mapa de las antenas de telefonía móvil de España, con simulaciones de cobertura.
Una biblioteca de procesamiento de señales para TypeScript.
Una herramienta web que muestra el contenido en frecuencia de una señal, hecha con pragma-dsp.
Un simulador web de la primera calculadora científica de bolsillo.
Una Raspberry Pi que conecta a la red una impresora que solo tiene USB, con un protocolo de impresión escrito desde cero.
Eventos (5)
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.
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.
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.
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.
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 (4)
- The Princeton Companion to MathematicsTimothy 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 TheoryRichard J. Trudeau
Este vídeo de David Amos me llevó a echarle un vistazo.
- Homotopy Type Theory: Univalent Foundations of MathematicsUnivalent 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 ManchaMiguel de Cervantes
Un libro para soñar, dormido o despierto.
Recomendaciones (4)
- ensayo · William P. Thurston
- tesis · Robin L. Miller
- entrada · Terence Tao
- artículo · David C. Keenan