andrevidela
Follow
Valeria de Paiva
vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
@ToposInstitute Cupertino, CA
jjl
Very experienced developer and scarer of computers. Mostly writes rust these days, knows idris, purescript, haskell, elixir/erlang, python + much more. hire me!
Independent consultant Netherlands
Erik Post
epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
