Rust의 미래 기능
Josh Triplett가 Kangrejos 2026에서 Rust의 개발 중인 기능을 소개했습니다. 구조체 일부만 빌리는 view types, 값의 범위를 타입에 담는 pattern types, 새 borrow checker Polonius와 컴파일 타임 함수 등이 포함됩니다. 여러 기능은 아직 설계·실험 단계입니다.
개발 · 최신기사
언어와 프레임워크, SDK와 개발 방식·도구의 변화를 다룹니다.
Jank, C++와 직접 연동하는 네이티브 Clojure 방언
Jank는 Clojure 방언에 C++ 상호운용 기능을 결합한 언어입니다. Clang 기반 JIT로 REPL에서 C++ 코드를 실행하며, C++ 헤더와 라이브러리를 직접 사용하고 네이티브 의존성을 빌드하도록 설계했습니다.
UUIDv7은 생각만큼 많은 속성을 보장하지 않습니다
UUIDv7은 생성 시각을 담고 대체로 정렬되지만, 정확한 시각이나 엄격한 단조 증가를 보장하지 않습니다. 시계가 역행할 때 Python 구현의 타임스탬프가 실제 시각보다 계속 앞서가는 사례를 보이고, 구현별 보장과 전제 조건을 확인하라고 제안합니다.
Redis 8.4의 digest 기반 SET, 1MB 비교 후 쓰기 지연을 4.4ms에서 1.8ms로 줄여
Redis 8.4의 SET 조건부 옵션 IFEQ와 IFDEQ는 기존 값이나 digest가 일치할 때만 쓰기를 수행합니다. 작성자의 localhost 측정에서 1MB 값에 IFDEQ를 쓰면 기존 GET-후-SET보다 지연이 줄었고, 동시 갱신 실험에서는 재시도 루프로 lost update를 막았습니다. 다만 값의 동일성만 비교하므로 WATCH와 의미가 다를 수 있습니다.
earcut보다 빠르게: 지도 폴리곤 374만 개를 489ms에 삼각분할하기
지도 폴리곤을 삼각형으로 나누는 earstrip을 공개하고, 폴리곤 374만 개를 489ms에 처리했다고 보고합니다. 귀 자르기 알고리즘에 오목점 버킷, 분기 없는 검사, 삼각형 스트립 출력을 더해 속도를 높였으며, 구멍이 많은 폴리곤과 퇴화한 윤곽선은 Delaunay 방식으로 보완합니다.
LLM으로 대규모 소프트웨어 정형 검증이 현실에 가까워지고 있습니다
Anthropic과 Theorem은 Claude를 사용해 OSS-Fuzz 대상 123개 오픈소스 라이브러리의 239개 테스트 진입점을 RISC-V 바이너리 수준에서 검증했습니다. 입력 크기와 실행 환경에 조건을 둔 결과이며, 증명 과정에서 장기간 발견되지 않은 버그도 찾아냈습니다.
Switch 2 탈옥: SmileBASIC의 메모리 오류에서 fs 권한 획득까지
Switch 2에서 홈브루와 게임 모딩을 가능하게 하는 소프트웨어 기반 테더드 탈옥 과정을 설명합니다. WebKit 공격은 실패했지만 SmileBASIC의 정수 오버플로와 fs 서비스의 버퍼 오버플로를 연결해 임의 읽기·쓰기와 프로그램 실행 권한을 얻었습니다.
Google의 Rust 스타일 가이드
Google의 Rust 스타일 가이드는 포맷뿐 아니라 API 설계와 코드 구조까지 다룹니다. 대규모 코드 변경과 장기적인 유지보수를 고려해 일관된 관례를 제시하며, 라이브러리 코드와 애플리케이션 코드에 서로 다른 수준의 권고를 적용합니다.
ZLS 0.17.0 공개
Zig 언어 서버 ZLS 0.17.0이 공개됐습니다. 심볼 이름 변경 때 별칭을 따라가지 않도록 동작을 조정했으며, Zig 0.17 개발 과정에서 깨진 빌드 시스템 연동 기능 일부는 아직 회귀 문제를 겪고 있습니다.
is-kit GitHub 별 100개 달성, 50개 이후 달라진 점
TypeScript 타입 가드 라이브러리 is-kit이 GitHub 별 100개를 달성했습니다. 글에서는 속성 좁히기 API와 판별 유니온 검사를 추가하고 런타임 예외를 보완한 과정, 외부 사용이 Effect의 타입 추론 문제를 드러낸 사례를 소개합니다.
Firefox Local Mode: 로컬 파일을 HTTPS 출처로 불러오기
Firefox 153의 Local Mode는 로컬 폴더를 사용자 지정 HTTPS 출처에 연결해 웹 페이지를 시험하는 기능입니다. DevTools를 열어 둔 동안에만 작동하며, Secure Context에서만 허용되는 Web API를 로컬 파일로 시험할 수 있습니다.
EA, 바이오웨어 폐쇄 결정
Electronic Arts(EA)가 BioWare를 폐쇄하고 초기 개발 단계의 차기 Mass Effect 프로젝트도 중단합니다. EA 전체에서 약 400명을 감원하며, BioWare 직원 약 50명도 대상에 포함됩니다. 팬들은 스튜디오의 과거를 추억하는 한편, 폐쇄 원인을 EA의 경영과 최근 작품의 부진 중 어디에서 찾아야 하는지 의견을 나눕니다.
Lil로 다루는 벡터 그래픽
Decker의 스크립트 언어 Lil에서 중첩 리스트로 벡터 경로를 표현하고 그리는 방법을 설명합니다. 암묵적 리스트 연산과 몇 가지 원시 연산자를 조합해 확대·이동·기울이기·회전부터 흔들림 효과까지 구현하며, 인덱스 반복문 없이 다루는 방식을 코드로 보여줍니다.
무료 플랜에서 24시간 동안 배포 146회, 배포를 GitHub Actions로 옮겼습니다
Vercel 무료 플랜의 배포 한도에 걸린 ResuHive 운영자가 GitHub Actions로 배포를 옮겼습니다. 변경된 프로젝트만 배포하고 시간 단위 재시도를 추가해, 문서만 바꾼 커밋은 배포 횟수를 쓰지 않도록 했습니다.
기술 컨퍼런스 발표자가 되는 법과 후회할 수도 있는 이유
컨퍼런스 발표자가 되려면 CFP(Call for Papers)에 맞는 주제를 고르고 발표 경험을 쌓아야 하지만, 선정 뒤에도 준비와 출장에 상당한 시간과 비용이 듭니다. 글쓴이는 블로그가 더 넓은 독자에게 오래 닿는다고 말하면서도 발표를 다시 하겠다고 밝히며, 발표가 경력에 주는 효과와 개인적인 즐거움은 별개로 봅니다.
AI 생성 PR의 숨은 비용: 조용한 장애를 놓치는 이유
AI가 만든 코드는 깔끔한 형태와 통과하는 테스트를 갖춰도 시스템 불변 조건을 깨뜨릴 수 있습니다. 글은 구독 결제 사례로 멱등성, 원자적 갱신, 트랜잭션 누락이 만드는 장애를 설명하고, PR을 작게 나누며 실패 조건을 사전에 명시하라고 제안합니다.
Harness² — 에이전트를 활용하고, 그 자기 개선도 활용하세요
Google Research의 Harness²는 LLM 에이전트가 프롬프트, 도구, 메모리를 작업에 맞춰 개선하고 경험을 다음 작업에 축적하는 프레임워크입니다. 정답 검증기 없이 개선한다고 설명하며, WorkBuddy-Bench 등 전문 벤치마크에서 최대 11.5점 향상을 제시합니다.
Linux 7.4에 Rust 커널 코드 1만 7천 줄 추가
Linux 7.4에 Rust 커널 코드 약 1만 7천 줄이 들어갑니다. Zerocopy 업데이트와 새 모듈, pin-init 개선이 포함되며, 댓글에서는 메모리 안전성의 이점과 컴파일 시간 및 개발 비용을 함께 논의합니다.
2주간의 SEO 작업보다 트래픽에 더 큰 변화를 준 기능 하나
도메인 이름 때문에 검색 엔진에서 영화 사이트로 오인받던 개발자가 2주간 SEO를 손본 뒤, 사용자 요청에 따라 PDF에 이미지를 넣는 기능을 추가했습니다. 작성자는 검색 노출을 정리하는 작업과 실제 검색 의도에 맞는 제품 기능을 만드는 일이 서로 다르다고 설명합니다.
int 6을 쓸 수 있는데 왜 ud2가 필요할까요?
x86의 ud2와 int 6은 모두 2바이트지만 예외 처리 방식이 다릅니다. ud2는 잘못된 명령어를 가리키는 fault를 일으키지만 int 6은 다음 명령어 주소를 보고하는 trap이며, 사용자 모드에서는 int 6 호출 권한도 차단됩니다.