User:Brighterorange

From Wikipedia, the free encyclopedia

Not actually orange.
Not actually orange.

Contents

[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.

Please use my talk page to communicate with me about Wikipedia rather than e-mail; I am actually more likely to read your communique sooner if it goes there, and definitely more likely to respond.

My real home page is at tom7.org.

[edit] Opinions

I love Wikipedia and have a number of opinions about how it could be improved.

[edit] Wish list

I found out that if I put a wish list of articles on my user page, sometimes they just appear out of nowhere!

Here are some articles I'd like to extend.

[edit] Work on

[edit] Started

Here are some articles that I started.

Here is a project I started.


[edit] Notes

[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 if you want.

Useful links for database dumps:

Since then I have been more interested in extending the Wikipedia interface using Javascript (ugh) to automate repetitive editing tasks, particularly as respects my superficial editing interests (punctuation and typography, image formats). These are not quite ready for prime time yet, but please ask if you're interested in beta-testing.

[edit] Images

I like taking photographs, and I've uploaded some images to Wikipedia, too. I occasionally replace poor pictures with better high-resolution ones; when I do, my policy is to use a license at least as generous as the old one.


As an image quality stickler, I also spend a lot of time tagging and converting images to better formats, especially SVG.

[edit] To do

I say old chap have you seen Brighterorange?
I say old chap have you seen Brighterorange?

[edit] Easily improved

[edit] WP:IS a social networking site


en This user is a native speaker of English.
λ This user is fluent in Lambda calculus.
This user [2] an administrator on the English Wikipedia.
This user participates in Project Punctuation.
P This user is a Pescetarian.
This user is a cross country runner.
This user enjoys photography.
This user hacks happily with Emacs.
This user is a member of
WikiProject Pittsburgh.
SI-0 This user thinks the metric system is bureaucratic and inhuman and will think in Fahrenheit until he/she dies.
This user lives in the Commonwealth of Pennsylvania.