Stanford - Web Security

Курс Stanford по защите веб-приложений. Включает в себе видео, слайды курса, материалы для чтения и задания. Для практических упражнений курс предлагает проекты по написанию эксплойтов безопасности, защите небезопасных веб-приложений и внедрению новых веб-стандартов.

https://web.stanford.edu/class/cs253/

#web

Тут Dragonfly из песочницы CNCF в инкубатор взяли. Теперь проект соседствует с такими как OpenTracing, etcd, Helm, CRI-O и другими.

TOC Votes to Move Dragonfly into CNCF Incubator
https://www.cncf.io/blog/2020/04/09/toc-votes-to-move-dragonfly-into-cncf-incubator/

An Open-source P2P-based Image and File Distribution System
https://d7y.io/en-us/
+
https://github.com/dragonflyoss/Dragonfly

Тут по каналам волна рассказов про подкасты прошла и я тоже решил поделиться.

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

1. "Цинковый прод" (@ZnProd).

Подкаст строго 18+, слушаю его с самого первого выпуска и всегда радует. Он, в каком-то смысле, антипод "прилизанного" "Радио-Т" и это только в плюс.
Подкаст про обсуждение новостей, технологий, в обязательном порядке Rust'а (локальный мемас). Из последнего, что зацепило и было наиболее интересно это выпуск про использование Rust в бэке продукта для бирж https://soundcloud.com/znprod/054-15k-rps-z-1-ms.

2. "Generic Talks" (@generictalks)

Этот подкаст тоже слушаю с первого выпуска. Одним из ведущих является автор канала @oleg_log. Достаточно хардкорный подкаст с рассказами про "кишочки" с упором в Go, но и не только в него. Ярким примером этого является выпуск про обновления в Go 1.14 - https://xn--r1a.website/generictalks/57.

3. Geek Export (@geekexport)

Новый для меня подкаст. Он более лайтовый чем указанные выше (в технических вещах), но тоже интересный.
Тематикой являются различные области ИТ + эмиграция.

Наиболее близкий выпуск к тематике моего канала, я думаю, это №5
Берлинский стартап хаб и DevOps
https://soundcloud.com/geekexport/5-berlin-devops

---

Если вы хотите поделиться каким-то мнением по подкастам, поделиться подкастом чужим/своим, то пишите в личку. С удовольствием пообщаюсь.

В VictoriaMetrics появились алерты - нужны тестеры https://github.com/VictoriaMetrics/VictoriaMetrics/tree/master/app/vmalert

AWS IAM Access Analyzer in AWS Organizations

IAM Access Analyzer помогает понять, кто может обращаться к ресурсам, анализируя разрешения, предоставляемые с помощью политик для сегментов S3, ролей IAM, ключей KMS, функций Lambda и очередей SQS.

Для каждого анализатора вы можете создать зону доверия (учетную запись или всю организацию), которая поможет вам быстро определить, когда к ресурсам в вашей организации можно получить доступ из-за пределов вашей организации

Dive Deep into IAM Access Analyzer

#aws

На прошедшей неделе непривычно много говорили и писали о COBOL'е из-за двух новостей:
- губернатор американского штата Нью-Джерси сообщил, что срочно нужны знатоки этого языка
- IBM и Open Mainframe Project начали работу над бесплатным курсом по COBOL

Мне же из языков тех времён больше COBOL'а интересен, например, Prolog (он младше COBOL'а на 10 лет). Я на нём не писал вообще, а для "промышленных" задач тем более, поэтому рассуждать о "высоких материях" и концепциях не буду. Хочется просто напомнить, а кому-то просто рассказать, что такой язык есть и что есть вокруг него сейчас. Люблю необычные языки и концепции.

Prolog (от “PROgramming in LOGic”) — декларативный язык программирования общего назначения.
Prolog был создан в 1972 с целью сочетать использование логики с представлением знаний. С тех пор у него появился ряд диалектов, расширяющих основу языка различными возможностями.

http://progopedia.ru/language/prolog/

На Хабре есть хорошая статья "Что такое логическое программирование и зачем оно нам нужно" - https://habr.com/ru/post/322900/
Там же есть простой, но интересный пример "REST сервер на Прологе, как это выглядит?" - https://habr.com/ru/post/471610/

Теперь к более реальным и существующим примерам

Для начала: работа есть - https://www.careerbuilder.com/jobs?keywords=prolog, https://www.ziprecruiter.com/Jobs/Prolog-Developer

В UK есть целая "Logic Programming Associates", чем и как они занимаются (и с чем ассоциированы)
- http://www.lpa.co.uk/hom_apl.htm (https://www.visirule.co.uk/)
- http://www.lpa.co.uk/use_org.htm (http://www.orgnet.com/software.html, https://twitter.com/orgnet)

Естественно, IBM не могла обойти и эту область. Достоверно известно, что Prolog живёт (или жил) в Watson (https://www.ibm.com/watson). Это ролик о том как Watson переиграл людей в "Jeopardy" - https://www.youtube.com/watch?v=WFR3lOm_xhE

Проект в NASA, который использовался и используется для телескопа Хаббл (и не только для него)
https://ti.arc.nasa.gov/opensource/projects/autobayes/

Встретить Prolog можно в неожиданных местах, например, он используется внутри утилиты для ревью кода Gerrit - https://gerrit-documentation.storage.googleapis.com/Documentation/3.1.4/prolog-cookbook.html

Интересная статья от 2017 года "Source Code Verification for Embedded Systems using Prolog"
https://arxiv.org/pdf/1701.00630.pdf

Prolog в используется для Verification by Type Checking в JVM
Почитать об этом в документации - https://docs.oracle.com/javase/specs/jvms/se14/html/jvms-4.html#jvms-4.10.1.
Вот слайды, где это упоминается (у меня есть pdf, кому надо могу скинуть)
Bytecode Verification, the Hero That Java Needs [JavaOne 2016 CON1500]
https://www.slideshare.net/DavidBuck7/bytecode-verification-the-hero-that-java-needs-javaone-2016-con1500

Не уходя далеко от языков. Интерпретатор для Prolog, для ВОЗМОЖНОГО использования в компиляторе Rust
https://github.com/rust-lang/chalk

Если кому интересно, то есть книга "The Power of Prolog" (https://www.metalevel.at/prolog) от Маркуса Триска. Как он сам пишет о себе: The central theme of my research is software reliability. How can we guarantee correctness, robustness and acceptable performance of our programs?. Главы сопровождаются видеоматериалом с лекциями.

Если хочется попробовать, то имплементации (ТЫСЯЧИ ИХ!!1!) - http://www.softwarepreservation.org/projects/prolog.
Из того, что я нашёл активного и можно взять попробовать
https://www.swi-prolog.org/features.html
https://www.visual-prolog.com/ (10 апреля вышла версия)
http://www.dobrev.com/download.html

В марте вышла книга Artificial Intelligence Basics: A Self-Teaching Introduction с целой отдельной главой про Prolog
https://www.amazon.com/Artificial-Intelligence-Basics-Self-Teaching-Introduction-ebook/dp/B085WBXFZP/

Есть даже живой русскоязычный форум http://www.hardforum.ru/f141/

ЗЫ
8 Best Artificial Intelligence Programming Language in 2020
https://www.rankred.com/best-artificial-intelligence-programming-language/

Prolog на пятом месте ( ╯°□°)╯

---

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

A vault for securely storing and accessing AWS credentials in development environments
https://github.com/99designs/aws-vault

Выложены доклады с Container Camp AU 2019

Для себя отметил "на посмотреть"

Securing Container Runtimes -- How Hard Can It Be? - Aleksa Sarai (SUSE)
https://www.youtube.com/watch?v=izzXq7oe-3Q

Kubernetes Security Low-Hanging Fruit - Luke Bond
https://www.youtube.com/watch?v=-vnW1fZjHJE

Deep Dive into firecracker-containerd - Mitch Beaumont (AWS)
https://www.youtube.com/watch?v=2rwYZdVPN4g

Все доклады
https://www.youtube.com/playlist?list=PLcHZXHMeDzxV--8ASXn0fYqwM5gldGYgB

Программа
https://2019.container.camp/au/schedule/

Завтра, в среду 15.04, состоится Online Monitoring Day!

Прямая трансляция начнётся в 10:00 на YouTube канале
https://www.youtube.com/channel/UCyQ9sLBi9F3Mo_LRQrJ6RNg

Программа:

10:00 - Free Talk
Константин Михайлов, управляющий директор, SAYMON TECHNOLOGIES и Александр Чистяков, сооснователь, Санкт-Петербургского сообщества DevOps-инженеров

11:00 - Профессия - мониторинг
Илья Аблеев, представитель, Zabbix Russian Community

11:40 - Мониторинг электронагрузки в серверных стойках
Кирилл Малеванов, технический директор, Selectel

12:20 - Экспертная сессия PRTG
Вячеслав Милованов, системный инженер, PRTG

13:00 - Экспертная сессия Grafana Labs
Александр Зобнин, разработчик, Grafana Labs

13:40 - Завершение

Telegram-чат - https://xn--r1a.website/monhouse_tech

Друзья, приглашаем принять участие в хакатоне Hack The Crisis Russia.

16 и 17 мая Mail.ru Cloud Solutions (MCS) и сообщество HackTheCrisisRussia при поддержке Онтико проведут хакатон по разработке решений для минимизации последствий пандемии коронавируса.

Хакатон Hack The Crisis Russia — первое в России мероприятие международной серии #HackTheCrisis, которую поддержали уже в 46 странах по всему миру.

Приглашаем стать участниками хакатона. Заявки принимаются с 13 по 27 апреля на сайте https://hackthecrisisrussia.ru/ и должны соответствовать нескольким критериям:
- проект решает актуальные социальные проблемы, вызванные пандемией;
- решение возможно реализовать без привлечения сторонних средств;
- продукт хорошо масштабируется и адаптируется к меняющимся условиям.

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

Хакатон HackTheCrisisRussia будет проходить в онлайн-формате 16 и 17 мая, за работой команд можно будет наблюдать в трансляции.

Чат Хакатона - @hackathon_HacktheCrisisRussia
Канал - @hackthecrisisrussia

Выложены доклады с DelEx Conf 2020: DevOps & Test Automation

Себе в список "на посмотреть" закинул

Jenkins+Terragrunt+Terraform eco-system for AWS multi-environment
https://www.youtube.com/watch?v=UMH6ZOrr454

Alert Management as Code
https://www.youtube.com/watch?v=BqCgopc7TFI

Serverless - how to speed up tests over 300 times?
https://www.youtube.com/watch?v=xQ3L-vnl7TA

CI/CD in AWS Cloud
https://www.youtube.com/watch?v=4PvBgbuj-gs

Chaos testing for containerized applications
https://www.youtube.com/watch?v=WeRj6fRcYK0

Программа
https://delex-conf.com/schedule/

Все доклады
https://www.youtube.com/playlist?list=PLYinOsby80NmEM0LHfsJePYuovnWAsaJ3

End to End Immutable Infrastructure Testing: Inspec, Vagrant, Packer and Azure DevOps
https://www.youtube.com/watch?v=vNiZbAkomr4

Исходный код демо и слайды доступны в GitHub
https://github.com/drewmullen/infra-testing-demo

Олег поделился конфигуратором SSL для софта разного рода:

Apache
AWS ALB
AWS ELB
Caddy
Dovecot
Exim
Golang
HAProxy
lighttpd
MySQL
nginx
Oracle HTTP
Postfix
PostgreSQL
ProFTPD
Redis
Tomcat
Traefik

https://ssl-config.mozilla.org/

Спасибо ему 🤘

В чате KolibriOS (@kolibri_os), подсказали ещё по Prolog'у
- есть чат в телеге @prolog_ru
- awesome-лист https://github.com/klaussinani/awesome-prolog

Трансляция уже началась
https://www.youtube.com/watch?v=bNjxwMFthVM

​Сегодня мы открываем доступ к видеозаписям всех докладов с HighLoad++, DevOpsConf, Saint AppsConf, FrontendConf, Product Fest за 2019 год и с февральской TeamLead Conf. Это стало возможным благодаря поддержке AvitoTech.

Специалисты @avitotech работают с высоконагруженными системами и регулярно делятся своим опытом на конференциях, митапах и в статьях. Чтобы помочь вам сориентироваться в потоке видео, они составили и опубликовали на Хабре собственный топ по каждой конференции.

Спасибо партнёрам за поддержку и возможность распространять знания в области разработки и управления IT-продуктами.

Смотреть видео HighLoad++ 2019 👉 https://www.youtube.com/playlist?list=PLH-XmS0lSi_zTZrols83QSxI3Q96dSbBm, остальные плейлисты в статье и на youtube-каналах конференций.

Ещё один доклад от Василия Пантюхина из Amazon Web Services

Для больших распределенных систем такое поведение нормально, это следствие эффекта масштаба и статистики. Именно поэтому Design for Failure (дизайн на отказ) — базовый принцип проектирования облачных сервисов AWS. Системы изначально строятся так, чтобы максимально быстро восстановить штатную работу и минимизировать ущерб от известных и ещё неизвестных сбоев. На HighLoad++ Василий Пантюхин на примерах реальных проблем с боевыми сервисами показал паттерны проектирования распределенных систем, которые используют разработчики AWS.

Хьюстон, у нас проблема. Дизайн систем на отказ
https://habr.com/ru/company/oleg-bunin/blog/497332/

Architecting Kubernetes clusters — choosing a worker node size
https://learnk8s.io/kubernetes-node-size

ITSumma заопенсорсила cервер аутентификации DevOpsProdigy Isolate

Из заявленных фич
1. 2fa
2. Логгирует действия пользователя
3. Управление пользователями

Почитать на Хабре - https://habr.com/ru/company/itsumma/blog/497384/

GitHub - https://github.com/devopsprodigy/isolate

Чат с разработчиками - @isolate_bastion

Behind the Scenes at PlanetScale Engineering: Why is Multi-Cloud a Hard Problem?
https://www.planetscale.com/blog/behind-the-scenes-at-planetscale-engineering-why-is-multi-cloud-a-hard-problem