Abstract Machine Models (2022) | Dark Hacker News