Posts for: #완역

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

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·목표 위임·워크플로를 일상에서 쓰는 방식.

Lahfir 2026-09-17 트윗. TypeSafe Jev, jev-router, delegate 플러그인의 세 층. Claude Code /model에 Jev Auto가 뜨는 경로와 이 스택 실전 가이드.

xAI Grok Bot 공식 계정(@bot)이 2026-09-17에 올린 두 문장짜리 게시물의 한국어 완역·요약·팩트체크. 8시간 23분 라이브, 조회 344만, 그리고 원문이 끝내 정의하지 않은 ‘회사’. 신뢰도 B.

Polymath Investor가 2025년 11월에 낸 6면 리포트 How to Understand Anything 한국어 완역·팩트체크. 7개 절 × 35개 사고 휴리스틱, 전부 이름·정의 / 왜 통하는가 / 실전 적용의 세 박자. 공유된 6면이 원문의 끝이 아니다(부분 추출). 신뢰도 C.