дыбр

Sep. 18th, 2014 08:14 pm
juan_gandhi: (VP)
Забыл про вчера еще. Позавчера с работы уходил, попалось на глаза название японского города - Иизука.

В самолете открываю Басë (по-английски), и первое слово мне встречается - Иизука. Шо это было. Странная рифма, как с Вильямом-Василием.

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

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

Сидел работал. Потом Пол Снайвли с Амандой погнали про типы - это было весело. Куб Барендрегта, шоб народ не пугать, сплющили в таблицу два на два, без омеги.

Я пошел было обсудить с Полом свои типы, но там собрались скальщики, и мы чесали языками про библиотеки, про коллекции, про Пола Филипса и т.д. Да ладно, все равно никто ничего не поймет.

После Снайвли был прикольный рассказ про Идрис. Нормальный язык, чего там, все хорошо. Можно пользоваться.

После обеда пошел слушать про язык Джулия. Там у них один трюк - сделаем, чтоб быстро считалось все. Фортран на jvm, с малтипл диспатчем. И все внимание на детальки; неинтересно.

А меня пробило работать; мы с Чабой договорились большой кусок конфигурации в базу закинуть; код упрощается; ну и я заодно вбросил экстремизма - тип LoginUrl, например; на простой юарэл и залогиниться не дадут; отслеживаем происхождение. Ну и специальный тип для штатов, UnitedStates.State - тоже чтоб не путать строки со строками. Да разве штат - это строка?! У него можно взять первую букву? Его можно разбить на два штата, через пробел? Глупости ж.

Ну короче.

В четыре пошел слушать каких-то упертых лисповцев, которые на емаксе пытались нарисовать объединение двух списков. Это уже третий случай сегодня, когда докладчики объединением озабочены. У Пола с Амандой речь шла об Either, которые они объявили non-disjoint union. Короче, у меня росла решимость больше на эту богадельню не ездить, у нас на Скалабее лучше.

Но в 5 вышел на сцену Вольфрам, тот самый - и понеслась. Вольфрам показывал нам такие штуки... ну как если бы вот вам в 1980-м показали гугл. Можете себе представить. Вольфрам берет с интернета список ВСЕХ ФИЛЬМОВ; их примерно 30 тыс штук (я видел примерно 2 тысячи); берет 30 случайных, по ним берет картинки плакатов, по картинкам берет гистограммы цвета, и все это рисует на графике типа цветового колеса; говорит, можно посмотреть, на каких цветах сидят наиболее прибыльные фильмы (хуле, красный да синий; зеленый никого не интересует).

Берет список всех английских слов с интернетов, примерно 92 тысячи. (Задача на сообразительность: назовите самое последнее слово (отгадка под кутом Read more... )).) Забыл уже, что он с этим делает.

Берет все (?) одномерные клеточные автоматы, рисует их графики, находит особо прикольные.

И так далее. Этот калейдоскоп... да, калейдоскоп - берет картинку с собственной камеры на маке, режет ее на кусочеки, выворачивает, склеивает - все это в несколько команд; теперь его видео идет в нарезке.

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

Это он ищет способы нарисовать что-нибудь интересное с помощью программы размером символов в тридцать.

Вообще-то у них есть страницы демо, там десятки тысяч примеров.

Покажите, например, список утонувших в Атлантике кораблей (понятно, что порядочное количество называется на букву U); тут же рисует расположение на карте.

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

После мероприятия должны были быть еще unsessions, но объявлений нигде не было; мы шли толпой к Юньон Стейшен, я нашел мужика с Тикетфлая, поговорили об их технологиях (Акка, конечно); интересная контора, интересная. Ансейшенов так и не нашел, кроме одной, где какой-то полоумный перлист стал мне впаривать, в сущности, апликативные функторы в перле-6, который нынче не хуже смолтока, говорит. Ну мне сложновато сейчас продать перл, хотя и сочувствую, да.

Пришел в Друри, взял халявного каберне и халявной курочки (ну смотрите, какой отель, а!), сидел жужу читал да ел; каберне еще добавил (happy hour закончился в 7).

Сходил в офис спейс, распечатал себе посадочные талоны на завтра.

Сейчас сижу коммичу уже дико огромный чендж. Все поперефакторил, все по делу. Тесты прошли. Все улыбаются.
juan_gandhi: (Default)
Киселёв сказал.

Это я еду со стрейнджлупа, в Сент Луисе; играет джаз и накрапывает дождик.

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

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

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

Один философ рассказал, что скала олицетворяет слияние аристотелевой философии с сократовской, а венчает всё монада.

И ещё, говорит, джаваскрипт - тоже сократовская вещь.

Потом я пошел в другую аудиторию, на второй этаж, но лестница была забита народом. Это что, - спрашиваю, - на Киселёва очередь? Ага.

Но все влезли.

Киселёв код писал на окамле, но, говорит, мог бы и на си.
Речь шла о правильной ленивости. В качестве примера показывал генерацию палиндромов, распараллеленную и по Монте-Карло. А как результаты кешировать? А он использовал fork, так что в каждом процессе своё значение. А в скале надо бы было threadlocal. А в конце объяснил, что речь идёт о SCM - State Continuation Monad.

Открыл мне глаза. Я уже месяц кык пытался сообразить, как на скале или хаскеле кеш запрограммировать, без варов и без блядских этих threadlocals. А вот как. Ну теперь знаю, остаётся код написать.

Погятно, что Киселёв код писал тут же, по ходу дела, и гонял, распараллеоив и показывая top.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

November 2025

S M T W T F S
       1
23456 7 8
9 1011 12 1314 15
16171819 20 2122
23 24 252627 28 29
30      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Nov. 30th, 2025 07:11 am
Powered by Dreamwidth Studios