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

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.