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

2024년 11월, 벽에 덕트테이프로 붙인 바나나 한 개가 624만 달러에 팔렸다. 산 사람은 아흐레 뒤 기자들 앞에서 바나나를 먹었다. 그날 그는 무엇을 산 것일까. 돈이란 무엇이고 어떻게 벌어야 하는가를 바나나에서 시작해 바나나로 돌아와 묻는 책. 프롤로그 + 8장 + 결론 + 부록 3.

『Learn TLA+』 35페이지 전체를 한 페이지로 압축했다. TLA+가 무엇이고 왜 쓰는지에서 시작해 장별 핵심 개념·문법·함정, 치트시트, 원문 주장 팩트체크까지 담았다.

msk1039/nagomi를 커밋 20967033에 고정해 코드를 한 줄도 실행하지 않고 읽은 채택 판단 문서. 22개 주장 중 14개가 코드로 뒷받침되고 5개가 반박된다 — 날씨 설정이 사용자 오버라이드를 지우는 지점, 문서에 없는 KeyF, 존재하지 않는 락파일, 저장소가 광고하는 배포처에서는 죽어 있는 _headers, 그리고 GitHub 배지가 ‘Other’라고만 말하는 PolyForm Noncommercial 라이선스.

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 유무를 붙였다.