人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

Rosetta 2開発者がLean FROに参加、コードジェネレーターの強化へ

2024-12-22

AWSの上級主席応用科学者兼Lean FRO（非営利団体）の主任アーキテクトであるLeonardo de Mouraは、Rosetta 2の開発者であり、Appleで15年以上にわたり低レベルシステムソフトウェアを専門とする優れたソフトウェア開発者であるCameron ZwarichがLean FROチームに加わったことを発表しました。ZwarichはLeanのコードジェネレーターの改善に注力し、Leanエコシステムに大きな影響を与えることが期待されます。

(www.linkedin.com)
開発 コードジェネレーター