We did start out with a miniKanren type inferencer and region inferencer, but I ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

eholk on July 1, 2013 | parent | context | favorite | on: Harlan, new Lispy language for GPU programming

We did start out with a miniKanren type inferencer and region inferencer, but I replaced it a couple months back with a unified type and region inferencer. Region inference is definitely an interesting challenge for miniKanren, since a lot of the constraints it introduces are soft. There are many legal region assignments, but deciding the best one requires some heuristics.

octo_t on July 1, 2013 | [–]

Have you looked at GPUVerify[1] from Imperial College to verify the correctness of code produced?

[1] - http://multicore.doc.ic.ac.uk/tools/GPUVerify/

swannodette on July 1, 2013 | [–]

I see, thanks for the update! :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact