всякие мысли
[Свежие записи][Архив][Друзья][Личная информация]
Below are the 20 most recent journal entries recorded in the "Артем" journal:[<< Previous 20 entries]
|
06:04 pm
[ссылка] |
От чего тупеет интернет?
Детям нельзя в интернет. От детей интернет тупеет. ( bash)
Не знаю, тупеет ли интернет и от чего именно, но, по-моему, это явный признак деградации.
Мне понадобилось решить нехитрый дифур, а я позабыл, как это делается. Полез гуглить, а там по запросу типа "методы решения ОДУ" и т.п. все ссылки на первой странице -- про численные методы, маткады и т.п. Как будто люди забыли математику (точнее, ее раздел -- дифуры). (Может быть кто-нибудь покажет мне правильный запрос?)
После некоторого напряжения мозга я увидел, как сделать замену, и решил уравнение сам, но осадок остался. Мне неудивительно, что я сам слегка отупел, всё-таки давно не брал в руки шашек. Но куда пропали ссылки на учебники и лекции по дифурам? Может их там и не было?
Tags: всякое, математика
|
01:54 pm
[ссылка] |
Гигантомания
Был такой выпуск Ералаша, где чел на уроке труда сделал табуретку трехметровой высоты, «...сказали «семь раз отмерь, один раз отрежь», ну я так и сделал -- отмерил семь раз».
В книжке по оригами дети нашли модель лебедя и сделали:
Там было написано, что понадобится 20 листов А4 (это довольно много, большинство моделей требуют 1-2 листа). Но дальше было написано то, что дети поленились читать. А именно: нарезать листы А4 на куски вроде 6х8 см. Ну вот и получилось такое чудище. ;)
Upd. Он еще и крылья умеет расправлять:( Read more... )
Tags: дети
|
|
12:20 am
[ссылка] |
Про почтовые клиенты
Странное дело, как нелогично мыслят дизайнеры софта. В данном случае речь пойдет о почтовых клиентах.
Недавно решил разгрести авгиевы конюшни и попытаться привести в порядок свою почту -- создать правильные фильтры, метки и т.д. Одно из вопиющих неудобств -- это то, что мои (т.е. отправленные мною) письма сохраняются в отдельное место (которое называется "Отправленные"), вместо того, чтобы сортироваться по общему принципу. Например, если пишу в группу рассылки, то должно попадать туда же, куда сваливается от других членов группы.
Хотел было по-быстрому исправить это, но оказалось, что задача нетривиальна. Я пользуюсь evolution и браузером для gmail-а. Ни там, ни там я не нашел естественных способов сделать, что хочу. Раньше я пользовался емаксовым gnus-ом, и там была возможность автоматически добавлять что-нибудь к заголовкам, поэтому там работает добавление bcc себе. Правда, это решение, хоть и работает, попахивает извращением. Как сделать это в гугле или в evolution, я не так и не придумал.
Разве я хочу странного? По-моему, естественно, чтобы фильтры работали единообразно как для входящих, так и для исходящих, и чтобы то, что гмейл называет цепочками, никогда не ломалось. А функция "найти все мои письма" и так тривиально выражается через общие механизмы; ну ладно, если кому-то очень хочется, путь на нее будет специальная кнопка или виртуальная папка.
Tags: software
|
|
02:45 pm
[ссылка] |
Стохастическая арифметика
Есть идея о том, как контролировать точность компьютерных вычислений. Представление с плавающей точкой не дает никакой гарантии точности, поэтому для каждого алгоритма нужно отдельно доказывать корректность. Интервальную арифметику придумали для того, чтобы доказывалось само, но у нее есть проблема с тем, что длины интервалов слишком быстро растут. Если бы имелся механизм, учитывающий функциональную зависимость между аргументами, то, возможно, всё было бы не так плохо.
Я предлагаю другой, возможно, новый подход, который, по идее, дает стохастическое доказательство корректности и учитывает зависимости. Я потратил некоторое время, чтобы проверить, нет ли уже чего-нибудь в этом роде. Вроде бы прослеживается некоторая связь с нечеткой логикой (точнее, с нечеткой интервальной арифметикой -- обобщением интервальной арифметики). Может быть, стоит копать куда-то в строну так называемой вероятностной логики (product logic), чтобы увидеть, что предлагаемое мной уже изобретено. Тем не менее попытаюсь изложить концепцию.
Вместо того, чтобы представлять вещественное число в виде интервала или в формате IEEE 754 (что в общем-то тоже в некотором смысле есть интервал), предлагается задавать число в виде случайной величины с заданным распределением. Для этого надо сделать две вещи:- Зафиксировать некоторое параметризованное семейство распределений, так чтобы набор параметров можно было представить в виде битовой последовательности (скорее всего ее длина должна быть фиксированной и равно какому-то круглому количеству битов).
- Определить частичный порядок на нашем семестве распределений, так чтобы можно было сказать, что одно распределение "точнее" другого.
Имея частичный порядок, всегда можно можно перейти от "реального" представления ) с вещественными параметрами к "дискретному" ) , где параметры  конечно-преставимы в машине.
Как определить порядок "точнее"? Мне не удалось найти универсального определения, но можно ввести такое понятие, назовем его уровнем значимости, -- положительное число (близкое к нулю), которое выбирается для каждой задачи заранее из каких-то физических или "вычислительных" соображений. Тогда для заданного уровня значимости  два распределения a и b связаны отношением  (a "точнее" b), если для любого интервала  \ge 1-\varepsilon) существует интервал  \ge 1-\varepsilon) .
Для примера можно попробовать двупараметрическое семейство нормальных распределений N(c, s), пополненное дельта-функциями (формально записываемыми как N(c, 0)). Здесь при любом уровне значимости N(c, 0) всегда точнее N(c, s), и вообще \prec N(c, s_2)) при s1 < s2. Если взять разные c, то сравнимость будет зависеть от уровня значимости.
Используя порядок, можно сформулировать задачу выполнения арифметической операции как нахождение какого-нибудь представимого распределения, так чтобы истинное распределение было "точнее" найденного. При этом желательно подыскивать не какое попало, а "поточнее", т.е. "наименьшее" из тех, которые "больше" истинного. (Пока не обращаем внимание на то, что существование "наименьшего", вообще говоря, под вопросом.) Это задача кажется трудоемкой, поэтому, во-первых, надо позаботиться о рациональном выборе представляемого семейства и, во-вторых, о том, чтобы эффективно реализовать арифметику, впоть до привлечения специальных аппаратных средств.
Теперь о зависимостях. Можно считать, что задача формулируется в следующем виде: дано совместное распределение n чисел, результат надо выразить в виде совместного распределения m чисел. Если подойти наивно, то количество информации, требуемое для представления вектора, зависит экспоненциально от длины вектора. Так, скорее всего, не годится. Можно заметить, что почти все элементарные операции над числами бинарны (ну или унарны). Тогда можно хранить только попарные зависимости, коих O(n^2), что гораздо лучше, чем экспонента. Получается, что исходный вектор (а также результатный и все промежуточные) хранится в виде набора n распределий и некоего обобщения ковариационной матрицы -- набора попарных распределений. (Здесь наверно есть избыточность -- вовсе незачем хранить попарное распределение двух независимых чисел...)
Проблем здесь, конечно, куча. Я пока не готов описать арифметику для вышеупомянутого семейства гауссиан даже для простых случаев (ну разве что a+b для независимых). Кроме того, совершенно неясно, что делать с операциями арности больше 2 (хотя бы if, у которого условием стоит a>0).
Tags: математика
|
|
05:23 pm
[ссылка] |
В гугле забанили
Только что наблюдал прикольный глюк. Когда идешь на gmail.com, то запрос обычно перенаправляется куда-то вроде https://www.google.com/accounts/ServiceLogin?чего-то_там=mail.google.com . Смысл глюка был в том, что на этом процесс не останавливался, а в URL-е дальше происходила замена этого mail.google.com . Причем это происходило рекурсивно; до тех пор, пока не упиралось в ограничение браузера на длину URL-а.
Минут через 10 всё пофиксилось само, но осадок остался...
Tags: software
|
|
10:41 am
[ссылка] |
incredible machine
Вот какой забавный подарок крестного достался детям на день рожденья -- видео (95 МБ). Правда, там написано "от 15 лет", да еще инструкция не содержит русских букв, так что мое участие в сборке было существенным.
Можно было бы мертвую петлю побольше сделать, если бы шарик был не обычный, стальной, а, например, пластмассовый со свинцовым ядром, чтобы момент у него поменьше был. Но всё равно, и так круто.
Tags: дети, игры, физика
|
|
12:09 am
[ссылка] |
1 Гс
Мне тут напомнили, что у меня скоро юбилей, очень круглый. 12 октября исполняется миллиард секунд! Наверно надо что-то замутить, ибо столь круглых дат почти не бывает. ;)
Много это или мало? Если пренебречь тем, что гига- отличается от гиби-, то это половина 32-битной эпохи. (Не четверть, а половина, потому что один бит зарезервирован под знак -- можно отмерять от начала эпохи не только вперед, но и назад.) На самом деле 10^9 заметно отличается от 2^30, так что бинарный юбилей будет на два года позже...
Tags: всякое
|
|
12:17 am
[ссылка] | Давненько я здесь не оставлял записей. И не потому что иссякла мысля и нечего выразить, и даже не из-за лени. Просто образовалось перманентное ощущение цейтнота...
Для начала -- просто лытдыбр.
Я недавно вернулся с конференции в Абрау-Дюрсо "Научный сервис в сети Интернет". Несмотря на название, инета там не было, а мой телефон почему-то не давал gprs (и я пока не осилил разобраться, видимо придется пешком идти в офис мтс). В результате образовалось немного скучных, без компромата, фоток. Также в процессе сбора воедино фотографии, сделанные участниками (пока в доступности вижу только эти от ![[info]](http://l-stat.livejournal.com/img/userinfo.gif) katrin_elinor ).
Еще я занимался нехарактерной для моей специальности деятельностью, а именно -- художественной. От чего получил моральное удовлетворение по полной программе, пытаясь раскрыть тему сисек. (Вроде бы можно выложить результат в открытый доступ, но я пока не получил четких санкций.) Также открыл для себя занятный инструмент для самовыражения в векторной графике -- inkscape. (Конечно же довольно быстро обнаружился ряд недостатков и недоделок, но всё равно штучка очень хорошая; можно давать детям.)
Upd. Кроме фотографий зацените модное доменное имя: http://exascale.ru/abrau/09/ .
Tags: всякое
|
|
12:25 pm
[ссылка] |
Веселые картинки
На xkcd есть картинка, от которой меня просто прет.
Правда там нелогично написано преобразование Фурье (непонятная штука была использована как связанная переменная), к тому же с ошибкой (минус потерялся). Но всё равно -- для меня это больше чем картинка-анекдот; она обозначает тип мышления.
А вот есть другая картинка, которая тоже в топе. Но я не понимаю ее смысла. Объясните мне кто-нибудь, а то я вижу там только сцену инцеста.
Tags: всякое
|
|
11:13 pm
[ссылка] |
Про свет
Я, кажется, изобрел полезную штуку. Настолько полезную, что не понимаю, почему это не внедрили. (Ну уж совсем невероятно, что это еще не придумали.)
Проблема такая. Кто ездит на автомобиле ночью, знает, что есть товарищи, которые нам совсем не товарищи, и не удосуживаются нормально настроить фары. Также, бывает, забывают вовремя выключить дальний свет. Ну и вообще, даже если все всё делают как надо, свет чужих фар доставляет неудобства.
( Идея... )
Tags: физика
|
|
01:50 pm
[ссылка] |
Сны о чем-то большем
Снилось, будто сторговал с Маратом большой шлем. Раздача была такая: Т??, ТДхх, Т??, x (распределение фосок в трефе и черве не помню). Торговля шла очень глупо -- я обсчитался в количестве тузов и спасовал на открытии. Партнер открылся в мажоре, потом убежал в 3 бубей. Тут я обнаружил потерявшегос я туза и, кроме того, заметил, что есть все задержки и почти все они первого класса. Вполне шлемовая карта. Учитывая, что партнер еще не знает про бубновый фит, но ленясь считать силу, говорю сразу 6 бубей. Он поднимает до 7, и я просыпаюсь. Зная, что партнер склонен к импульсивности, ощущаю беспокойство -- что ж там дальше? Долго пытаюсь снова заснуть, чтобы посмотреть продолжение. Наконец, мне удается вернуться в сон, и я смотрю расклад. Вижу у партнера Вхх в пике при почти равномерном раскладе и от расстройства сразу просыпаюсь, даже не проверив, берется ли малый шлем. :(
Tags: бридж, сны
|
|
06:37 pm
[ссылка] |
Про интернет-провайдеров
Сегодня продолжаю писать всякие гадости. На этот раз, запоздало выполняя просьбу yurikl , расскажу про работу наших интернет-провайдеров.
Было так: наш домашний интернет был подключен через ADSL от domolink'а. В июле там задумали менять какое-то оборудование. Из-за этого сеть пропала не на день, как можно было ожидать, а более чем на две недели. Даже не горела лампочка DSL. Собственно, из-за этого я возился со скайлинком.
( Read more... )
Tags: hardware
|
03:10 pm
[ссылка] |
Как поссорились Иван Иванович с Иваном Никифоровичем
Суть в том, что fregimus неточно процитировал некоего журналиста scottishkot (причем, кажется, более-менее правильно передав дух высказывания, но изменив букву). А тот прямо таки в суд подал за клевету (или пока только пригрозил).
На месте fregimus'а мог бы оказаться каждый. Даже я, хотя с меньшей вероятностью, -- я бы, конечно, в такое непонятное месиво не полез, однако иногда позволяю себе и в более извращенной форме перевирать чужие высказывания.
Поэтому мне представляется полезным проанализировать причины столь резкой и явно неадекватной реакции. Может быть, журналист преследовал какие-то свои, мне непонятные, пиар-цели. А может он просто в каком-то непонятном порыве написал гневный комментарий, а потом пожалел об этом, да поздно было ,-- получилось, взял сам себя на понт. Кстати, сам текст, помимо легко извлекаемого смысла содержит в себе куски чистого словоблудия, столь искусного, что я, имея необходимость на него отвечать, боролся бы с искушением выразить свой ответ на каком-нибудь языке программирования (например, брейнфаке), с тем, чтобы отомстить автору нарочитой непонятностью за нарочитую непонятность.
Я, признаюсь, не осилил разобраться в сути флейма -- почитал лишь по диагонали. Ну собачатся люди себе и ладно. Но стоило fregimus'у вынести свое замечаение в другое место... Кстати, может быть в этом дело? Наверно людям не нравится, когда о них говорят в третьем лице. Я сам сталкивался с подобной, столь же импульсивной, реакцией -- после вялотекущей перебранки в чужом журнале оставил о ней несколько язвительное упоминание в своем журнале.
Tags: всякое, непонятное
|
|
02:47 am
[ссылка] |
Дачный интернет
Мне попалась в руки такая игрушка -- модем C-motech CNU-680. Я хотел быстренько справить интернет-нужду, но не тут-то было.
Мы уже привыкли, что многие производители железа не заботятся о пользователях, которые живут на линуксе. Чисто формально по задумке разработчиков этот CNU-680 должен работать и с линуксовым компом, даже без специального ядерного модуля. Реально это сделано так: usb-устройство при втыкании обнаруживается как несколько устройств: (1) обычный флеш-накопитель, (2) CD-диск, а также (3) некое дополнительное SCSI generic устройство (я так понял, три штуки /dev/sg* отвечают соответственно за (1) и (2), а также за еще одно дополнительное).
Первое на основную функциональность не влияет, просто дает флешку (правда, я не смог ее подмонтирова, там какая-то неизвестная таблица разделов, ну и фиг с ней, не стал разбираться).
На CD-диске находятся драйвера для разных ОС, причем то, что лежит в директории Linux, заслуживает отдельного комментария. Там есть бинарник с именем RDEVCHG, который надо запустить из-под рута и скрипт, который запускает wvdial с якобы правильным конфиг-файлом. Еще (что само по себе замечательно) там есть исходник этого RDEVCHG.
Ни бинарник, ни скрипт у меня не заработали, но это само по себе не примечательно. Важно другое -- созерцание исходника и скрипта вызывает ощущение, что разработчики намеревались плюнуть в душу всем пользователям, и это, похоже, им удалось. Я даже не уверен, что автор кода дошел до стадии "works for me" -- там реально написан полный бред. Что я выяснил: требуется всего-то сделать один вызов ioctl() в применении к устройству /dev/sg* (номер 3 в моем перечне). Хитрость лишь в том, чтобы угадать правильный номер устройства (вместо звездочки). Результатом этого ioctl() должно быть появление нового устройства /dev/ttyACM*, которое является одним стандартным устройств соответствующих модему; с ним уже работает wvdial (ну или напрямую pppd).
В общем, они пытаются перебором проверить все /dev/sg*, но делают это неправильно -- условие успеха не то. Кроме того, они неправильно интерпретируют возвращаемое значение ioctl(). Не знаю, есть ли дистрибутив линукса, на котором этот код работает. Даже если бинарник где-то сработает, то скрип точно нерабочий. Еще они ввели меня в заблуждение относительно цели выполнения ioctl(), поэтому я не смог правильно подхачить код, чтобы всё заработало.
Потом уже я нашел на sourceforge маленький проект cmotech-tools -- тот же самый вызов ioctl(), только правильно и аккуратно обернут. Плюс к тому примочка с udev, которая запускает всё автоматически при включении (а также, похоже, само восстанавливает соединение при обрыве (а обрывы, как я успел убедиться, довольно часты)). В общем, это cmotech-tools прекрасно заработал у меня (правда я не стал заморачиваться с udev -- всё вручную). (Только меня подстерегли еще одни грабли -- долго не мог понять, где брать логин/пароль для скайлинка.)
PS. А производители этой железки -- козлы. Отобрали у меня кучу времни, причем совершенно не по делу.
Tags: hardware, linux, software, модем
|
02:17 am
[ссылка] |
Всякая фигня происходит...
Во-первых, я теперь считаюсь больным и сижу дома, на работу не хожу. После похода в Хибины у меня заболела спина и я, наконец, добрался до врача. Теперь вот лечусь.
Во-вторых дома уже две недели нет инета. Кто-то -- то ли провайдер, то ли АТС -- менял оборудование, и теперь DSL не работает. В Домолинке придумали клевую отмазку: согласно договору они имеют право "починять" (т.е. с чистой совестью вообще ничего не делать) в течение двух рабочих недель. И это вроде как написано в договоре. (Почитать договор что ли?)
Еще я убил кучу времени на то, чтобы подключиться через gprs. Всё безрезультатно -- не помогл даже мой старый телефон, который я точно использовал как модем. Да, тут еще проблема курицы и яйца -- чтобы подключиться к инету, надо вкурить мануалы, которые водятся в инете... В результате я на несколько дней оказался почти в полной изоляции.
Из более оптимистичного:- Я взял погонять скайлинковский модем и кое-как подключился через него (но эти грабли -- отдельная тема).
- Наконец-то подошел к Хаселю на интимное расстояние (благо необходимый софт был заранее установлен, а также распечатана брошюрка). Я восхищен! Если раньше я осознавал, что алгебраические полиморфные типы данных в ML по выразительности сравнимы с классами в ООП, то сейчас вижу, что ООП как парадигма программирования просто сосет у хаскельных классов (особенно, если включить какие-нибудь расширения, например GADT -- "обобщенные алгебраические типы").
- Я самостоятельно заботал, как делать внутримышечную инъекцию. И, собственно, сделал. Надеюсь Хе, когда узнает, меня не прибьет за то, что я постеснялся обращаться к соседу-врачу, а сделал всё сам. ;)
Tags: всякое
|
|
10:04 pm
[ссылка] |
А мы уйдем на север...
...и переждем там недели полторы.
Это примерно здесь: http://xoft.ru/~art/hibiny/01.jpg (осторожно, 19 МБ)
Стартовые массы: 34.0, 22.7, 6.0, 6.0 кг.
Tags: Хибины, поход
|
|
07:05 pm
[ссылка] |
ICFPC-2009: конкуренты
Роясь в блоге замечательной харьковской команды THIRTEEN (я уже упоминал ее), увидел пост с вызывающим текстом: Здесь базу посетили _после_ Луны.
Созерцание ролика вызвало у меня культурный шок. Они реально жгут! Без дозаправки облетают все цели. Главное обидно, что мы, выведя все нужные формулы, не доперли до очень простых вещей (которые становятся наглядными на видео):- Для изменения энергии орбиты выгодней всего ускоряться в перигее. Причина довольно очевидна: скорость максимальна => приращение квадрата скорости максимально. Энергия однозначно задает a -- большую полуось эллипса.
- Для изменения других параметров выгоднее ускоряться в апогее. Это верно по крайней мере для угла наклона оси эллиса относительно координатной оси. (Где лучше менять эксцентриситет, не меняя энергии, так сходу не скажу, но это вроде и не требуется.)
- Почему-то я не верил, что перехват может быть успешным и при большой разности векторов скорости. Из-за этого мы рассматривали только орбиты касательные к целевым. Сейчас я почти уверен, что мой алгоритм локальной доводки будет успешно работать не только на касательных. По крайней мере вдалеке от Земли -- там линеаризация будет достаточно точной.
Tags: icfpc, математика
|
|
01:19 am
[ссылка] |
ICFPC и математика
Еще раз о пользе и вреде чистой, непрограммистской математики в условиях соревнования.
Как восторженно и поэтично пишет об этом участник-нематематик (команда THIRTEEN):
Понимающие математику! О, они подобны музыканту, берущему нотную запись незнакомого музыкального произведения, и начинающему играть ноты, претворяя их в жизнь. Понимающие математику берут с нужной полочки формулы, и знают, что в них к чему! Для того, чтобы перевести тело из одной любой точки в другую в орбитальном пространстве земли, нет нужды методом приближений искать нужный вектор приложения сил, запуская каждый раз прилагаемую программу, и наблюдая, чем это закончится, а потом чуть-чуть изменять вектор и пробовать еще раз, приближаясь к нужному варианту. Так делаем мы, люди, но не математики. [...]
А вот слова математика janatem'а:
В очередной раз напоминаю (в первую очередь себе!), что аналитические методы на ICFPC -- это зло. Конечно, приятно аналитически решить задачу и получить удовольствие, но всегда есть риск, что это не удастся сделать за разумное время. [...]
Tags: icfpc, всякое, математика
|
|
03:47 pm
[ссылка] |
ICFPC-2009
Событие: http://icfpcontest.org/
Команда: Error 404
Состав:yurikl , janatem , Антон и еще Антон (ощутимо не хватало druxa_druxa)
Предварительный результат: 2735.2781 баллов, 14 задач (25-е место).
Собственно задание
( Read more... )
Tags: icfpc, software, математика, программирование
|
|
11:07 am
[ссылка] | Насчет того, как сделать проигрыватель на рутере:
К сожалению, я обнаружил, что выбор usb-звуковушек совсем не велик; кроме того, всё что сейчас есть в магазинах -- очень наворочено и поэтому слишком дорого.
На самом деле правильные устройства конечно же есть, например некая SYBA SD-CM-UAUD. И стоит она по 50 копеек пучок (точнее $8). Только это за морем телушка -- полушка... А в российских магазинах я не нашел даже упоминания о ней.
Tags: hardware
|
[<< Previous 20 entries] |
