New top story on Hacker News: Von Neumann’s critique of automata theory and logic in computer science

No comments