Hacker News new | ask | show | jobs
by throwaway17_17 1265 days ago
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.