Brand Portfolio
The brands STUDIO HAZE builds and grows. Each stands on its own, and together they form one universe.
PARK·CANVAS·SOUND·STORY
STUDIO HAZE runs four divisions. HAZE PARK takes tech, HAZE CANVAS visuals, HAZE SOUND music, and HAZE STORY narrative. Each speaks its own language, yet they move as one story, carrying every project from first idea to final form.
- Visit WebsiteHAZE PARKKernels, systems, languages, and infrastructure
- Visit WebsiteHAZE CANVASVisual atelier for photography, design, and film
- Visit WebsiteHAZE SOUNDMusic label with modern production and analog warmth
- Visit WebsiteHAZE STORYPublishing and narrative across books, essays, and stories
STUDIO HAZE: Teaser
Where the STUDIO HAZE story begins. A brand hub that weaves the work of all four divisions into one continuous thread. It is also the very website you are looking at right now.
ATLAS
Active
A cloud typesetting engine built for Korean publishing. Pairing the Knuth–Plass line-breaking algorithm with a Hangul-native shaping engine, it turns a manuscript straight into a print-ready PDF that reads like a real book. Self-publishers and independent presses get book-quality typesetting without expensive software or outsourced design.
Lispex
Active
A deterministic, macro-free Lisp in the R7RS family. Its grammar and normalization rules are built so the same code always reads and runs the same way, with a reference interpreter written in Rust and a browser playground to run it directly. Within its checked subset, it also serves as the source and profile language of Core Semantic Kernel.
Topaz
Active
A small, closed, Unicode-first programming language. You write intent in a syntax that reads like Python or TypeScript, and the compiler produces a self-contained native binary. Any given piece of code converges on one canonical form, and people and AI agents read and write it the same way. Supported surfaces are checked by differential gates across the run and build paths.
Lena Code
Active
STUDIO HAZE’s commercial multi-language code transformation platform. It runs on the Lena Engine, a proprietary engine of our own, designed on the verification principles that Core Semantic Kernel demonstrates publicly. What it cares about most is that code keeps its meaning when it changes languages.
Core Semantic Kernel
Active
STUDIO HAZE’s official research programme. Papers and patents are recorded here first, and every claim ships with an artifact you can run. Three research lines, evidence, language, and orchestration, run inside the studio’s production systems. In 2026 six papers from these lines went out to international workshops and now sit on the public shelf. The evidence line’s reference implementation is Lispex Vouch, and the Lena Engine behind Lena Code, the studio’s commercial platform, is designed on the same verification principles.
Project Vercel
Active
The orchestration harness that runs STUDIO HAZE’s autonomous lab. It decomposes work into typed execution graphs, routes each subtask to the agent node best fitted for it, and accepts an output only after cross-agent validation. More and more of this universe is built under its watch.
slow.monster
Active
The open lab window of STUDIO HAZE. Private repositories are shown as living specimens with commit pulses, language mixes, and receipts anyone can check. What leaves the lab is the proof, never the source. The numbers on the page rise on their own as each repository publishes its vitals.
jeniapp
Active
A collection of browser mini-tools written entirely in Topaz and compiled to a single WebAssembly. Each one runs with no install, no login, and no server. Execution is deterministic, so the same input always gives the same output. The tools double as a proving ground that grows the Topaz language and as a public window where anyone can touch PARK’s technology firsthand.
kakao.games
Active
Home of Domain War, a strategy mini-game about claiming digital territory. The rules are simple, but the mind games run deep. Grow your domain, outwit your rivals, and meet the brand through play itself. Domain War is written in Topaz and runs right in the browser.
4LAB
Active
A workbench that gathers a forwarder's desk into one place. Enter a bill of lading or booking number and it queries the carriers directly, then plots the container's status and the vessel's position on the route. The arithmetic that always sits beside a lookup lives there too: revenue tons, container check digits, live exchange rates.
codeimage.io
Active
Source code becomes a program image, and the image brings the program back. Two paths of recovery sit side by side: a canonical one that reads the image alone, and an exact one that pairs it with a key to restore the original byte for byte. Both directions finish inside the browser, so the source never leaves the page.