Это вторая вводная часть обзора, посвящённого применению теории категорий в программировании. В первой части представлены некоторые основные определения теории, в том числе, hom-типы, их значения-морфизмы, а также их композиция, позволяющая строить пути вычислений в рамках одной категории. В данной же публикации мы рассмотрим, как пути вычислений можно прокладывать через разные категории. Фокус заключается в том, что...
Хочу начать с дисклеймера - я больше не работаю в Токеон, эту статью и все последующие воспринимайте в отрыве от компании.А написать сегодня хочу о концепции внедрения ИИ в систему принятия решений руководителя организации. В качестве примеров в этой статье я использую продукты,
Графический эмулятор терминала в GNU Linux, в котором можно добавить "Быстрые команды" как закладки в браузер, и запускать их просто кликая по ним мышкой. Это равносильно вводу с клавиатуры и нажатию Enter.Можно так же пользоваться этим как шаблонами - править команды в редакторе прежде чем запускать. Читать далее
В августе 1851 года американец Исаак Зингер получил патент на швейную машинку, которая сделала его знаменитым и принесла ему миллионы долларов. Рассказываем, как изобретатель улучшил уже существовавшие устройства для шитья и как Singer стал одним из самым узнаваемых брендов в мире. Читать далее
Готовлю сейчас материал, где буду рассказывать про нештатные ситуации на станции «Мир», и есть одна ситуация, которая произошла не на станции, а на корабле, а потому вроде бы в материал попасть не должна, но и не рассказать про неё нельзя. Это авария на корабле Союз ТМ-5 6 сентября…
Прочитал с утра очередной пост на Хабре, как можно неправильно использовать LLM. Я отношусь к Моделям достаточно утилитарно - как к инструменту. Я не пытаюсь найти в них сознание, так как довольно хорошо представляю устройство вычислительной техники и то, как она выполняет…
Почти 20 лет назад Asus Eee PC 701 стал первым массовым нетбуком и открыл эру ультрапортативных компьютеров. В 2025 году я нашёл его в почти идеальном состоянии, вернул к жизни и решил рассказать, чем он уникален, на что способен сегодня, и почему он до сих пор вызывает тёплые чувства у всех, кто застал ту эпоху. Небольшая пометка: тут не будет сложной информации или технических нюансов. Исключительно моя история и немного конкретики про историю Eee PC. Читать далее
Наше время — это эпоха Meta, Amazon, Apple и Google, мир, где сотни стартапов ежедневно меняют правила нашей повседневной жизни. Их успех стал возможным благодаря инновационному подходу к разработке технологических продуктов. Его главные особенности—тщательный анализ рынка, фокус на…
Короткий ответ: никуда.Очень хорошо помню (да и вы, уверен, тоже) повальное начало удалёнки и остро вставший вопрос — куда девать ребёнка/детей, которые тут же заперты в помещении, и непременно лезут в кадр ???? Дальше — больше
Я заметил, что вокруг новых AI-инструментов для кодинга (типа Cursor AI, ChatGPT, Claude) идёт жаркая дискуссия. Классические программисты порой скептически смотрят на тех, кто активно пользуется генеративным ИИ вместо ручного кодирования. Некоторые считают таких «вайбкодеров» мешком софта без понимания: мол, они просто копипастят то, что выдаёт ИИ. Попробую разобраться в этом лично: ведь для многих из нас эти инструменты открывают новые возможности. Читать далее