|
|
|
July 17th, 2008
13:50
![[info]](http://p-stat.livejournal.com/img/userinfo.gif) avysk:
Мне пришёл в голову вопрос по математике, который кажется или очень
простым, или очень сложным. Но я что-то торможу, и никак не пойму,
простой он или сложный. Помогите, кто может, а то я сплю плохо.
Вопрос: Существует ли на плоскости бесконечное множество точек, такое
что (1) они не лежат все на одной прямой (2) расстояние между любыми
двумя рационально. Вариант: "всюду плотное" вместо "бесконечное".
Расследование показало, что вопрос очень простой в исходном варианте
и очень сложный в исправленном. "Очень простой" значит, что Алексей
справился за двадцать минут, а я за четыре часа (с одной подсказкой
и одной сбивалкой). "Очень сложный" значит, что решения до сих пор
не известно.
Моё решение "простого" вопроса -- в комментариях к
этому посту.
Его ещё никто не успел просмотреть, может быть, я там лажу порю. Сперва
попробуйте решить сами, потом загляните и поругайте моё (если хотите,
конечно). Современное состояние "сложного" вопроса описано в двадцать
строчек на
этой странице.
Пост, с которого всё началось, здесь.
Update: говорят, дети за две минуты решают.
... Эстетически мотивированное любопытство ...
|
July 10th, 2008
13:52
Если попытаться оставить в ЖЖ комментарий, подписавшись OpenId от самого
ЖЖ, он резонно возражает "не дури, просто подписывай собой". А вот если
подписаться как slobin.pp.ru, который просто делегирует проверку на тот
же самый ЖЖ -- всё проходит. Special cases aren't special enough!
Update: с этим постом был какой-то глюк: мне поначалу не удавалось подписать комментарий к нему OpenId-ом. Воспроизвести не удалось, теперь и на нём и на всех свежесозданных всё работает. Не знаю, в чём было дело.
... Не болтай глупостей - враг подслушивает! ...
|
June 20th, 2008
01:35
Полгода назад я уже
писал, что Файрфокс не умеет проверять правописание для двух языков
сразу, и как это обойти. К сожалению, третий Файрфокс этому так и не
научился, а в том объединённом словаре, который я тогда скачал по ссылке,
обнаружилась одна небольшая неприятность: человек, который склеивал два
словаря в один, видимо, не знал, что категории аффиксов в формате
myspell могут называться не только большими английскими буквами, а почти
любыми символами. Поэтому русские и английские аффиксы имели у него
одинаковые имена, что приводило иногда к забавным англо-русским гибридам
в списке предлагаемых вариантов. Поэтому я сделал свою склейку из двух
словарей. Ридмишка от неё:
English+Russian.aff
English+Russian.dic
Изготовлено из английского словаря, идущего в комплекте FireFox 3.0,
и русского словаря версии 0.1 с сайта Модзиллы. Изменения:
* Категории аффиксов для русского языка переименованы из заглавных
латинских букв в аналогичные строчные.
* Категория 'i' для английского языка (единственная из них строчная)
переименована в 'Q'.
* Проверка английских числительных отключена. Я в ней не разобрался.
Извините.
* Матерные английские слова в количестве 25 штук не предлагались как
варианты для замены. Ограничение отключено. Из принципа.
--
Cyril Slobin <slobin@ice.ru> `When I use a word,' Humpty Dumpty said,
http://wagner.pp.ru/~slobin/ `it means just what I choose it to mean'
Если кому надо, берётся здесь.
Инсталляция: распаковываем в каталог словарей Файрфокса:
C:\Program Files\Mozilla Firefox\dictionaries\
(а невиндовые пользователи сами знают, где у них что), кликаем правой
кнопкой мыши в любом текстовом поле, выбираем язык English+Russian. Всё.
А вообще все мои поделия для Файрфокса лежат здесь.
... МНОС схутед довн ...
|
June 18th, 2008
17:58
Неприятная особенность централизованной борьбы со спамом a la Google: люди время от времени по ошибке запрашивают подтверждения регистрации на разных сайтах на не свои адреса, получившие эти незапрошенные подтверждения другие люди помечают их как спам. В результате запрошенное и ожидаемое письмо с подтверждением оказывается в спамбоксе с шансами. Хотя, зная об этом, его можно там поискать. ;-)
P.S. Моя почта лежала с ночи (какой-то блеклист опять занёс в себя весь мир). Сейчас ожила, теперь жду, когда все всё переотправят.
... Каждый человек по своему прав. А по моему нет. ...
|
June 13th, 2008
22:24
Мозилловоды собираются установить мировой рекорд по закачке ФайрФокса 3 в течение 24 часов. Я вот думаю, у них рожа сервера не треснут? Но поддерживаю, 17 июня буду качать. Тем более что мои любимые плагины один за другим объявляют о совместимости: сегодня сам собой обновился GreaseMonkey, вчера -- del.icio.us bookmarks. Правда, последний засунул в статусбар аж три своих иконки, и, даже если все три поотключать, рисует там пустой прямоугольник. Ну, плагины всегда пытаются засунуть какую-нибудь фигню в статусбар, поэтому техника борьбы с ними у меня отработана. Самое трудное -- найти, как очередной автор панельки на этот раз её обозвал: #stylish-panel, #gm-status-image, #delicious-status-bar-panel, #videodownloader-statusbar-panel... Где логика? ;-)
... Возможно, где-то кошки и бывают зелёного цвета ...
|
21:12
Случайно стёр из букмарков ссылку на сайт языка OCaml. Набираю в гугле "ocaml language". Третья ссылка (у меня как раз поместилась на экран): "OCaml Language Sucks". (кому лень читать -- статья написана поклонником Лиспа).
... Грохот распахнутых настежь ворот гаражей ...
|
June 11th, 2008
22:02
Фиды, которые я НЕ читаю, но которые Гугль Ридер мне настойчиво рекомендует:
... У меня есть мысль, и я её думаю ...
|
19:48
Странная мысль про интерфейсы: некоторые системы (возьмём для примера
WinXP с её кнопкой "Пуск") собирают статистику по наиболее часто
выполняемым действиям и предлагают менюшку "шесть самых нужных для вас
программ". Дело хорошее (действительно хорошее, я не иронизирую). Aber!
У меня память на расположение. Если я запомнил, что вот эта
полезная программа идёт в списке второй сверху, то какого чёрта она
вдруг становится первой? Почему бы не сделать, чтобы осевшая в этом кеше
программа, вытеснив оттуда менее нужную, занимала её место, и больше не
двигалась? Села (случайно) третьей, пускай и сидит третьей, пока её саму
кто-нибудь не вытеснит. Или это кто-то уже сделал? Если да, то киньте
ссылку! (Интересуют как примеры такого интерфейса в других продуктах,
так и, если паче чаяния повезёт, реализация этого подхода для WinXP).
... Не воздам Творцу хулою за минувшие дела ...
|
June 4th, 2008
14:06
Я снова с вами! (Или, если кому-то так больше нравится, снова против вас). Стримовцы -- милые, добрые люди. Только чудаки, а так ничего.
Не то чтобы в связи с предыдущим вопрос: никто не посоветует простенький дистрибутив типа роутер? Из тех, что раньше были на одной дискетке? Вряд ли сегодня носителем будет дискетка, но это очерчивает класс продуктов. Основное требование -- сел и поехал, возиться с настройками категорические ломы. Плюсом было бы Debian-based (сам Дебиан в принципе рассматривается, но, судя по моему прошлому опыту, "сел и поехал" там не получается).
... Шестнадцатая пятилетка ...
|
May 28th, 2008
04:56
Похоже, сетевая почта чем дальше тем больше превращается в Password
Recovery Protocol. Другие её применения постепенно отмирают.
... lo du'u noda nuzba cu xamgu nuzba ...
|
May 22nd, 2008
23:59
Брюс Шнайер -- сосунок по сравнению с Карлсоном:
Один звонок - это "Немедленно прилетай!", два звонка - "Ни в коем случае не
прилетай!", а три звонка значит - "Какое счастье, что на свете есть такой
красивый, умный, в меру упитанный и храбрый человечек, как ты, лучший в мире
Карлсон!".
Если бы Боб с Алисой до этого додумались, у них теперь всё было бы совсем
по другому...
... Будьте сложнее, и люди от вас потащатся! ...
|
May 13th, 2008
15:12
Privacy, говорите? Security, говорите? А вы знаете, что МГТС готова
рассказать любому желающему состояние счёта вашего городского телефона?
Я имею в виду, сумму вашей задолженности или предоплаты. Я тоже сперва
не поверил, а потом убедился и офигел. Ну, данную конкретную дырку они
рано или поздно закроют, но тенденция радует.
... Если в первом акте на сцене лежат грабли ...
|
May 12th, 2008
03:17
У меня в виндах есть какой-никакой bash, make и прочие coreutils.
Но как же достали авторы, которые не верят в пробелы
в именах каталогов! Да, оно у меня под Program Files, и что? :-(
... Это неправильные молнии - они делают неправильный гром ...
|
April 24th, 2008
23:05
Всё-таки убунтушники несколько опрометчиво решили раздавать образы дисков и торренты с одного и того же сервера. Скачать торрент (20 килобайт) или хотя бы просто увидеть список файлов в каталоге, где он лежит, оказалось нетривиальной задачей (сам образ после этого приехал по торренту со скоростью канала).
... Мне приснился шум дождя ...
|
April 14th, 2008
18:45
Ещё в начале 90-х я слышал идею, что машина разработчика должна быть
слабее машины пользователя. Основание: пока он сам не почувствует, что
его программа тормозит, у него не будет стимула её разгонять. Никакое
прочтение техзадания не заменяет личных ощущений.
В эпоху Open Source пользователями программы являются не только те,
кто её запускает, но и те, кто помогает её писать. Только пользуются они
ей по-другому: для них критична не скорость программы, а её понятность.
Недавно я прочитал формулировку (забыл автора), что среды разработки
-- это инструменты понимания. Они позволяют написать (и прочитать) более
сложную программу, чем без них. И тут скорость машины подкладывает нам
ту же свинью, что и в первом абзаце: разработчик, пользующийся ide, не
чувствует, как будут понимать его программу те, кто ей не пользуется.
Мораль: пользуясь средой, требующей пары гигагерц и пары гигабайт, вы
лишаетесь помощи тех, у кого такого железа под рукой не оказалось.
(Вим предложил заменить "контрибуторы" на "кон трибу торы".
"Триба Торы" -- чем-то мне это нравится ;-)
Update: behrk напомнил, где лежит пост, спровоцировавший этот.
... Думает на языках, продолжения которых не знает ...
|
15:20
В процессе чтения ленты дошёл до последнего выпуска xkcd (кто ещё не читает -- рекомендую). Почему-то мне казалось, что для Гауссовых целых факторизация неоднозначна. Оказалось, что именно казалось: аналог основной теоремы арифметики для них верен. А обидно: это ж как можно было заданную в выпуске тему развить! ;-)
... Блеск отражений, сражений, теней, миражей ...
|
April 1st, 2008
13:30
Лента.ру со ссылкой на The New York Times сообщает, что некто Уолтер Вагнер
обратился в федеральный суд штата Гавайи с требованием приостановить
подготовку Большого
Адронного Коллайдера к запуску, "чтобы избежать возникновения
опасных для существования мира объектов". Однако есть основания думать,
что тема возможной опасности фундаментальных исследований для
человечества была осознана прогрессивными умами много раньше, чем мы
привыкли считать. Известно, что первый линейный ускоритель в Европе был
построен в конце XIV века (Италия, Пиза, Пьяцца деи Мираколи), но первые
эксперименты с ядрами тяжёлых элементов на нём были проведены только
в конце XVI века Галилео
Галилеем, и отчётов по ним не сохранилось. Не были ли они попыткой
создания Летучей
Кошки, которая могла бы, по мнению оптимистов, раз и навсегда решить
проблемы транспорта, дешёвой энергии и Летучих
Мышей, а по мнению пессимистов, привести к коллапсу Вселенной по причине возникновения неразрешимого парадокса?
Похоже, четыреста лет назад Комиссии по
Контролю удалось остановить безумие. Удастся ли на этот раз?
Обсуждение темы:
Виктор Вагнер,
Летучий Медведь.
... Был апрель, и в Париже, по берегам Сены, цвели каштаны ...
|
March 18th, 2008
02:20
Пролетарии всех стран, извините! Кажется, я случайно подложил большую
свинью всему ЖЖ. В конце февраля я жаловался, то ЖЖ
в некоторых стилях не отдаёт корректный заголовок документа. Исправили,
теперь отдаёт. Похоже, волна мелких глюков последних нескольких дней
связана именно с этим (самая заметная -- некоторые стили стали
выравниваться по правому краю, а не по левому; видно это только в
Эксплорере и, возможно, в Опере, в Файрфоксе ничего не изменилось; есть
и более тонкие эффекты, типа точной высоты пробелов над и под датами).
Как это часто бывает, одна ошибка маскировала собой несколько других, и,
когда её убрали, они и повылазили. Всё это правится с помощью Custom
CSS, если вы знаете, что это такое. Если нет -- искренне сочувствую.
Путь к нормальной поддержке стандартов всегда тяжек. ;-(
P.S. Блин! Я написал это за полчаса до того, как прочитал статью
Джоэля Спольски на ту же тему.
Update 5h20m: ничего не надо править, они сами всё починили.
Я как раз искал универсальную строчку, чтобы подходила ко всем стилям,
и вдруг с удивлением обнаружил, что уже ничего не нужно. ;-) Ура!
... В Нуменор, в Арканар, в Зазеркалье, Заморье, Замостье ...
|
March 12th, 2008
18:15
В идеологических спорах я люблю выступать адвокатом дьявола, защищать
позицию другой стороны. Например, в спорах христиан с атеистами я обычно
работаю за христиан. Обоснование: я считаю, что моя сторона -- это те,
кто умеет думать и знает матчасть. А кто не хочет её учить, с тем мне не
по пути, даже если высказываемые им взгляды случайно совпали с моими.
Впрочем, если в результате такого спора выясняется, что матчасть надо
учить мне, я тоже считаю это полезным результатом и говорю спасибо. На
этот раз я попытаюсь показать нелепость некоторых традиционных обвинений
против копирайта и DRM. Буду рад, если кто-то укажет мне на ошибку.
( за копирайт )
... Я никогда не ем тех, с кем разговариваю ...
|
March 2nd, 2008
14:20
Всё-таки удивительно видеть в своём коде
на Яваскрипте комментарий "Tested on IE 3.02a and NN 2.02
(Windows 3.1)" и осознавать, что он всё ещё работает.
... Лемпел Зил, Лемпел Зив, Лемпел Будет Зить! ...
|
|
|
