2026년 10월 20일 (화).

핵심 요약

• Valen 언어는 함수를 역방향으로 순회하며 메모리 안전을 검증하는 독특한 차용 검사기(borrow checker)를 구현했다.
• Valen 컴파일러는 정적 타입 지정, 정적 그룹화, 그리고 역방향 검사 총 4개 단계로 함수를 컴파일한다.
• 단계 3의 정적 그룹화는 참조가 어떤 데이터 구조의 어디를 가리키는지 파악하며, 이 정보가 변수의 타입에 포함된다.

핵심 요약

• Tmux는 AI 코딩 에이전트를 독립된 세션에서 실행하며, 터미널을 닫아도 프로세스는 계속 동작하고 재접속 시 그대로 복구된다.
• Claude Code의 최신 버전은 --worktree --tmux 플래그로 자동 설정을 지원하지만, 여러 에이전트 관리, 스크립팅, 원격 실행은 수동으로 구성해야 한다.
• 세션은 프로젝트 단위로 명명하고, 각 작업마다 윈도우를 만들며, send-keys로 스크립트에서 에이전트에 입력할 수 있다.

핵심 요약

• 블룸 필터는 '특정 키가 집합에 있는가'를 빠르게 판별하는 확률적 자료구조로, 작은 메모리로 높은 성능을 제공해 Bluesky 백엔드에서 데이터베이스 쿼리를 99% 줄이는 데 활용 중이다.
• 전통적 블룸 필터는 k개의 독립적 해시 함수를 사용하지만, 2008년 Kirsch와 Mitzenmacher의 논문에 따르면 단 2개 해시로도 동일한 오류율을 달성할 수 있다.
• Bluesky는 bits-and-blooms 라이브러리를 사용했으나 스레드 안전성 부족으로 뮤텍스 경합이 병목이 되어 배포 시간이 90분에 달했고, atomic-bloom으로 개선해 15분대로 단축했다.