Runtime errors, moved to compile time.런타임 에러를 컴파일 타임으로.
x1zz builds compilers, type systems, and data infrastructure in Rust. The main line is the Xazz toolchain; Xz extends the same principles to general-purpose code, and the bridges carry them into Next.js and Rails.x1zz는 Rust로 컴파일러, 타입 시스템, 데이터 인프라를 만듭니다. 메인은 Xazz 툴체인이고, Xz가 같은 원칙을 범용 코드로 확장하며, 브리지가 이 언어들을 Next.js와 Rails로 이어줍니다.
Xazz
DSL compiler for data & ML pipelines데이터·ML 파이프라인 DSL 컴파일러A from-scratch compiler with its own lexer, parser, type checker, Typed IR, and codegen — lowering one .xzz script to Polars for data and Burn for deep learning.
렉서부터 파서, 타입 체커, Typed IR, 코드 생성기까지 전부 직접 구현한 컴파일러입니다. .xzz 스크립트 하나가 데이터는 Polars로, 딥러닝은 Burn 코드로 컴파일됩니다.
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)Xz
AI-written, Human-reviewed languageAI가 쓰고 사람이 검증하는 언어An experimental language built on one thesis: machine-generated code must be readable and verifiable. Every contract visible, every failure path typed — claims are proven, trusted, or rejected. Never silently ignored.
기계가 생성한 코드는 읽히고 검증될 수 있어야 한다고 믿고 만든 실험 언어입니다. 계약은 전부 드러나고, 실패 경로는 전부 타입으로 드러납니다. 문서로 남긴 주장은 컴파일러가 증명하거나 사람이 신뢰하거나 거부됩니다. 조용히 무시되는 일은 없습니다.
/// Computes the Euclidean distance between two points.
/// @intent Returns the straight-line distance from a to b.
/// @ensures result is ok implies result.value >= 0.0
func distance(a: Point, b: Point) -> Result[Float, DomainError]
post result is ok implies result.value >= 0.0
{
let dx = b.x - a.x
let dy = b.y - a.y
ok(sqrt(dx * dx + dy * dy)?)
}next.xz
Next.js × XzNext.js × XzCarries Xz into the App Router. Server Actions call compiled Xz shared libraries over a typed Bun/Node FFI binding, an agent drives the LLM → xz check-json → repair loop, and a /___audit overlay shows a human the contract badges before anything ships.
Xz를 App Router에서 쓸 수 있게 만든 브리지입니다. Server Action은 타입이 붙은 Bun/Node FFI 바인딩으로 컴파일된 Xz 공유 라이브러리를 호출하고, LLM이 쓴 코드는 xz check-json 검사와 자가 수정 루프를 거칩니다. 배포 전에는 /___audit 화면에서 사람이 계약 배지를 확인합니다.
rails.xz
Rails × XzRails × XzBrings Xz into Rails as a toolkit, not a fork. A gem loads compiled Xz modules over Ruby FFI, and a mountable Engine renders an /xz_audit dashboard so every generated module gets human approval. Built together with imrubydev.
Rails를 포크하지 않고 그 위에 얹는 툴킷입니다. gem이 Ruby FFI로 컴파일된 Xz 모듈을 불러오고, 마운트 가능한 Engine이 /xz_audit 대시보드를 렌더링해서 생성된 모듈마다 사람의 승인을 거치게 만듭니다. imrubydev와 함께 만들었습니다.
01
Move errors to compile time에러를 컴파일 타임으로
If a mistake can be caught before the program runs, it must be. Type systems, contract checks, and typed IR exist to make runtime surprises impossible.
실행 전에 잡을 수 있는 실수는 실행 전에 잡는 게 맞다고 생각합니다. 타입 시스템, 계약 검사, Typed IR이 존재하는 이유는 전부 여기에 있습니다. 런타임에서 놀라는 일 자체를 없애자는 거죠.
02
AI-written, human-reviewedAI가 쓰고, 사람이 검증한다
Machine-generated code should be more trustworthy than handwritten, not less. Documented intent is proven by the compiler or rejected in strict builds.
기계가 쓴 코드가 손으로 쓴 코드보다 더 신뢰할 수 있어야 한다고 생각합니다. 문서로 남긴 인텐트는 컴파일러가 증명할 수도 있고, 사람이 확인해서 신뢰할 수도 있고, strict 빌드에서 거부되기도 합니다.
03
One meaning, one place의미는 한 곳에서
A program means what its typed IR says — decided once, consumed once. Backends execute it; nothing re-interprets it.
프로그램의 의미는 Typed IR에서 한 번 정해집니다. 백엔드는 그걸 실행할 뿐이고, 다시 해석하는 일은 없습니다.
LLM-PCAG
energy efficiency of LLM quantizationLLM 양자화의 에너지 효율Quantifies how much energy weight quantization actually saves. The PCAG metric shows savings collapse faster than accuracy loss; a power wall at INT4→INT3 was verified through three independent paths, and 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
tracel-ai/burn
Rust deep learning framework · 15k★Merged PR #5582: implemented the missing Min / Max variants for element-wise scatter / select_assign across all four backends (ndarray, flex, cubecl, tch) plus autodiff backward passes. Unsupported combinations now fail at compile time instead of panicking at runtime — verified with 1839 tensor + 572 autodiff tests.
요소별 scatter와 select_assign에 빠져 있던 Min/Max 변형을 네 백엔드(ndarray, flex, cubecl, tch) 전부에 구현했고, autodiff backward까지 채웠습니다. 지원하지 않는 조합은 이제 런타임에서 panic이 나는 대신 컴파일 타임에 걸립니다. 텐서 1839개, autodiff 572개 테스트로 확인했습니다.
Restored gpu-allocator's transitive windows crate to 0.62.2 to match wgpu-hal's DX12 backend — a Cargo.lock-only fix for a Windows MSVC build break, a recurrence of #5735.
gpu-allocator의 전이 windows 크레이트를 wgpu-hal의 DX12 백엔드와 맞는 0.62.2로 되돌려 Windows MSVC 빌드 붕괴를 고쳤습니다. Cargo.lock만 바꾼 수정입니다(#5735 재발).
Added matmul batch-broadcast validation to TensorCheck, the pre-dispatch check layer, so every backend reports a consistent Tensor Operation Error.
디스패치 이전 검증 레이어인 TensorCheck에 matmul 배치 브로드캐스트 검증을 추가해, 모든 백엔드가 일관된 Tensor Operation Error를 내도록 했습니다.
Applied binary_ops_ew TensorCheck to remainder, powi, powf, hypot, and atan2 — with regression tests for each.
remainder, powi, powf, hypot, atan2 다섯 연산에 binary_ops_ew 검증을 적용하고 연산별 회귀 테스트를 추가했습니다.
TensorCheck::matmul now rejects rank < 2 with a clear error instead of backend-specific panics (overflow, 0-dim scalar, invalid kernel input).
rank < 2인 matmul을 백엔드별 panic(overflow, 0차원 스칼라, 유효하지 않은 커널 입력) 대신 명확한 에러로 거부합니다.
Fixed a no-std build break in burn-std — a test module used vec![...] without importing the macro. Added use alloc::vec; 168 unit tests pass.
burn-std의 no-std 빌드 붕괴를 고쳤습니다. 테스트 모듈이 vec! 매크로를 임포트하지 않고 vec![...]를 썼습니다. use alloc::vec;를 추가했고 168개 유닛 테스트가 통과합니다.
Replaced BufferBuilder with Vec when re-encoding IPC run-ends — the last callsite on main, merged with two maintainer approvals.
IPC run-ends 재인코딩에서 BufferBuilder를 Vec으로 교체했습니다. main에 남은 마지막 callsite였고, 메인테이너 2명 승인으로 머지됐습니다.
Sewoo Jang · founder장서우 · 창업자
x1zz is founded and built by Sewoo Jang. The full story — projects, research, open-source contributions, and writing — lives on the founder page.
x1zz는 장서우가 만들고 있습니다. 프로젝트, 연구, 오픈소스 기여, 글은 모두 창업자 페이지에 정리해 뒀습니다.