You are viewing alexey_rom

Previous 50

Oct. 30th, 2014

(no subject)

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

Oct. 28th, 2014

Математикам-фрилансерам на заметку.

Originally posted by yantayga at Математикам-фрилансерам на заметку.
В связи с тем, что в НМУ дистанционное обучение ни капельки не организовано и зиждется только на энтузиазме отдельных преподавателей, то есть можно считать отсутствует, а ездить туда мне далековато, то видимо «обычным способом» там учиться не получится[по разным причинам](по инету сдать листочки можно только по геометрии — по остальным предметам преподаватели на емейлы просто не отвечают; лекции выкладываются ну оооочень нерегулярно и, посмотрев первые, к выкладыванию следующих я уже забыл что в первых и их нужно пересматривать, что снижает кпд лекций до плинтуса; конечно можно порешать листочки как получится самому и потом быстренько поехать на экзамены сдавать на авось — но что то не привлекает меня такой вариант), а рубить хвост по частям и надеяться что все само поправится у меня нет ни времени ни желания.
А раз так, то у меня есть предложение работы (или оказания мне безвозмездной помощи :), я ж не откажусь) всем заинтересованным математикам.

Заинтересоваться...Collapse )

Oct. 22nd, 2014

Зимние школы ВШЭ

С 26 января по 6 февраля ВШЭ проводит зимние школы по разным профилям. В первую очередь  для тех, кто хочет поступить к ним в магистратуру, но это не обязательное условие участия :) Цитирую источник:

Коллеги! В зимние каникулы (не-Вышковские) Вышка вновь проводит Зимние Школы для поступающих в магистратуру.
Если у вас есть хорошие студенты 4-5 курсов (еще лучше - аналитически ориентированные), отправляйте их к нам на Школу :)
Поступать в магистратуру потом необязательно, но завязать знакомства и окунуться в среду людей со сходными интересами полезно.

Я почему пишу? С каждым годом все больше заявок от пронырливых студентов, а нормальных - мало. А ведь и преподавателям хочется получать удовольствие от работы на таких школах :)

Oct. 13th, 2014

erlang-sqlite3 1.1.3

После долгого перерыва серьёзно поработал над erlang-sqlite3, исправил несколько утечек ресурсов и добавил поддержку современных версий Erlang. Так что если кто-то использует, рекомендую обновиться.

EDIT: добавил возможность конкурентной работы с несколькими файлами БД (раньше все вызовы сериализовывались в один поток из async thread pool) и выпустил 1.1.4.

Sep. 18th, 2014

Книга по поиску и разрешению проблем в приложениях на Erlang

Автор Learn You Some Erlang for Great Good! написал ещё одну (тоже бесплатную) книгу: короткое (93 страницы) руководство по поиску проблем, отладке и т.д. в работающих приложениях Stuff Goes Bad: Erlang in Anger. Кое-что из этого я знал, но немного.

Sep. 10th, 2014

ICFP и чем я занимаюсь в Huawei

Я вроде обещал написать, когда появятся доступные результаты работы в Huawei. Так вот -- я только что вернулся с ICFP (!), где у нашей команды был доклад на одном из воркшопов. Впечатления потрясающие и от уровня организации, и от докладов, и от людей, которые там были. И от города Гётеборга, кстати, тоже :)

Программа конференции со ссылками на видео и тексты статей (воркшопы -- по ссылке affiliated events, наш доклад -- на Workshop on Generic Programming).

Кроме того, ядро фреймворка, над которым мы работаем, выложено в open-source (документация в docs/manual.md пока сыровата).

Ну и если хотите работать с нами и знаете Scala и/или C++ -- вакансии вроде есть :) Обращайтесь к Александру Слесаренко, только в октябре, когда он вернётся из отпуска.

Aug. 25th, 2014

Результаты очередного цикла

Нет, каждый раз я постить не буду, но вот этим циклом я доволен.

Жим стоя: 67,5*6. По формуле вес*(1+число_повторов/30) получается одноповторный максимум 81, до того лучший был 76.

Становая: 117,5*10 ~ 156,7, было 147,5.

Жим лёжа: 97,5*8 ~ 123,5, было 123,3.

Приседания: 120*8 ~ 152, было 146,5.

Конечно, по сравнению с предыдущим постом можно заметить, что расчётный максимум несколько выше реального в моём случае, но как показатель прогресса подходит.

Aug. 17th, 2014

Запись встречи по ФП

Хотя я в результате на встречу не попал, но оказалось, что запись уже выложена:
Read more...Collapse )
Tags:

Aug. 15th, 2014

И здесь тоже на всякий случай спрошу

Есть ли кто-то, кто 1) идёт завтра на встречу по ФП в Телеграф и 2) хочет развиртуализироваться?

(Ну и на случай, если кто-то хотел бы пойти, но пропустил, имеет ли смысл о таких встречах писать?)

Aug. 7th, 2014

Получил визу в Швецию

на ICFP, но возникло два небольших вопроса:

1. Срок действия: я думал, что дадут или ровно на время конференции (+ день на приезд/отъезд, т.е. 8 дней), как я запрашивал, или на какой-то круглый период (две недели, месяц, год). Дали на 23 дня, из которых там можно находиться 8 дней.

2. На какие деньги живут визовые центры? Сервисный сбор небольшой, народу немного (хотя я был оба раза с утра, да и от сезона зависит). Чтобы на расходах сильно экономили, непохоже.

Конференция по Notepad

Никто не хочет поехать?
Tags:

Jul. 21st, 2014

Семейный портрет

Редкий случай, когда все наши животные сидели рядом достаточно долго, чтобы их сфотографировать.2014-07-18 15.37.41

Jul. 20th, 2014

Результаты очередного цикла тренировок

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

Жим стоя: 65 -> 72,5.
Становая тяга: 108 -> 147,5. Лучше, чем я ожидал, но возможно, просто удачный день.
Жим лёжа: 99 -> 105. Вот здесь явно наоборот, судя по прошлым циклам, более правдоподобный результат 110-115.
Приседания: 126 -> 142,5.

То есть в целом -- неплохо, но можно было бы лучше.

Jul. 14th, 2014

Dreamwidth разблокирован?

Внезапно сегодня заработал Dreamwidth. Это какой-то сбой в блокировке или у всех так?

Dec. 31st, 2013

Всех с наступающим!

Решил запостить заранее, учитывая, как в последнее время работает (а точнее, не работает) ЖЖ. Всем удачи, здоровья и счастливой жизни!

Nov. 26th, 2013

Еще про электронные книги: Логинов

Хотя в комментариях пишут, что сайт всё ещё глючный :( а Логинову можно заплатить и напрямую http://sv-loginow.livejournal.com/58842.html

Originally posted by afranius at Еще про электронные книги: Логинов
Святослав Логинов начал выкладываться на Буксмаркете -
http://booksmarket.org/search.html?q=Логинов&x=26&y=12

Сказывают, они там прогрессируют: заметно поубавили глюков, а главное -- подключили платежи по пейпалу.

Кто любит Логинова -- предлагаю сделать перепост.

Onyx Magellan или Pocketbook Touch Lux

Собираюсь купить ридер с подсветкой. Вроде бы самые интересные модели -- Onyx Boox C63ML Magellan и Pocketbook Touch Lux. По отдельности обзоров и отзывов хватает, но может быть, кто-нибудь уже пользовался обеими и имел возможность сравнить?

Nov. 5th, 2013

Дневник тренировок

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

Oct. 30th, 2013

31

И ещё год прошёл... Главная новость у меня -- новая работа в Huawei Research. Правда, пока оформляюсь -- процесс долгий :)

Oct. 16th, 2013

Пиар

Originally posted by olegtern at Пиар
Хочу поддержать хорошего и, как это не эгоистично будет заявлять, полезного для нас всех человека, не пройдите мимо (пишу учитывая сколько френдов у меня из РФ, а работа этого человека влияет на перспективы трансгуманизма и в целом адекватное отношение к медицине и проблемам старения далеко за ее пределами):

Оригинал взят у m_batin в Голосоване в Минздраве: сделай шаг к бессмертию!

Оба-на! Минздрав устроил голосование за членов общественного совета и там есть моя кандидатура! Голосуйте за меня, и я буду добиваться радикального продления жизни для всех. Перепост - это тоже важно. Голос здравого смысла и рациональности теперь может прозвучать и в Минздраве, но теперь мяч на вашей стороне. Идите по указанной ссылке, нажмите кнопку против моей фамилии (Батин М.А.) и у нас есть шанс ускорить прогресс в медицинских науках. Моя программа проста: генная инженерия долголетия, регенеративная медицина, персональная наука, защита прав пациентов, трансляция достижений науки в медицинскую практику, признание старение заболеванием, внедрение диагностики старения в клиническую практику, обучение врачей, разработка компьютерных программ по типу Ватсона, совершенствование методов диагностики и лечение рака с применением методов секвенирование. Долой болтунов, даёшь меня! Голосуй или проиграешь! https://www.rosminzdrav.ru/health/48/golos

Кто не знаком с деятельностью Михаила почитайте его жж, или фейсбук, можете начать с этого поста.

Sep. 21st, 2013

Ещё один инвайт на хабр

появился (комментарии скринятся) отдан.

Sep. 17th, 2013

ищу verifiable VM/bytecode

Комментарии здесь отключены, комментируйте оригинал :)

Originally posted by wizzard0 at ищу verifiable VM/bytecode
Какие вы знаете безопасные (в смысле статически верифицируемые) виртуальные машины или форматы байткода?

(Также известно как typed assembly, proof-carrying assembler, managed code и такое прочее). Слайды по теме: http://www.cs.umd.edu/class/fall2006/cmsc631/lectures/talpcc.pdf

Я знаю BEAM (проконсультировался, увы, нет) и CLR.
JVM не подходит, потому что существующие формальные модели (http://cseweb.ucsd.edu/~gmporter/papers/formaljvm-ecoop01.pdf) не моделируют permissions, а смотрят только за integrity самого рантайма.

Требования примерно такие:

Level 0 protection: прога доказанно не может развалять рантайм (с этим проще всего, любой гипервизор или ОС на процессоре с MMU и ring levels подходит), на OOM, slowloris и прочее пока забьем для упрощения.

Level 1: прога доказанно не может развалять соседнюю прогу, иначе как через API (браузеры, JVM, dalvik, nacl, linux/bsd/windows/android итд итп)

Level 2: есть прога, из trusted library + untrusted code, антрастед код может звать методы из трастед либрари без оверхеда на IPC но доказанно не может обойти проверки, встроенные в них, даже если трастед лайбрари делает колбэки в untrusted код (CLR)

Level 3: в общем случае, можно навесить constraints на код, в виде security capabilities, и статически показать, что этот код будет доказанно их придерживаться (F*?)

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

This entry was originally posted at http://wizzard.dreamwidth.org/307154.html. It has comment count unavailable comments. Please comment there using OpenID.

Sep. 15th, 2013

Фейнмановские лекции по физике

Теперь официально в открытом доступе (на английском, понятно).

Sep. 14th, 2013

Инвайт на Хабр

Нужен кому-нибудь? Отдан.

Oct. 30th, 2012

alter alexey age (+ 1)

Конечно, до настоящего юбилея ещё 2 года :)

Apr. 10th, 2012

Спрошу и тут

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

Apr. 2nd, 2012

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

Originally posted by 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 msado at post
Внимание, жж взломан, поставлен фишинг

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

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

Jan. 14th, 2012

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

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

via ailev

Jan. 1st, 2012

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

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

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

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

Sep. 29th, 2011

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

Сегодня случайно узнал, что у Н. Н. Непейводы есть аккаунт в ЖЖ: 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 нашлась (автор 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 macroevolution

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

Nov. 9th, 2010

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

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

Oct. 30th, 2010

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

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

Previous 50

October 2014

S M T W T F S
   1234
567891011
12131415161718
19202122232425
262728293031 

Page Summary

Syndicate

RSS Atom
Powered by LiveJournal.com