├── AI

│   ├── Machine Learning

│   ╰── Transformer

├── Toy Project

│   ├── LLM 글리치 토큰

│   ├── Qwen2.5-72B LLM SFT

│   ╰── LLM 으로 제로데이 발견 실험

├── 개발툴 정리

├── 기초 컴퓨터 보안 메모

├── 기초 메모

│   ├── 수학 역사

│   ├── 러프한 불완전성 정리

│   ├── 기초 집합 관련

│   │   ├── 집합[ZFC]

│   │   ├── 수론[COF=Real]

│   │   ├── 무한집합[⏐N⏐<⏐R⏐]

│   │   ╰── 초실수/초현실수

│   ├── 증명이론(Proof Theory)

│   │   ├── 1차논리[완전성정리]

│   │   ├── 수론[불완전성정리]

│   │   ├── 집합[무모순성정리]

│   │   ├── 계산가능성[튜링기계]

│   │   ├── 2차논리

│   │   ╰── 순서수 분석[시스템의 천장]

│   ├── 위상수학

│   │   ├── 집합

│   │   ├── 위상공간

│   │   ╰── 연결성과 콤팩트성

│   ├── 연산

│   ├── 다항식

│   ├── 선형대수학

│   │   ├── Vector Space

│   │   ├── Linear Transformation

│   │   ├── Matrix Operation

│   │   ├── Determinants

│   │   ├── Diagonalization

│   │   ├── InnerProduct Spaces[1/2]

│   │   ├── InnerProduct Spaces[2/2]

│   │   ╰── Canonical Forms

│   ├── 해석학 in R

│   │   ├── Real Numbers

│   │   ├── Sequence and Series

│   │   ├── Topology in R

│   │   ├── Functional Limit

│   │   ├── Continuity

│   │   ├── Derivative

│   │   ├── Function Sequence and Series

│   │   ╰── Integral

│   ├── Metric Space

│   ├── 해석학 in Rⁿ

│   │   ├── 위상수학 in Rⁿ

│   │   ├── 미분

│   │   ├── Extrema

│   │   ╰── 변분법Calculus of Variations

│   ├── 불확실성

│   │   ├── Probability

│   │   ├── Probability Distribution

│   │   ╰── Statistics

│   ╰── 계산기계

│       ├── 튜링의 논문[결정불가능성]

│       ├── 논리에서 컴퓨터로[nand2tetris]

│       ╰── 커리-하워드 동형[Program=Proof]

╰── Tool

    ├── C

    ├── C++

    ├── uv

    ├── Rust

    ╰── pixi