Данная статья является адаптированной русскоязычной версией моей статьи: Handling fold_left in proofs.Функция fold_left , сворачивающая список, довольно популярна во многих (функциональных и не очень) языках программирования. Она есть и в Haskell, и в OCaml и в Rust. Используется чаще, чем fold_right, вероятно потому, что с ее помощью проще писать эффективный код.fold_left и fold_right из библиотеки OCaml library: List. Читать далее
Всем привет! Меня зовут Владимир Олохтонов, я руковожу командой разработки в отделе Message Bus, который является частью платформы Ozon. Мы занимаемся разработкой самых разных систем вокруг Kafka, etcd и Vault. В этой статье я расскажу о том, как мы строили линейно масштабируемую gRPC-прокси перед Kafka, способную обслуживать миллионы запросов в секунду, используя Go. Читать далее
За время работы в поддержке GlowByte я познала навыки технического менеджмента. Это касается как Agile-проектов, так и support. Были периоды, когда в моей работе преобладало больше менеджерских задач, чем технических: нужно было проводить онбординг проекта, решать критические ситуации…
Каждый год выпускается с десяток новых моделей одноплатных компьютеров. Свежие девайсы представляют как старые и уважаемые фирмы по типу Raspberry Pi, Orange Pi или Banana Pi, так и относительные новички на рынке — Repka Pi, или, например, Lctech Pi. Одноплатники работают на достаточно большом парке…
Привет, Хабр! Меня зовут Люба Руденко. В прошлом году я сменила сферу — перешла из телеком-компании к облачному провайдеру. Прошла тернистый путь новичка испытательный срок и сейчас работаю младшим системным администратором в инфраструктуре облака Selectel. В тексте расскажу о…
Вечерний троллейбус был полон. Невольно я оказался свидетелем разговора двух барышень за моей спиной. Одна из них только что получила сообщение с поздравлением или открыткой, посмотреть которое призывала ссылка из послания. Спустя несколько произнесённых…
Почему необдуманное ковровое покрытие проекта мемоизацией хуже, чем её полное отсутствие? Мемоизация не дешёвая! Она замедляет TTI проекта, поэтому её необдуманное использование может навредить. Давайте разберём пять принципов оптимизации и посмотрим, когда от мемоизации будет
Продолжаем рассказывать о возможностях нашей платформы. Сегодня демонстрируем, как в vStack реализован механизм VM ballooning для освобождения оперативной памяти гостевой ОС и гипервизора. На видео мы разбираем работу механизма освобождения памяти гостевой ОС и гипервизора платформы…
Привет, Хабр! В статье расскажу, как сделать CI-конвейер в домашних условиях и делать простые android-приложения без знаний Java и Kotlin. Читать далее
За последние несколько лет, при работе и разговорах со многими разработчиками, я заметила один повторяющийся шаблон поведения. Он начал меня сильно беспокоить, и я продолжаю постоянно говорить и думать о нем, пытаюсь его понять или даже оправдать.Данный шаблон поведения - это потребление, а не созидание. Потребление без каких-либо вопросов. Потребление прикрывающиеся мнением авторитетов. Читать далее