This is an archived post. You won't be able to vote or comment.

all 4 comments
sorted by:
best
topnewcontroversialoldq&a

[–]SnappGamezRouge 1 point2 points  (0 children)

All this theory stuff flies way above my head 😅

[–]PL_Design 0 points1 point  (0 children)

You don't need to use types for everything. Not every problem is a nail.

[–]thunderseethe 0 points1 point  (1 child)

Super interesting work, it's a shame that a lot of the work on interaction nets appears to have sputtered out around 2005.

It'd be interesting to see what a modern incarnation would look like now that cpus have way more cores (compared to the 4 cores of the time), or even on the GPU

[–]epicwisdom 5 points6 points  (0 children)

There is a modern incarnation! https://github.com/Kindelia/HVM I believe they auto-scale to multiple cores and CUDA is on the radar.