[livcomp]

Thanks for your thoughts and for taking a look. It's increasingly clear we're entering a time of architectural change, and I'm trying to help scout out lands ahead. It drives me crazy that after all these years, as far as I know, dynamic reconfigurability in FPGAs is still so limited and coarse. I like the look of GraphCore though.

[throwaway17_17]

I've been interested in the broad topic of programming language design/theory for a few years, after being inspired by the article "C is not a Low-Level Language" by David Chisnall. It really pushed me to consider designing for a future architecture. However, after seeing this thread yesterday, reading some papers and decks, and watching a few videos, I am going to add designing for a post-Von Neumann architecture to my explorations.

My theoretical and design work has been focused on concurrent modal languages (with nondeterminism as a basic side effect often), and I am going to be hopeful that I can find a useful common ground with the type of thoughts you've thrown up for me.