# Rosetta 2 개발자, Apple 떠나 Lean FRO에 조인

> Clean Markdown view of GeekNews topic #18389. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=18389](https://news.hada.io/topic?id=18389)
- GeekNews Markdown: [https://news.hada.io/topic/18389.md](https://news.hada.io/topic/18389.md)
- Type: GN+
- Author: [neo](https://news.hada.io/@neo)
- Published: 2024-12-23T09:46:44+09:00
- Updated: 2024-12-23T09:46:44+09:00
- Original source: [linkedin.com](https://www.linkedin.com/posts/leonardo-de-moura-26a27b5_leanlang-leanprover-leanfro-activity-7274523099394400256-0F0x)
- Points: 1
- Comments: 1

## Topic Body

_No topic body._

## Comments



### Comment 32592

- Author: neo
- Created: 2024-12-23T09:46:44+09:00
- Points: 1

###### [Hacker News 의견](https://news.ycombinator.com/item?id=42483895) 
- Lean FRO와 Lean 커뮤니티와 함께 일하게 되어 기대감이 있음
  - 수학 배경을 가지고 있으며, 소프트웨어 엔지니어가 되기 전부터 대화형 정리 증명기에 관심이 있었음
  - 이를 전업으로 할 수 있게 되어 꿈이 이루어진 느낌임

- Gary Davidian이 Apple에서 아키텍처 변경 작업을 단독으로 수행한 놀라운 업적이 언급됨
  - Computer History Museum 아카이브에 그의 인터뷰가 있음

- Lean FRO가 무엇인지 궁금해하는 의견이 있음

- LinkedIn의 뒤로 가기 버튼이 이상하다는 의견이 있음
  - 뒤로 가기 버튼을 누르면 Hacker News로 돌아가지 않고 LinkedIn의 홈페이지로 이동함

- Apple이 인재를 잃고 있다는 의견이 있음
  - 현재 불확실한 취업 시장 상황에서 사람들이 왜 회사를 떠나는지 궁금해함

- "Lean"이 래퍼들이 마시는 코데인 기침약 시럽이라는 의견이 있음