Я уже моделировал RS-триггер как полностью синхронную схему. Но в некоторых приложений таких моделей не достаточно, требуется рассмотреть переходные процессы, которые могут возникнуть. TLA+ разработан для анализа параллельных асинхронных систем. Поупражнявшись в решении головоломок с его помощью, можно начать применять этот инструмент и для более серьезных задач. Читать дальше →
Недавно, в попытках разобраться с nlp, мне пришла идея написать простого telegram бота, который будет разговаривать, как дерзкий гопник. То есть: давать ответ по слову-триггеру, как "хочу", "короче", "нет" и т.д.; отвечать дерзким вопросом на вопрос; отвечать нецензурной…
Кажется, что в последнее время электронная почта больше подходит для спама, чем для оперативных оповещений системы мониторинга. В этой статье я соберу методы получения уведомлений на мобильные устройства ― как через мессенджеры, так и через традиционные каналы связи. Рассматривать решения я буду на примере Zabbix, но их можно адаптировать и под вашу любимую систему, лишь бы она умела запускать скрипты по триггеру. Читать дальше →
Одни считают изобретателем триггера М.А. Бонч-Бруевича, другие — У. Икклза и Ф.У. Джордана. Как бы то ни было, действующие образцы были у всех троих, и в нынешнем году схеме исполнилось сто лет. За прошедшие годы триггеры расплодились в огромных количествах: в одном только…