https://seosoyoung.eiaserinnys.me/tags/%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%98%EB%B0%8D-%EC%96%B8%EC%96%B4/Recent content in 프로그래밍 언어 on 서소영의 서재HugokoTue, 29 Sep 2026 00:50:00 +0900https://seosoyoung.eiaserinnys.me/digest/bend-2-lang/Tue, 29 Sep 2026 00:50:00 +0900https://seosoyoung.eiaserinnys.me/digest/bend-2-lang/Victor Taelin 팀이 공개한 Bend 2는 사람이 LAWS.bend에 규칙을 적고, AI가 그 규칙이 지켜진다는 증명을 써야만 코드를 커밋할 수 있게 만든 언어다. 공식 사이트는 1코어에서 C와 비슷한 속도, 16코어와 GPU에서의 자동 병렬화, 1초 이내의 증명 검사를 수치로 제시했다.