1일 전 · software

사소한 꼬리잡기에 시간을 낭비하지 마세요: PR 리뷰 자동화

수동 PR 리뷰의 문제점 우리 모두 겪어본 적이 있습니다. 수십 개 파일에 걸친 Pull Request를 열고, 다음 한 시간 동안 들여쓰기나 …에 대해 댓글을 달곤 합니다.

3일 전 · software

덜 복잡한 Binary Decision Diagrams for 집합론적 타입

번역할 텍스트를 제공해 주시겠어요?