오깨들
프론트엔드 개발과 도구를 다루며 그날 새롭게 이해한 내용을 짧게 기록합니다.
2026
- GitHub Actions의 과금 시간은 job마다 분 단위로 올림된다.
- 애플 개발자 계정은 129,000원이며 1년마다 갱신해야 한다.
- Bend를 사이드 프로젝트에서 실제로 사용해 보고 있는데, 항상 지켜져야 하는 도메인 규칙을 수학적으로 증명하는 용도로 부분적으로 도입해 볼 만하다. 테스트가 선택한 사례에서 명제가 성립하는지 확인한다면, Bend에서는 명시한 전제와 입력 범위 안의 모든 경우에 그 명제가 성립함을 증명하고, 그 증명을 기계적으로 검사할 수 있다는 점이 만족스럽다.
AI가 작성한 코드가 정해 둔 규칙을 어기지 않았는지 증명으로 검사하는 프로그래밍 언어 Bend의 두 번째 버전이다. 앱의 규칙을 법칙(law)으로 선언하면, 코드를 수정할 때마다 그 법칙이 지켜진다는 증명을 요구하고 컴파일러가 이를 검사한다.
- 규칙을 결정론으로 끌어오려는 시도가 인상깊다.
- vitepress, rspress 등을 활용해서 마크다운만으로 문서를 손쉽게 생성할 수 있다.
- dependabot, renovate 등을 사용해서 의존성을 최신 상태로 유지하고 보안 취약점이 있을 때 PR을 올려주는 등을 자동화 할 수 있다. 단, 오히려 노이즈라는 의견도 존재하는듯. 일단 자동 PR은 제외하고, 보안 위험성이 Critical/High인 경우에만 슬랙으로 알림을 주도록 설정해봤다.
GitHub DocsDependabot 빠른 시작 가이드 - GitHub 문서Dependabot를 사용하여 취약한 종속성을 찾아 수정하십시오.GitHubGitHub - renovatebot/renovate: Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.ioHome of the Renovate CLI: Cross-platform Dependency Automation by Mend.io - renovatebot/renovateGeekNewsDependabot을 끄자 | GeekNewsDependabot의 과도한 PR과 보안 경고가 만드는 노이즈를 지적하고, 실제 취약 코드 탐지와 주기적인 테스트를 대안으로 소개한 글.