This is where you can search for all the writeups contributed by any user. Just enter the user name and select the order for the search.

Or try a Super Search

These nodes all have stuff by rnaeye (showing 1-44 out of ~44^{?}):

Turing machines λ-calculus μ-recursive functions Formal grammars Markov chains Petri nets Conway's Game of Life Perl regular expressions My Magic 8-Ball™ Actual computers

Results (187 votes). Check out past polls.