Юзер: Brighterorange

На самом деле не оранжевый.

О [ править ]

Привет, я Том. Я недавно получил докторскую степень. в области компьютерных наук из Университета Карнеги - Меллона и теперь я профессиональный инженер - программист. Я считаю себя экспертом в теории типов , языках программирования (особенно стандартном ML ) и логике (особенно модальной логике ). Я также много знаю о некоторых других вещах, таких как инди-рок , типографика и дизайн шрифтов , фотография , программные звуковые эффекты , вычислительная биология , машинное обучение , Nintendo., и шутеры от первого лица .

Пожалуйста, используйте мою страницу обсуждения, чтобы общаться со мной о Википедии, а не по электронной почте; Я с большей вероятностью прочту ваше коммюнике, если оно будет там, и определенно с большей вероятностью отвечу.

Моя настоящая домашняя страница находится на tom7.org .

Мнения [ править ]

Я люблю Википедию и имею ряд мнений о том, как ее можно улучшить .

Список желаний [ править ]

Я обнаружил, что если я помещаю список желаний статей на своей странице пользователя, иногда они просто появляются из ниоткуда!

• Nerd Stuff
  • типизированный язык ассемблера ( Typed Assembly Language ) - машинные языки, которые имеют системы типов
  • код подтверждения ( proof-carry code , Proof-Carrying Code ) - в более общем смысле, объектный код, который поставляется с доказательством безопасности
  • Automath ( AUTOMATH ) - История математики с компьютерной проверкой
  • индекс де Брейна - вероятно, наиболее распространенное (внутреннее) представление для языков с биндерами, например лямбда-исчисления.
  • POPL , LICS и т. Д. - отмеченные конференции PL
  • BLOSUM - матрицы сходства, используемые при сравнении геномов, например, PAM
  • Присоединяйтесь к исчислению и JoCaml - языку исчисления и программирования для распределенных вычислений
  • дефункционализация - техника компиляции
  • преобразование закрытия (возможно, как раздел закрытия (информатика) )
  • геометрия взаимодействия - операциональная интерпретация Жан-Ива Жирара исключения разрезов для линейной логики
  • Ричард Статман ( Rick Statman ) - легенда лямбда-исчисления.
• Rock Stuff
  • Scat Records - звукозаписывающий лейбл, который когда-то был домом для Guided by Voices и Nothing Painted Blue и т. Д.
  • canyon.mid - C: \ WINDOWS \ MEDIA
• Разное
  • Hamden High School - Моя средняя школа; В wp теперь есть рекомендации по включению средних школ
  • Майк Кац - бывший мистер Вселенная , звезда « Качки железа» и мой школьный учитель здоровья.
• Томас Каллистер Хейлз - математик из Питтсбурга, доказавший гипотезу Кеплера
• Джордж Лоу - талантливый актер озвучивания, озвучивший Космического Призрака в Космическом Призраке: От побережья до побережья (среди других персонажей)
• Kleenexgirlwonder ( Kleenex Girl Wonder ) ( Грэхем Смит (нужно избавиться)) - Записал один из лучших инди-рок-альбомов "Ponyoak".
• Соревнования по программированию ICFP ( ICFP Programming Contest ) - длительные соревнования по программированию в свободном формате.

Вот несколько статей, которые я хотел бы расширить.

• Алгебраический тип данных требует доработки (!)
• Джиттер мог бы гораздо лучше объяснить это явление. В настоящее время он читается как список отключенных маркеров.
• Dogfish Head Brewery - отличная американская пивоварня , заслуживающая большего, чем просто пень.
• Rocketjumping нуждается в очистке с момента его слияния
• Связывание имен совершенно неверно во многих отношениях
• Музей Эли Уитни - моя альма-матер, в каком-то смысле

Работа над [ править ]

• Список руководителей штатов за 1385 год и все связанные статьи нуждаются в автоматической корректировке тире.
• Список колониальных губернаторов 1904 г. также.

Начат [ редактировать ]

Вот несколько статей, которые я начал.

• Марк Лейнер - один из моих любимых авторов
• Штурмовское слово - математический объект примечания
• Слово Фибоначчи - известный пример последнего
• Олбрайт специальный - изгиб (тип узла ), используемый при ловле рыбы.
• Стеллажный изгиб - Другой изгиб
• Twelf - популярная реализация логической структуры (плюс металогические инструменты), используемая для формализации логики и языков программирования. (Я использую его в своих диссертационных исследованиях!) Статью еще нужно немного дополнить.
• Библиотека Мертонского колледжа - отделена от основной статьи о Мертоне , чтобы добавить больше информации и фотографий.
• Intertec Superbrain - старый сдвоенный аппарат Z80; Кермит был впервые разработан для работы на этих
• Абстрактный синтаксис высшего порядка ( HOAS ) - еще один распространенный способ представления подшивок, если ваш метаязык имеет подшивки , поддерживаемые Twelf.
• Морские исследования - К твит инди с Кэти Роджерс из Junkyard Wars
• Хелен ДеВитт - еще один отличный автор
• Furlough - отпуск, особенно от вооруженных сил или тюрьмы
• Международная конференция по функциональному программированию ( ICFP ) - это большая конференция по языкам программирования.
• Pulsar - старая аркадная игра
• Энтеральная формула подобна питанию всего тела в тюбике.
• Manhunter 2: San Francisco, возможно, было последним классическим приключением Sierra On-Line, отсутствующим в Википедии!
• Box - это первый бокс-сет первых четырех альбомов группы " Guided By Voices "
• King Missile альбом King Missile
• "Утрата сексуальной невинности" - фильм, который я не видел
• История Эми Фишер, которую я тоже не видела
• Стимпметр - восстановлен и несколько раз спасен из ада copyvio.
• Solenostemon scutellarioides - сумасшедшее фиолетовое растение
• Adiantum peruvianum - элегантный зеленый папоротник.
• Гульельмо де Санктис - итальянский художник.
• LizaMoon - это какой-то тупой вирус, в который влюбились многие люди

Вот проект, который я начал.

• Знаки пунктуации в проекте - Исправьте пропущенные знаки препинания

Заметки [ править ]

• Special: Prefixindex / User: Brighterorange имеет все подстраницы моей пользовательской страницы.
• Я считаю, что это была моя первая правка в Википедии. На самом деле, неплохо для новичка.
• Это может быть самым ценным дифф когда - либо.
• {{ nofootnote }} - полезный шаблон, название которого я не могу вспомнить.
• Я обычно перехожу к URL-адресам напрямую, набирая их, но это не работает с Категория: статьи, которые были предложены для удаления, но могут касаться энциклопедических тем.

PeriodBot [ править ]

Я написал некоторое программное обеспечение на SML для автономного майнинга Википедии. Одним из первых приложений является PeriodBot , который ищет абзацы статей, не оканчивающиеся на знаки препинания (невероятно распространенная ошибка). Мы вручную применяем эти изменения как часть Wikipedia: WikiProject Punctuation . (Поскольку эта программа не взаимодействует автоматически с живой википедией ни для чтения, ни для записи, она не может считаться ботом согласно WP: B ). Вы можете получить исходный код здесь , если вы хотите.

Полезные ссылки для дампов баз данных:

• download.wikimedia.org
• Википедия: Проблемы с импортом дампа базы данных
• Википедия: загрузка базы данных

С тех пор меня больше интересовало расширение интерфейса Википедии с помощью Javascript (тьфу) для автоматизации повторяющихся задач редактирования, особенно в том, что касается моих поверхностных интересов редактирования (пунктуация и типографика, форматы изображений). Они еще не совсем готовы к использованию в прайм-тайм, но, пожалуйста, спросите, заинтересованы ли вы в бета-тестировании.

Я также часто запускаю свой скрипт автопунктуации для избранных статей-кандидатов и избранных статей. Если вы работаете над статьей, в которой вы хотели бы иметь качественную пунктуацию (особенно тире ), просто оставьте сообщение на моей странице обсуждения, и я опубликую его в вашей статье. ( пример )

Изображения [ редактировать ]

Мне нравится фотографировать , и я загрузил несколько изображений в Википедию. Иногда я заменяю плохие картинки на более качественные с высоким разрешением; когда я это делаю, моя политика заключается в использовании лицензии, по крайней мере, такой же щедрой, как старая.

• Доритаенопсис

• Бругмансия

• Бругмансия (деталь)

• Когон трава

• Мой друг Брендан носит кучу альпинистского снаряжения.

• Хайнц Филд

• Одиночная сцепка

• Свайная заминка

• Изгиб листа

• Двойной изгиб листа

• Овчарка

• Узел хирурга (завязывание)

• Узел хирурга

• Заминка разбойника

• Олбрайт специальный

• Стеллажный изгиб

• Библиотека Мертонского колледжа

• Передний дворик колледжа Мертон

• Mob Quad

• Переплеты старых книг

• Британский автомат Typex

• Терминал 3 лондонского аэропорта Хитроу

• Intertec Superbrain

• Интерьер «Орел и ребенок» ; где встретились инклинги

• смежные углы

• Морской окунь суслик семейства Sebastidae

• Медуза

• Ира Гласс

• дуб

• гусеница лицо

• G. guira

• Голубая сойка

• Крачка инков

• Носорог Птица-носорог

• Кленовый жук

• Сэм Давол из The Magnetic Fields
  (еще до того, как у меня была хорошая камера;))

• Allegheny обсерватории в Питтсбурге

• Южные склоны от Карсона

• Крутая улица в южных склонах

• Карта окрестностей Питтсбурга

• Иксора

• Belamcanda chinensis

• Solenostemon scutellarioides

• Адиантум перувианский

• Карты-указатели для всех районов Питтсбурга

• Primanti Bros. в районе Стрип

• EWR Терминал A ночью

• Туман на горе. Тускарора в государственном парке Аллегани

• Canon D60 , камера, которой я делал большинство этих снимков

• Парк Харрисон-Хиллз за пределами Питтсбурга

• Хлопковый джин в музее Эли Уитни

• Модели поездов в музее Эли Уитни

• Изношенная мастерская

• Много краски

• Кладбище Аллегейни

• Кладбище Аллегейни

• Ист-Энд Пивоваренная Компания

• Гора Оливер, Пенсильвания

• Canon EOS 5D Mark II

• Шарлотта Мари де Гасвиль - Антуан Вестье

• Генрих IV в детстве - Франсуа Жозеф Бозио

• Миссис Кливленд - Гульельмо де Санктис

• Доктор Вашингтон Эппс, мой доктор по Лоуренс Альма-Тадема

• Подсвечник, трубка и коробка для табака - Джон Ф. Пето

• Бернар ле Бувье де Фонтенель - Жан-Батист Лемуан

• Человек ест в поле , Дэвид Гилмор Блайт

Как приверженец качества изображений, я также трачу много времени на маркировку и преобразование изображений в более качественные форматы, особенно в SVG. К сожалению, поддержка эскизов SVG довольно ненадежна, поэтому некоторые из них даже не отображаются. Кто-нибудь знает, могу ли я что-нибудь сделать, чтобы улучшить эту ситуацию?

Сделать [ редактировать ]

• Mercury Villager (можно взять бесплатное изображение)
• День Пи (несколько картинок из традиции CMU)
• матросская заминка , другие узлы ...
• Средняя школа Хамдена
• Музей Эли Уитни (все еще нужен дневной снимок)
• узел вчетвером
• Taylor Allderdice High School, дневная
• Шедисайд (Питтсбург)
• Duquesne University
• Плов
• Канал Фармингтон
• Церковь Святого Станислава Костки (Питтсбург) (церковь в Стрипе)
• Mensurstrich

Легко улучшается [ править ]

• CD-R
• Ложка
• Merritt Parkway
• Собор Учения
• Маца
• Отмыкание

WP: ЯВЛЯЕТСЯ социальной сетью [ править ]

• Пользователь: Микемерфи - мой брат, который живет со мной в Питтсбурге.
• Юзер: Агууд - высокий школьный друг
• Пользователь: BD2412 был ответственным за мою успешную номинацию на админку
• Пользователь: Alkivar красиво вандализму улучшил мою фотографию пользователя (справа) во время голосования происходит
• Пользователь: Уильям Ловас - мой товарищ по офису, когорта и бывший полуторагодичный брат
• Юзер: Чоев - еще один полуторный академический брат
• Пользователь: Jcreed обедает со мной несколько раз в неделю, за это время мы решаем все проблемы.
• Пользователь: Sirmob еще один сотрудник CMU PL студент и Twelf тусовочный
• Юзер: Нбекман - мой элитный бит-приятель
• Юзер: Мы с Каустувом однажды обыскали весь Оксфорд в поисках зонтика.
• Юзер: Grammarnerd - соперник Twister и соотечественник мохито
• Пользователь: Greenerturtle - это оригинальное блог-приключение.