Sewoo Jang장서우
high-school student in Korea한국의 고등학생
I build data pipeline tools in Rust.Rust로 데이터 파이프라인 도구를 만듭니다.
Focused on compilers, type systems, and data infrastructure.컴파일러, 타입 시스템, 데이터 인프라에 집중하고 있습니다.
Xazz
Rust-based DSL compilerRust 기반 DSL 컴파일러A from-scratch compiler for data and ML pipelines. Its own lexer, parser, type checker, Typed IR, and codegen lower one `.xzz` script to Polars (data) and Burn (deep learning).
데이터·ML 파이프라인용 컴파일러를 처음부터 구현했습니다. 직접 만든 렉서, 파서, 타입 체커, Typed IR, 코드 생성을 통해 하나의 `.xzz` 스크립트를 Polars(데이터)와 Burn(딥러닝)으로 하강시킵니다.
// compiled to a typed IR once; the runtime consumes it once// IR로 한 번 컴파일되고, 런타임은 IR을 한 번만 소비
type AirData = {
station: string,
temp: float,
pm10: Option<float>,
}
v dataset = load("air_data.csv") :: AirData
|> fillNull("pm10", strategy: "mean")
model AirPredictor {
Dense(64) -> ReLU() -> Dense(1)
}
v trained = dataset
|> train(AirPredictor, target: "pm10", epochs: 10)x1zzLang
Data pipeline DSL데이터 파이프라인 DSLThe original data-pipeline DSL that evolved into Xazz. Compiles `.xzz` into Polars LazyFrame plans with a null-safe `Option<T>` type system.
Xazz로 성장한 최초의 데이터 파이프라인 DSL입니다. `.xzz`를 Polars LazyFrame 계획으로 컴파일하고, 널 안전 `Option<T>` 타입 시스템을 갖췄습니다.
py2xzz
Transpiler트랜스파일러A compiler pipeline from Python to `.xzz`: Python 3 is parsed with its own lexer/parser and mapped onto the xazz-core AST, then emitted back as source.
Python에서 `.xzz`로 가는 컴파일러 파이프라인입니다. 자체 렉서/파서로 Python 3를 읽어 xazz-core AST로 매핑한 뒤 소스로 출력합니다.
Visual IDE
Graphical editor그래픽 에디터A React-based editor that turns connected nodes into `.xzz` code in real time and runs it against the backend.
노드를 연결하면 실시간으로 `.xzz` 코드가 생성되고 백엔드로 실행되는 React 기반 에디터입니다.
LLM-PCAG
energy efficiency of LLM quantizationLLM 양자화의 에너지 효율Quantifies how much energy weight quantization actually saves. The PCAG metric shows that savings collapse faster than accuracy loss, and a power wall at INT4→INT3 was verified through three independent paths. The Jevons paradox is proved in closed form.
가중치 양자화가 에너지를 실제로 얼마나 아끼는지 정량화합니다. PCAG 지표로 절감 효과가 정확도 손실보다 먼저 붕괴함을 보이고, INT4→INT3의 파워 월을 세 경로로 검증했어요. 제본스 역설도 닫힌 형태로 증명했습니다.
PCAG collapsePCAG 붕괴
20.8 → 10.4 → 4.8
Power wall파워 월
INT4 → INT3 · −54.4%
Cross-model모델 교차 검증
4 models · all INT4→INT3
Jevons paradox제본스 역설
load grows iff E_d > 1
current status — literature-anchored analysis · GPU measurement harness in progress현재 상태 — 문헌 기반 분석 · GPU 측정 하네스 진행 중
I study compilers and systems engineering and build them as working software. The Xazz toolchain is a single family of languages — a DSL, a transpiler, and a visual editor — that share one typed AST and one philosophy: move errors from runtime to compile time.
컴파일러와 시스템 엔지니어링을 공부하고, 그것을 동작하는 소프트웨어로 만듭니다. Xazz 툴체인은 하나의 타입드 AST와 "에러를 런타임에서 컴파일 타임으로 옮긴다"는 철학을 공유하는 DSL, 트랜스파일러, 비주얼 에디터의 한 가족입니다.