3 ms·

> I was trying to craft a CUDA-based lambda calculus interpreter This is awesome! I assume you have seen https://github.com/HigherOrderCO/Bend https://github

> I was trying to craft a CUDA-based lambda calculus interpreter This is awesome! I assume you have seen https://github.com/HigherOrderCO/Bend https://github.com/HigherOrderCO/Bend https://github.com/higherorderco/hvm https://github.com/higherorderco/hvm Previous discussions https://hn.algolia.com/?dateRange=all&page=0&prefix=true&query=HigherOrderCO&sort=byPopularity&type=story https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

winwang 1y ago
Indeed I have, though I have some reservations about its focus on interaction nets (or rather, its marketing). I ended up making a CUDA-based, data-parallel STLC typechecker (Hindley-Milner)... I want to formally prove its correctness first, but maybe a blog post would be okay either way.