Posts for: #완역

한셴카이(byoungd)의 『인생 레벨업 가이드』 한국어 완역판. 영어라는 문에서 출발해 AI 학습, 실제 프로젝트, 실패와 회복까지 평범한 사람의 평생학습을 다룬 책을 웹과 EPUB·PDF로 읽을 수 있다.

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개는 리뷰가 잡았다.

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가 뜨는 경로와 이 스택 실전 가이드.