The formalisms are not an invention of the blog post, just the formal definition of iO
Correct, I didn't mean to make it sound like they were foreign to iO overall. Just that the formalisms were in the blog post.
(The iO research field, overall, is still pretty weird to me.)
alt Hacker News
Correct, I didn't mean to make it sound like they were foreign to iO overall. Just that the formalisms were in the blog post.
(The iO research field, overall, is still pretty weird to me.)