turning machines are a pretty kludgey formalism, lambda calc seems a lot better but seems still hampered by weirdness from being a pioneering formalism does anyone have a fav formalism for…
Posters: natural_hazard. natural_hazard
2 likes recorded by the source corpus.
View Post: https://x.com/natural_hazard/status/1806762447803388395