DevNotes Live
6 subscribers
84.2K photos
12K videos
195 files
35.4K links
Автоматический агрегатор IT ресурсов в Telegram (@devnotes_robot)
Информация: https://t.me/devnotes_live/121
Download Telegram
Формальные методы. Часть IV. Одна важная книга и принцип Кооперации

Designing Voice User Interfaces: Principles of Conversational Experiences — книга с попугаем (что оценят те, кто внимательно читал «Рассуждения о методе» Рене Декарта), авторства Кэти Перл, дизайнера голосовых коммуникаций в Google. С чего же этот выдающийся специалист начинает книгу?

С максим Пола Грайса (привет, моя недописанная кандидатская диссертация о Грайсе, ха! Давно не виделись, родная), поэтому попробуем остановится на этом несколько подробнее.

Большинство литературы на русском языке о прагматике или теории аргументации очень сильно находится под влиянием теории перформативов — концепции, согласно которой мы можем совершать действия и изменять мир при помощи слов. Например, «Я объявляю заседание закрытым» по определению изменяет положение вещей в мире и, что более важно, является всега истинным (в тот момент в который оно произнесено мир-то и меняется так, что заседание закрывается). Что еще интереснее теория перформативов касается и такой вещи как имена собственные! Я разбиваю бутылку шмпанского о бор корабля и говорю «Я нарекаю это судно именем Михаила Светова» и с тех пор в логическом мире появляется имя индивида.
Все мы прошли этот путь.

Но в англосаксонском мире у теории перформативов есть конкурент — теория максим Грайса. Попробую объяснить эту мысль на примерах
Например, когда кто-то спрашивает «Не могли бы Вы закрыть дверь?», слушающий обычно не отвечает «да» или «нет», а выполняет вместо этого неязыковой акт закрытия дверей. Хотя говорящий задал вопрос, слушающий сделал предположение о том, что это просьба.

Грайс первым заметил эту особенность языка, а также первым дал философский анализ этому феномену. Он начинает с того, что все разговоры до некоторой степени кооперативны — таким образом Грайс формулирует Принцип Кооперации:
«Твой коммуникативный вклад на данном шаге диалога должен быть таким, какого требует совместно принятая цель (направление) этого диалога».

При более детальном рассмотрении разговора он выделяет четыре категории с более конкретными максимами. Категория Количества связана с тем количеством информации, которое требуется передать; к этой категории относятся следующие постулаты:
«Твое высказывание должно содержать не меньше информации, чем требуется (для выполнения текущих целей диалога)».
«Твое высказывание не должно содержать больше информации, чем требуется».

К категории Качества относится общий постулат «Старайся, чтобы твое высказывание было истинным», С категорией Отношения связан один-единственный постулат — это постулат релевантности («Не отклоняйся от темы»)
Категория Способа формулируется как «Выражайся ясно»

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

Например:
— Не будете ли Вы так любезны рассказать нам, как Вы добрались от вокзала до нас?
— Пешком.

Статью на википедии о Грайсе можете не читать, ее я сам писал, там плоховато.
Cathy_Pearl_Designing_Voice_User.pdf
16.1 MB
Designing Voice User Interfaces: Principles of Conversational Experiences — книга Кэти Перл, дизайнера голосовых коммуникаций в Google
Вышел TypeScript 4.3

- новое ключевое слово - override для перезаписи свойств унаследованного класса
- флаг --noImplicitOverride
- улучшения для типов из шаблонных строк
- ECMAScript #private для классов, включая статические методы
- статические index signatures для классов
- улучшены авто-импорты
- поддержка @link из JSDoc

#jsrelease #typescript
Emittery - простой и современный асинхронный Event Emitter

Стандартный EventEmitter из Node.js не поддерживает синхронность и обработка ошибок происходит через событие error вместо стандартного try ... catch

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

#jslib #nodejs #backend #javascript
Кодер из Токиоблог парня, рассказывающего о работе в IT в Японии👨🏻‍💻

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

Самая важная информация для программиста: coder_tokyo🇯🇵
Forwarded from Shock Design
"Дайте глазам отдохнуть"👁👁
Forwarded from Shock Design
Forwarded from ai.dot(ufna, dev)
Неплохой разбор Nanite. Выглядит крайне похоже на то, что продвигает яблоко с их Visibility Buffer на последних айфонах.

http://www.elopezr.com/a-macro-view-of-nanite/
Forwarded from ai.dot(ufna, dev)
​​Как оно было на самом деле
​​Буферы и окна: подробности о тайне ssh и цикла чтения while
Если вы когда-нибудь пробовали воспользоваться в цикле чтения while командой ssh, или, точно так же, командами ffmpeg или mplayer, это значит, что вы сталкивались с неожиданным поведением такого цикла: он, после первой итерации, таинственным образом прекращал работать!
[ Статья ]
Legal UX

Что там с правом? Не так давно у меня с коллегой возникла мысть запустить вебинар на тему правовой информации и аспектах пользовательского опыта: темные паттерны, политика обработки персональных данных, что делать, если надо проектировать соглашение на веб-страничке, а у дизайнера лапки.

Чтобы сделать вебинар по-настоящему захватывающим и незабываемым, мы запустили простой опросник.

Дорогие подписчики ЦГ, пожалуйста, пройдите его по ссылке
https://www.surveymonkey.com/r/DSL2B9H
Forwarded from The Devs
It's probably time to stop recommending Clean Code.

#article #book #coding
@thedevs

https://kutt.it/l96sFv