access NVIDIA CUDA via F#: nvcc and ptxas interfaces, F# conversion to PTX, GPU agents (processors)