Ах да , отпуск ж

напиши пост с ссылкой я прикреплю

Как до работы дойду

ок

29 выпуск скалалаз http://scalalaz.ru/series-29.html

Там же новость про питерский митап.

Может, решили, что пусть она повисит до митапа

Эфир с Олежкой выложили

Где?

Где?

⬆️

вчера митап жеж прошел

это вы еще наш чат с вакансиями не виделИ!

А что там?

это вы еще наш чат с вакансиями не виделИ!

так не чат, а аж канал!

В канале нет флейма, только репост нормально оформленных вакансий, а вот в группе чад кутежа

/toxic

Как говорится

Переплюнем сообщество Эрланга в уровне сарказма!

презентации со вчерашнего митапа: Иван Юрченко, введеение в akka streams - https://drive.google.com/file/d/0B_yxxGEMDEZNVGxKZXNvX1JMcjA/view Илья Мурзинов, Вычисление на уровне типов в Scala - https://ilya-murzinov.github.io/slides/scalaspb2017 Алексей Отц, Перестаём бояться и затаскиваем монады в прод - https://docs.google.com/presentation/d/1PhKz4ZxQjGx1oxlaAeZSPhKhSsPN0pp1Aa-OnoWxEDI/view

видео будут позже

презентации со вчерашнего митапа: Иван Юрченко, введеение в akka streams - https://drive.google.com/file/d/0B_yxxGEMDEZNVGxKZXNvX1JMcjA/view Илья Мурзинов, Вычисление на уровне типов в Scala - https://ilya-murzinov.github.io/slides/scalaspb2017 Алексей Отц, Перестаём бояться и затаскиваем монады в прод - https://docs.google.com/presentation/d/1PhKz4ZxQjGx1oxlaAeZSPhKhSsPN0pp1Aa-OnoWxEDI/view

Классные темы и доклады

Классные темы и доклады

поддерживаю

поддерживаю

Мы кароч на тебя глаз положили, скоро в Питер поедешь)

https://blog.acolyer.org/2017/10/05/hottsql-proving-query-rewrites-with-univalent-sql-semantics/

ага, это походу те же ребята что в Cosette

https://www.edx.org/course/reliable-distributed-algorithms-part-1-kthx-id2203-1x-0 Part 2 will start after Part 1 finishes, on November 29th 2017. The course will use the programming language Scala in the programming assignments.

первую я уж год назад как прошел

вторую они сначала обещали весной, потом летом, щас вот 29 ноября грозятся

и как часть 1?

Да, хотелось бы узнать, что там. >Reliable Distributed Algorithms Но не видно ни расчетов MTTF, failure rates, как вообще описывать SLA или хотя бы прикинуть RTO и RPO для подобных систем\алогоритмов.

Похоже, что придется пройти курс, чтобы узнать ?

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

там чисто теория

бродкаст, консенсус, распределённая память

и упражнения на реализацию поверх библиотеки с примитивами

Обычно видишь статью или доклад, там: SLA мы заявляем такой, вот тут у нас балансировщик, вот тут кэши, тут блю-грин деплоймент, вот тут второй дц со стэндбай и свичи между узлами через циско-продукты. Вот у нас HA и highload. Где HA? где пруфы то...

Типа давайте вероятность выхода из строя посчитаем, обмажем все оборудовние тервером и выдадим что нибудь?

курс то называется Reliable Distributed Algorithms

для конкретных имплементаций и считают с тервером с указанием почему выбраны какие-то коэффициенты такими

да это понятно

это в приложеньках своих обычно уже с готовыми реализациями работают и не знают деталей

и вопросов не вызывает

Да, MTTF и FR чуть-ли не прямо показывают что нужно заказывать у вендоров, какие условия прописывать в договорах и т.д. На больших масштабах важно и это

ну вот интересно тогда почитать как амазон например считает

есть ли у них матмодель под все их хозяйство

сколько человек над этим сидит

у них много команд и в 12 зафиксированы примения формальных доказательств

круто

есть где почитать? А то про формальные доказательства, я помню только при разработке ПО для атомных электростанций

Добрый день, подскажите по русской литературе для нубов в скале что можно почитать кроме хорстмана для нетерпеливых?

лампорт, его зачатки видео курса

про Лампорта это Дмитрию, а не про скалу)

http://lamport.azurewebsites.net/video/videos.html

уже 8 лекций, весной только 2 было

Добрый день, подскажите по русской литературе для нубов в скале что можно почитать кроме хорстмана для нетерпеливых?

https://stackoverflow.com/tags/scala/info

есть где почитать? А то про формальные доказательства, я помню только при разработке ПО для атомных электростанций

теория надёжности в универе была

ну я не доучился до этого ж

Кузов?

ну я к тому , что учебник по теории надёжности

Кузов?

этот святой человек

ну да, я как бы и слышал отголоски его предмета, но в жизни никого не видел кто что нибудь бы считал

есть еще такой курс https://www.coursera.org/learn/cloud-computing/home/welcome не сказать что препод блещет скилла учителя и ссылается на пейперы свои в основном, но в целом неплохо для начала

эм

у меня сейчас предмет точно такой

и препод тоже ссылается нонстопом

лол

но он больше про ресурсы, и проблему bin packaging

есть еще такой курс https://www.coursera.org/learn/cloud-computing/home/welcome не сказать что препод блещет скилла учителя и ссылается на пейперы свои в основном, но в целом неплохо для начала

это туфта, проходил, а вот курс Лампорта -- воу-воу

в смысле, что не абы кого) начну смотреть

это туфта, проходил, а вот курс Лампорта -- воу-воу

я не закончил, времени не хватило но читал с пейперами, там более интересно

а видео Лампорта... ну это надо видеть, когда легенда одевается в костюм клоуна

оО

заинтриговал

скаланы, а кто и как мониторит akka streams (метрики по каждому ребру, размер буфера)? смотрю на Cinnamon от лайтбенд и не понимаю как он мониторит стримы

руками складываем в графану

тоже руками складываем

руками ¯\_(ツ)_/¯

Пора писать фреймворк для мониторинга ?

все так когда-то думали

пора но не нам

кому-то пора

Может кто-то сталкивался, есть xml в нем такой кейс тексттексттекст<some value="xxx">data</some>тексттекст

как корректно получить значение value и data

в сторону чего смотреть и читать.

Была мысль какие-то парсеры html поискать, но толи я тупой толи в гугле забанили

Просто регулярками моветон, а другого пути я пока не нашёл.

окружи еще одним тегом

ну или типа того

Что именно?

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

Эта вставка и так окружена.

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

и инфа содержащаяся в data должна быть отражена зависящим от value образом