2026-01-05

vak: (Робот 1)
Будете на этой неделе в Лас Вегасе - заходите на выставку CES, Consumer Electronic Show. Там аж на двух стендах можно лицезреть последствия моей прошлогодней трудовой деятельности: Cerense и Synopsys.

Видео от Cerense AI (West Hall, стенд #6826) я уже показывал: youtu.be/y5KB9PRSdYA. Скоро все так будете разговаривать со своими автомобилями и газонокосилками. 😀 Мой код тут глубоко внутри, где модель в бинарном формате запускается на железе.

Компания Synopsys (West Hall, стенд #6701) демонстрирует интеграцию нашего чипа в два их продукта: Virtualizer Studio и Platform Architect. Тут уже основная часть моих рук дело. Virtualizer Studio позволяет запускать линукс (Debian) на виртуальном чипе нашей компании, и отлаживать на нём ваше приложение. Линукс делали коллеги, а я только наш AI движок.

Platform Architect знают немногие, обычно хардверные архитекторы, кто проектирует свои чипы. Теперь они могут вставлять наш AI движок в свой проект одним движением мышки. Ну не одним, чуть сложнее. Зато симуляция покажет производительность любой AI модели на вашем будущем чипе с точностью плюс-минус несколько процентов. Здесь весь код мой.
vak: (Аристипп)
В 1966 году австрийско-канадский математик Лео Мозер озаботился вопросом. Какой максимальной величины диван можно протащить через прямой угол в коридоре ширины 1 метр?

И вот наконец мы знаем решение. "Six-decade math puzzle solved by Korean mathematician".

В 1992 году профессор Ратгерского университета Джозеф Гервер предложил решение площадью примерно 2.2195 квадратных метров. Но только сейчас корейский математик Пэк Джин-эон доказал, что диван Гервера представляет собой верхний предел.