Кэмерон Зварич, создатель второй версии ПО Rosetta, покинул Apple и присоединился к некоммерческой организации Lean FRO, которая развивает инструмент интерактивного доказательства теорем Lean. О пополнении в команде сообщил основатель проекта Леонардо де Моура.
«Я рад приветствовать Кэмерона Зварича в Lean FRO! Кэмерон — блестящий создатель Rosetta 2 и потрясающий разработчик, специализирующийся на низкоуровневом системном программном обеспечении, с опытом работы в Apple более 15-ти лет. Он сосредоточится на улучшении генератора кода Lean. Мне не терпится увидеть, как его опыт повлияет на экосистему Lean!», — написал де Моура в LinkedIn.
Rosetta представляет собой динамический двоичный транслятор, предназначенный для обеспечения совместимости приложений между различными архитектурами. Первая версия Rosetta вышла в 2006 году с Mac OS X Tiger, она была частью перехода Mac с процессоров PowerPC на процессоры Intel.
Rosetta 2 была представлена в 2020 году как компонент macOS Big Sur в рамках перехода Mac с процессоров Intel на Apple Silicon. Она позволяет компьютерам Mac с чипами Apple использовать приложения, созданные для компьютеров Mac с процессорами Intel.
Источник новости: habr.com
