No one at Pine River Capital Management L.p. has shared their stack yet. Work here? Add the tools you use.