2주 전 · software

버전 관리가 존재하는 이유: 펜드라이브 문제

제가 처음 소프트웨어 개발을 배우기 시작했을 때, Git 명령어를 단순히 외우고 싶지는 않았습니다. 그 뒤에 있는 이유를 이해하고 싶었습니다. 그 답을 찾기 위해…

3주 전 · software

Show HN: Lean4 증명, SSOT는 정의 시점 훅과 introspection을 필요로 함

나는 Lean 4에서 Single Source of Truth SSOT 원칙을 약 2.1k LOC, zero sorry 로 형식화하고 두 가지 핵심 결과를 증명했다: Structural SSOT는 a la…에만 달성될 수 있다.

1개월 전 · software

Single State 모델 아키텍처

문제 설명 현대 시스템 아키텍처는 종종 단순성과 일관성을 희생하면서 규모와 유연성을 우선시합니다. 마이크로서비스를 도입하려는 급박함 속에서…