Пользователь:Brighterorange

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

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

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

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

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

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

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

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

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

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

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

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

• Проект «Пунктуация» — исправление недостающих знаков препинания

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

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

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

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

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

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

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

• 
  Доритаенопсис
• 
  Бругмансия
• 
  Бругмансия (фрагмент)
• 
  Трава Когон
• 
  Мой друг Брендан носит кучу альпинистского снаряжения
• 
  Хайнц Филд
• 
  Одинарная сцепка
• 
  Свайный захват
• 
  Изгиб листа
• 
  Двойной изгиб листа
• 
  Овечья ножка
• 
  Хирургический узел (завязывание)
• 
  Хирургический узел
• 
  Сцепка разбойника
• 
  Олбрайт специальный
• 
  Изгиб стеллажа
• 
  Библиотека колледжа Мертон
• 
  Передний квадроцикл колледжа Мертон
• 
  Моб Квад
• 
  Старые переплеты книг
• 
  Британская машина Typex
• 
  Лондон Хитроу, терминал 3
• 
  Intertec Супермозг
• 
  Интерьер «Орел и ребенок» ; место, где встречались « Инклинги»
• 
  смежные углы
• 
  Гоферовый морской окунь семейства Sebastidae
• 
  Медуза
• 
  Айра Гласс
• 
  дуб
• 
  лицо гусеницы
• 
  G. гуира
• 
  Голубая сойка
• 
  Крачка-инка
• 
  Носорог-птица
• 
  Кленовый жук
• 
  Сэм Дэвол из The Magnetic Fields
  (еще до того, как у меня появилась хорошая камера ;))
• 
  Обсерватория Аллегейни в Питтсбурге
• 
  Южные склоны от Карсона
• 
  Крутая улица в районе Саут-Сайд-Слоупс
• 
  Карта районов Питтсбурга
• 
  Иксора
• 
  Беламканда китайская
• 
  Соленостемон щитовидный
• 
  Адиантум перуанский
• 
  Карты местоположений всех районов Питтсбурга
• 
  Братья Приманти в районе Стрип
• 
  Терминал А EWR ночью
• 
  Туман на горе Тускарора в государственном парке Аллегани
• 
  Canon D60 , камера, с помощью которой я сделал большинство этих снимков.
• 
  Парк Харрисон Хиллс за пределами Питтсбурга
• 
  Хлопкоочистительная машина в музее Эли Уитни
• 
  Модели поездов в музее Эли Уитни
• 
  Мастерская, обветшалая
• 
  Много краски
• 
  Кладбище Аллегейни
• 
  Кладбище Аллегейни
• 
  Пивоваренная компания East End
• 
  Маунт Оливер, Пенсильвания
• 
  Canon EOS 5D Mark II
• 
  Шарлотта Мари де Гасвилль, Антуан Вестье
• 
  Генрих IV в детстве автора Франсуа Жозеф Бозио
• 
  Миссис Кливленд , Гульельмо де Санктис
• 
  Доктор Вашингтон Эппс, мой доктор Лоуренса Альма-Тадемы
• 
  Подсвечник, трубка и табакерка Джона Ф. Пето
• 
  Бернар ле Бувье де Фонтенель, Жан-Батист Лемуан
• 
  «Человек, едящий в поле» Дэвида Гилмора Блайта

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

Зонная пластина	Абсолютное дополнение	Относительное дополнение	Преждевременное сокращение желудочков
Формула Брахмагупты	Модель атома Бора	Кристаллы тартрата из экспериментов Луи Пастера	Пример для теоремы Каратеодори

• Mercury Villager (можно взять бесплатное изображение)
• День числа Пи (несколько фотографий с традиций CMU)
• матросский узел , другие узлы...
• Средняя школа Хэмдена
• Музей Эли Уитни (еще нужны дневные снимки снаружи)
• узел «четыре в руке»
• Средняя школа Тейлора Олдердайса
• Шейдисайд (Питтсбург)
• Университет Дюкейна
• Плов
• Канал Фармингтон
• Церковь Св. Станислава Костки (Питтсбург) (церковь в Стрипе)
• Mensurstrich

• CD-R
• Ложка
• Мерритт Парквэй
• Собор Учения
• Маца
• взлом замков

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

Этот пользователь является администратором английской Википедии . ( подтвердить )

Этот пользователь — бегун по пересеченной местности .

Этот пользователь увлекается фотографией .

Этот пользователь с удовольствием хакерит с помощью Emacs .

Этот пользователь является участником WikiProject Pittsburgh .

Этот пользователь проживает в Содружестве Пенсильвания, США.