You are viewing [info]alexey_rom's journal

Previous 50

Apr. 10th, 2012

Спрошу и тут

Если кто-нибудь пользовался услугами СБ Банка, что можете сказать хорошего или плохого? Интересуют в первую очередь качество работы Интернет-банка, наличие проблем при оплате по картам через Интернет и удобство коммунальных и т.п. платежей. Про banki.ru знаю, что там написано, уже прочитал :)

Apr. 2nd, 2012

Магистратура СПбАУ РАН по информатике, биоинформатике и разработке ПО

Originally posted by [info]edwardahirsch at Магистратура СПбАУ РАН по информатике, биоинформатике и разработке ПО

Уважаемые абитуриенты!

Санкт-Петербургский академический университет Российской академии наук вновь объявляет приём в магистратуру. У нас на кафедре математических и информационных технологий имеется три специализации: теоретическая информатика, алгоритмическая биоинформатика и разработка программного обеспечения. По ссылкам доступны магистерские программы, содержание текущих курсов, и всё-всё-всё.

Среди выпускников кафедры — аспиранты ведущих питерских и зарубежных научных центров (ПОМИ РАН, Penn State University, Stanford University), разработчики программного обеспечения ведущих IT-компаний (JetBrains, Яндекс и пр.).

Для студентов профильных (т.е. технических) специальностей вступительным испытанием является письменный тест по математике и собеседование. Испытание можно пройти в апреле, мае, или июле (нужно выбрать один месяц). На странице приёма имеются примеры возможных вопросов для собеседования.

Подача заявлений и прочие формальные действия для всех поступивших в любом случае будут производиться только в июле-августе.

Если Вы планируете поступать в Академический университет, заполните, пожалуйста, эту форму (она Вас ни к чему не обязывает и мы будем держать её содержимое в тайне!). Это нужно сделать незамедлительно: собеседования начнутся уже совсем скоро. С Вами обязательно свяжутся и назначат дату и время индивидуального собеседования (если вдруг этого не произойдёт, не стесняйтесь напоминать о себе любыми разумными способами - мало ли что). Если у Вас имеются какие-либо вопросы, их тоже можно задавать через сайт (или прямо здесь, но тогда он может быть открыт всем).

Mar. 20th, 2012

Установка Ubuntu (и других Linux?) на мат. плату с UEFI

Сегодня выяснил ценой кучи убитого времени, что при разбиении диска для установки Ubuntu 11.10 на систему с UEFI обязательно нужно создать первый partition типа uefi boot размера >= 200MB . Инсталлятор Ubuntu об этом не предупреждает, по умолчанию его не создаёт, и сообщает об удачной остановке без ошибок. Только при попытке запустить систему после установки появляется чёрный экран с печально мигающим курсором, так как GRUB не устанавливается. Пишу на случай, если кого-то этим от такой же траты времени избавлю :)

Mar. 12th, 2012

Suspension of disbelief

В английском языке есть полезный при обсуждении фантастических (и не только) книг, фильмов и т.д. термин: (willing) suspension of disbelief. Грубо говоря, это временное принятие истинности фантастического допущения. Есть ли аналогичный общепринятый термин в русском языке? Если нет, то как бы его перевести? Мой вариант на данный момент: «подавление неверия» — не очень нравится.

Mar. 9th, 2012

Бесплатные университетские курсы

Наверняка большинство меня читающих уже знают, но на случай, если кто-то пропустил: в прошлом году Стэнфордский университет предложил всем желающим прослушать три своих курса бесплатно по Интернету: Introduction to Artifical Intelligence, Machine Learning и Introduction to Databases. AI и ML были сильно упрощены по сравнению с оригиналами внутри университета, насчёт DB не знаю. Эксперимент прошёл вполне успешно, и в результате в этом семестре такие же классы предлагают аж три организации. По большей части они начинаются в ближайшие недели (хотя некоторые уже начались). Список курсов: http://www.class-central.com/

Jan. 15th, 2012

Фишинг на странице френдленты

Проверил, на данный момент действительно показывается.

Originally posted by [info]msado at post
Внимание, жж взломан, поставлен фишинг

При заходе во френдленту вам показывают экран как бы первой страницы жж и просят залогиниться поновой. Это фишинг, еслы вы это сделаете, то окажетесь по адресу http://ohtoenequ1.getenjoyment.net/index.php который собственно и собирает логины с паролями. Бегом менять пароль, если вы попались на этот праздник

И передайте дальше СРОЧНО

Jan. 14th, 2012

Верится, конечно, слабо

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

via [info]ailev

Jan. 1st, 2012

Сервис для скачивания научных статей

http://sci-hub.org/ (зеркало на http://sci-hub.site50.net/)

Это не просто обёртка над Google Scholar, как кажется с первого взгляда, а доступ к полному тексту многих недоступных на страницах авторов статей через прокси в университетах. Ссылка найдена здесь, так что большое спасибо [info]sergey_adept и [info]stelazin.

Всех с Новым Годом!

Sep. 29th, 2011

Непейвода есть в ЖЖ!

Сегодня случайно узнал, что у Н. Н. Непейводы есть аккаунт в ЖЖ: [info]nepejvoda_n_n

Apr. 2nd, 2011

Впечатления от PRS-350

Где-то месяц назад купил ридер Sony PRS-350 на замену Pocketbook 301+. Конечно, размер — большое преимущество. Отсутствие карт памяти и поддержки большей части форматов книг мне были известны заранее. Но вот чего я не ожидал: заряда хватает на чтение только 2-3 небольших книг; в целом перелистывание не быстрей, чем у старого Покетбука, а периодически задерживается в несколько раз дольше, чем обычно; большой разницы в контрасте я при чтении просто не замечаю, несмотря на то, что это главное преимущество новых экранов.

В общем, если выбирал бы ещё раз — попробовал бы новый PocketBook. Несмотря на его огромные поля :)

Feb. 16th, 2011

История метафоры «Весь мир — театр»

От Пифагора до Пастернака: http://davidaidelman.livejournal.com/919767.html

Jan. 21st, 2011

Эрланг в Яндексе

В Яндексе используют Эрланг, оказывается. Вот вакансия: http://habrahabr.ru/job/3829/ Чем больше, тем лучше.
Tags: ,

Программа «Доступный Microsoft Office 2010 студенту и преподавателю»

OpenOffice меня достал окончательно, и решил в кои-то веки купить лицензию на MS Office. Для студентов и преподавателей есть специальная цена на http://ms.allsoft.ru/. Купил, но с таким запутанным процессом получения оплаченного при электронных покупках сталкиваться мне ещё не приходилось :) Точно не считал, но перейти пришлось примерно по 10 различным ссылкам.

Jan. 5th, 2011

«Как я охранял природу»

Святослав Логинов пишет в своём ЖЖ в том числе воспоминания о временах СССР. Рекомендую прочитать хотя бы последние четыре поста: «Как я охранял природу».

Jan. 1st, 2011

Всех с наступившим Новым Годом!

C праздником вас и чтобы у всех всё было хорошо!

Dec. 22nd, 2010

erlang-sqlite3

Для одного проекта понадобилась библиотека для работы с SQLite 3 из Erlang. Она на GitHub нашлась (автор [info]levgem), но пришлось несколько расширить. Так что вот моя ветка. Главные добавления:

1. Поддержка Windows.
2. Параметризованные и подготовленные запросы.
3. Правильная работа с целыми числами, не вмещающимися в 32 бита.

Конечно, нужно ещё добавить тестов...
Tags: ,

Dec. 4th, 2010

«Сага о Форкосиганах» в оригинале бесплатно

Одна из моих любимых научно-фантастических циклов — «Сага о Форкосиганах». Так вот издательство Baen выложило CD-ROM, прилагаемый к последней книге в цикле и содержащий весь цикл (кроме Memory :(, скорее всего по ошибке). И вообще, если хотите почитать фантастику по-английски, советую посмотреть на Baen Free Library

Nov. 28th, 2010

Психологическое исследование о проблемах качества высшего образования

Случайно увидел ссылку на этот опрос, и думаю, что некоторым из моих френдов тоже может быть интересно :)
Tags:

Беспамятная собака

Вспомнил, что вопрос, только что заданный в "Что? Где? Когда?", недавно видел в ЖЖ. Но этого обсуждения не нашёл, а нашёл версию поинтереснее :)

http://zelchenko.livejournal.com/25558.html
http://zelchenko.livejournal.com/25652.html

Nov. 27th, 2010

Выбранная клавиатура

В результате большинство за Natural Ergonomic Keyboard 4000, несколько человек за клавиатуру от Apple, и ещё одиночные рекомендации Razer Arctosa, BTC 6300C, Trust Slimline KB-1450, Trust Isla и Mitsumi Classic. Заказал в Юлмарте NEK4000, обещают завтра привезти. Заодно и посмотрим, как они работают... И буду надеяться, что эта клавиатура продержится долго.

Клавиатура

Придётся менять клавиатуру, эта на ладан дышит :( Раньше мне очень нравились Microsoft Natural Ergonomic 4000, но несколько сломались почти подряд. Как у них в последнее время с качеством, кто-нибудь брал?

Nov. 16th, 2010

Ещё насчёт теста по чтению эмоций

Милена Попова заметила интересную вещь насчёт соотношения мужских и женских выражений лица в тесте из прошлого поста.

Nov. 14th, 2010

Тест на распознавание выражения лица

via [info]macroevolution

У меня 32 из 36. Что, гм, несколько удивительно, поскольку в жизни удаётся понять, о чём люди думают и чего хотят, довольно редко :)
Tags:

Nov. 9th, 2010

Престижная премия Пифагора?

Читаю новости: "Математическая Премия Пифагора присуждена российскому ученому". Всё бы хорошо, но что это за премия такая? В Гугле по "pythagoras prize" находится только этот самый Сергеев и несколько лауреатов премии за популярные книжки по математике. Может, она как-то по-другому правильно называется?

Oct. 30th, 2010

Лучший фантастический рассказ в истории

Рассказ в Nature (на английском).

Ох, давно ничего не писал...

Нужно возвращаться потихоньку :)
++age;

Jul. 4th, 2010

Документация .Net

Странное у Microsoft понимание о нехватке памяти: If the file does not have a valid image format or if GDI+ does not support the pixel format of the file, this method throws an OutOfMemoryException exception.
Tags:

Jun. 21st, 2010

QuviQ выпустил бесплатную версию QuickCheck

Официальное объявление. Теперь нужно смотреть, достаточно ли там всё просто, чтобы просить студентов писать на нём тесты...

UPDATE: А только что объявили об очередной вариации на тему: http://github.com/manopapad/proper Кроме того, уже некоторое время назад появился http://github.com/krestenkrab/triq от автора Erjang (реализации Erlang на JVM).
Tags: ,

Jun. 20th, 2010

Реклама

Фанфик про то, что могло бы случиться, если бы Гарри Поттер вырос в семье профессора, имел мозги и умел ими пользоваться: Harry Potter and the Methods of Rationality.

UPD:
И ещё одна новелла Юдковски, которая в своё время меня впечатлила, необычная вариация на тему Первого контакта: Three Worlds Collide.

Jun. 19th, 2010

Представление списков в ФП

Возник такой вопрос. Как устроены cons-списки, большей части читающих известно :) А мне сейчас пригодилось бы неизменяемое представление списков в неленивом функциональном языке с хвостовой рекурсией, которое хорошо поддерживает две операции:
1) Конкатенацию (и как частный случай добавление элементов в начало и конец списка). Желательно хотя бы амортизированное O(1), O(log N) тоже сойдёт.
2) Итерацию от начала к концу. Без переполнения стека, независимо от того, как строился список.

Вот из-за второго условия простые conc-списки меня не устраивают, нужно какое-то балансирование. И чем проще, тем лучше.

Благодаря наличию хвостовой рекурсии направо деревья могут расти спокойно, главное, чтобы не росли налево.

Известные мне варианты:
1) Vector в Clojure и Scala. Хорошо добавляет элементы в конец, плохо в начало.
2) 2-3 finger tree (например, Data.Sequence в Haskell). Сложная схема балансирования и, как результат, великоваты постоянные множители у асимптотик (хотя жить можно).

UPDATE: Simple Confluently Persistent Catenable Lists и Purely Functional, Real-Time Deques with Catenation.

Jun. 12th, 2010

Опять об Фитча

Из принципа познаваемости следует существование разумной жизни во всех возможных мирах. Доказательство:

1 будет обозначать тождественную истину

K1 = "кто-то когда-то знает тождественно истинное утверждение". Это истинно в мире α тогда и только тогда, когда его истории есть разумная жизнь.

Kp → K1 ("если в мире кто-то что-то знает, то он знает тождественно истинное утверждение") примем за аксиому.

Рассиотрим такой мир α, где разумной жизни нет. Тогда в нём истинно

1) ¬K1
2) ◊K¬K1 (из 1 по принципу познаваемости)
В каком-то достижимом мире β верно
3) K¬K1 (из 2 по семантике возможных миров) То есть в этом мире есть кто-то, что-то знающий.
4) ¬K1 (из 3 по корректности знания)
5) K1 (из 3 по аксиоме Kp → K1)

Пришли к противоречию. По-моему, это позволяет локализовать проблему вполне чётко: пункт 2 должен говорить, что в мире β мы знаем, что в α нет разумной жизни; а вместо этого получается, что мы знаем, что её нет в β.

Jun. 6th, 2010

О школьном бюджете

Все, наверное, видели копипасту про то, что скоро "в школах останется три бесплатных урока: математика, русский и Закон Божий". Во что пока этот закон выливается на практике, можно прочитать в ЖЖ у [info]xelluin, которая как раз работает бухгалтером в школе-интернате для одарённых детей.

May. 27th, 2010

От Быкова не ожидал

«Надеюсь, вы понимаете, что ничего этого не было? Ведь это бред. Какая в жопу обезьяна? У дарвинизма нет никаких доказательств. Переходного звена нет! Ничего нет!»

UPD: А вот высказывания самого Быкова.

May. 24th, 2010

Последние лабораторные по ФЛП

Домашние задания:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/homework6.txt
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/homework7.txt

Файлы к лабораторной 6:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/control.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/cut.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/database.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/difflists.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/negation.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/op.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/search.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/second_order.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/stack.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab6/var_nonvar.pl

Файлы к лабораторной 7:
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/basic_english.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rec_bad.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rec.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_pronouns_bad.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_pronouns.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_parse_trees.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/english_rules_lexicon.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/abc.pl
http://dl.dropbox.com/u/1814290/%D0%A4%D0%9B%D0%9F/lab7/ast.pl

Лабораторная 7 практически целиком по Learn Prolog Now, лекции 7 и 8, только с той разницей, что разностные списки уже были.

May. 16th, 2010

Опрос по языкам программирования

David R. MacIver проводит большой опрос насчёт того, какой язык лучше для каких целей. Думаю, найдутся те, кому будет интересно поучаствовать.

UPDATE: В общем, людям не понравилось. Но тем не менее, ответов набралось достаточно много, и результаты уже можно посмотреть.

Apr. 19th, 2010

5 лабораторная по ФЛП

Слайды
Домашняя работа

Apr. 15th, 2010

Степанов в Москве!

Степанов (один из двух главных авторов STL, автор замечательной книги Elements of Programming) проведёт в офисе Яндекса два доклада: 19 и 20 апреля.

К большому сожалению, на первый я не успеваю :( А вот на 20 уже записался.

Apr. 10th, 2010

(no subject)

Несколько интересных багов в Java: http://blog.cr0.org/2010/04/javacalypse.html (особенно радует автоматическая установка старой версии JRE). Кто хорошо в этих вопросах разбирается? Может быть, автор ошибается и всё не так страшно...
Tags:

Apr. 8th, 2010

Здоровый образ жизни

От [info] узнал о том, что [info]olegtern планирует в конце апреля провести интернет-курсы по здоровому образу жизни с большим объёмом практических занятий (подробности, программа и стоимость -- по ссылке).

По его журналу ясно, что он много об этих вопросах знает и охотно делится своими знаниями. Так что я для себя решил, что стоит попробовать.

Apr. 1st, 2010

Две ссылки

1. [info]fregimus перевёл «Плач математика» Локхарта.
2. Обращение к президенту РФ насчёт орфанных лекарственных средств

Mar. 30th, 2010

4 лабораторная по ФЛП

Переходим к Prolog.

lab4.txt
homework4.txt
animals.pl
family.pl

Mar. 23rd, 2010

Контрпример Гетье в реальной жизни (ну, почти)

Источник
Как известно, контрпримеры Гетье демонстрируют, с точки зрения многих философов, что истинное обоснованное мнение ещё не обязательно является знанием (хотя эти условия необходимы).

"Философия философии", Уильямсон, стр. 192:
Чтобы лучше донести мысль, я иногда создавал контрпримеры Гетье для моих слушателей. Например, один раз я начал лекцию с извинения за то, что не приготовил слайды в PowerPoint. Я объяснил, что единственный раз, когда я сделал презентацию в PowerPoint, лекция была совершенно неудачной. У слушателей не было причин подвергать сомнению утверждение, так меня дискредитирующее; так что благодаря этому заявлению они приобрели обоснованное мнение, что единственный раз, когда я сделал презентацию в PowerPoint, лекция была совершенно неудачной. Отсюда они корректно заключили, что я ни разу не провёл успешной лекции с использованием PowerPoint. Это их мнение было истинно, но только потому, что я вообще никогда не использовал PowerPoint (и не собираюсь в будущем). Моё утверждение было чистой ложью.

Mar. 22nd, 2010

Третья лабораторная по ФЛП

И последняя по части ФП, со следующей недели начинается Prolog. Текст очень короткий, только по list comprehensions, поскольку про типы я рассказывал на лекции.

Разработка
Задание на лабораторную
streams.erl
diff_list.erl

Mar. 21st, 2010

Теренс Тао о вычислительной теории множеств

http://terrytao.wordpress.com/2010/03/19/a-computational-perspective-on-set-theory/

При этом он допускает счётно-бесконечные вычислительные ресурсы.

Правильно ли я понимаю, что это единственное отличие от конструктивизма и если его убрать, получим хорошую конструктивную теорию множеств?

Mar. 18th, 2010

BitC восстал из могилы

Почти год назад автор BitC закончил работу над проектом и ушёл работать в Microsoft. Недавно он сообщил, что уходит из MS и возвращается к BitC. (Вместо упомянутого в сообщении CLR он сейчас планирует перейти на LLVM.)
Tags: ,

Структура налогов в РФ

в двух графиках.

http://martyshin.livejournal.com/125039.html

Mar. 17th, 2010

Моё любимое решение парадокса неожиданной казни

Формулировка парадокса
Однажды в воскресенье начальник тюрьмы вызвал преступника, приговорённого к казни, и сообщил ему:

* Вас казнят на следующей неделе в полдень.
* День казни станет для вас сюрпризом, вы узнаете о нем только когда палач в полдень войдет к вам в камеру.

Начальник тюрьмы был честнейшим человеком и никогда не врал.
Заключённый подумал над его словами и улыбнулся: «В воскресенье меня казнить не могут! Ведь тогда уже в полдень субботы я буду знать об этом. А по словам начальника я не буду знать день своей казни. Следовательно последний возможный день моей казни — суббота. Но если меня не казнят в пятницу, то я буду заранее знать что меня казнят в субботу, значит и ее можно исключить.» Последовательно исключив пятницу, четверг, среду, вторник и понедельник преступник пришел к выводу, что начальник не сможет его казнить, выполнив все свои слова.

На следующей неделе, палач постучал в его дверь в полдень в среду — это было для него полной неожиданностью. Все, что начальник тюрьмы сказал, осуществилось. Где недостаток в рассуждении заключённого?

Одно из решений

Знание мы будем понимать стандартно: «заключённый знает p» <=> «p есть истинное и обоснованное мнение заключённого».

Обозначим s = "приговор будет в точности исполнен", Ks = "заключённый знает, что s"

Заметьте, что шаг: «В воскресенье меня казнить не могут! Ведь тогда уже в полдень субботы я буду знать об этом.» требует истинности Ks. В самом деле, если заключённый не уверен в исполнении приговора, и его не казнили до полудня субботы, то у него нет оснований полагать, что его казнят в воскресенье, а не (например) в следующий понедельник или вечером субботы. Так что строго говоря, доказано только Ks → ¬s. Из истинности знания мы также имеем Ks → s и Ks → (s ∧ ¬s).

Но само по себе это не противоречие; для противоречия нужно ещё, чтобы Ks было истинно. Это и призвано обеспечить условие «Начальник тюрьмы был честнейшим человеком и никогда не врал.» Но мы видим, что оно эту работу не выполняет: ведь заключённый в результате приходит к выводу, что приговор привести в исполнение нельзя, то есть что начальник соврал!

Значит:
1) приговор может быть приведён в исполнение
2) при этом заключённый не знает, что приговор будет приведён в исполнение

Mar. 14th, 2010

Структурная теория множеств

SEAR (Sets, elements and relations) По-моему, симпатично и достаточно практично (для "нормальной" математики). Мне больше нравится приведённый в конце вариант, где в базовые понятия включены пары и подмножества вместо отношений.

ECTS (Elementary Theory of the Category of Sets)

Mar. 11th, 2010

Откровения Guido van Rossum о функциональных языках

Цитата из Masterminds of Programming:
Python probably has the reputation of supporting functional programming based on the inclusion of lambda, map, filter and reduce in the language, but in my eyes these are just syntactic sugar, and not the fundamental building blocks that they are in functional languages. The more fundamental property that Python shares with Lisp (not a functional language either!) is that functions are first-class objects, and can be passed around like any other object. This, combined with nested scopes and a generally Lisp-like approach to function state, makes it possible to easily implement concepts that superficially resemble concepts from functional languages, like currying, map, and reduce. The primitive operators that are necessary to implement those concepts are built into Python, where in functional languages, those concepts are the primitive operations. You can write reduce() in a few lines of Python. Not so in a functional language.

Перевод:
Считается, что Python поддерживает функциональное программирование, скорее всего из-за включения lambda, map, filter и reduce в язык. Но с моей точки зрения это просто синтаксический сахар, а не основные строительные блоки, которыми они являются в функциональных языках. Куда более фундаментальным свойством, общим для Python и Lisp (который тоже не функциональный язык!), является то, что функции — объекты первого класса, и могут передаваться так же, как и любой другой объект. Это, в сочетании с вложенными областями видимости и в общем близким к Lisp'у подходом к состоянию функций, позволяет легко реализовать возможности, поверхностно напоминающие о таких возможностях функциональных языков, как карринг, map, и reduce. В Python встроены примитивные конструкции, необходимые для реализации этих понятий; а вот в функциональных языках они сами и являются примитивными конструкциями. В Python достаточно нескольких строк, чтобы написать reduce(). В функциональных языках это не так.

Mar. 6th, 2010

Pex

Они это сделали! Я и не надеялся уже, но Pex будет доступен в VS 2010 (и 2008) Pro, а не только в Team Suite.

Для тех, кто не встречался с Pex: это дальний родственник QuickCheck для .Net (в первую очередь для C#). Дальний потому, что аргументы, на которых проверяются свойства, генерируются не случайно, а с помощью анализа тестируемого кода и попытки подобрать значения так, чтобы пройти по всем возможным потокам управления, а потом сохраняются в виде обычных юнит-тестов.

Теперь ещё бы статическую проверку контрактов в VS Pro и будет совсем замечательно.

Previous 50

April 2012

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

Page Summary

Syndicate

RSS Atom
Powered by LiveJournal.com