«Я рад приветствовать Кэмерона Зварича в 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.
Обсудить