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 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 ]

There are no comments on this comment yet.