На прошедшей неделе непривычно много говорили и писали о 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

Free, open-source SQL client for Windows and Mac 🦅

https://github.com/plotly/falcon

1. Google Chrome removes FTP support
2. Mozilla follows Google's decision, removes FTP support from Firefox
3. Google restores FTP support due to COVID-19. "Oh, FTP is still actively used by government websites, people need that"

https://bugs.chromium.org/p/chromium/issues/detail?id=333943#c43

Ссылка на тред
https://twitter.com/ValdikSS/status/1250368589493870592

Опыт trivago с Nomad

Nomad - our experiences and best practices
https://tech.trivago.com/2019/01/25/nomad-our-experiences-and-best-practices/

Они там пишут

make all the things
We love make. It is well suited for our needs and a lot of fun to work with. Picking up on the last bullet point above, all Nomad jobs need to have a Makefile

На что у них есть ещё один пост, почти через год от предыдущего, про то почему make и как им это нравится.

Makefiles in 2019 — Why They Still Matter
https://tech.trivago.com/2019/12/20/makefiles-in-2019-why-they-still-matter/

Monitoring and Tracing @Netflix Streaming Data Infrastructure
https://www.youtube.com/watch?v=DlWYNoLmma8

Материал про использование последовательностей ANSI/VT для обмана терминала

$ echo -e '#!/bin/sh\n\necho "evil!"\nexit 0\n\033[2Aecho "Hello World!"\n' > script.sh
$ chmod 700 script.sh
$ cat script.sh
$ ./script.sh

https://www.infosecmatter.com/terminal-escape-injection/