개발 도구와 언어, 웹 기술과 오픈소스 프로젝트의 변화를 다룹니다.
Zeta는 Rust의 빌림 검사기가 놓치는 메모리 영역 간 비중첩 관계를 추론하고, 별칭 가변 참조인 `&alias`와 출처(provenance) 기반 수명 추론을 도입한 실험적 언어입니다. 작성자는 이를 이용해 런타임 참조 세기나 검사 없이 연결 리스트와 병렬 슬라이스 처리를 구현하는 예를 제시하지만, 함수 본문에 기대는 추론의 API 안정성과 모델의 안전성은 토론에서도 쟁점이 됐습니다.
소스에서 비트 연산으로 분기를 없애도 컴파일러가 RISC-V용 조건 분기로 바꿀 수 있습니다. 컴파일러 버전과 최적화 옵션, 대상 CPU의 명령어 확장에 따라 결과가 달라지므로 상수 시간 암호 코드는 생성 어셈블리를 다시 확인해야 합니다.
비밀값을 지우려고 넣은 코드가 컴파일러 최적화나 함수 호출 규약 때문에 효과를 내지 못하고, 오히려 메모리에 복사본을 만들기도 합니다. 글은 C와 arm64 컴파일 결과를 비교하며, 버퍼 삭제는 계속하되 작은 지역 변수는 실제로 어디에 저장되고 무엇이 남는지 확인하라고 설명합니다.
소형 컴파일러 rat의 선형 스캔 레지스터 할당기를 1,392줄에서 584줄짜리 우선순위 기반 할당기로 바꾼 과정을 설명합니다. 새 할당기는 레지스터 축출이나 구간 분할 없이도 명령어를 3.6% 줄이고, SQLite를 -O0으로 컴파일할 때 전체 컴파일 시간을 43% 단축했습니다.
Elm 0.19.3은 컴파일러 내부 타입을 더 구체화해 잘못된 데이터 표현과 그래프 순환 오류를 줄입니다. Evan Czaplicki는 이 작업을 Acadia 컴파일러와의 기반 정렬 과정으로 소개하며, 타입으로 불변 조건을 강제하는 설계 사례를 설명합니다.
컴파일러 최적화에는 양방향 등식보다 추상적인 프로그램을 더 구체적인 프로그램으로 좁혀 가는 정제(refinement) 규칙이 자주 등장합니다. 글은 E-Graph에 반사적·추이적인 부등식 관계를 내장하고, 함수 인자의 분산성(variance)에 맞춰 정제 폐쇄, E-matching, 추출을 확장한 프로토타입을 설명합니다.
Go의 netip.Addr에는 IPv4 주소를 IPv4-mapped IPv6 주소로 바꾸는 To6() 메서드가 없습니다. 글쓴이는 권장되는 AddrFrom16(ip.As16()) 방식이 네이티브 구현보다 약 8배 느린 이유를 분석하고, 컴파일러 최적화로 성능 차이를 없애는 방법과 그 과정의 부작용을 설명합니다.
텍스트 어드벤처 Infidel의 ZIL 코드에서 선택적 인수의 기본값으로 전역 변수를 지정한 부분이 컴파일 오류를 일으킵니다. 사막에 물건을 여러 개 버리면 메모리 주소 30번대부터 덮어쓰고, 결국 문자열 압축용 약어 데이터까지 손상됩니다.
Rust 프로토타입 Headstart는 크레이트의 함수 본문 검사가 끝나기 전에 인터페이스 메타데이터를 내보내 의존 크레이트의 작업을 앞당깁니다. 16코어에서 실제 프로젝트 13개의 빌드와 검사를 측정해 cargo check는 최대 54%, cargo build는 최대 42% 빨라졌으며, 개선 폭은 남는 코어 수와 의존 관계에 따라 달라집니다.
C++의 정수 승격과 enum 변환 규칙이 비트 연산에서 일으키는 까다로운 사례를 살펴봅니다. bool의 비트 보수와 열거형 변환에서 GCC·Clang·MSVC가 표준과 다르게 동작하는 사례, 고정 기반형이 없는 enum에 생기는 정의되지 않은 동작을 짚습니다.
Rust에서 `#[derive(Debug)]`를 쓰면 생성된 구현에 `#[inline]`이 붙는 경우가 많습니다. 간단한 구현에서는 성능에 도움이 되지만, 큰 오류 타입의 `Debug` 구현을 반복해서 인라인하면 바이너리 크기가 커질 수 있습니다. 글쓴이는 uv 바이너리에서 특정 구현의 인라인을 막아 약 160KB를 줄였습니다.
Futhark 프로그램에서 순차적인 그래프 색칠은 CPU로, 대규모 병렬 Jacobian 계산은 GPU로 실행해야 하는 문제가 생겼습니다. 컴파일러가 메모리 위치를 자동으로 최적화하는 대신, 작성자는 함수에 #[cpu_function] 속성을 붙여 해당 함수의 계산과 중간 배열을 CPU에서 처리하도록 구현했습니다.
TileLang은 Python과 비슷한 문법으로 GEMM, FlashAttention 같은 연산 커널을 작성하고 TVM 기반 컴파일러로 하드웨어별 코드를 생성하는 도메인 특화 언어입니다. CUDA를 중심으로 ROCm, Metal, CPU 등 여러 백엔드를 지원하며, 커널 개발과 컴파일 과정의 도구도 함께 제공합니다.
Sovereign Tech Fellow로 Rust 툴체인을 유지보수하는 작성자가 두 달간의 컴파일러 성능 개선, 빌드 인프라 작업, 저장소 정비를 정리했습니다. 메타데이터 중복 제거로 target 디렉터리 용량을 줄이는 실험을 안정화 단계로 옮겼고, Polonius 성능 개선과 ARM 벤치마크도 진행했습니다.
EDG가 2026년 9월 30일 C++ 프런트엔드 소스 코드를 공개하고, C++ Alliance를 비영리 운영 거점으로 삼았습니다. 사용자 기여, 유지보수, 공동 자금 조달 기능을 하나의 공개 저장소에서 관리하며, 여러 상용 컴파일러와 개발 도구에 쓰인 오랜 C++ 구현을 누구나 이용하고 개선할 수 있게 됐습니다.
EDG가 C/C++ 프런트엔드를 중심으로 한 컴파일러 프로젝트를 오픈소스로 공개했습니다. 다양한 컴파일러와의 파싱 호환성, C 및 C++ 코드 생성 백엔드, 템플릿 자동 인스턴스화 도구를 제공하며 제품 개발에 맞춰 확장할 수 있도록 설계했습니다.
Edward Kmett가 만든 THC는 GHC의 프런트엔드와 Core 최적화를 유지하면서, GHC Core를 Truffle·GraalVM 위에서 JIT 또는 AOT 컴파일하는 프로젝트입니다. GHC 9.14.1의 prim-op와 여러 고급 기능을 지원하며, Haskell 프로그램은 물론 GHC 자체도 실행합니다. 성능은 워밍업 뒤 GHC보다 대체로 10~20% 느렸지만, 최근 회귀가 발생해 개선 중입니다.
2026년 7월 29일부터 9월 28일까지 Rust 컴파일러 벤치마크 629건 가운데 555건이 개선됐고, 평균 벽시계 시간이 4.57% 줄었습니다. LLVM 23 업그레이드와 Clippy의 PGO 적용, Polonius·새 trait solver 최적화 등 여러 변경의 측정 결과를 소개합니다.
scriptc는 TypeScript와 JavaScript를 타입 검사한 뒤 네이티브 실행 파일, WebAssembly, C와 LLVM IR 등으로 내보내는 실험적 컴파일러입니다. 정적으로 컴파일할 수 없는 코드는 진단으로 표시하며, npm 패키지나 any 타입 코드는 --dynamic 옵션으로 QuickJS 엔진을 포함해 실행 파일에 담습니다.
LLVM Project는 최적화 컴파일러와 런타임 환경을 만드는 데 쓰는 도구 모음입니다. LLVM 코어는 중간 표현을 처리해 오브젝트 파일로 변환하며, Clang 프런트엔드와 libc++, LLD 같은 구성 요소도 함께 제공합니다.