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