#theory-of-computation on Hacker News

2 stories tagged theory-of-computation, newest first.

Monoidal computer I: Basic computability by string diagrams (2012)(arxiv.org)

3 points by measurablefunc 3 days ago | 0 comments

arXiv abstract page for Dusko Pavlovic's 2012 paper proposing a model of computation based on monoidal categories and string diagrams.

103 points by abiro 24 days ago | 33 comments

A blog post walking software engineers through the structure of a Lean proof, using a finite automata problem from a theory of computation textbook.