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 gregor42 (showing 51-100 out of ~257^{?}):

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 (192 votes). Check out past polls.