Hacker News new | ask | show | jobs
by Ar-Curunir 27 days ago
The formalisms are not an invention of the blog post, just the formal definition of iO
1 comments
some_furry 27 days ago
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.)

link