дыбр

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

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
17181920212223
24252627282930
31      

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 16th, 2025 06:47 am
Powered by Dreamwidth Studios