This is Linyxus

• Doing my PhD at LAMP, EPFL.
• A type theorist apprentice. Scala's type system is my primary focus. Developing the next generation of Capturing Types to bring resource and effect tracking to the masses.
• When I'm not occupied with doing induction, induction and induction on derivation trees, I submit patches to the Scala 3 compiler.
• Before diving into PL, I did research in machine learning, more specifically graph neural networks and pretraining LLMs for coding and theorem proving, during which I wrote a lot of Python.

---