User:Brighterorange

From Wikipedia, the free encyclopedia.

Contents

1 About

2 To Do

[edit]

About

Hello, I am Tom 7. I'm a graduate student in Computer Science at Carnegie Mellon University. I consider myself an expert in type theory, programming languages (esp. Standard ML), and logic (esp. modal logic). I also know a lot about some other things, like indie rock, Nintendo, and First-Person Shooters.

My real home page is at tom7.org.

[edit]

To Do

Here are some articles I'd like to make.

Nerd Stuff
- Automath - Computer-checked mathematics history
- de Bruijn index - probably the most common (internal) representation for languages with binders, like the lambda calculus
- N. G. de Bruijn - of the above two, also de Bruijn sequence.
- Higher-order abstract syntax (HOAS) - another common way to represent binders if your meta language has binders, supported by Twelf
Rock Stuff
- Scat Records - Record label that once was home to Guided By Voices and Nothing Painted Blue, etc.
- Kleenexgirlwonder (Kleenex Girl Wonder) - Recorded one of the best indie rock albums of all, "Ponyoak"
Miscellaneous
- George Lowe - The talented voice actor responsible for the voice of Space Ghost in Space Ghost: Coast to Coast (among other characters)
- Metamucil - Everyone's favorite fiber supplement

Here are some articles I'd like to extend.

Algebraic data type needs work (!)
Jitter could do a much better job of explaining the phenomenon. It currently reads as a list of disconnected bullet points
Dogfish Head Brewery is a great American brewery that deserves more than a stub
Rocketjumping needs cleanup since its merge
Name binding is totally wrong in many ways

[edit]

Started

Here are some articles that I started.

Mark Leyner - One of my favorite authors
Sturmian word - Mathematical object of note
Fibonacci word - Famous example of the latter
Twelf [1] (http://twelf.org/) - Popular logical framework implementation (plus metalogical tools) used for formalizing logics and programming languages. (I use it in my thesis research!) The article still needs to be fleshed out a bit.

Here is a project I started.

Project Punctuation - Fix missing punctuation

[edit]

PeriodBot

I've written some software in SML for mining Wikipedia off-line. One early application is PeriodBot, which searches for article paragraphs that don't end with punctuation (an incredibly common mistake). We manually apply these changes as part of Wikipedia:WikiProject Punctuation. (Since this program doesn't automatically interact with the live wikipedia either to read nor write, it doesn't really qualify as a bot as per WP:B). You can get the source code here (http://cvs.sourceforge.net/viewcvs.py/tom7misc/periodbot/) if you want.

[edit]