✨ Avid knowledge-seeker, citizen of the world, eclectic and creative student.
👀 Inquisitively delving into the foundations of Computer science from a transdisciplinary point of view, with particular attention to its mathematical, logical and philosophical roots.
🦉 Starting from a solid multidisciplinary (both humanistic and scientific) background, now BSc CS student @UniPi
🤫 Some (non-public) projects...
Some fixed points I am in love with:
- (theoretical) computer science;
$\Theta = (\lambda x.\lambda y. y(x\ x\ y)))(\lambda x.\lambda y. y(x\ x\ y))$ - (computational and Indo-European) linguistics -> N(atural)L(anguage)P(rocessing);
$Y = \lambda f.(\lambda x.f(x\ x))(\lambda x.f(x\ x))$ - logic;
- latin;
- philosophy.