Writing (1)
Projects (7)
The first level of Doom, rewritten in Bend 2 and compiled to WASM so it runs in the browser.
A demonstration fusion device I co-built in high school, for which I designed the 2,000-volt power circuit.
A map of the mobile network antennas in Spain, with coverage simulations.
A signal-processing library for TypeScript.
A web tool that shows the frequency content of a signal, built on pragma-dsp.
A web simulator of the first scientific pocket calculator.
A Raspberry Pi that puts a USB-only printer on the network, with a printing protocol written from scratch.
Events (5)
A CERN IdeaSquare programme where student teams work on a challenge set by a company. For SEAT, my team built a digital health card for used cars, stored on an ESP32 Bluetooth tag in the car and read from a phone app.
IdeaSquare is CERN's innovation space. During a week there with the other CBI students, my team built a machine in a one-day make-a-thon that sorts falling marbles into metal, glass and plastic by the force of their impact.
A 24-hour student hackathon at EPFL. For BOBST's challenge, my team built SolomonTracker, which tracks items with secure, unique codes based on coding theory.
A 24-hour hackathon at the Autonomous University of Barcelona. With the campus's Wi-Fi data, my team built a platform that diagnoses congestion and proposes where to place new access points.
A datathon at UPC's School of Mathematics and Statistics. For Smadex, my team built a model that predicts an ad impression's in-app revenue over the next seven days, and started a smaller version of it for production.
Reading now (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
This video from David Amos convinced me to give it a chance.
- Homotopy Type Theory: Univalent Foundations of MathematicsUnivalent Foundations Program
A pioneering foundational exposition of homotopy type theory and univalent foundations, written with an irreverent tone.
- El ingenioso hidalgo don Quijote de la ManchaMiguel de Cervantes
A book to dream with, asleep or awake.
Recommended (4)
- essay · William P. Thurston
- thesis · Robin L. Miller
- post · Terence Tao
- article · David C. Keenan