Derek Prijatelj
prijatelj
I research machine learning and information theory!
Ph.D. from University of Notre Dame in Computer Science & Engineering.
University of Notre Dame USA
Zhiyang Ong
eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs
Design Automation Renegades In passato, vicino al Dolomiti
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo