sayzardAndrej Karpathy (@karpathy)
LLM(대형언어모델)이 소프트웨어의 제약 조건을 완전히 바꾸면서 프로그래밍 언어와 형식적 기법(formal methods) 분야가 매우 흥미로운 시기를 맞이하고 있다는 관측입니다. 이미 C를 Rust로 포팅하려는 움직임과 관련 관심 증가 등 LLM 영향으로 인한 실무·연구 환경 변화의 조짐이 보인다는 내용입니다.
Andrej Karpathy (@karpathy) on X
I think it must be a very interesting time to be in programming languages and formal methods because LLMs change the whole constraints landscape of software completely. Hints of this can already be seen, e.g. in the rising momentum behind porting C to Rust or the growing interest