The Norway problem, why you should refuse implicit typing on YAML.

#article #yaml #coding
@thedevs

https://kutt.it/z0XkDY

​​Формальные методы. Часть III. Логическая структура интерфейса

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

В пользовательских интерфейсах «диалог» относится к структуре взаимодействия, уровню «разговора» между человеком и компьютером. Диалог формирует середину из трех уровней пользовательского интерфейса. Возьмем, зарю разработки пользовательского интерфейса — так называемую модель Зеехейма (Seeheim model):

Лексический уровень - форма значков и иконок, реально нажатые клавиши в аналоговом мире;

Синтаксический уровень (диалог) - порядок ввода и вывода;

Семантический уровень (функциональность) - влияние взаимодействий пользователя на запущенное приложение или данные.

Многие диалоги людей носят формальный характер: то, что английский лингвист Джон Остин называл перформативами — способом совершать при помощи слов действия. «Я называю этот корабль “Королевой Викторией”, “Я не признаю себя виновным!” или даже “Я объявляю заседание открытым”. Это происходит потому, что слово само по себе указывает на действие, которым и является. И раз мы можем анализировать формальным методом человеческую коммуникацию, то и обычные интерфейсы представляют собой поле для описания.

Но даже очень простой интерфейс может представлять собой вызов из-за богатства вариантов комбинаций: если бы было только 10 возможных действий (нажатия клавиш), тогда есть 100 возможностей для двух действий, а для трех - уже 1000! Более сложные интерфейсы с более сложными системами могут представлять дискретные системы с почти бесконечным числом состояний, например, медицинские интерфейсы с их отражением значений. Поэтому тестировщики программного обеспечения используют разные формальные методы тестирования, считают разные классы эквивалентности тестовых случаев, чтобы максимально адекватно проверять качество работы программы.

На картинке модель Зеехейма

Маленькая деталь в iOS 14. В виджете с предложениями приложений от Siri, стиль написания названий с полупрозрачностью. Хотя обычные приложения, который повесил на экран сам отображаются белым цветом.

Lenora — новый шрифт в коллекции Tomorrow Type.
Экспрессивная, но не злая антиква для заголовков и акциденции. Отсылки к Didot и Bodoni и шесть начертаний, которые отлично сочетаются как друг с другом, так и с любыми гуманистическими гротесками.

От 3000 ₽ за начертание, от 12000 ₽ за семейство.

Купить: https://type.today/ru/journal/lenora

#serif

Банят рекламные кабинеты в Фейсбуке? 😱

💥 Никита и его команда знают как с этим бороться!
👉 А ещё у них свое маркетинговое агентство «Студия продвижения Разговоры PRO»

Обращайтесь сюда 👇

Канал @nixonprobusiness

Maksim Shtok: «Чем занимается AR-дизайнер и как им стать»
https://designpub.ru/f62056a8108e

Факультет дизайна

Дизайнер – это специалист, который решает задачи бизнеса и маркетинга с помощью визуального контента. Эту профессию можно освоить с нуля до middle-уровня всего за 18 месяцев. Для этого нужно просто записаться на факультет Дизайна в GeekBrains.

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

Почему GeekBrains?
Мы знаем, чего ждут работодатели. Мы проводим более 100 исследований ежегодно и добавляем в программу требования топовых работодателей. После обучения ты будешь готов к выходу на рынок и новым профессиональным вызовам.

Преподаватели – практики с подтвержденным опытом
За твое обучение возьмутся ведущие дизайнеры и арт-директора Сбербанка, ВТБ, OZON, Mail.ru Group, Авито и других лидеров рынка.

Первые полгода можно учиться бесплатно! Жми сюда - https://gb.ru/link/EQouih, чтобы посмотреть подробную программу.

Необычный эффект искажения пространства

#вдохновение #VFX #Unity | mpkoz

Kubernetes-in-Kubernetes и ферма серверов с загрузкой по PXE
[ Статья ]

Зимбабвийский втулочный насос или акторно-сетевая теория в технологиях

Это статья о водяных насосах. Точнее, она о конкретном водяном насосе с ручным управлением — зимбабвийском втулочном насосе типа B. Это не критическая статья, но и не нейтральная, поскольку — так уж получилось — нам понравился… нет, даже больше… мы полюбили зимбабвийский втулочный насос во всех его многочисленных модификациях. Но даже если наше письмо и движимо привязанностью, это не упражнение в похвале.

Такой жизнерадостно-синий — вы бы точно захотели установить
зимбабвийский втулочный насос типа B на своем заднем дворе. Изначально спроектированный «простым, прочным и легким в использовании»16, в нынешней версии он привлекателен и не лишен обаяния. Его кобальтовый цвет намекает на чистоту, прозрачность и свежесть—качества, которых ждут от воды, добываемой насосом. Его чистые строгие линии и компактная форма словно призывают вас: «Возьми меня и установи, где хочешь. Я чертовски хорош и прост в эксплуатации».

Посыл этот — отнюдь не плод нашей фривольной фантазии. Насос задуман, чтобы нести такие сообщения.

….

Сегодня у нас в гостях французские антропологи Де Лаэт и Аннмари Мол и их совместная работа о насосе. В следующем посте на Цифровом геноциде