Hacker News Reader

> 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/hvm

Previous discussions https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

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.

Reply on news.ycombinator.com