Daniel Spiewak
djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.
@nvidia Chicago, IL
Eric Torreborre
etorreborre
Visit my other projects at https://github.com/atnos-org!
Ockam Haarlem, Netherlands
Miles Sabin
milessabin
I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.
Underscore/Typelevel/shapeless/grackle Brighton, UK
PreviousNext