News for hackers. Stuff that matters.

A comment on Harlan, new Lispy language for GPU programming. Parent comment

Re:Harlan, new Lispy language for GPU programming by eholk on Monday July 01, 2013 @01:14PM (#5972050)
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.
[ Parent | on HN ]
Re:Harlan, new Lispy language for GPU programming by octo_t on Monday July 01, 2013 @05:07PM (#5973559)
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/

[ Parent | on HN ]
Re:Harlan, new Lispy language for GPU programming by swannodette on Monday July 01, 2013 @01:36PM (#5972246)
I see, thanks for the update! :)
[ Parent | on HN ]