[Database] 01. 격리 수준과 이상 현상: ANSI의 허점과 Write Skew

SQL 표준의 세 가지 이상 현상만으로는 lost update와 write skew를 설명할 수 없는 이유를 Berenson·Adya의 연구와 PostgreSQL·MySQL·Oracle·SQL Server 동작 비교, 당직 의사 예제로 정리합니다.

[Database] 00. Introduction: 데이터베이스 트랜잭션과 격리 수준 심화

격리 수준 이름만 외워서는 실제 DB에서 생기는 버그를 막을 수 없는 이유와, write skew·lost update를 다루며 PostgreSQL·MySQL·Oracle·SQL Server를 비교하는 7개 챕터 커리큘럼, 학습 목표를 정리한 시리즈 도입 챕터입니다.

[Linux] 정적 바이너리가 glibc GPU 드라이버를 쓰는 법 — SoLo의 ELF 로더

musl로 완전 정적 링크한 실행 파일은 호스트에 이미 설치된 glibc 기반 GPU 드라이버를 dlopen할 수 없다. SoLo는 커스텀 ELF 로더와 glibc ABI 브릿지로 이 문제를 풀었고, HN·lobste.rs 토론에서 나온 호환성 리스크까지 정리한다.

[AI] px0: 리눅스 커널도 370ms에 훑는 AI 코드 리뷰 전용 IDE

Arpit Bhayani가 만든 px0는 AI 에이전트가 짠 코드를 검토하는 데 최적화한 원격 우선 IDE다. 리눅스 커널 95,710개 파일을 370ms에 인덱싱하고 VS Code 대비 메모리를 약 90% 줄인 벤치마크와 8개 CLI 에이전트 연동 구조를 살펴본다.

Cpp Optimization

[Cpp] SIMD Quad Search: 이진 탐색을 이기는 4분할 SIMD 탐색

Roaring Bitmap의 16비트 정렬 배열 탐색에서 Daniel Lemire의 SIMD Quad 알고리즘이 표준 이진 탐색을 항상 앞선 이유를 코드·벤치마크로 설명한다. 4분할 보간과 SIMD 블록 비교로 루프 종속성을 끊는 설계, Intel·Apple의 상반된 이득을 다룬다.

[AI] 같은 요구사항, 다른 선택 — 코딩 에이전트 3종 도구 선택 실측 비교

Armature가 16,893개 세션을 분석한 결과, Claude Code·Codex·Cursor가 같은 요구사항에도 42%만 같은 서드파티 서비스를 고른다. 웹 검색·자체구현 성향 차이와 카테고리별 1위 서비스를 정리했다.

[AI] 평균 성공률 뒤에 숨은 에이전트 일관성 갭 — IBM Pass^k 사례

IBM Research가 공개한 Consistency Analyzer는 평균 성공률(mean@5) 77.4%인 ReAct 에이전트가 5번 모두 성공하는 비율(Pass^5)은 53.0%에 그친다는 일관성 갭을 진단하고, 이를 12.0%p까지 좁히는 방법을 제시한다.

[AI] 하네스 택스: 코딩 에이전트 정확도는 그대로인데 비용만 최대 5배 벌어지는 이유

UC 버클리·Arena 소속 연구팀과 별개의 논문 저자들이 2026년 9월 중순 같은 주에, 코딩 에이전트 하네스 선택이 정확도는 거의 못 바꾸면서 비용만 최대 5배 벌어지게 만드는 구조를 21개·176개 실험 조합으로 각각 실측하고 분해했다.

Rust Optimization

[Rust] Pingora 해시링 재설계: struct 재포장과 통계로 RAM 100TB 절감

Cloudflare가 로드밸런서 Pingora의 ketama 해시링을 struct 재포장과 서버당 해시 개수 90% 삭감으로 손질해 전 세계에서 RAM 100TB를 회수했다. 정렬 패딩을 없앤 Rust 구조체 설계와 삭감 폭을 통계로 검증한 과정, 32비트 해시의 생일 역설 함정을 정리한다.

[AI] zg(zvec-grep): 온디바이스 하이브리드 검색으로 에이전트 도구 호출 줄이기

Qwen 팀이 오픈소스로 공개한 CLI 도구 zg(zvec-grep)는 ripgrep·BM25·벡터 검색을 하나로 묶어 자연어 의도로 코드를 찾게 한다. 3단계 검색 구조와 벤치마크로 확인된 도구 호출·토큰 절감폭, 적용 판단 기준을 정리했다.