My GitHub page
QBDef: A QBF Family Definition Processor and Generator
Φ-Math: Reading group on philosophy of mathematics at the ILLC
My Twitter account (@alephnoell)
My personal blog (in Spanish): Confesiones de una mente sigilosa