User:Brighterorange
From Wikipedia, the free encyclopedia
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!
- Nerd Stuff
- typed assembly language (Typed Assembly Language) - machine languages that have type systems
- proof-carrying code (proof carrying code, Proof-Carrying Code) - more generally, object code that comes with a proof of safety
- Automath (AUTOMATH) - Computer-checked mathematics history
- de Bruijn index - probably the most common (internal) representation for languages with binders, like the lambda calculus
- POPL, LICS, etc. - noted PL conferences
- BLOSUM - similarity matrices used in genome comparison, like PAM
- Join calculus and JoCaml - calculus and programming language for distributed computing
- defunctionalization - compilation technique
- closure conversion (perhaps as section of closure (computer science))
- geometry of interaction - Jean-Yves Girard's operational interpretation of cut elimination for linear logic
- Rock Stuff
- Scat Records - Record label that once was home to Guided by Voices and Nothing Painted Blue, etc.
- canyon.mid - C:\WINDOWS\MEDIA
- Miscellaneous
- Hamden High School - My high school; wp now has guidelines for inclusions of secondary schools
- Mike Katz - Former Mr. Universe, star of Pumping Iron, and my high school health teacher
- Thomas Hales - Pittsburgh mathematician who proved the Kepler conjecture
- George Lowe - The talented voice actor responsible for the voice of Space Ghost in Space Ghost: Coast to Coast (among other characters)
- Kleenexgirlwonder (Kleenex Girl Wonder) (Graham Smith (needs disamb)) - Recorded one of the best indie rock albums of all, "Ponyoak"
- ICFP programming contest (ICFP Programming Contest) - long-running, free format programming competition
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
- Eli Whitney Museum is my alma mater, in a sense
[edit] Work on
- List of state leaders in 1385 and all the related articles need auto en-dash fixing.
- List of colonial governors in 1904 likewise.
[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
- Albright special - A bend (type of knot) used in angling
- Racking bend - Another bend
- Twelf [1] - 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.
- Merton College library - Split from the main article on Merton in order to add more information and photos.
- Intertec Superbrain - An old twin-Z80 machine; Kermit was first developed to run on these
- Higher-order abstract syntax (HOAS) - another common way to represent binders if your meta language has binders, supported by Twelf
- Marine Research - K twee indie with Cathy Rogers from Junkyard Wars
- Helen DeWitt - Another excellent author
- Furlough - vacation, especially from armed services or prison
- International Conference on Functional Programming (ICFP) is a big programming languages conference
- Pulsar (video game) is an old arcade game
- Enteral formula is like total body nutrition in a tube
- Manhunter 2: San Francisco maybe the last classic Sierra On-Line adventure missing from Wikipedia!
Here is a project I started.
- Project Punctuation - Fix missing punctuation
[edit] Notes
- Special:Prefixindex/User:Brighterorange has all of my user page subpages.
- I believe this was my first edit on Wikipedia. Not bad for a noob, actually.
[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.
Brugmansia (detail) |
|||
My friend Brendan wearing a bunch of climbing equipment |
|||
Surgeon's knot (tying) |
|||
Merton College front quad |
Max Beerbohm self-portraits |
||
Old book bindings |
British Typex machine |
London Heathrow terminal 3 |
|
The Eagle and Child interior; where the Inklings met |
Gopher rockfish of family Sebastidae |
||
caterpillar face |
As an image quality stickler, I also spend a lot of time tagging and converting images to better formats, especially SVG.
Absolute complement |
Relative complement |
||
Bohr model of the atom |
Tartrate crystals from Louis Pasteur's experiments |
[edit] To do
- Mercury Villager (could take free image)
- Pi Day (some pictures from CMU tradition)
- sailor's hitch, other knots...
- Hamden High School
- Eli Whitney Museum
- four-in-hand knot
- Taylor Allderdice High School
- Shadyside (Pittsburgh)
- Duquesne University
- Pilaf
- Allegheny Cemetery
[edit] Easily improved
[edit] WP:IS a social networking site
- User:Mikemurphy is my brother who lives with me in Pittsburgh
- User:Agoode is a tall friend from school
- User:BD2412 was responsible for my successful nomination for adminship
- User:Alkivar nicely
vandalizedimproved my user picture (see right) while voting was going on - User:William Lovas is my officemate, cohort, and one-and-a-half academic brother
- User:Cjoev is another one-and-a-half academic brother
- User:Jcreed gets lunch with me several times a week, during which time we solve all problems
- User:Sirmob is another fellow CMU PL student and Twelf party animal
- User:Nbeckman is my Elite Beat Buddy
- User:Kaustuv and I once scoured all of Oxford looking for an umbrella
- User:Grammarnerd is a Twister rival and mojito compatriot
- User:Greenerturtle is a Twister rival and lovely companion
λ | 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 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. |
Categories: User en | User en-N | Wikipedia administrators | Pescetarian Wikipedians | Wikipedian cross-country runners | Wikipedians interested in photography | Wikipedians who use Emacs | WikiProject Pittsburgh members | Wikipedians in Pennsylvania | Wikipedians by alma mater: Carnegie Mellon University