Chandy–Lamport, 파일이 정상이어도 백업 상태가 틀리는 이유
Distributed Snapshots — K. Mani Chandy·Leslie Lamport
서로 다른 시점의 정상 파일을 모으면 존재할 수 없는 상태가 생긴다. 송금 예제로 일관된 스냅샷과 전송 중 메시지를 설명하고 Chandy–Lamport의 marker, FIFO 가정과 복구 적용 한계를 살펴본다.
관심 있는 분야부터
전체 59편 둘러보기 →새로 쓴 글
Akasha 검색 평가, 18개를 모두 찾고도 탈락한 이유
다국어 기억 검색에서 recall@5가 1.0이어도 유사 오답이 앞설 수 있다. Akasha의 공개 평가와 MIRACL의 언어별 결과를 통해 정답 포함, 순위, 검색 방향과 통과 기준을 나누어 본다.
글 읽기The notebook
차곡차곡 쌓인 기록
백엔드 개발과 시스템 설계에서 배운 것을 정리합니다.
Akasha 개발기 — 에이전트가 기억을 찾는 것과 토큰을 아끼는 것 사이
코딩 에이전트의 결정과 제약을 세션 밖에 보관하는 Akasha를 만들며, 검색 결과를 context pack으로 조립하는 흐름과 MCP·CLI 전달 방식에 따라 달라진 입력 토큰 평가를 정리했다.
Mimir 개발기: 데이터 소스를 연결한 뒤에 남는 일
Mimir의 소스 선택부터 JSONL 저장까지 따라가며 커넥터 지원과 이용 승인을 구분한다. 수정되는 거시 지표, 재생성되는 분석 결과, FRED 연동 제거가 보여 주는 데이터 수명 관리의 경계를 살펴본다.
Nebula를 만들며: 잠깐 띄운 앱을 다시 이어 쓸 수 있는 환경으로
작은 앱을 공유하고 다시 실행하려면 무엇을 남겨야 할까. Nebula에서 앱의 정체성, 실행 수단, 데이터 수명을 나누며 정한 경계를 설명한다.
Omni-Folio 개발기: 연구 결과가 원장을 바꾸기까지의 경계
직접 개발하는 local-first 포트폴리오 앱 Omni-Folio에서 Go 원장과 Python 연구의 책임을 나눈 이유. 입력을 보관하는 일과 실행을 승인하는 일이 어떻게 다른지 실제 모의 실행 흐름으로 살펴본다.
Parallax 개발기 — 변경 영향에 파일 목록보다 근거가 필요한 이유
변경 파일에서 호출자·테스트·문서까지 이어지는 관계를 로컬 인덱스에 저장하는 Parallax 개발기. 실제 TypeScript import 해석과 자기 소스 검증 코드를 따라가며 영향 후보, 신뢰도, 누락 경계를 살펴본다.
Go 바이너리의 SBOM, go.mod만으로는 어떤 파일인지 알 수 없다
같은 go.mod로 만든 두 명령의 모듈 정보가 달라지는 이유를 독립 예제로 확인한다. 구성 목록을 실제 배포 파일의 이름·SHA-256에 연결하고, 해시 일치와 출처 신뢰를 구분하는 방법.
RFC3339Nano로 저장한 시간이 역순으로 보이는 이유
가변 길이 소수 초를 문자열로 비교하면 정렬뿐 아니라 커서와 특정 시점 조회도 틀릴 수 있다. Go·SQLite 독립 예제로 재현하고 정밀도를 보존하는 비교 기준을 살펴본다.
S3 목록에서 3개를 반환하려고 두 번 조회하는 이유
minio-go v7.0.97과 Go 1.24.5로 SDK 자동 페이지 넘김을 재현한다. N+1 조회가 HTTP 요청을 줄이는 조건과 다음 페이지 커서·취소·1,000개 상한을 함께 살펴본다.