[%] 러스트 벨트 프로젝트

[익명(24.131)]

https://plv.mpi-sws.org/rustbelt/

(힙스터 친구피셜에 의하면) 현재 PL/FV 분야에서 가장 핫한 프로젝트

프로그램 정확성을 100% 표현 + 검증하는 건 지금 기술로는 현실성이 없으니 메모리처럼 어떤 분야에서든 중요한 property 하나를 골라서 제한적으로 증명하는 건 적당한 타협점 같긴 함

[커헠(msca8h)]

PL/FV 는 학계가 따라가줘야될텐데 러스트가 아직 학계의 관심을 덜 받고 있지 않나 - return 0;

[커헠(msca8h)]

막스플랭크 연구소 프로젝트구나 어떻게 될지 지켜봐야겠네 - return 0;

[익명(147.46)]

pl 분야 뿐만 아니라 시스템 분야에서도 Rust에 대한 사랑이 엄청난데