No one at Kensico Capital Management Corp. has shared their stack yet. Work here? Add the tools you use.