Brand Portfolio
The brands and products STUDIO HAZE builds and runs.
PARK·CANVAS·SOUND·STORY
The four divisions of STUDIO HAZE, one each for technology, visuals, music and stories.
HAZE PARK
Kernels, systems, languages, and infrastructure
hazepark.com →HAZE CANVAS
Visual atelier for photography, design, and film
hazecanvas.com →HAZE SOUND
Music label with modern production and analog warmth
hazesound.com →HAZE STORY
Publishing and narrative across books, essays, and stories
hazestory.com →
STUDIO HAZE Teaser
The brand hub that gathers the four divisions of STUDIO HAZE and their projects. You are reading it now.
studiohaze.co.kr →A typesetting tool for writers who shape their own pages. It turns a Word or Hangul manuscript into a print PDF, breaking lines a paragraph at a time.
atlasbind.com ↗A programming language for each publisher's house style rules. Topaz apps run the rules, and the same rules and input always give the same decision.
lispex.com ↗A programming language designed for typesetting books, reports and invoices. One source builds a native executable or a browser package, and the compiler is written in Topaz.
topaz.ooo ↗A code analysis platform built on a deterministic pipeline. On Lena, our own language, and Facet IR, it understands, improves and transforms code across 30 languages.
lenacode.com ↗Core Semantic Kernel
Active
The research programme of STUDIO HAZE. Its papers come with their implementations and the materials to reproduce the results.
cskernel.com ↗A development harness designed by people. It divides work among agents, and the operator reviews what passes verification and gives the final approval.
vercel.co.kr ↗The open lab of STUDIO HAZE, showing the commit pulse, language mix and checkable receipts of private repositories. Programs written in Topaz open their source here.
slow.monster ↗Browser mini-tools written in Topaz. They run without an install, a login or a server, and the same input always gives the same output.
jeni.kr ↗Home of Domain War, a choose-your-path text adventure. Its game logic is written in Topaz, so the same choices in the same order always tell the same story.
kakao.games ↗A workbench that puts a forwarder's desk in one place. One bill of lading or booking number queries several carriers and maps the container and the vessel.
4lab.kr ↗Turns source code into a program image and brings the program back from that image. With a key the original returns exactly, and every step happens inside the browser.
codeimage.io ↗Structure and Interpretation of Computer Programs, learned by running every idea. All 105 lessons run their code with an execution trace in a Lispex workbench in the browser.
sicp.io ↗compiler.co.kr
In Development
A computer science site that follows one line of code on its rollicking adventure inside the computer. Its first story, Hanjuri’s First Day at Work, asks where 1 + 2 goes.
compiler.co.kr ↗ Project →