You are viewing xeno_by

Excelsior - Давайте познакомимся

Jan. 1st, 2020

12:00 am - Давайте познакомимся

Previous Entry Add to Memories Share

Всем привет! Меня зовут Женя или Ксено. Здесь я буду постить свои новые идеи, рассуждения о программировании, события и факты, преломленные через призму моего восприятия. Не знаю даже, чего больше хочу - поделиться своими идеями во славу Мирового Разума, или заодно еще и получить фидбэк, но по ходу дела разберемся.

Коротко о главном. Очень люблю творчество (в моем случае оно находит выражение в программировании). Ищу общения с людьми, которым интересно жить. Хорошо, если вам будет тут интересно, очень хорошо, если что-нибудь пригодится, совсем замечательно, если мы подискассим посты в каментах. Меня можно и нужно называть на "ты". Кроме каментов связаться со мной можно по мылу/гтолку: xeno.by@gmail.com или по скайпу xeno.by. Также, у меня есть профайлы в плюсе, в твиттере и на фейсбуке.

Из интересного:
  1) Мои опен-сорс проекты проиндексированы вот тут: http://projects.xeno.by (некоторые из них описаны в этом ЖЖ: пост про метапрограммирование в C#, пост про Конфлакс),
  2) В аспирантуре EPFL работаю над макросами для Скалы,
  3) В аспирантуре ОИПИ НАНБ работал над Конфлаксом, системой для гетерогенных параллельных вычислений,
  4) Люблю анализировать и оптимизировать wetware - ментальный фреймворк организации сознательной деятельности,
  5) Проверяю на практике идею расширения сознания посредством смены инструментов работы: языка программирования, программного окружения, операционной системы. На этом пути меня порадовал Линукс, я был наповал сражен Емаксом, и смог заменить тотал коммандер на гораздо более эффективный файловый менеджер. Впрочем, через несколько месяцев линукса я вернулся на винду с багажом новых впечатлений и скиллов. А закончилось все тем, что я теперь работаю в макоси,
  6) Расшарил и проиндексировал подборку статей и книжек по программированию (там есть по разным аспектам функционального программирования, метапрограммирования, теории типов и еще много всякого разного, например, набор статеек и слайдов для подготовки к собеседованию по алгоритмам).
  7) Собрал заметки по переезду в Лозанну: как привезти баблос, как сделать мобильный интернет, как снять жилье, о резиденс пермите и всякое разное остальное.

Через меня можно задать вопросы команде разработчиков Scala. Сразу отмечу, что непонятки по синтаксису и функциональности лучше отправлять на stackoverflow или в почтовую рассылку - там на них весьма быстро ответят люди более опытные, чем я. С другой стороны, открытые вопросы и предложения (вроде, например, вот такого или вот такого) можно запостить и сюда. Так как я нахожусь географически недалеко от Мартина и других участников Scala Team, то у меня есть дополнительная возможность обсуждать с ними сабжевые вещи. Не стоит ожидать чудес, но обещаю делать все, что смогу.

Правила бложека:
  1. Матерные слова постить не стоит, неадекват буду удалять.
  2. Как и все люди, я люблю и уважаю свое личное мнение, но еще больше я уважаю Мировой Разум (нравящаяся мне метафора, обозначающая истину и стремление к ней). Поэтому, все каменты обещаю рассматривать предельно адекватно и регулярно отписываться.
  3. Мне интересно постить не ссылку на какой-то факт или явление, а свое собственное восприятие этого факта/явления. Поэтому, кстати джинсы здесь не было и никогда не будет.
  4. Вылизывать речевые обороты до состояния классического русского языка я не буду ибо это разрушит суть журнала - ненапряжно поделиться своим мнением. Впрочем, матерные слова я юзать не собираюсь.

Tags:

Comments:

[User Picture]
From:huper_by
Date:November 9th, 2009 12:50 pm (UTC)
(Link)
по поводу шаринга идей и фидбэка..

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

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

Ну ты понел, какая популярнейшая лурк-цитата отлично характеризует все здесь происходящее)
(Reply) (Thread)
[User Picture]
From:alexey_rom
Date:September 10th, 2011 02:09 pm (UTC)
(Link)
Насчёт пункта 4: Less Wrong знаете?
(Reply) (Thread)
From:(Anonymous)
Date:September 16th, 2011 06:27 pm (UTC)

Красиво

(Link)
Красиво сказано
(Reply) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 02:58 pm (UTC)
(Link)
У меня, кстати, вопрос, почему в Скале if/else организованы как тернарный оператор, а не через монаду Option? Ведь совершенно естественно функцию сделать
if: Boolean -> X -> Option[X],
возвращающую второй аргумент, если первый True, и None в противном случае, и назвать Option'овский getOrElse просто else?

И ещё вопрос, почему мейби-монада называется Option, а не Optional.
(Reply) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:03 pm (UTC)
(Link)
По поводу этимологии спрошу как-нибудь у народа. Насчет ифа я подозреваю просто по инерции, зато сейчас можно сделать вот так: http://jsuereth.github.com/sips/pending/uncluttering-control.html.
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:05 pm (UTC)
(Link)
В этой статье предлагается тоже вот такое инерционное решение. Предлагают зачем-то делать дополнительные кейворды вместо того чтобы наоборот убирать существующие и заменять их вещами, которые можно определить средствами языка.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:06 pm (UTC)
(Link)
А как тогда убрать скобки вокруг условия ифа?
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:10 pm (UTC)
(Link)
1) А зачем их убирать? Мне они визуально очень даже нравятся.
2) Дык if просто должен принимать два аргумента: условие и значение. Как это пишется?..
def if(cond: Boolean)(x: Any): Option[Any] = old_if (cond) Some(x) else None,
или вроде того.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:14 pm (UTC)
(Link)
То, что надо убирать скобки, сказал Сам Мартин. Мне лично вообще без разницы =)
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:16 pm (UTC)
(Link)
Я весьма верю в его интуицию, он крут, но все эти промежуточные then и do терпеть ненавижу.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:20 pm (UTC)
(Link)
Возникает много вопросов. Не сделать ли Option[T]? Почему if без else возвращает опшен, а c else - anyval? Как сделать так, чтобы можно было написать "if (foo) bar"? Если не влом подумать над мелочами и оформить мысли в письменном виде, Скала тебя не забудет =)

Плюс, для полноты изложения, отмечу, что x должен быть by-name параметром (вроде, это записывается как x: => Any), впрочем, на смысл это не влияет.
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:23 pm (UTC)
(Link)
Да. Так как написано неоптимально, надо доработать. Подумаем и напишем.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:27 pm (UTC)
(Link)
Большое спасибо! Как раз sorhed к нам во вторник приедет на скала-митинг и толкнет идею =)
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:44 pm (UTC)
(Link)
Я бы как-нибудь разок тоже с огромным удовльствием заехал. Думаю, нашлось бы что обсудить. Про те же стрелки, экзотические системы типов для учитывания эффектов, экзотические системы типов, статически проверяющие корректность доступа к ресурсам и корректность multi-actor-systems, о которых я некоторое время назад пытался общаться с Пейтон-Джоунсом и МакБрайдом.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:50 pm (UTC)
(Link)
Дык, конечно! Всегда рады =)
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:51 pm (UTC)
(Link)
>>экзотические системы типов для учитывания эффектов
Крайне интересно будет узнать.
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 04:02 pm (UTC)
(Link)
Есть такая статья Коннора Макбрайда "Kleisli arrows of outrageous fortune" от марта сего года, которая показывает, как интегрировать в систему типов Хоаровы тройки, мне показалось, что это прекрасный чистый способ интегрировать в типы аннотации управления ресурсами (как в языке Vault, к созданию которого приложил руку Пейтон-Джоунс). Вообще использование стрелок вместе с зависимыми/экзистенциальными типами позволяет кодировать пурым образом самые разные подходы к эффектам и контролю управлением ресурсами от легковесных до филигранных.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:October 15th, 2011 03:08 pm (UTC)
(Link)
Вообще, идея хорошая, но сейчас нет возможности подумать над воплощением. Было бы круто, если бы ты запостил свои мысли в каментах к пропоузалу.
(Reply) (Parent) (Thread)
[User Picture]
From:sorhed
Date:October 15th, 2011 03:18 pm (UTC)
(Link)
Не «у меня», а «у нас». :)
(Reply) (Parent) (Thread)
[User Picture]
From:akuklev
Date:October 15th, 2011 03:20 pm (UTC)
(Link)
Это правда. Мы только что в гтолке обсуждали.
(Reply) (Parent) (Thread)
[User Picture]
From:d_e_n_o_m
Date:November 1st, 2011 10:16 am (UTC)

Nemerle, макросы, GPU

(Link)
Женя, а ты слышал про Библиотеку NUDA (nuda.sourceforge.net) - пишешь на Nemerle, и код транслируется в CUDA при компиляции.
(Reply) (Thread)
[User Picture]
From:xeno_by
Date:November 1st, 2011 10:29 am (UTC)

Re: Nemerle, макросы, GPU

(Link)
Да, мы недавно общались с автором. Было очень полезно узнать, по каким граблям макросистемы Немерле он походил, когда писал эту библиотеку: http://www.rsdn.ru/forum/nemerle/4220330.flat.aspx.
(Reply) (Parent) (Thread)
[User Picture]
From:prostokrasotka
Date:January 16th, 2012 11:33 pm (UTC)
(Link)
Привет! Меня тоже зовут Женя. Я из Mountain View, California. Есть какие-нибудь интересные книжки или статьи про Scala?
(Reply) (Thread)
[User Picture]
From:xeno_by
Date:January 17th, 2012 08:16 pm (UTC)
(Link)
Мне больше всего понравилась книжка Мартина, первый эдишен бесплатно лежит в инете: http://www.artima.com/pins1ed/. Остальное рекомендую читать на stackoverflow, особенно посты феноменального чела http://stackoverflow.com/users/53013/daniel-c-sobral.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:January 17th, 2012 08:23 pm (UTC)
(Link)
Насчет чего-то глубже, чем базовый уровень - все серьезно зависит от твоих целей. Вещи для продакшена посоветовать не могу в силу специфики своей работы.

Из наших исследований (кроме макросов, лол =)) мне очень нравится языковая виртуализация: http://infoscience.epfl.ch/record/150347/files/gpce63-rompf.pdf + другие публикации Тиарка на эту тему: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rompf:Tiark.html.
(Reply) (Parent) (Thread)
[User Picture]
From:prostokrasotka
Date:January 19th, 2012 05:16 am (UTC)
(Link)
Спасибо! Очень интересно)
(Reply) (Parent) (Thread)
[User Picture]
From:pupitroll
Date:February 12th, 2012 12:21 pm (UTC)

Женя или Ксено ...

(Link)
...Зайцев , ТЫ ?!
(Reply) (Thread)
[User Picture]
From:xeno_by
Date:February 12th, 2012 12:46 pm (UTC)

Re: Женя или Ксено ...

(Link)
неа
(Reply) (Parent) (Thread)
From:voyual
Date:March 15th, 2012 12:24 pm (UTC)

LAMP

(Link)
Женя, а можно узнать, собирается ли Мартин в этом году брать новых докторантов? Я поступаю в аспирантуру на осень 2012 (предпочтительный варианта - как раз EPFL/LAMP). Я писал ему письмо, но пока ответа не получил.
(Reply) (Thread)
[User Picture]
From:xeno_by
Date:March 15th, 2012 02:36 pm (UTC)

Re: LAMP

(Link)
Привет! Насколько давно ты писал письмо? Плюс, я могу сам к нему подойти и рассказать про тебя, но тогда мне нужна будет какая-то инфа. Наконец, имей ввиду, что дедлайн подачи документов - 15 апреля (вроде так было в прошлом году), поэтому начинай собирать их прямо сейчас.
(Reply) (Parent) (Thread)
From:voyual
Date:March 15th, 2012 03:43 pm (UTC)

Re: LAMP

(Link)
Я аксепт от EDIC получил уже 15 февраля, но мне не повезло с феллоушипом, поэтому без контракта с лабой я не смогу поступить на их PhD-программу. Мне написали, что все документы переданы потенциальным thesis director-ам и если заявка их заинтересует, то они сами свяжутся. Я решил несколько ускорить события, потому что у меня еще есть заявки в несколько универов в США, куда надо до 15 апреля дать окончательный ответ. Мартину писал в понедельник (12 марта).

В моем случае основная сфера интересов - метапрограммирование в контексте Language Workbenches и Language-Driven Development.


Edited at 2012-03-15 03:44 pm (UTC)
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:March 15th, 2012 03:45 pm (UTC)

Re: LAMP

(Link)
Ага, ясно. А какие проекты ты делал, чтобы можно было показать Мартину? Чем бы ты хотел у нас заниматься? Было бы тебе интересно колбасить макросы?

Edited at 2012-03-15 03:46 pm (UTC)
(Reply) (Parent) (Thread)
From:voyual
Date:March 15th, 2012 05:54 pm (UTC)

Re: LAMP

(Link)
Основной интерес представляют языки и CASE-средства с открытой архитектурой, которые дают разработчику возможность их расширять, комбинировать и переопределять семантику. Макросы сюда хорошо вписываются, особенно учитывая их юз-кейсы в языках типа Nemerle или BOO.
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:March 15th, 2012 06:17 pm (UTC)

Re: LAMP

(Link)
А что про тебя рассказать? Напиши мне на мыло, может (в профиле)?
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:March 15th, 2012 03:47 pm (UTC)

Re: LAMP

(Link)
О а ты к нам случайно на опен дейс не собираешься?
(Reply) (Parent) (Thread)
From:voyual
Date:March 15th, 2012 04:46 pm (UTC)

Re: LAMP

(Link)
Это опен хауз, который 23-24 марта будет? Эх, нет - он же только для тех, кто получил феллоушип от факультета, так что меня не приглашали :(
(Reply) (Parent) (Thread)
[User Picture]
From:xeno_by
Date:March 15th, 2012 04:56 pm (UTC)

Re: LAMP

(Link)
Жалко :(
(Reply) (Parent) (Thread)