UTF-8000: 무제한 UTF-8
UTF-8000은 UTF-8의 자기 동기화·자기 구두점 구조를 유지하면서 코드 유닛 길이를 임의로 확장하는 인코딩 설계입니다. 길이에 따라 시작 비트를 여러 바이트에 분산해 임의로 큰 코드포인트를 표현하며, 기존 UTF-8의 정렬·오버롱 인코딩 규칙도 계승합니다.
보안·인프라 · 최신기사
보안과 개인정보, 운영체제와 클라우드·데이터 인프라를 다룹니다.
V 언어 리뷰 (2023) — 약속과 실제 구현 사이의 간극
V 언어를 6개월간 사용한 리뷰어가 문서, 메모리 관리, 자동 메모리 해제, 할당, 안전성, 바이너리 크기를 직접 검증합니다. 문서의 설명과 실제 동작이 크게 다르고, autofree와 컴파일러 자체 빌드에서도 누수와 런타임 오류가 발생한다고 지적합니다.
Rust 개발자가 경험한 Zig
7년간 Rust를 사용한 개발자가 RFC 9535 기반 JSONPath 구현을 Zig로 다시 만들며 두 언어의 개발 경험을 비교합니다. Zig의 단순한 빌드 도구와 낮은 추상화는 긍정적으로 평가하지만, 수동 메모리 관리와 미성숙한 생태계에서는 Rust와 뚜렷한 차이를 확인합니다.
Frozendict 🧊: Python·Node.js를 위한 최신 불변 해시맵
frozndict는 Rust로 구현하고 Python·Node.js 바인딩을 제공하는 불변·해시 가능 딕셔너리입니다. 삽입 순서를 유지하면서 해시를 캐시하고 copy()를 O(1)로 처리하며, 작성자가 제시한 벤치마크에서는 반복·복제·동등성 검사에서 기존 구현과 비교 가능한 성능을 보입니다.
FAQ: 왜 mutable은 immutable의 서브타입이 아니며, 그 반대도 성립하지 않을까요?
불변(immutable)과 가변(mutable) 자료구조가 서로의 서브타입이 될 수 없는 이유를 Liskov 치환 원칙과 암묵적 계약의 관점에서 설명합니다. 단순히 제공 메서드의 개수만 비교하면 놓치기 쉬운 해시 안정성, 타입 클래스(type class), duck typing의 차이까지 다룹니다.
Go map 100만 엔트리는 16MB가 아닌 38MB — Swiss Table map의 실제 메모리 비용 분석
Go 1.24부터 기본이 된 Swiss Table 기반 map에서 map[int64]int64 100만 엔트리가 이론값 16MB가 아닌 37.8MB를 차지하는 이유를 강제 GC와 HeapAlloc 측정으로 분석한 글입니다. 그룹·테이블 구조와 7/8 로드 팩터, 할당자의 크기 클래스 올림 때문에 엔트리당 비용이 21~44바이트 사이를 오가며, struct{} set의 패딩 회귀와 삭제 시 메모리 미회수 같은 실무 영향도 함께 다룹니다.
PHP 배열에 키 하나를 추가했더니 메모리 25MB — packed 배열이 해시 테이블로 바뀌는 순간
PHP 배열이 정수 순서대로 채워진 packed list로 유지되는 동안에는 원소당 16바이트로 매우 효율적이지만, 문자열 키 하나만 추가해도 해시 테이블로 전환되며 백만 개 원소 기준 25MB가 추가로 소모됩니다. 저자는 PHP 8.4 기준으로 zend_array 내부 구조를 뜯어보며 전환 조건과 비용을 계측했고, 연관 배열 대신 타입이 선언된 클래스로 행을 담으면 메모리가 거의 절반이 된다는 결론을 제시합니다.
레이블된 매치 — 왜 모든 정규식 엔진에 없는가?
RE#(resharp) 정규식 엔진의 저자가 여러 패턴에 레이블을 붙여 한 번의 스캔으로 텍스트를 분류하는 'categorize_all' 기능을 소개합니다. spaCy NER 대비 약 4,500배 빠른 1.92 GB/s 처리량을 보였고, 교집합(&)과 여집합(~) 연산으로 윤년까지 포함한 달력 패턴이 32개 DFA 상태로 컴파일됨을 보여줍니다.
Vinix – V 언어로 작성된 모던 운영체제
V 언어로 커널을 처음부터 작성한 Unix-like 운영체제 Vinix가 Apple Silicon Mac 지원과 Alpine Linux 바이너리 호환을 내세우며 다시 주목받고 있습니다. 부팅 후 약 100MB RAM과 1GB 디스크만 사용하며, Linux 시스템 콜 인터페이스를 구현해 Chromium, GIMP, Blender 등 기존 패키지를 네이티브로 실행합니다. 현재 M1 GPU 드라이버 개발이 진행 중이며, Wine과 x86 변환 레이어를 기반으로 한 게이밍 지원도 로드맵에 포함되어 있습니다.
Rust 커뮤니티 주의보 — 유명 Rust 개발자와 인기 크레이트 소유자를 노린 표적 공격 진행 중
Rust 프로젝트가 rust-lang 멤버와 인기 크레이트(crates) 소유자를 노리는 표적 공격 캠페인이 진행 중이라고 공식 경고했습니다. 공격자는 채용·계약 등을 미끼로 한 화상 통화를 통해 악성코드를 설치하게 만들고, 탈취한 계정으로 악성 크레이트를 배포하려는 것이 목적입니다. Rust 사용자라면 MFA 상태와 계정 로그인 기록을 점검할 것이 권고됩니다.
골든 스파이크, 그리고 Vale(n) 프로그래밍 언어의 부활 — rustc와 직접 통신하는 Rust++ 언어를 향하여
Vale 언어의 저자 Evan Ovadia가 Rust 컴파일러와 직접 통신하는 새 언어 Valen의 첫 상호운용 성공 사례를 공개했습니다. C ABI를 우회하고 rustc를 라이브러리로 구동해 언어 경계를 넘는 제네릭 호출과 Rust 트레이트 구현을 실현했으며, 최종 목표는 경계를 넘나드는 메모리 안전성입니다.
Quarkus 4가 Spring Boot 4를 겨냥한다 — 2026년 두 자바 프레임워크의 실제 비교
Quarkus 4와 Spring Boot 4.x가 2026년 11월 같은 시기에 주요 릴리스를 앞두고 있습니다. Quarkus는 Vert.x 5 기반 I/O 코어 전면 재작성과 Project Leyden AOT로 기동 시간을 3초에서 900ms까지 줄이는 등 공격적인 변화를, Spring Boot는 모듈화와 점진적 개선으로 대응하고 있습니다. JVM 백엔드를 운영한다면 향후 몇 달이 향후 수년간의 기본값을 결정한다는 것이 저자의 진단입니다.
malloc() 알고리즘 비교 — 아레나 아키텍처에서 NUMA·락프리 설계까지
멀티스레드 프로그램에서 힙이 병목이 되는 이유를 설명하고, dlmalloc부터 snmalloc까지 주요 메모리 할당자를 스레드 안전성·CAS 경합·NUMA 지역성·파편화 관점에서 비교한 글입니다. 워크로드 유형별로 어떤 할당자를 고르고 무엇을 피해야 하는지 추천표까지 제시합니다. 임베디드·저지연·NUMA 환경에서 할당자 선택을 고민하는 개발자에게 유용한 참고 자료입니다.
C++26: 자명한 무한 루프는 더 이상 미정의 동작이 아니다
C++에서 while (true); 같은 부수 효과 없는 무한 루프는 지금까지 미정의 동작(UB)이었고, Clang은 이를 최적화로 제거해 루프 뒤의 코드가 실행되는 일까지 벌어졌습니다. C++26의 P2809R3은 '자명한 무한 루프(trivial infinite loop)'라는 좁은 범주를 정의해 이를 유효한 동작으로 바꾸고, 루프 본문을 std::this_thread::yield() 호출로 대체해 forward progress를 보장합니다. C에서는 이미 C11부터 유효했던 동작이라 C와 C++의 불필요한 분기도 해소됩니다.
폴란드어로 코딩하는 프로그래밍 언어를 만들었다 — 그 과정에서 Ruby에 대해 배운 7가지
Ruby 개발자가 'x = 5를 입력하고 머신이 동작하기까지 무슨 일이 일어나는지' 궁금해 시작한 주말 프로젝트가 18개월 후 표준 라이브러리, async/await, 디버거, 자체 웹 프레임워크를 갖춘 폴란드어 키워드 스크립트 언어 AlexScript로 성장했습니다. throw/catch를 이용한 return 구현, UTF-8 바이트 단위 렉싱, 네이티브-유저 메서드 테이블 통합, Fiber 기반 비동기 런타임 등 인터프리터를 Ruby로 직접 만들며 얻은 구체적인 성능·설계 교훈을 정리합니다.
unsigned long int vs unsigned long long int — Linux와 직접 만든 32bit OS 사이에서 겪은 골칫거리
취미로 32bit OS를 개발하는 저자가 `typedef unsigned long u64`가 자기 OS에서는 32bit, Linux에서는 64bit로 해석되면서 타이밍 함수가 통째로 깨졌던 경험을 공유합니다. sizeof 검증 과정, 오버로드 가능한 memset, 그리고 JavaScript식 이벤트 큐로 구현한 스케줄러 설계까지 함께 소개하며, C의 데이터 모델(LP64/LLP64) 차이가 왜 중요한지 보여줍니다.
Rust LSP를 만드는 것이 왜 어려운가 — rust-analyzer와 Rust Glancer의 설계 비교
실험적 Rust LSP인 Rust Glancer를 개발하는 저자가 rust-analyzer와의 비교를 통해 LSP 서버 개발이 왜 어려운지를 아키텍처 수준에서 설명합니다. 컴파일러와 달리 LSP는 불완전한 상태에서도 즉시 유용한 답을 내놓아야 하며, VFS·증분 계산·워크스페이스 탐색 등 곳곳에 설계상의 난제가 숨어 있다는 것이 핵심입니다.
Ubuntu 26.10, cp·mv·rm까지 Rust Coreutils로 전환해 100% 마이그레이션 완료
Ubuntu 26.10이 cp, mv, rm을 포함한 GNU Coreutils 전체를 Rust 기반 uutils로 교체하며 Rust Coreutils 전환을 100% 완료했습니다. 호환성 문제로 보류됐던 핵심 유틸리티까지 넘어오면서 수년간 진행된 재작성 프로젝트가 마무리 단계에 접어들었습니다. 베타는 이달, 정식 릴리스는 10월 15일로 예정되어 있습니다.
Unsize할 수 없는 값을 Unsize하기 — Go에는 되고 Rust에는 안 되는 것
Go의 interface{} 타입 스위치처럼 Rust에서도 dyn Any로 다운캐스트하려 하지만, &str 같은 unsized 타입은 dyn으로 강제 변환(coerce)할 수 없다는 문제를 다룹니다. 저자는 vtable의 내부 구조를 분석한 뒤, 런타임에 vtable을 수작업으로 구성해 &str을 &dyn Any로 변환하고 다시 downcast하는 실험을 보여줍니다.
Verus로 올바름이 증명된 Rust 코드 개발하기 — Amazon의 형식 검증 도구
Amazon이 Rust 코드의 정확성을 수학적으로 증명하는 오픈소스 프로그램 검증 도구 Verus를 소개했습니다. 개발자가 Rust 소스 파일 안에 명세와 증명을 직접 작성하면 자동화된 솔버가 모든 가능한 입력에 대해 코드가 명세를 만족하는지 검사하며, Amazon은 이미 Nitro Isolation Engine의 핵심 프리미티브 검증에 Verus를 활용하고 있습니다.