.

Облако драгоценностей за неделю.

Приватный клуб.

У Алана Кэя на днях спросили: может ли условный AI CLI заменить классический графический UI в качестве первичного интерфейса для обычных пользователей, современные тренды искусственного интеллекта явно идут в консоль?

Для донов-начинающих:

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

Я не собираюсь давать вам новую дорожную карту, инструмент или курс, просто хочу указать несколько распространённых ошибок, которые замедляют процесс, но начинающие этого не осознают по определению "начинающих" (лонгрид)...

Для донов-неначинающих:

Пришло время для краткого отчёта о состоянии дел.
Вы действительно достигли своих целей на май? Или месяц СНОВА пролетел незаметно в суматохе забот?
Если вам всё-таки удалось достичь всех своих целей, то поздравляю!
Но если вы этого не сделали, тогда нам нужно серьёзно поговорить....

91. Нечистый эффект наблюдения чистых функций
С практической точки зрения, исполняющаяся чистая функция также нечиста, потому что она выполняется недетерминировано: например, мы не знаем сколько она будет работать, да и завершится ли вообще...

(все старые материалы для донов быстро сгорают)

=

Новые материалы для ментатов Лаборатории.

В раздел "Элитный программист" добавлен материал
96) Три источника, три рычага потока
Было утро четверга, и вы сидели в офисе, отчаянно пытаясь закончить проект для стартапа. Курсор мигал в редакторе IDE в конце незаконченной инструкции.
К полудню вы полностью забрасываете код и погружаетесь во всё остальное -- электронную почту, новости, каналы, администрирование, упорядочивание файлов, которые не нуждаются в упорядочивании... К вечеру вы убеждаете себя, что рабочий день удался на славу, и что завтра вы сядете за работу с новыми силами...

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


=

"Функциональные архитектуры" 118 топиков

Добавил новый модуль "Мета-спецификации".

...Пока мы зашли в область, где формальные подходы и формальные языки могут дать существенный эффект, но к сожалению это область от практических ежедневных проектов и задач весьма далека.
Самое ценное -- это хотя бы немножечко думать в парадигме алгебраических свойств как спецификаций. Как AI сегодня тут помогает? Вытаскивает скрытые требования, предлагает инварианты, находит дыры в тестах, помогает формализовать критичные части...
Короче говоря, это всё хорошо, но на практике никаких формальных спецификаций делать никто не будет, и даже BDD мало где придерживаются. Спецификации нужны точечно, только там, где цена ошибки высока, но это отнюдь не наши с вашими повседневные задачи.
Поэтому дальше стратегически выделим два ключевых направления...

Разбираю в частности (в процессе, на неделе), почему здесь не подходят BDD Gherkin и DDD Ubiquitous Language и как правильно заниматься спеками с AI легко и просто.
Спойлер: нам нужны не сценарные или онтологические спецификации, а алгебраические, с операционно-декларативной семантикой.

=

"ЛаМПовое":

Дзен и искусство ухода за Arch Linux (9)
...Что делать с украденным устройством?

"Гарри Поттер и Методы Математического Мышления".
Глава 10. Осколок и змея.

=

it's a privilege to do things that are hard 💪🏻

=

Образование не заменяет ум -- то неуловимое качество, которое лишь частично определяется как способность разгадывать головоломки. Основная задача ума состоит в создании новых головоломок, когда чувства сообщают вам о недостаточности традиционных определений.
Первый урок ментата, "Дюна"