View source for User:Brighterorange

[[Image:User_brighterorange.jpg|thumb|right|180px|Not actually orange.]]

==About==

Hello, I am Tom. I just recently got my [[Ph.D.]] in [[computer science]] from [[Carnegie Mellon University]] and now I am a professional software engineer. I consider myself an expert in [[type theory]], [[programming language]]s (esp. [[Standard ML]]), and [[logic]] (esp. [[modal logic]]). I also know a lot about some other things, like [[indie rock]], [[typography]] and [[type design]], [[photography]], software [[audio effects]], [[computational biology]], [[machine learning]], [[Nintendo Entertainment System|Nintendo]], and [[First-Person Shooter]]s. 

Please use my [[User Talk:Brighterorange|talk page]] to communicate with me about Wikipedia rather than e-mail; I more likely to read your communique if it goes there, and definitely more likely to respond.

My real home page is at [http://tom7.org/ tom7.org].

==Opinions==

I love Wikipedia and have a number of [[User:brighterorange/Opinions|opinions about how it could be improved]].

==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 [[Point accepted mutation|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]]
** [[Richard Statman]] ([[Rick Statman]]) is a lambda calculus legend.
* 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 Callister 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 breweries|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

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

==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 [[fishing|angling]]
* [[Racking bend]] - Another bend
* [[Twelf]] - Popular [[LF (logical framework)|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 College|Merton]] in order to add more information and photos.
* [[Intertec Superbrain]] - An old twin-Z80 machine; [[Kermit (protocol)|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)|Pulsar]] is an old [[arcade game]]
* [[Enteral formula]] is like total body nutrition in a tube
* [[Manhunter 2: San Francisco]] was maybe the last classic [[Sierra On-Line]] adventure missing from Wikipedia!
* [[Box (Guided by Voices album)|Box]] is [[Guided By Voices]]'s first box set of their first four albums
* [[King Missile (album)|King Missile]] the album by [[King Missile]]
* [[The Loss of Sexual Innocence]] is a movie I didn't see
* [[The Amy Fisher Story]] I didn't see either
* [[Stimpmeter]] - undeleted and rescued from copyvio hell a few times.
* [[Solenostemon scutellarioides]] is a crazy purple plant
* [[Adiantum peruvianum]] is an elegant green fern
* [[Guglielmo de Sanctis]] is some Italian painter
* [[LizaMoon]] is some dumb scareware virus that a lot of people fell for
Here is a project I started.
* [[Wikipedia:WikiProject Punctuation|Project Punctuation]] - Fix missing punctuation

<!--
I didn't literally start these, but I rescued them from AfD, speedy deletion, or WP:CP:
[[Bed of nails]], [[jailbait]], [[Alexander Kedrin]]
-->

== Notes ==
* [[Special:Prefixindex/User:Brighterorange]] has all of my user page subpages.
* I believe [http://en.wikipedia.org/w/index.php?title=Widow%27s_peak&diff=8476050&oldid=7411798 this] was my first edit on Wikipedia. Not bad for a noob, actually.
* [http://en.wikipedia.org/w/index.php?title=User_talk:Jimbo_Wales&diff=prev&oldid=62743946 This] may be the most valuable diff ever.
* {{tl|nofootnote}} is a useful template I can never remember the name of.
* I usually head to URLs directly by typing them out, but that doesn't work with [[:Category:Articles that have been proposed for deletion but that may concern encyclopedic topics]]

==PeriodBot==

I've written some software in [[Standard ML|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 [http://cvs.sourceforge.net/viewcvs.py/tom7misc/periodbot/ here] if you want.

Useful links for database dumps:
* [http://download.wikimedia.org/ download.wikimedia.org]
* [[Wikipedia:Database dump import problems]]
* [[Wikipedia:Database download]]

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.

I also frequently run my autopunctuation script on [[WP:FAC|featured article candidates]] and featured articles. If you're working on an article that you would like to have high quality punctuation (particularly [[en dash]]es), just leave a message on my [[User talk:brighterorange|talk page]] and I will run it on your article. ([http://en.wikipedia.org/w/index.php?title=Bupropion&diff=151532731&oldid=151463761 example])

==Images==
I like taking [http://gallery.spacebar.org/ 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.

<!-- to-do: tips on taking photos -->

<gallery>
Image:Doritaenopsis ("Sogo Cherry").jpg|Doritaenopsis
Image:Brugmansia.jpg|[[Brugmansia]]
Image:Brugmansia (detail).jpg|[[Brugmansia]] (detail)
Image:Imperata cylindrica.jpg|[[Cogon grass]]
Image:Climber with equipment.jpg|My friend Brendan wearing a bunch of [[climbing equipment]]
Image:Heinz Field (2005).jpg|[[Heinz Field]]
Image:Half_hitch.jpg|[[Single hitch]]
Image:Pile hitch.jpg|[[Pile hitch]]
Image:Sheet bend.jpg|[[Sheet bend]]
Image:Double sheet bend.jpg|[[Double sheet bend]]
Image:Sheepshank knot.jpg|[[Sheepshank]]
Image:Surgeon's knot (tying).jpg|[[Surgeon's knot]] (tying)
Image:Surgeon's knot.jpg|[[Surgeon's knot]]
Image:Highwayman's Hitch.jpg|[[Highwayman's hitch]]
Image:Albright Special.jpg|[[Albright special]]
Image:Racking Bend.jpg|[[Racking bend]]
Image:Merton College library hall.jpg|[[Merton College library]]
Image:Merton College front quad.jpg|[[Merton College]] front quad
Image:Mob Quad.jpg|[[Mob Quad]]

Image:Old book bindings.jpg|[[Image:Cscr-featured.svg|16px]] [[Image:POTY ribbon 2007.svg|18px]] Old [[book]] bindings
Image:Typex nocase.jpg|British [[Typex]] machine
Image:LHR Terminal 3 waiting area.jpg|[[LHR|London Heathrow]] terminal 3
Image:Intertec Superbrain.jpg|[[Intertec Superbrain]]
Image:Eagle_and_Child_(interior).jpg|[[The Eagle and Child]] interior; where the [[Inklings]] met
Image:Adjacentangles.png|[[adjacent angles]]
Image:gopher_rockfish.jpg|Gopher rockfish of family [[Sebastidae]]
Image:jelly_Monterey.jpg|[[Jellyfish]]
Image:Ira_Glass_CMU_2006.jpg|[[Ira Glass]]
Image:Oak leaves.jpg|[[oak]]
Image:Caterpillar face.jpg|[[caterpillar]] face
Image:Guira guira national aviary.jpg|[[Guira Cuckoo|G. guira]]
Image:Blue jay national aviary.jpg|[[Blue Jay]]
Image:Inca tern national aviary.jpg|[[Inca tern]]
Image:Rhinoceros hornbill national aviary.jpg|[[Rhinoceros Hornbill]]
Image:Boxelder bug pittsburgh.jpg|[[Maple bug]]
Image:Sam Davol MF.jpg|[[Sam Davol]] of [[The Magnetic Fields]]<br/>(back before I had a good camera ;))
Image:Allegheny Observatory 2007a.jpg|The [[Allegheny Observatory]] in Pittsburgh
Image:Southside_Slopes_from_Carson.jpg|[[South Side Slopes (Pittsburgh)|South Side Slopes]] from Carson
Image:Southside_Slopes_Sterling_St.jpg|Steep street in [[South Side Slopes (Pittsburgh)|South Side Slopes]]
Image:Pittsburgh_Pennsylvania_neighborhoods.svg|Map of [[List of Pittsburgh neighborhoods|Pittsburgh's neighborhoods]]
Image:Ixora maui sunset.jpg|[[Ixora]]
Image:Belamcanda chinensis 2007.jpg|''[[Belamcanda chinensis]]''
Image:Solenostemon scutellarioides.jpg|''[[Solenostemon scutellarioides]]''
Image:Adiantum peruvianum.jpg|''[[Adiantum peruvianum]]''
Image:pgh_locator_shadyside.svg|[[:commons:category:Locator maps of Pittsburgh neighborhoods|Locator maps]] for all of the Pittsburgh neighborhoods
Image:Pittsburgh Strip District Primanti Bros.jpg|[[Primanti Brothers Restaurant|Primanti Bros.]] in the [[Strip District (Pittsburgh)|Strip District]]
Image:EWR Terminal A 2005 night.jpg|[[Newark Liberty International Airport|EWR]] Terminal A at night
Image:Allegany State Park Mt. Tuscarora 2007.jpg|Mist on Mt. Tuscarora in [[Allegany State Park]]
Image:Canon D60 brighterorange.jpg|[[Canon D60]], the camera I took most of these shots with
Image:Harrison_Hills_Park_2007.jpg|[[Harrison Hills Park]] outside Pittsburgh
Image:Cotton gin EWM 2007.jpg|[[Cotton gin]] at [[Eli Whitney Museum]]
Image:EWM model trains 2007.jpg|[[Model train]]s at the [[Eli Whitney Museum]]
Image:EWM shop 2007.jpg|Timeworn [[workshop]]
Image:EWM paint 2007.jpg|Lots of [[paint]]
Image:Allegheny Cemetery 2008 hills.jpg|[[Allegheny Cemetery]]
Image:Allegheny Cemetery 2008 spires.jpg|[[Allegheny Cemetery]]
Image:East End Brewery.jpg|[[East End Brewing Company]]
Image:Mount Oliver, Pennsylvania 2008.jpg|[[Mount Oliver, Pennsylvania]]
Image:Canon EOS 5DmkII.jpg|[[Canon EOS 5D Mark II]]
Image:Antoine Vestier - Charlotte Marie de Gasville.jpg|''Charlotte Marie de Gasville'' by [[Antoine Vestier]]
Image:François Joseph Bosio - Henry IV as a Child.jpg|''[[Henry IV]] as a Child'' by [[François Joseph Bosio]]
Image:Guglielmo de Sanctis - Mrs. Cleveland.jpg|''Mrs. Cleveland'' by [[Guglielmo de Sanctis]]
Image:Lawrence Alma-Tadema - Dr. Washington Epps, My Doctor.jpg|''Dr. Washington Epps, My Doctor'' by [[Lawrence Alma-Tadema]]
Image:John Peto - Candlestick, Pipe, and Tobacco Box.jpg|''Candlestick, Pipe, and Tobacco Box'' by [[John F. Peto]]
Image:Jean-Baptiste_Lemoyne_-_Bernard_le_Bouvier_de_Fontenelle.jpg|''Bernard le Bouvier de Fontenelle'' by Jean-Baptiste Lemoyne
Image:David Gilmour Blythe - Man Eating in a Field.jpg|''Man Eating in a Field'' by [[David Gilmour Blythe]]
</gallery>

As an image quality stickler, I also spend a lot of time tagging and converting images to better formats, especially SVG. Unfortunately SVG thumbnail support is pretty unreliable so some of these don't even show up. Does anybody know if I can do anything to make this situation better?
{| class="wikitable" style="text-align:center; width: 605px;"
|- style="vertical-align:top; width: 150px;" 
| [[Image:Zone plate.svg|center|150px]]
| [[Image:Absolute complement.svg|center|150px]]
| [[Image:Relative complement.svg|center|150px]]
| [[Image:VPC 1.png|center|130px]]
|- style="vertical-align:bottom; width: 150px;"
|[[Zone plate]]
|Absolute [[complement (set theory)|complement]]
|Relative [[complement (set theory)|complement]]
|[[Premature ventricular contraction]]

|- style="vertical-align:top; width: 150px;"
| [[Image:Brahmaguptas formula.svg|150px]]
| [[Image:Bohr atom model (mul).svg|center|150px]]
| [[Image:Pcrystals.svg|center|150px]]
| 
|- style="vertical-align:bottom; width: 150px;"
|[[Brahmagupta's formula]]
|[[Bohr model]] of the [[atomic theory|atom]]
|Tartrate crystals from [[Louis Pasteur]]'s experiments
|Example for [[Carathéodory's theorem (convex hull)|Carathéodory's theorem]]
|}

===To do===
[[Image:Brighterorange-funny.jpg|thumb|right|180px|I say old chap have you seen Brighterorange?]]
* [[Mercury Villager]] (could take free image)
* [[Pi Day]] (some pictures from CMU tradition)
* [[sailor's hitch]], other knots...
* [[Hamden High School]]
* [[Eli Whitney Museum]] (still need outside daytime shot)
* [[four-in-hand knot]]
* [[Taylor Allderdice High School]]
* [[Shadyside (Pittsburgh)]]
* [[Duquesne University]]
* [[Pilaf]]
* [[Farmington Canal]]
* [[St. Stanislaus Kostka Church (Pittsburgh)]] (church in Strip)
* [[Mensurstrich]]

====Easily improved====
* [[CD-R]]
* [[Spoon]]
* [[Merritt Parkway]]
* [[Cathedral of Learning]]
* [[Matzo]]
* [[lock picking]]

==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 [[Wikipedia:Requests_for_adminship/Brighterorange|nomination for adminship]]
* [[User:Alkivar]] nicely <s>vandalized</s> improved my user picture (see right) while voting was going on
* [[User:William Lovas]] is my officemate, cohort, and ex-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 (game)|Twister]] rival and [[mojito]] compatriot
* [[User:Greenerturtle]] is a blogventure original
----
{{User en}}{{User λ}}{{User wikipedia/Administrator}}{{User project punctuation}}{{User Pescetarian}}{{User:UBX/Cross Country}}{{User:Evan C/Userboxes/User photography}}{{User emacs}}{{User WPPGH}}
<!-- big ones at the end -->
{{User:Scepia/metric-0}}{{User Pennsylvania}}


[[Category:Wikipedians by alma mater: Carnegie Mellon University|{{PAGENAME}}]]