Dino Gironi
Software Engineer
Dino Gironi is a self-taught software engineer and Computer Science honours graduate with interests spanning 3D graphics, functional programming, machine learning, system architecture, hardware electronics and computer science mathematics. He aims not only to be a jack of all trades, but to master a few as well.
Type shi: Type theory, Metaprogramming and Typescript
A deep dive into TypeScript's type system and its mathematical foundations, exploring how its more unusual features can be used to build expressive, self-documenting interfaces and push type safety to its logical extreme.
Johannesburg