I feel like this topic may deserve a top-level post (rather than an N-th level comment here).
EDIT: I specifically meant the “MIRI in ~2017” topic, although I am generally in favor of extracting all other topics from Jessica’s post in a way that would be easier for me to read.
I feel like this topic may deserve a top-level post (rather than an N-th level comment here).
EDIT: I specifically meant the “MIRI in ~2017” topic, although I am generally in favor of extracting all other topics from Jessica’s post in a way that would be easier for me to read.