в стриме повторов нет
привет
пусть по таймеру сама нажимается
Привет!
Сыровецкий, ты что ли?
Это очень личный вопрос, не могу его спрашивать :)
А можно гостю газку поддать?
к сожалению газовую камеру не завезли ;)
у него дети спят. крутите ручки сами )
погоди, сейчас разгонится
У нас соседи спят, кто важнее?
Да нормально всё.
Ок, гостю газу не добавляйте, себе убавьте тогда
я буду шепотом
:)
Python5 да ещё и на Haskell!
Будто в параллельную вселенную попал. ))
Раз в этих фирмах умеют делать правильно и хорошему учат, почему всё что они делают — это говно?
не, не все, есть исключения :)
Да и это несвязанные вещи же. Теоретически в венской опере тоже могут русский шансон исполнять. ))
Это очень печально, что люди, тренированные на поиск закономерности не видят в этом связи
Очень
Все беды в ИТ от этого
Бобук обманывает. Открытие века. :/
Нет, "Бобук не врет" (с)
Кстати, про Haskell. Вот честно, пробовал его учить. Факториал написал, быструю сортировку и прочитал про монады. )) Всё как у людей. Но так и не понял, как его в свою жизнь ввести.
@velikodniy ты мерж сорт на нём напиши и пойми, что никак
и какие проблемы с мерж сортом?
@VyacheslavHashov проблемы в отсутствии мутабельных коллекций
@Barlog-M то есть про хаскелл только слышал где-то? Потому что во-первых, мутабельные коллекции есть. Мерж сорт хорошо работает на иммутабельных структурах
@VyacheslavHashov выходит так.
@VyacheslavHashov когда же он наконец взлетит и на hh.ru вакансии появятся?
@Barlog-M про hh.ru не знаю
взлетит сразу после Скалы, наверное
но до Кложур
У них там расписание?
Аэродром кем-то занят постоянно
План полётов.
Ага. Кто-то взлететь не может и ВПП только занимает. ))
А как сортируют иммутабельные коллекции?
@Barlog-M списки мерж сортом как раз и сортируют
@Barlog-M рекомендую почитать как они устроены, там всё предельно просто на самом деле
Голова-хвост, как везде? Или там внутри как-то иначе?
@sumerman именно в хаскеле?
@Barlog-M теория одинаковая для всего
Fun fact - был в свое время аналогичный проект по трансляции Python в Haskell https://github.com/bjpop/berp
https://www.amazon.com/Purely-Functional-Structures-Chris-Okasaki/dp/0521663504 классическая книга про иммутабельные структуры
@VyacheslavHashov теория чего? Иммутабельных коллекций?
@VyacheslavHashov благодарю
это если интересно, как они работают
@Barlog-M @VyacheslavHashov я бы не советовал сразу с места в Окасаки
Да, кстати, книжка классная! Я оттуда какие-то идеи даже применяю, но вот именно с Haskell у меня что-то вот никак...
@sumerman А что бы советовал?
@sumerman почему? там вроде никакого хардкора нет совсем.
Опа! Перевели даже — http://www.ozon.ru/context/detail/id/135933824/
Вопрос: почему на хаскеле, а не на Си?
я так понимаю типизация нужна? Хотя, может это все, кто из Яндекса ушел, кому не разрешали на хаскеле писать :)
спрошу сейчас ...
просто интересно, какие нечеловеческие преимущества дал хаскель, раз СТО на такое пошёл
или кто там решал
@dbf256 С не безопасный
Да уже, куда проще )))
Rust?
раст не выстрелил
А Хаскелл выстрелил...
Вот Rust — это правильный Haskell!
@VyacheslavHashov не знаю даже, я списки сортировать начинал в районе чтения sicp и не знал тогда про окасаки )
@dbf256 в чём это выражается?
Rust тоже особо гарантий не дает
@dbf256 Rust ещё даже не зарядили толком.
Что-то может быть сложнее чем хаскель?
@velikodniy всё-таки у них цели разные совсем, Rust нужно сравнивать больше с C/C++
@VyacheslavHashov Не, ну с памятью проблем меньше без сборщика мусора. И race condition можно не бояться. Хотя накосячить везде можно.
по своему опыту, писать на Расте труднее чем на Хаскелле
@VyacheslavHashov Ну, само собой. Но когда на Rust пишешь, постоянно какое-то дежавю. Видно, что люди вдохновлялись ещё и им.
@VyacheslavHashov Кстати, а почему труднее?
Гэцэца )))
@velikodniy тут очень субъективно, но кажется, то вещи, которые должны делаться легко, делаются трудно. Но учитывай, что всё-таки на Расте я мало писал и мне могло быть просто непривычно
да, Ivory генерит C-код. Если это Ivory
@VyacheslavHashov Да я тоже мало. И первое время вообще непонятно было, что компилятор от меня хочет. А потом в голове что-то щёлкнуло, и как-то пошло.
браузер просто как пример приложения
@wiz ты тоже в Касперском?
изолированные домены общаются между собой по типизированному IPC с центральным арбитром
я
они же Ivory используют
которая генерит C код типобезопасно
на предыдущем хаскельном митапе был про него Юрин же доклад
EDSL
обычный ленивый хаскель генерит обычный* строгий С
потому что у C строгая семантика
Если бы хаскель был по-настоящему ленивыйм, он бы просто не работал.
- Почему не работает этот хаскельный код?
- Ему лень.
- Ему лень.
:D
разные версии схем скомпилировать не подойдет?
а ля capnproto?
опять же у ivory нет рантайма
и мало вкусных комбинаторов поверх ivory core
блин гость тихо говорит, и это вдвойне плохо, потому что говорит он интересно
при чем тише и тише, похоже
У него дети спят.
ну может поближе к майку переместить себя
откуда оверхед, там 1в1 почти C код выдается
ivory не даст тебе вставить костылики для ускорения своего велосипеда. только верификация, только безопасный код!
SMT solver
вроде нельзя проверить, что программа не зациклится?
тотальность функций не проверяет?
вы спрашивали, как эти штуки называются.
@dbf256 если язык Тьюринг полный, то решить проблему останова нельзя, всё верно
@wiz Картинка там классная. )) https://i.stack.imgur.com/7k8tN.jpg
@velikodniy а потом Isabelle
а там уже и Coq
ivory это язык на котором написан монитор безопасности
но это только часть решения. какие там будут транспорты и средства изоляции уже следующий вопрос
микроядра до самого низа
код то ладно, главное чтобы разработчики энергичные были
писать сайтики на javascript :smile:
в принципе монитор можно сгенерить и для кофескрипта - чтобы контролировать ваши реакт компоненты
или для эрланга
но там же у вас только офис?
PS: мы выгнали тинькова из их модного офиса и теперь у нас два спортзала! приходите писать пролог, си и хаскель
пролог?
говорят go1.8 на 10% медленнее чем go1.7
они обещали починить к 1.9
@gliush то есть правда медленней стал?
да, есть тикет в гитхабе
но там очень сложно
если мерять на приложении, которое делает "hello world"
то разница заметна
но кому это важно? :)
то есть там gc на таких случаях больше оверхеда дает получается?
я не видел, чтобы кто-то однозначно ответил, в чем проблема
а где release notes по 1.8 почитать?
github? :)
погреться в лучах кметта - бесценно. для всего остального есть мастеркард
стоя рядом с ним начинаешь понимать линзы и теоркат
Богатые у тебя друзья
?
они как обычно стоят
Ааа, это ты купил, тогда ок :)
в темы добавил
Они дороже, чем раньше стоили, да и вообще в России с курсом валюты не ок
нет. не я
но обычно компания покупает все равно
просто Apple не очень
а вот возьми эту штуку и начни ожидать что-то чуть более конкретное
Странные вещи вы рассказывает, на iPhone ведь всё ок
софтину у ФСБ нужно спросить)
обеспечивает такие функции, как считывание и запись отпечатков пальцев, обработка изображений, выделение объектов, генерация шаблонов и их хранение, определение совпадения отпечатка с шаблоном, поиск и др.
оно само всё сравнивает
Так и знал
можно вместо звонка поставить на дверь - чтобы спамеры не звонили
глазами сравнивают отпечатки?
А это какой год?)
Пары свинца?
Флюс вредный
дерьмовая вытяжка в китае - легко поверю
про ГМО сказать забыли
Канифоль из ГМО-сосны!
Сомнительная штука. Возиться столько же, сколько и с ЛУТ. А дороже в итоге.
Лучше бы вы про докер
Ну, разве что травить не надо. И блестит.
Программирование от пайки далековато
:))
а что в докере нового в последние времена?
Спиртоканифоль — тоже не самая полезная штука для дыхания. Там более в неё активаторы добавляют. И это не единственный флюс.
$163,044
pledged of $5,000 goal
pledged of $5,000 goal
неплохо
вот про эту историю книженция
спасибо, добавил в шоуноты
и маленький хороший энгрейвер
и маленький хороший плоттер
Там мощный контроллер, кстати.
Можно сделать лампу с http-сервером.
чайник/кофейник
RESTful-чайник
Если меня перелицензировать, то я тоже буду жить вечно?
@velikodniy отличный способ, да. RethinkDB рекомендует!
The main difference between the GPL and the LGPL is that the latter allows the work to be linked with (in the case of a library, 'used by') a non-(L)GPLed program, regardless of whether it is free software or proprietary software.[1
AGPL: you have to allow the source to be downloaded even if you never distribute the binary but do provide a service
я не так расслышал
помню
пускай патреон открывают
переписали код, но стала работать быстрее БД?
там же NOTIFY просто байтстроку отправляет, и нужно самому писать сериализацию/десериализацию
и база крякает часто
Берите всегда посгрес, и новые БД никогда не взлетят, ведь все юзают постгрес
учитывая, что преимущества NoSQL только будут сказываться на аудитории пользователей в несколько миллионов. А стартапам до такой аудитории еще дожить нужно
по-моему они уже несколько лет на Go переходят
@VyacheslavHashov ну... нет. Количество пользователей, характер нагрузки и нефункциональные требования связаны слабо.
приведи тогда пример стартапа, у которого какая-то невероятная нагрузка на одного пользователя
@VyacheslavHashov ван Россум тормозит процесс. Но и он сломается и перепишет Python4 на Go. А Python5 на Haskell
все, кто втащил монгу в продакшн ГОДЫ назад облегчённо вздохнули
всего-то 8 лет прошло
mongo 2.0 - теперь работает!
@wiz там уже версия 3.x
теперь точно работает!
VW-consistency
теперь точно* работает!
А минут 10 назад вы говорили, что всегда лучше брать постгрес
так ничего и не поменялось
Подкаст когнитивного диссонанса
постгрес и сейчас лучше брать
а кубиты можно хранить?
кубиты это про другое
а CockroachDB можно брать вместо постгреса?
Вот так пойдёшь учиться хаскелю и окажется, что выше среднего хаскеллиста тебе не стать и всё, умрёшь с голоду безработным.
Так в казино можно зарабтывать, обсуждали же
а ещё мы начали проводить у себя воркшопы по расту. так то.
что значит воркошпы? бесплатно научите в раст?
а CockroachDB можно брать вместо постгреса?
пока не стоит, но глобально он хороший
среди коллег оказался один из организаторов rustycrate.ru
@sumerman есть надежды, что увидем еще одну хорошую базу?
так если все буду изучать, то зарплаты уменьшатся
не, классно.
так и спрос увеличится
@VyacheslavHashov неа, там пока паузы по 10 секунд, когда лидер дохнет, а в паталогических случаях и по несколько минут cockroachdb/cockroach#13541
приятно слышать, что Хаскель кому-то приносит пользу
Люди учат его во имя добра же!
смех и радость он приносит людям
@rystsov спасибо, у меня про cockroach только совсем общие представления
и настройки privacy разные
это ж знаменитая отсылка к Зефирову
Спасибо вам, пока!