Рефлексирующий автобиографический рассказ о том, как я случайно попал в мир программируемых машин 6 лет назад, и как недавно во время обыденных размышлений докопался до ядра компьютера.А лежали там не резисторы и даже не квантовые частицы, а красивая математическая модель, которую реализовали сначала на бумаге, а потом и в железе отцы-основатели компьютера в первой половине 20-го века, и по совместительству гениальные математики. Погладить Аду Лавлейс
Очень часто в программировании микроконтроллеров используются блокирующие задержки: delay() для Arduino, time.sleep() для MicroPython. Эти функции просты и понятны, но у них есть фундаментальный недостаток: они останавливают выполнение программы на заданное время, делая систему…
SmetaLegko — приложение для самозанятых мастеров (сантехники, электрики, отделочники), которое делает смету, счёт и приём оплаты по СБП и картой. Когда мы добавляли автоматическую выдачу чека, оказалось, что сама задача «выдать чек» — не самая сложная часть. Сложнее было не выдать его дважды. Читать далее
примерное содержание: За 7 месяцев вайбкодинга я увидел, как сильно ИИ меняет разработку: от чата с моделью до полноценной агентной работы. В этом материале, мой опыт, советы использования ИИ и выводы о том, что действительно ускоряет создание продукта. Читать далее
Разбор того, где AI на самом деле прижился в дизайн-процессе, а где пока только обещания. На пяти реальных источниках — от интервью с дизайнерами Atlassian и Shopify до кейса X5Tech с 40-45% AI-контента — показано: AI лучше всего работает не как генератор, а как ревизор (аудит дизайн-токенов, фиксация стиля через технические ограничители), а граница между гладким внедрением и хаосом в команде проходит не по инструментам, а по доверию внутри команды. Читать далее
На четвертом курсе Стэнфорда* я записался на урок по параллельному программированию. Изучив алгоритмы, контейнеры данных и математику, стоящую за нейронными сетками, понял, что толком не знаю, что такое микропроцессор. Было очень интересно углубиться в компьютерную архитектуру
Давайте разберёмся, как алгорифмы Маркова и pattern matching в WL позволяют генерировать лабиринты, реки, падающий песок и другие клеточные автоматы с помощью системы типов Читать далее
Можно ли описать интерпретацию Таро как задачу поиска лучшего смыслового пути? Разбираю учебную вероятностную модель: от локального greedy к точному Viterbi, beam search, фактор-графам, CRF и LLM reranking. На контрпримере показываю, почему лучший локальный выбор проигрывает глобальному, а также где заканчивается поиск структуры и начинается генерация текста. Читать разбор целиком
Обещание, что скоро код не придется писать руками, звучит далеко не первый раз. COBOL делали похожим на английский, чтобы программы были понятны не только программистам. Предшественник SQL назывался SEQUEL, то есть буквально Structured English Query Language. Потом появились ноукод-платформы. Ручной…
Ещё пару лет назад мысль о полноценной 27B модели на обычном ноутбуке звучала как шутка: нужна была либо мощная видеокарта, либо максимально урезанные веса и небольшой контекст.Пока индустрия оттачивала классическое low-bit квантование, отдельные команды экспериментировали с куда более радикальным подходом: вообще отказаться от аппроксимации весов и собрать сеть буквально на нескольких значениях. Звучит как безумие, хотя на практике (далеко не сразу) это сработало. Но обо всём по порядку. Читать далее