Hillel Wayne의 무료 TLA+ 입문서 『Learn TLA+』 35페이지 전체를 한국어로 옮겼다. 연산자·PlusCal·불변식에서 동시성·시간 속성·순수 TLA+까지, 그리고 최적화·예제·표준 모듈 레퍼런스까지. 코드와 스펙 파일은 원문 그대로다(CC BY 4.0).

근접 사진 네 장에서 관객과 함께한 열 장으로. 세 번째 사진을 전체 무대인사 기록 안에서 읽는다.

Boris Cherny가 Opus 5.5에게 Claude Agent SDK와 claude.ts 상태기계를 Lean 4로 검증시켜 PR 16개를 얻은 과정의 완역과 팩트체크. 영상의 타임스탬프로 읽으면 ‘프롬프트 몇 개’는 Slack 메시지 6개와 사람의 PR 승인·리뷰였고, 버그 24개 중 증명 출신은 19개, 1차 수정의 구멍 6개는 리뷰가 잡았다.

개가 얌전해졌다면, 바뀐 것은 개일까. 1959년 시베리아의 여우 농장에서 시작해 우리 자신의 얼굴뼈, 밀밭과 법전을 지나, 무엇을 선택할 수 있는지를 정하는 손이 누구의 것인지를 끝까지 따라가는 책. 프롤로그 + 12장 + 결론 + 부록 3.

Nick Bostrom의 2003년 논문 「Are You Living in a Computer Simulation?」 완역. 결론은 “우리는 시뮬레이션 속에 산다”가 아니라 세 명제 중 하나는 참이라는 선언이다. 논증의 대수는 맞지만 각주의 연산량 산술은 약 15배 낮고, “행성 질량 컴퓨터”는 실은 항성 하나를 통째로 쓰는 기계다.

EliteReads가 모은 머스크 추천서 34권의 완역과 팩트체크. 인용문은 대체로 진짜지만 34권을 떠받치는 출처는 24개뿐이고 7권은 트윗 하나에서 나왔으며, 인용 장치 4건이 깨져 있다. 34권 각각의 한국어판·리디·밀리·Google Play 유무를 붙였다.

2026-09-17 tamara(@tamarajtran) 트윗. TypeSafe AI Jev로 에이전트 compaction을 요약 프롬프트가 아니라 tool call 점수화·삭제로 바꾸자는 주장과 공개 플러그인.

2026-08-12 녹화된 로런 탠(SpaceXAI)의 55분 워크숍 한국어 완역과 팩트체크. 본문은 발화 내용이고, 이 영상을 2026-09-17에 유통한 X 글과 거기 붙은 인용문 검증은 부록.

2009년 초 일론 머스크 SpaceX 설명 영상(25분 21초) 한국어 완역·팩트체크. 포스터 오버레이 2008은 음성과 충돌. 2026년 X 유통 경로는 부록. 신뢰도 C.

2026-09-02 Anthropic Claude 채널 인터뷰. Thariq Shihipar, Sid Bidasaria, Robert Boyce가 Claude Tag·목표 위임·워크플로를 일상에서 쓰는 방식.