I recently followed a link hole that got me here.
MIRI is not now what SIAI was then, so this isn’t the most pressing of questions, but: what was the major update? It is, I’m sad to say, a victim of link rot.
I recently followed a link hole that got me here.
MIRI is not now what SIAI was then, so this isn’t the most pressing of questions, but: what was the major update? It is, I’m sad to say, a victim of link rot.