Posts for: #번역

2023-05-24 George Mack가 X에 쓴 루돌프 브르바 스레드. 탈출과 보고서는 기록과 맞고, 세 지도자에게 전달됐다는 한 줄은 수신 경로가 더 길다.

2024-01-26 Latif Nasser의 스레드. 아이 포스터의 ZOOZVE는 2002 VE68의 오독이었고, 2024-02-05 IAU가 그 오독을 공식 이름으로 승인했다.

조지 맥이 2025-03-23에 올린 highagency.com을 한국어로 옮겼다. 하이 에이전시의 정의, 라이트 형제, 로우 에이전시 함정, 그리고 헛소리를 현실로 바꾸는 다섯 도구.

한셴카이(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 글과 거기 붙은 인용문 검증은 부록.