[livcomp]

Hi folks. Thanks to akkartik for posting this and thanks to everybody who took a look. I do apologize that documentation is so scarce and scattered. To go a bit deeper, for hacker types I recommend https://ojs.aaai.org/index.php/AAAI/article/view/9802 as a fast and readable high level Q&A.

[throwaway17_17]

I found the Q&A pretty readable and does provide a decent basic overview of the broad strokes. Are there any deeper 'dives' on best-effort computing that you would recommend? I don't have any outstanding objections to the general ideas proposed, but as you have pointed out, the paradigm as a whole goes against almost all of the presently accepted practices. I also noted some superficial similarity to Chuck Moore's colorForth work and the 'multi-core' chip he was working with/on.

[synctext]

> I don't have any outstanding objections to the general ideas proposed, but as you have pointed out, the paradigm as a whole goes against almost all of the presently accepted practices.

Indeed, as a professor in fault tolerance, distributed system, and parallel programming I can confirm that almost nobody work on this. This work is quite fascinating and complete with operational hardware/software combo. Never seen that before! My university has done work like: "Cellular automata based S-boxes", nothing as ambitious as a post-Neumann paradigm.

Hopefully this work leads to a breakthrough on the ease of asynchronous software development. Academia never seriously looks at this due to the difficulty of coding for exotic parallel async architectures. Numerous people dedicated their lives to making coding easy. Centuries of human efforts and we now have Javascript, 1+ million people know how to code in that. Efficient coding using VHDL? Async FPGA stuff? 2D grid tiles? Not many.

[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.

[jacquesm]

There was Sutherlands' Fleet a couple of years ago.

Errmm time flies. More than a decade ago.

[nigamanth]

I'm sorry but I'm just not sure I understand the purpose of this.

[livcomp]

Can you ask a specific question, say, based on the Q&A?