Home

Advertisement

Customize

Previous 50

Nov. 18th, 2009

Юбилей

Мой первый пост в ЖЖ был, оказывается, ровно год назад. Спасибо правилам комментирования в журнале [info]thesz, без них, возможно, и не начал бы писать.

Подробно об арбидоле

http://www.novayagazeta.ru/data/2009/111/23.html

Прочитанное

Shapiro, Thinking about mathematics. Введение в философию математики. В начале ставятся два основных вопроса: "Существуют ли математические объекты?" и "Имеют ли математические утверждения истинностные значения?". Рассматриваются главные направления ф.м. в хронологическом порядке -- от Платона до структурализма -- и для каждого излагаются основные идеи, уделяя особое внимание ответам на эти вопросы.

Две вещи мне не понравились: 1) Узнал для себя мало нового. 2) Очень много повторений. Не раз думал "Я уже знаю, что Гильберт думал об этом вопросе, потому что это было написано 50 страниц тому назад. И ещё раз 30 страниц тому назад. И ещё раз 15 страниц тому назад."

Четвёртая часть (о современных подходах) интереснее в смысле новой информации, но повторений там почему-то становится ещё больше (по крайней мере, так мне показалось). Собственно, структурализм (которого придерживается сам Шапиро) мне нравится -- но это одна глава из десяти. Давно мне не было так жалко потерянного на чтение времени, честно говоря.

С другой стороны, рецензии на Амазоне очень положительные.

Nov. 16th, 2009

Слегка напомнило Эгана

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

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

Nov. 10th, 2009

Исключение подтверждает правило

[info]igrok2 в воскресенье спросил в Твиттере, откуда взялась эта пословица. Ясно ведь, что в буквальном смысле — в котором её обычно и употребляют — она абсурдна. Оказывается, как и многие другие, она поменяла смысл на противоположный.

Идея происходит от защиты Цицероном Люция Корнелия Бальба Старшего, которого обвиняли в незаконном получении римского гражданства. Обвинитель привёл примеры договоров Рима с некоторыми племенами, которые запрещали давать их членам гражданство и предложил сделать вывод, что гадитанцам гражданства тоже давать нельзя. На что Цицерон ответил: «Quod si exceptio facit ne liceat, ubi non sit exceptum, ibi necesse est licere» («Поскольку это исключение делает принятие в гражданство незаконным, то отсутствие такого исключения необходимо делает его законным»).

В средние века юристы обобщили этот принцип до «exceptio probat regulam in casibus non exceptis» («исключение подтверждает правило в неисключённых случаях»). То есть если на в коридоре мехмата висит объявление «В День Пифагора занятия заканчиваются в 14:00», то мы знаем, что в другие дни они в 14:00 не заканчиваются (если, конечно, не висит соответствующее объявление). А если на улица стоит знак «В воскресенье парковка запрещена», то в среду под ним можно парковаться.

Потом последняя часть отпала и получилось знакомое «исключение подтверждает правило».

Nov. 8th, 2009

Лекции Алексея Миллера на polit.ru

Мне очень понравились, и я узнал много нового. Как обычно на polit.ru, обсуждение в конце может быть ещё интересней самой лекции.

Историческая политика
Историческая политика: update

Почему все континентальные империи распались в результате Первой мировой войны

Империя и нация в воображении русского национализма. Взгляд историка.

Империя Романовых и евреи

Цикл "Россия-Украина: как пишется история". Несколько в другом формате, совместно с украинским историком Георгием Касьяновым.
Часть 1. Голодомор
Часть 2. Вторая мировая война
Часть 3. От Хмельницкого до Мазепы
Часть 4. Между Гражданской и Второй мировой
Часть 5. Первая мировая
Часть 6. Российская Империя

Nov. 2nd, 2009

Задача

В прошлом посте с задачей анонимный комментатор предложил ещё одну.

При исследовании барьеров обучения один из испытуемых предложил следующий алгоритм сортировки массива: "Нужно просто двигать элементы, пока не получится правильный ответ." Уточним этот алгоритм таким образом:
Пока (массив a не отсортирован) {
  Выбрать два случайных индекса i и j в массиве;
  Поменять a[i] и a[j] местами;
}

1. Какова в среднем сложность работы этого алгоритма?
2. Как она изменится, если менять местами элементы только тогда, когда больший из них имеет меньший индекс?

О гриппе и масках в частности

Читаю довольно многих врачей, и говорят они примерно одно и то же:

http://www.komarovskiy.net/blog/svinoy-gripp.html

http://botalex.livejournal.com/44828.html

http://uncle-doc.livejournal.com/175541.html

http://galimsky.livejournal.com/448730.html

http://tanchik.livejournal.com/410097.html
http://tanchik.livejournal.com/410326.html
http://tanchik.livejournal.com/410469.html

Oct. 13th, 2009

О пользе статистики

Можно всё-таки примерно узнать настоящие результаты выборовголосования в МосГорДуму.

Два протокола.

Oct. 12th, 2009

Манга о науке

"Что такое космические лучи?"

Tags:

Oct. 7th, 2009

Цензурных слов нет

В СПбГУ подписан приказ, в соответствии с которым все заявки сотрудников Университета на зарубежные гранты, тексты выступлений на международных конференциях и публикации в зарубежных изданиях должны подвергаться предварительному анализу в "Комиссии по экспортному контролю".

Конечно, приобретёт. Вы только не волнуйтесь.

Процесс возвращения ученых в Россию из-за рубежа скоро приобретет «лавинообразный характер»

Об этом заявил в интервью радиостанции "Эхо Москвы" министр науки и образования РФ Андрей Фурсенко в ходе Второго международного форума по Нанотехнологиям. Он добавил, что Минобрнауки РФ реализует целый ряд программ, направленных на привлечение российских ученых работать на благо России.

По словам Фурсенко, многие вернувшиеся ученые отмечают, что в России им предоставили более современное оборудование, чем за рубежом.

via [info]podmoskovnik

Oct. 4th, 2009

Введение в теорию типов

Не помню, у кого из френдов была ссылка, но введение действительно неплохое:

Introduction to Type Theory

Sep. 30th, 2009

Беседа Джо Армстронга и Саймона Пейтона-Джонса с Садеком Дроби

Видео и транскрипт на InfoQ (вот как можно сделать такой неудобный видеоплеер на Flash, когда давно есть YouTube -- я не понимаю!)

Транскрипт на Google Docs (via [info]avva)

Всё-таки не удержусь

чтобы не прорекламировать головоломку.

На электронном табло изображено правильное математическое тождество, но один пиксель этого табло сломан. Какой?



via [info]surf_ru и [info]progenes

Комментарии скрою.

Sep. 26th, 2009

Толстой и Достоевский

Корни сродства, пожалуй, более или менее ясны. Творчество обоих пронизано одной главной струной, одной доминантой: состраданием. Оба могли бы сказать про себя вслед за Радищевым: “И душа моя страданиями человеческими уязвлена стала”. Оба всю жизнь бесстрашно, напряжённо ищут ответа на вопрос: почему, зачем, из-за чего люди на земле так изобретательно, долго, безжалостно мучают друг друга? В том числе люди, называющие себя христианами, знающие призыв Христа к бесконечному милосердию?

И в поисках ответа на этот вопрос пути их безнадёжно расходятся. Они по разному понимают природу странного создания по имени “человек” — отсюда возникает несовместимость.

Возможно, это как-то связано с различием их судеб. Различием, которое в самом сжатом виде можно описать так:

Достоевский не воевал, а Толстой не сидел в тюрьме.


via [info]razinkin

Декан соцфака МГУ

Для укрепления духовного фундамента необходим какой-то сильно действующий цемент. Таковыми должны стать, на наш взгляд, политический консерватизм, сильное государственное начало, уважение исторического прошлого и православие. Коммунистическая идеология, сыграв определенную позитивную роль в советский период, исчерпала к концу XX в. свои функции. Сейчас она уже не может играть былую объединительную и консолидирующую роль. Либеральная идеология показала свою принципиальную враждебность стране и народу.

Предлагаю вспомнить формулу министра народного просвещения Российской империи графа С. С. Уварова (1786 - 1855) "православие, самодержавие, народность", которая служила основой официальной идеологии России вплоть до 1917 г. ... Триада принципов, гениально угаданных и сформулированных Уваровым, мы полагаем, является краеугольным камнем России, нашей общественной и духовной жизни.

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


via [info]ivan_ghandhi

Sep. 11th, 2009

QuickSort с двумя опорными элементами

Владимир Ярославский придумал новый вариант быстрой сортировки, делающий меньше перестановок и более быстрый на практике. Детали здесь.

Sep. 8th, 2009

Учебник логики

Учебников по математической логике много. Зачем нужен ещё один?
1) Семантические деревья не описаны ни в одном русскоязычном учебнике. Даже такая классика, как "Логика первого порядка" Смальяна, не переведена на русский.
2) Доказательства теорем должны иметь чёткую логическую структуру. Чем она ближе к описанной в учебнике системе вывода, тем лучше. Поэтому естественный вывод в учебнике тоже должен быть, и в максимально удобном для реального использования виде.
3) Логика первого порядка не должна представляться как вершина достижений мат.логики.
4) Достойное место должны занимать приложения.
5) Такой учебник -- идеальное место, чтобы напомнить о базовых понятиях (множество, функция, и т.д.).

Ближе всего к этим требованиям подходит "Прикладная логика" Н.Н.Непейводы, но у неё, с моей точки зрения, есть свои недостатки:
1) вместо деревьев там представлены менее удобные семантические таблицы;
2) представлены не самые удобные формальные описания и доказательства полноты обеих главных систем вывода;
3) много философских и политических утверждений.

Примерное содержание: )

Sep. 3rd, 2009

Последнее насчёт "реформы"

1 сентября заместитель председателя комиссии Общественной палаты РФ по сохранению культурного и духовного наследия Елена Зелинская резко возмутилась по поводу признания четырёх словарей программы «Словари XXI века» словарей официальными: «Когда русский человек ленится открыть рот, чтобы произнести грамотно драгоценное русское слово, и его леность поддерживается министерством образования, то рассчитывать на какие-то иные трудовые подвиги и вовсе не приходится. Осталось легализовать мат.»

А 18 июня эта самая программа с этой самой комиссией провели круглый стол на тему «Формирование культуры пользования словарями как инструмент сохранения культурного и духовного наследия России» и выработали рекомендации, в том числе: «включить словари, официально содержащие нормы современного русского литературного языка при его использовании в качестве государственного языка РФ, в качестве обязательного компонента учебно-методического комплекса по русскому языку в федеральный перечень изданий, рекомендованных (допущенных) к использованию в образовательном процессе в образовательных учреждениях, реализующих образовательные программы общего образования и имеющих государственную аккредитацию.»

via [info]korrektor_ru

Sep. 2nd, 2009

gramota.ru про "реформу"

http://www.gramota.ru/lenta/news/8_2442

Главный абзац:
Итак, еще раз (это момент принципиальный): лингвистов озадачил лишь состав списка утвержденных словарей и принцип его утверждения, а вовсе не «новые» нормы, взорвавшие общественность в День знаний. Почему слово «новые» заключено в кавычки и почему они не возмутили лингвистов? Да потому что ничего нового в этих нормах нет. На допустимость в разговорной речи ударения дОговор и употребления слова кофе в среднем роде, на вариативность произношения по средАм – по срЕдам словари указывают в течение последних десяти и более лет. Эти рекомендации можно встретить в большинстве современных словарей русского языка, в том числе не вошедших в список. Исключение составляют словари для работников радио и телевидения – однако у этих изданий своя специфика: варианты в этих словарях часто не указываются даже в случае их безусловной равноправности, поскольку звучащая в эфире речь должна быть единообразной.

Уголовное дело против Афанасьева

Пишут, что закрыто.

Sep. 1st, 2009

Реформа языка

Весь смысл установления единой языковой нормы — в том, чтобы облегчить общение людей. Поэтому первичным является то, как люди на самом деле говорят и пишут, а не то, что написано в словарях, справочниках и научных трудах. Эта норма изменяется со временем, что более чем естественно. Изменяется даже во Франции, где L'Académie française активно пытается с этим бороться (примеры приведены в книге МакУортера). «Официальные» правила — если уж они так нужны; английский без них отлично обходится — должны постепенно отражать эту норму. Бывают (изредка) и случаи, когда имеет смысл установить новую письменную норму «сверху», для приближения письменной нормы к разговорной. Есть примеры, когда удалось «сверху» изменить разговорную норму, но это исключение.

Та «реформа», которая сейчас произошла — объявить четыре словаря одного издательства, непонятно как отобранные, официальными — кажется с этой позиции совершенно неправильной. Насчёт того, обоснованы ли конкретные изменения, лучше узнать у филологов. Моё дилетантское мнение:
1) «кофе» можно употреблять в среднем роде (но основная норма — мужской род) — вполне разумно.
2) «карате» — в большинстве похожих слов пишется «е».
3) «договор» — вообще говоря, к позиции ударения сказанное мной про нормы относится в первую очередь, поскольку закономерностей, фиксирующих где-то ударение, в русском языке немного, а на письмо изменение ударения не влияет.
4) «по средам» — есть два слова, совпадающих (в том числе ударением) в большинстве форм, но кое-где различающихся. Причём у одного из них как раз есть простая закономерность: в единственном числе ударение на окончание, в множественном — на корень. А исключения из закономерностей в языке имеют привычку стираться. Так что переход к ударениям «средам», «средами», «средах» вполне естественен и остановить его очень трудно.
5) «йогурт» — а вот что этот вариант широко распространён, мне поверить трудно. Но можно, особенно по сравнению с
6) «брачащиеся».

UPD: Вот кто, по-моему, высказался правильно (причём [info]trankov как раз лингвист):
http://azangru.livejournal.com/155636.html
http://trankov.livejournal.com/1338171.html
http://swizard.livejournal.com/125977.html

Оказывается, «йогурт» и «брачащиеся» — как раз старые нормы. И «йогурт» в том самом словаре с пометкой «устаревшее».

UPD2: "Кофе" в среднем роде встречается у Н. И. Новикова в 1783 году, у Д. Н. Мамина-Сибиряка в 1883 году, А. Н. Толстого в 1916 году, Ю. И. Юркуна в 1921 году, М. А. Алданова в 1921 и 1932 году, Б. А. Пильняка в 1922 и 1925 году, А. С. Грина в 1929 году, Л. С. Соболева в 1932 году, И. Ильфа и Е. Петрова в 1936 году, В. В. Набокова в 1927 и 1967 году и ряда других невежд и недоучек (в мемуарах русской дореволюционной эмиграции в большом количестве).

(Речь персонажей, например, у Шагинян, не учитывается).

Aug. 30th, 2009

Прочитанное

Прочитал пару месяцев назад, но вот вспомнил.

John McWhorter, "The Power of Babel: A Natural History of Language".

Книга о языках: откуда они берутся, как развиваются и т.д. -- для любителей.

Уже с первой главы очень много интересного -- как происходят грамматические и звуковые изменения, объясняется, почему языки вовсе не образуют дерево (как биологические виды), почему стоит рассматривать как основные единицы диалекты, а вовсе не языки, и т.д. Некоторое внимание уделяется мифам вроде "у эскимосов 100 слов, означающих разные типы снега" или "культура определяется языком".

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

Собственно, прочитал я эту книгу уже пару месяцев назад, а вспомнил потому, что [info]dgri навёл меня на лекцию Зализняка про новгородские берестяные грамоты, где он рассказывает в том числе и об истории восточно- и северно-славянских языков.

Aug. 28th, 2009

Социальное

Интересная статья: Демографическая демодернизация и алкоголизация России.

Пара графиков оттуда:





Хотя аргументы о том, что алкогольный фактор -- главный, кажутся не совсем убедительными из-за отсутствия данных об употреблении алкоголя в период роста продолжительности жизни (т.е. до 1970 г.)

via [info]marco____polo

Aug. 27th, 2009

На правах рекламы

Польза от знания функционального программирования на практике.

Aug. 26th, 2009

Прочитанное

[info]alexy7742 навёл меня на «Труды по НЕматематике» В.А.Успенского (несмотря на расширение pdf, ссылка ведёт на содержание книги, откуда можно и скачать). Книга отличная, особенно понравились статьи «Невтон — Ньютон — Ньютон, или Сколько сторон имеет языковой знак?» и «Почему на клетке слона написано «буйвол». Наблюдения о словесных квипрокво (подменах текста) и их причинах».

Aug. 25th, 2009

Историческое

На мое исследование я получил «рецензию». В свете моих тем я считаю ее преступной, к тому же она груба и не является научной: она полна все тех же пороков старых школ. Рецензент и сам считал свою рецензию безответственной, ибо он старательно стер свое имя.
...
Говоря о «Государстве Русском» нахожу, что вообще нет оснований отрицать такую государственную формацию, ибо в тот же период существовали: Древний Египет, Мидийское, Вавилонское, Хеттское и др. государства.
...
То, что принимают и выдают за имя «Гомер» и что в подлинной записи гласит: «Оме-Рос-Илиас» в переводе звучит, как «оглавление» — «Песнь Русская Илиада». И поскольку русские войска, Ахилл, Патрокл, Ахейцы-Мирмидоняне являлись решающею силою судьбы Трои, я свое чтение считаю бесспорным.
...
Полагаю, что ЦК ВКП(б) правильно разрешит поставленные мною вопросы, не полагаясь на «рецензентов» и их пособников. Одновременно полагаю, что учебные пособия по истории древнего периода и по истории древней литературы будут очищены от указанных недостатков.


via [info]ist_freaks_ru

Aug. 24th, 2009

Как А.Д. Сахарова не выгнали из АН СССР

Когда А.Д. Сахаров в 1979 году резко осудил временный ввод ограниченного контингента советских войск в Афганистан, терпение высшего начальства лопнуло. Была организована полномасштабная травля отщепенца. Рабочие и колхозницы, академики и деятели культуры во всех СМИ клеймили опального атомщика. Его лишили всех правительственных наград и отправили в ссылку в Горький. Но академиком он оставался, что, конечно, не порядок.

По этому вопросу был собран президиум АН СССР с участием заведующего отделом науки ЦК КПСС. Он и объяснил уважаемым ученым, что академик Сахаров – большая сука, и ему не место в нашей советской академии. Обсуждение проходило примерно так:

А.П. Александров (президент АН). – Какие будут вопросы?

Кто-то – А что известно насчет прецедентов?

П.Л. Капица – С прецедентами плохо. Более того, люди, прославившиеся своей антинаучной деятельностью, например Т.Д. Лысенко, до конца жизни оставались академиками. Но один прецедент все-таки был. Нацисты в 1933 году выгнали Эйнштейна из Прусской академии наук.

После этого собрание тихо разошлось. Уж больно яркая была аналогия.

Источник: Заметки о Капице Бориса Думеша (via [info]vudz )

UPD: [info]bravit подсказал, что прецеденты всё-таки были, и присутствующим наверняка были известны. К его ссылке http://russcience.euro.ru/status.htm добавлю ещё www.iem.ac.ru/~kalinich/rus-sci/old/repress.htm.

Aug. 22nd, 2009

Более сильный аргумент против принципа познаваемости

В принцип познаваемости вместо Фитчевского "p и не известно, что p" можно подставить "p и никто никогда не узнает, что p". Например, p может быть "на глубине 50 метров умерла бактерия".

Aug. 21st, 2009

Социальное

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

via [info]allan999 

Aug. 20th, 2009

Подход к решению парадокса познаваемости

Вынесено из комментариев к http://vic-gorbatov.livejournal.com/8026.html и расширено.

Парадокс познаваемости — известный парадокс в логике знания. Его можно сформулировать так: «Если всякую истину в принципе возможно узнать, то все истины уже известны».

В чём заключается парадокс )
Моё решение парадокса )
При сравнении с решениями, рассмотренными в SEP, моё подпадает под раздел 4. Но насколько я могу судить, приведённые там возражения к нему не применимы.

Буду рад комментариям. Особенно если кто-нибудь может сказать, почему это неправильно :)

UPD: П' можно упростить до α:(p→◊K(α:p)). Шаг 2 изменяется соответственно, остальное доказательство не меняется (только β на шаге 3 вводится свежее). Следующий вопрос -- можно ли усилить дальше до (α:p)→◊K(α:p) (с моей точки зрения, это существенно более сильное утверждение, чем разумное понимание принципа познаваемости)?
UPD 2: Да, можно. Модель построил, непротиворечивость доказал.
UPD 3: Важное уточнение. K — это не просто «известно, что». Там есть кванторы «существуют субъект x и момент времени t такие, что x в момент t известно, что». По крайней мере в книге Квэнвига по этому парадоксу именно так и у него ясно сказано, что с фиксированными временем и субъектом парадоксов нет.

Aug. 18th, 2009

Оригинальные курсы по Haskell и Erlang

Learn You a Haskell for Great Good! Курс по Haskell с картинками. Ещё не закончен, но то, что есть -- вполне неплохо.
Learn You Some Erlang for Great Good! Автору так понравился Learn you a Haskell, что он решил сделать то же самое, но для Erlang. Пока есть только начало.

Aug. 17th, 2009

Программистский юмор

Жена посылает программиста в магазин: «Купи пачку масла. И ещё яиц посмотри — если есть, купи десяток.» Программист возвращается с одиннадцатью пачками масла и говорит: «Яйца есть.»

via [info]maradydd 

Большая коллекция шуток на Stack Overflow: http://stackoverflow.com/questions/234075/what-is-your-best-programmer-joke

Tags:

Aug. 12th, 2009

Microsoft запретили продавать Word 2007

Согласно статье на CNET, i4i утверждает, что у них есть патент на создание новых тэгов в XML. А это -- текст патента. Я его не совсем понял, но вроде бы там сказано другое.

Aug. 6th, 2009

О Газпроме, распиле, и об уголовном деле

http://navalny.livejournal.com/387047.html

Aug. 5th, 2009

Перепост

http://bomelf.livejournal.com/61143.html

Jul. 31st, 2009

Интересная презентация: чего не надо делать в SQL

и как исправить эти ошибки )
Tags:

Старый xkcd




У дверей стоят три стражника. Один всегда лжёт, другой всегда говорит правду, а третий убивает людей, задающих каверзные вопросы.

(Это ловушка для сбегающих логиков. К выходу не ведёт ни одна из дверей.)

Новый ЕГЭ по математике?

http://www.polit.ru/science/2009/06/24/math.html (найдено via [info]ulysses4ever)

В сентябре 2008 г. была создана рабочая группа во главе с главным редактором Российского общеобразовательного портала Алексеем Львовичем Семеновым, в которую вошли профессора МГУ, учителя московских школ и из регионов (в т.ч. и И. Ященко), выпускники школ-медалисты. Ее задачей стала разработка новой концепции ЕГЭ по математике. Новый проект был апробирован на больших массивах школьников (50-80 тыс. чел.) и, скорее всего, будет принят принят в качестве основной концепции ЕГЭ по математике 2010 г.

В этой концепции не предусмотрено задач с multiple choice (выбором ответа из предложенных вариантов), ответ на которые для многих школьников сводился к подстановке предложенных ответов в условие задачи. Сокращено и само число задач, теперь их будет 18 (12 задач из «школьной» части – достаточно простых задач на базовый уровень знания математики и 6 задач из «вузовской» части – более сложных). Увеличится доля задач по геометрии.

Звучит хорошо, но что из этого получится, посмотрим.

Вообще на polit.ru пишут много интересного.

Jul. 14th, 2009

SmartLogic

Среди читателей моего журнала из Зеленограда кто-нибудь пользуется услугами провайдера SmartLogic (www.sll.ru)? Что можете сказать о качестве связи, скорости, работе техподдержки и т.д.?

Jul. 13th, 2009

Новое сообщество

[info]ebaniy_styd. К сожалению, недостатка в материалах не предвидится.

Jul. 11th, 2009

Историческое

"В день памяти апостолов Петра и Павла в районе железнодорожной станции Прохоровка на линии Белгород-Курск произошло самое крупное танковое сражение Второй мировой войны"

(Мясников А.Л., Хроника человечества. Россия.)

Источник: http://velobos.livejournal.com/186476.html

Jul. 10th, 2009

Социальное

Преподаватель в вузе, кандидат социологических наук, проводит соцопрос среди студентов. Результаты: 33% из них поступили в институт за взятку. 97% давали взятки во время учёбы.

Сообщает о результатах опроса начальнику института. На него начинают внутреннее расследование и запрещают проводить социологические исследования в вузе вообще.

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

Вуз называется: Тюменский юридический институт МВД.
Предмет, который преподавал Грошев: профессиональная этика сотрудников ОВД.

Источник здесь.

Jul. 9th, 2009

Зависимые типы в Скале?!

Я и не знал, что такое там есть. Из статьи Polymorphic Embedding of DSLs:

trait Regions {
...
type Region
...
}

def program(semantics : Regions) : semantics.Region = ...

Как видно, возвращаемый тип зависит от аргумента. Это, конечно, не полные зависимые типы, но само по себе весьма неслабо. Насколько понимаю, это пока экспериментальная фича...

Jul. 8th, 2009

Don't Repeat Yourself

Два хороших, по-моему, применения принципа DRY на C#.

1. Как улучшить проверку аргументов и заменить

if (dst == null)
throw new ArgumentNullException(”dst”);

if (src == null)
throw new ArgumentNullException(”src”);

if (dstOffset + length > dst.Length || dstOffset < 0)
throw new ArgumentOutOfRangeException(
“dst, dstOffset, length”,
string.Format(”dst range is not within bounds, ({0} + {1}) > {2}”, dstOffset, length, dst.Length));

if (srcOffset + length > src.Length || srcOffset < 0)
throw new ArgumentOutOfRangeException(
“src, srcOffset, length”,
string.Format(”src range is not within bounds, ({0} + {1}) > {2}”, srcOffset, length, src.Length));

if (length < 0)
throw new ArgumentOutOfRangeException(”length”, “length must be >= 0, ” + length.ToString());

на

Validate.Begin()
.IsNotNull(dst, “dst”)
.IsNotNull(src, “src”)
.Check()
.IsPositive(length)
.IsIndexInRange(dst, dstOffset, “dstOffset”)
.IsIndexInRange(dst, dstOffset + length, “dstOffset + length”)
.IsIndexInRange(src, srcOffset, “srcOffset”)
.IsIndexInRange(src, srcOffset + length, “srcOffset + length”)
.Check();

без выделения объектов в случае отсутствия исключений.

2. Как автоматически получить осмысленные сообщения об ошибке в юнит-тестах:
Test.Assert(() => customer.Name != null && customer.Name != “”)
при пустом customer.Name даёт
TestCustomerDefaultPropertyValues failed.  Values are same.  Expected not “”, got “”.  customer.Name != “”

Tags: ,

Jul. 7th, 2009

Good news, everyone!

Microsoft гарантирует свободное использование стандартов C# и CLI под Community Promise (обещанием сообществу). Объявление. Условия Community Promise.

Jun. 30th, 2009

Как не надо искать ошибки в программе

http://zabivator.livejournal.com/332426.html

Тест на механическую понятливость

Правильные ответы: 49 / 70 (70%)

Описание:
Ваш уровень развития общетехнических способностей очень высокий


Результат этого теста довольно для меня неожиданный.

Jun. 25th, 2009

Нормальное переключение раскладки в Emacs

Наконец плюнул и переставил переключение раскладки на Caps Lock, потому что подружить Emacs с переключением на Shift так и не удалось (чтобы он вызывал toggle-input-method, а системный язык оставлял английский). Как это сделать с Caps Lock, описано здесь. Хотя Shift, конечно, удобнее...
Tags: ,

Previous 50

November 2009

S M T W T F S
1234567
891011121314
15161718192021
22232425262728
2930     

Page Summary

Syndicate

RSS Atom
Powered by LiveJournal.com

Advertisement

Customize