Обо мне
Я проектирую числовые форматы и RTL, измеренный на бинарной FPGA. GF-T начался как статья, стал RTL, укладывающимся в логику Artix-7 вообще без аппаратных умножителей, и был отправлен на изготовление через SKY130 — на тулчейне, который любой может поставить бесплатно. До железа я десять лет делал продукты и преподавал: больше тысячи разработчиков и курс по React Native в русскоязычном интернете.
Числовые форматы, спроектированные под ваши ограничения — тернарные, низкой разрядности, на основе φ, — каждый с независимой эталонной моделью и побитовыми векторами, а не с одним лишь заявлением.
Синтезируемый Verilog через открытый флоу: Yosys, nextpnr-xilinx, prjxray, iverilog. Измерено на бинарной FPGA ALINX AX7203 (Xilinx Artix-7 XC7A200T); дизайн для SKY130 отправлен на изготовление.
Побитовое соответствие моделям, написанным от спецификации, а не от дизайна — проверка, способная с RTL не согласиться.
Больше тысячи обученных разработчиков. Железо — текущий предмет; метод не изменился.
Семейство форматов с плавающей точкой на основе φ, от GF4 до GF1024, с эталонными реализациями, которые делают его проверяемым.
Каталог соответствия с побитовыми векторами для FP8, BF16, MXFP4 и microscaling-форматов, опубликованный, чтобы каждый мог проверить по нему собственную арифметику.
Кружок камеры, который висит поверх любого другого приложения и никогда не вплавляется в видео. Экран, камера и курсор остаются раздельными дорожками до самого экспорта, поэтому кружок можно подвинуть, увеличить или сменить ему форму уже после записи — а стеклянный обод преломляет экран под собой, потому что эти пиксели ещё целы. Нативный Swift: ScreenCaptureKit, AVFoundation, Core Image. Страница продукта — t27.ai/orb.
База в Таиланде, работа с командами в Европе и Северной Америке.
Ничто из того, что я сдаю, не требует покупать лицензию, чтобы это воспроизвести.
Контракт и частичная занятость: hardware-AI, FPGA/RTL и ML-системы.
Резюме, статьи и исходники — в один клик. Если работа выглядит подходящей, напишите: я отвечаю.