Metamath 기반의 초심자 친화적 Proof Assistant, Starling 설계
Introducing Starling: A User-Friendly Proof Assistant
Runtime vs Compiled 논쟁을 넘어선 Capability-based Packaging 전략
Runtime Is Not the Problem
AI 생성 코드의 Review Bottleneck 해결을 위한 제약적 DSL 프레임워크 Wibble
Wibble JS: Because AI Can Write The PR, But You Still Have To Review It
AST 재사용과 Go 언어 전환을 통한 TypeScript 린트 속도 20배 향상
@ttsc/lint - I made 20x faster TS Lint by building it into typescript-go — one compile catches both
Language Pack 기반 다국어 스크립팅 시스템 AllSpeak 구현
Claude built me a high-level coding system in 4 European languages
Rust 기반 Oxc 컴파일러 도입을 통한 Angular 빌드 속도 최대 20배 개선
VoidZero’s Experimental Oxc Angular Compiler with Up to 20x Faster Build Performance
2MB 미만 단일 파일로 구현한 고성능 C 컴파일러 및 인터프리터
C, Just In Time!
LLVM 기반의 명시적 메모리 관리 시스템 프로그래밍 언어 Flux 설계
Flux - the new programming language is built for speed, easy to read, and familiar.
Show GN: TTSC - TypeScript-Go 기반 transformer & runner
TypeScript-Go 기반 TTSC 도입으로 ts-node 대비 구동 속도 10배 향상
TypeScript 7.0 Beta 공개
Go 네이티브 포팅을 통한 TypeScript 컴파일 속도 10배 개선
Cherri - 애플 단축어를 코드로 작성하는 프로그래밍 언어
Apple Shortcuts의 GUI 한계를 극복한 DSL 기반 컴파일러 설계
고수준 추상화를 저수준 기본 명령어로 변환하는 C# Lowering 메커니즘 분석
C# Lowering: The Compiler Magic Behind Your Code
이론 배제와 Stack-based VM 도입을 통한 80라인 규모의 Compiler 구현
How to Actually Build Your First Compiler Without Losing Your Mind
컴파일러를 만들고 싶은가? 이 두 편의 논문만 읽으면 된다 (2008)
Nanopass 기반 언어 불변성 관리 및 Recursive Descent 파싱을 통한 컴파일러 설계
Nanopass 기반 내부 표현식 변환을 통한 컴파일러 설계 단순화
Want to Write a Compiler? Just Read These Two Papers (2008)
컴파일러와 인터프리터의 차이로 보는 언어 선택 가이드
Scripting vs Programming Languages
GCC Plugin으로 구현하는 C 언어 구조체 상속 시스템
I Built a GCC Plugin for Struct Inheritance
컴파일러 테스트 통과율 82/82 달성, submain 병합 대기 기록
Cx Dev Log — 2026-04-05
AI에게 정답 대신 질문을 요청하여 컴파일러 설계 주도권 확보하기
Socratic AI: how I learned formal grammars (and built a compiler) without losing control of what I was building
보일러플레이트 1만 줄 제거, HTTP-to-SQL 컴파일러 설계
The Algorithm That Killed 10,000 Lines of API Boilerplate (Building a Dynamic Query Compiler)