한국어로 옮긴 지식의 서가
언어의 문턱을 낮추고,
배움의 깊이를 더하다.
프로그래밍 언어부터 수학까지.
열린 라이선스로 공개된 좋은 글을 한국어로 만나보세요.
전체 번역 34편
WebAssembly
컴포넌트와 언어 간 상호 운용
-
WebAssembly
WebAssembly 컴포넌트 모델
컴포넌트 모델과 WIT의 개념부터 여러 언어로 컴포넌트를 만들고 실행·합성·배포하는 방법까지 다룹니다.
Rust
컴파일러와 생태계
-
Rust
Rust 컴파일러 개발 가이드
rustc의 구조와 동작 원리, 컴파일러 개발 환경과 기여 절차를 설명하는 가이드입니다.
-
Rust
Rust Forge
Rust 팀의 릴리스 채널, 기여 절차, 인프라를 다루는 Rust Forge 문서입니다.
-
Rust
Rust API 가이드라인
Rust 라이브러리 팀이 정리한 크레이트 API 설계 권고와 체크리스트입니다. 명명, 상호 운용성, 문서화, 타입 안전성, 미래 호환성을 다룹니다.
Lean
프로그래밍과 정리 증명
-
Lean
Functional Programming in Lean
정리 증명기 Lean으로 함수형 프로그래밍을 처음부터 배우는 책입니다.
-
LeanMath
Lean 4로 정리 증명하기
의존 타입 이론부터 택틱과 귀납적 타입까지, Lean 4로 명제와 증명을 형식화하는 법을 다루는 입문서입니다.
-
LeanMath
Lean으로 배우는 수학
Mathlib을 활용해 대수학, 위상수학, 해석학의 증명을 Lean으로 형식화하는 실습형 교재입니다.
Math
수학의 개념과 증명
-
Math
호모토피 타입 이론
유니밸런트 기초, 의존 타입, 고차 귀납적 타입과 호모토피 이론을 다루는 HoTT Book의 비공식 한국어 번역입니다.
-
Math
무한히 큰 냅킨
고등 수학의 여러 분야를 한 권에 담은 Evan Chen의 입문서입니다. 장별 웹판으로 읽거나 한국어판 PDF·EPUB을 내려받을 수 있습니다.
-
Math
대화형 선형대수
벡터와 연립일차방정식에서 고윳값, 직교성, 최소제곱까지 그림과 대화형 데모로 익히는 Georgia Tech의 선형대수 교재 Interactive Linear Algebra의 비공식 한국어 번역입니다. 수식 속 영어 문구와 데모는 원서 그대로입니다.
Python
언어의 설계와 구현
-
Python
Python 개발자 가이드
Python에 기여하고 CPython을 개발하는 데 필요한 절차와 도구를 설명하는 공식 개발자 가이드의 비공식 한국어 번역입니다.
-
Python
Python 개선 제안(PEP)
Python의 설계와 발전 과정을 기록한 공식 제안서 모음입니다. 번역이 허용된 709편을 한국어로 제공하고, 나머지는 원문으로 안내합니다.
-
Python
PyPy 문서
더 빠른 파이썬 구현체, PyPy의 공식 문서입니다.
-
Python
RPython 문서
PyPy가 스스로를 만들어내는 데 쓰는 언어, RPython을 다룹니다.
Nix
재현 가능한 개발 환경
-
Nix
Zero to Nix
Determinate Systems가 만든 플레이크 중심의 Nix 입문서입니다. 설치부터 개발 환경, 패키지 빌드까지 따라가는 빠른 시작과 Nix의 까다로운 개념을 풀어 쓴 개념 문서로 이루어져 있습니다.
-
Nix
nix.dev: Nix 공식 문서
Nix 설치와 첫걸음부터 NixOS 배포까지 따라가는 튜토리얼, 상황별 가이드와 레시피, 핵심 개념 설명, Nix 참조 매뉴얼 안내를 담은 공식 문서 포털입니다.
하드웨어
회로부터 프로세서까지
-
하드웨어
Putting the "You" in CPU — 프로그램 실행의 모든 과정
CPU와 운영체제, 시스템 호출, ELF, 가상 메모리와 fork까지 프로그램이 실행되는 과정을 설명합니다.
-
하드웨어
learn-fpga: FPGA와 RISC-V 배우기
LED 점멸부터 RISC-V 프로세서 설계까지, Verilog와 오픈소스 FPGA 도구로 배우는 실습 튜토리얼입니다. FemtoRV와 LiteX 문서도 함께 제공합니다.
-
하드웨어
Chisel로 하는 디지털 설계
현대적인 하드웨어 구성 언어 Chisel로 디지털 회로와 하드웨어 생성기를 설계하는 방법을 다루는 입문서입니다.
-
하드웨어
Tensor Contraction Processor 프로그래밍
FuriosaAI의 Tensor Contraction Processor에서 텐서를 매핑·이동·계산하는 커널을 Rust로 작성하고 스케줄링하는 방법을 설명합니다.
-
하드웨어Rust
Rust로 배우는 Chip-8 에뮬레이션 입문
에뮬레이션 입문용 시스템인 Chip-8의 CPU, 메모리, 레지스터, 35개 명령어를 Rust로 하나씩 구현하는 튜토리얼입니다. 완성한 에뮬레이터를 SDL 데스크톱 프런트엔드와 WebAssembly 브라우저판으로 실행합니다.
-
하드웨어
Performance Ninja: 저수준 성능 최적화 강좌
CPU 캐시 미스, 분기 예측 실패, 벡터화, 거짓 공유 같은 저수준 성능 문제를 C++ 실습 과제로 찾아 고치는 온라인 강좌입니다. 과제마다 힌트와 단계별 풀이가 있으며, 영상은 원문(영어) 그대로 연결됩니다.
컴퓨터 그래픽스
빛과 재질을 코드로 그리기
-
컴퓨터 그래픽스
Ray Tracing in One Weekend — 레이 트레이싱 시리즈
C++로 레이 트레이서를 직접 만드는 세 권의 책입니다. 광선과 구의 교차부터 재질, 텍스처, 가속 구조와 몬테카를로 렌더링까지 차근차근 다룹니다.
Erlang
BEAM 가상머신의 내부
-
Erlang
The BEAM Book
Erlang과 OTP를 움직이는 가상머신, BEAM의 내부 구조를 다루는 책입니다.
알고리즘
자료 구조와 알고리즘 설계
-
알고리즘
경쟁 프로그래밍을 위한 알고리즘
그래프, 수론, 문자열, 기하, 자료 구조까지 경쟁 프로그래밍에서 쓰이는 알고리즘을 증명과 구현과 함께 설명하는 cp-algorithms의 한국어 번역입니다.
-
알고리즘
알고리즘 (Jeff Erickson)
재귀, 백트래킹, 동적 계획법, 탐욕 알고리즘부터 그래프 탐색, 최단 경로, 최대 흐름, NP-난해성까지 다루는 일리노이 대학교 교재입니다. 공개된 원고가 없어 원서 PDF에서 원고를 복원해 번역했습니다.
-
알고리즘Math
알고리즘카(Алгоритмика)
Sergey Slotin이 Tinkoff Generation의 CS 강의를 위해 만든 러시아어 자료 사이트의 한국어 번역입니다. 자료 구조, 그래프, 동적 계획법, 문자열, 기하, 수론부터 확률·머신러닝 입문까지 경시 프로그래밍 관점에서 다룹니다. 러시아어 원문에서 바로 옮겼습니다.
경제·금융
재무관리와 보험계리
-
경제·금융
재무관리 원리(Principles of Finance)
재무의 기초와 기업 지배구조, 회계와 재무제표, 화폐의 시간가치, 채권·주식 가치평가, 위험과 수익률, 자본예산과 자본비용, 운전자본 관리, 위험관리까지 20개 장으로 다루는 OpenStax의 개방형 재무관리 입문 교재(2판)입니다. 절 끝 연습문제는 원문 사이트로 연결합니다.
-
경제·금융
손해 데이터 분석(Loss Data Analytics)
보험 청구의 빈도·심도 모형부터 총손실, 시뮬레이션, 베이즈 추론, 요율 산정과 위험 분류, 신뢰도 이론, 지급준비금(체인래더), 보너스-말러스, 코퓰라 의존성 모형까지 손해 데이터 분석을 R 예제와 함께 다루는 보험계리 공동체의 개방형 교재(2판)입니다. 본문의 용어는 풀이 도움말로 확인할 수 있습니다.
커리어
소프트웨어 개발자의 커리어와 일하는 방식
-
커리어
코딩 커리어 핸드북
Shawn "swyx" Wang이 코드 뉴비에서 시니어 개발자까지의 커리어를 가이드·원칙·전략·전술로 정리한 The Coding Career Handbook의 한국어 번역입니다. "공개적으로 배우기(Learn in Public)"를 비롯한 44개 장과 1,500여 개 링크의 참고 문헌을 담았습니다.
에세이
소프트웨어와 기술에 관한 개인 블로그
-
에세이
Stephen Diehl 블로그
Haskell과 범주론, GHC와 MLIR 컴파일러, 타입 이론, 수학과 물리, AI와 금융, 서평까지 2013년부터 이어진 Stephen Diehl의 블로그 글 111편을 옮긴 한국어 번역입니다. 공개된 원고 저장소가 없어 게시된 HTML에서 원고를 복원해 번역했습니다.
데이터 형식
파일 형식과 압축 명세
-
데이터 형식
Aqueous 아카이브 형식 명세
블록·세그먼트·파셀로 이루어진 압축 아카이브 형식 Aqueous와, 기존 디렉터리 트리의 변경으로 기술하는 오버레이 아카이브 형식의 편집자 초안입니다. 공식 블록의 스택 기계, WebAssembly 모듈 적용, 체크섬과 미러 블록을 통한 복구, 암호화, CBOR 선택적 메타데이터, ZIP 변환까지 다룹니다. 원문 커밋 3d37dae5(2026-10-29) 시점의 스냅샷입니다.
Haskell
함수형 언어와 컴파일러 구현
-
Haskell
Write You a Haskell
람다 대수와 힌들리-밀너 타입 추론에서 시작해 타입 클래스, 패턴 매칭 컴파일, 클로저 변환, LLVM 코드 생성, 가비지 컬렉터까지 Rust로 Haskell 계열 언어 Fun의 컴파일러를 한 단계씩 만들어 가는 Stephen Diehl의 책입니다.
프로젝트 관리
기술 프로젝트의 계획, 일정, 리스크, 리더십
-
프로젝트 관리
Technical Project Management in Living and Geometric Order
예측 가능한 계획 중심의 일(기하학적 질서)과 불확실성 속에서 적응해야 하는 일(살아 있는 질서)을 함께 놓고, 프로젝트 선정부터 범위·조달·팀·일정·리스크·원가·통제·협상·종료까지 기술 프로젝트 관리를 다루는 위스콘신 대학교 매디슨 캠퍼스의 개방형 교재입니다. EPUB으로도 내려받을 수 있습니다.
아직 찾는 글이 없네요.
다른 검색어를 입력하거나 전체 번역을 둘러보세요.
좋은 글을 한국어로 읽을 수 있도록 — 역자를 시작한 이유
CC BY-SA 4.0이나 MIT 같은 열린 라이선스로 누구나 읽고 옮겨도 된다고 공개해 둔 좋은 글이 많습니다. 다만 대부분 영어로 되어 있어서, 한국어를 쓰는 사람에게는 접근성이 떨어집니다. 저도 읽어 낼 수는 있지만 속도가 너무 느려서 끝까지 읽지 못하고 덮은 적이 많습니다.
물론 영어를 공부하라는 말은 맞습니다. 하지만 다들 그 말만 하고 번역에는 아무도 힘을 쓰지 않을 것이라면, 차라리 국어를 영어로 바꾸는 편이 낫다고 생각합니다. 그래서 좋은 글을 한국어로도 읽을 수 있게 하려고 이 프로젝트를 시작했습니다.
브라우저의 자동 번역도 있지만 code 같은 태그가 섞인 문서에서는
코드 조각의 자리가 어긋나곤 합니다. 오픈소스로 원문이 공개된 글이라면 그 원본을
번역하고 꾸준히 관리하는 쪽이 가장 효율적이라고 봅니다. 아래 번역본도 그렇게
만들고 있습니다.