Rosetta 2の開発者がAppleを離れ、Lean FROに加わる

[GN⁺]

Hacker News のコメント

• Lean FROとLeanコミュニティと一緒に働けることに期待している

  • 数学的なバックグラウンドを持っており、ソフトウェアエンジニアになる前からインタラクティブな定理証明器に興味を持っていた
  • それを専業として行えるようになり、夢が叶ったような気がする

• Gary DavidianがAppleでアーキテクチャ変更の作業を単独で担当したという驚くべき業績が言及されている

  • Computer History Museumのアーカイブに彼のインタビューがある

• Lean FROとは何かが知りたいという意見がある

• LinkedInの「戻る」ボタンが変だという意見がある

  • 「戻る」ボタンを押すと、Hacker NewsではなくLinkedInのホームページに移動してしまう

• Appleが才能を失っているという意見がある

  • 現在の不透明な就職市場の中で、なぜ人々が会社を辞めるのか気になる

• 「Lean」はラッパーたちが飲むコデイン入りの咳止めシロップだという意見がある