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 rdm (showing 1-41 out of ~40^{?}):

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.