Git은 변경분 추적기가 아닙니다 — Blob, Tree, DAG 커밋과 인덱스의 내부 동작
Git은 커밋마다 변경분을 저장하는 대신 콘텐츠 해시로 식별하는 객체와 스냅샷 트리로 데이터를 구성합니다. 글은 인덱스, 브랜치 포인터, 커밋 그래프의 동작을 설명하고 reset·rebase·reflog 같은 명령을 내부 구조와 연결합니다.
개발 · 최신기사
언어와 프레임워크, SDK와 개발 방식·도구의 변화를 다룹니다.
2D 차량 물리 시뮬레이션 — GTA 차량 시스템의 출발점
1996년 Atari ST에서 만든 2D 물리 시뮬레이션이 Grand Theft Auto 차량 시스템의 토대가 됐습니다. 저자는 이를 JavaScript로 재현하고, 강체 물리와 단순화한 타이어 힘 모델이 차량 움직임을 만드는 과정을 설명합니다.
customer.subscription.deleted만으로 접근을 회수할 때 생기는 Stripe 결제 누수 15가지
결제 실패 뒤에도 구독 상태와 접근 권한이 어긋나는 Stripe 연동 문제를 설명합니다. 글쓴이는 읽기 전용 스캐너로 past_due·unpaid 구독과 웹훅 설정을 점검하고, 접근 권한을 구독 상태에 맞춰 관리하라고 제안합니다.
Jev로 PR에서 변경 이유를 골라 CHANGELOG에 담는 방법
changelog-bot은 PR에서 이유(WHY)를 새로 생성하지 않고, 명시된 문장을 후보로 추린 뒤 Jev로 실제 변경과 관련 있는지 평가합니다. 원문 문장을 그대로 쓰고 신뢰도가 낮으면 이유를 생략하는 방식과, 이를 검증하는 50개 사례 평가 체계를 소개합니다.
수학자가 Lean 정리 증명기에 알아야 할 것: 신뢰성과 AI
Thomas Hales는 Lean을 이용한 수학 형식화와 AI 자동 형식화의 진전을 소개하고, 증명 커널의 soundness bug와 Lean 형식 체계의 미해결 기초 문제를 짚습니다. 형식 검증 결과를 신뢰하려면 커널만 확인할 게 아니라 정리와 정의가 원래 의도와 일치하는지도 사람이 감사해야 한다고 강조합니다.
Django 6.1, 기본 PBKDF2 반복 횟수 변경…다음 로그인 때 기존 해시를 다시 씁니다
Django 6.1은 PBKDF2 기본 반복 횟수를 120만 회에서 150만 회로 올립니다. 기존 해시는 다음 로그인 때 자동 갱신되지만, 기본값보다 강하게 설정한 해시도 새 기본값으로 낮아질 수 있어 직접 반복 횟수를 설정한 서비스는 업그레이드 전에 확인해야 합니다.
스핀락은 해롭습니다 (2020)
스핀락은 잠금이 풀릴 때까지 CPU를 점유하며 기다리므로, 잠금 보유 스레드가 선점되면 대기 스레드까지 CPU를 낭비하고 우선순위 역전을 일으킬 수 있습니다. 글은 Rust의 no_std 환경에서도 스핀락을 무조건 대안으로 삼지 말고, 운영체제 뮤텍스나 초기화 구조를 검토하라고 제안합니다.
Staffcoder — 실무 엔지니어처럼 코딩하기
Staffcoder는 알고리즘 퍼즐 대신 실제 프레임워크와 개발 도구를 쓰며 코딩 과제를 푸는 학습 플랫폼입니다. 브라우저 IDE에서 터미널, 파일 시스템, 미리보기를 제공하며 React, Django, Docker, AI 에이전트 등 39개 학습 경로의 과제를 지원합니다.
표준 C에서는 문자열의 부동소수점 변환 오류를 이식성 있게 확인하기 어렵습니다
strtod 계열 함수의 오류 보고 방식은 표준 C와 POSIX에서 다릅니다. 오버플로·언더플로에는 math_errhandling과 구현별 제약이 따르고, 숫자 변환에 실패했는지는 errno가 아니라 endptr로 확인해야 합니다.
Zeta의 차세대 빌림 검사기 — Rust 메모리 관리 모델을 대체하려는 실험
Zeta는 Rust의 빌림 검사기가 놓치는 메모리 영역 간 비중첩 관계를 추론하고, 별칭 가변 참조인 `&alias`와 출처(provenance) 기반 수명 추론을 도입한 실험적 언어입니다. 작성자는 이를 이용해 런타임 참조 세기나 검사 없이 연결 리스트와 병렬 슬라이스 처리를 구현하는 예를 제시하지만, 함수 본문에 기대는 추론의 API 안정성과 모델의 안전성은 토론에서도 쟁점이 됐습니다.
Zernio — 제품과 에이전트를 위한 마케팅 인프라
Zernio는 소셜 플랫폼 16곳과 광고 네트워크 7곳, 메시징·전화 기능을 하나의 API로 제공합니다. REST API와 MCP 서버를 지원해 제품에 연동하거나 AI 에이전트가 계정을 연결하고 게시물·광고·메시지·전화를 실행하도록 구성할 수 있습니다.
분기 없는 코드에 끼어드는 조건 분기
소스에서 비트 연산으로 분기를 없애도 컴파일러가 RISC-V용 조건 분기로 바꿀 수 있습니다. 컴파일러 버전과 최적화 옵션, 대상 CPU의 명령어 확장에 따라 결과가 달라지므로 상수 시간 암호 코드는 생성 어셈블리를 다시 확인해야 합니다.
Claude가 Blender에서 유튜브 영상 전체를 연출하려면 필요한 기술 스택
Blender를 처음 다룬 뒤 Claude Code와 3D 장면을 만든 저자가, 한 문단으로 유튜브 영상 초안을 만드는 자동화 구성을 제안합니다. LLM에는 코드와 장면 구성을 맡기고, 사람의 움직임·음성·효과음은 전문 도구에서 가져오며 각 장면을 자동 검사하는 방식입니다.
인간은 섬이 아닙니다
저자는 AI가 지식 노동을 대신하면 개인의 지적 활동을 뒷받침하던 공동체도 약해진다고 주장합니다. 코드를 쓰고 글을 읽는 사람이 줄면 공유 지식과 동료의 인정이 사라지고, 그 결과 오랫동안 이어지는 지적 활동도 줄어든다는 논지입니다.
REA Reverse — 코딩 에이전트로 소프트웨어 동작 분석하기
REA는 코딩 에이전트가 실행 중인 프로그램과 바이너리를 살펴보고 동작 규칙을 설명하도록 돕는 도구입니다. 공룡 게임의 가속 규칙과 Windows 계산기의 퍼센트 버튼을 분석하고, 결과를 새 구현과 테스트로 확인하는 과정을 보여줍니다.
YAML의 노르웨이 문제와 cron의 날짜 함정 — 설정 파일이 값을 다르게 해석하는 이유
YAML은 파서와 스키마에 따라 NO, 1.10, 0755를 문자열이 아닌 값으로 읽고, cron은 날짜와 요일 조건을 AND가 아닌 OR로 처리할 수 있습니다. 글은 두 형식의 함정을 사례와 시뮬레이터로 설명하고, YAML 값 인용과 cron 조건 검증 등 실수를 막는 방법을 소개합니다.
Show HN: Carrier-Explode — iPhone·Pixel·Galaxy 통신사 설정 디코딩
Carrier-Explode는 iPhone, Pixel, Galaxy 펌웨어의 통신사 설정을 디코딩해 APN, VoLTE, Wi-Fi Calling, 5G 지원 여부를 검색하고 비교하는 서비스입니다. 설정 데이터는 API와 CC0 일일 데이터셋으로 제공하며, 디코더는 계속 보완 중입니다.
Python 3.15.0 정식 출시
Python 3.15.0이 3.14 이후의 주요 기능과 최적화를 담아 정식 출시됐습니다. 실험적 JIT 성능 개선과 UTF-8 기본 인코딩, 지연 임포트, 프리 스레딩 지원 확대가 포함됐으며 macOS 27.0의 Tk 기반 앱 문제도 안내합니다.
내가 쉬는 동안 AI는 나아졌지만, 소프트웨어는 그대로입니다
AI 모델과 코딩 에이전트는 더 많은 코드를 빠르게 만들지만, 과잉 설계와 불필요한 기능 같은 소프트웨어의 문제까지 해결하지는 않습니다. 글쓴이는 코드 작성보다 문제를 제대로 정의하고, 생성된 결과를 검토하며, 필요 없는 복잡성을 덜어내는 판단력이 더 중요해진다고 말합니다.
네 가지 정리 증명기의 이야기 — Isabelle/HOL, Lean, HOL4, Agda 비교
저자는 네 정리 증명기에서 유클리드 방식으로 소수의 무한성을 증명하고, 자동화·증명 과정 확인·정리 검색·사용 경험을 비교합니다. Isabelle/HOL과 HOL4는 자동화가 강하고, Agda는 증명 과정을 명시적으로 드러내지만 수작업이 많다는 평가입니다.