belnetmon

Angeline 2025

Правильность и Адекватность

[ itSotWC::CoD ]

Из всех грустных и беспросветных тем моего богатого общения с представителями племени кнопкодавов-программистов самая прискорбная и до безнадёжности каменной стены непробиваемая была тема верификации и валидации. (Verification and Validation)

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

Очень теоретически и при освобождении нескольких параметров бесконечности (бесконечное время, бесконечный бюджет, бесконечное прилежание участников и т.д.) этот корпус текстов можно верифицировать. То есть, доказать, что он не содержит внутренних противоречий, всё, что должно к чему-то приводить, к чему-то приводит и всё, что должно из чего-то выводиться, из чего-то выводится.

Это похоже на математику, за исключением того, что в математике всё должно выводиться из базовых постулатов, а в верифицированном проекте мы декларируем не замкнутость, а отсутствие внутренних ошибок.

С этим у дрессировщиков лул, яв, питонов, рубей, скал и хаскелей проблем нет.

В смысле, если с ними об этом заговорить, они это понимают. (Хотя, никогда не делают, гордо заявляя, что им нужно работу работать, а не искать в наработанном глюки и ляпы.)

Попытки говорить о валидации практически всегда заканчивались не просто тем, что меня переставали понимать, но во многих случаях ещё и пытались считать дурачком-гуманитарием.

Объяснение того, что цвета интерфейса должны не единолично решаться мимоходом, а быть согласованными с заказчиком, порождали занудные рассказы об удобстве для конкретного кнопкодава очередной новомодной программистской приблуды с писиходелической раскраской, а сообщение что бухгалтер должен получать отчёт к концу месяца -- вместо исправления выдачи отчёта к этому самому концу месяца -- выражались в объяснениях, что новомодный фреймворк опять не фурфчит и надо ещё подобавлять костылей, чтобы оно не только прыгало, но и звенело с притопом.

Кнопкодав мог божиться и клясться, что вовремя исправит кривой отчёт, но при этом -- никому не сказав и очень интенсивно, в отличие от прямых задач -- впадать в раж изготовления костылей. Причём, вопросы о сделанном наталкивались на наивные объяснения, что та задача, которая для бухгалтера, была немного забыта, так как человек занимался важным делом.

И посмотрите, как оно прыгает и звенит с притопом, только пока ещё совсем немножко спотыкаясь и падая.

Бредогенераторы и люд чат-гопотящий пришли в нашу жизнь не просто так. Это всё было подготовлено десятилетиями развития культуры правильности на уровне "так сойдёт" при полном непонимании категории адекватности.

Это я просто так, решил записать на полях. А то, когда ещё будет время на подробный разбор.

Хворь, идущую сейчас по Европе, радостно назвали "гонконгским гриппом".

Всё нормально: быстрое распространение, массовое заражение, тяжёлые случаи вплоть до реанимации.

Но сейчас не время проталкивать прививочки, так что просто люди чихают и никакой пандемии.

Беня, кстати, доехал до суда -- судьи взяли самоотвод и смыслись -- и мимоходом сообщил собравшимся журналистам -- не отпускать же с пустыми руками --, что на Миндича в Израиле было совершено покушение, но преступники ломились не в тот дом и ранена чужая домработница.

Все СМИ, включая и украинских официальных лиц в Израиле, тут же сделали морду кирпичом и дружными рядами поспешили опровергнуть наличие подтверждающих фактов.

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

Закончим зачётной новостью, пусть и на уровне слухов.

https://t.me/crescentscroissants/7777 (Война и мир на Ближнем Востоке, Дина Лиснянская, 2025-12-11):

Reuters: Белый дом рассматривает возможность объявления БАПОР (UNRWA) иностранной террористической организацией и наложения персональных санкций на его руководство.

Знаете, я могу сказать только одно: Если Вам не нравится Трамп, Вы на неправильной стороне.