JEFF NEWS에 참여하세요
북마크, 댓글, 투표 기능을 사용할 수 있습니다
© 2026 Jeff Yim
GHC 9.2.5 환경에서 pandoc 바이너리를 대상으로 -split-sections/--gc-sections와 Identical Code Folding(ICF) 두 가지 링크 타임 기법을 적용해 113M → 64M(-43%)으로 줄인 실험 공유.
Monus(부분 뺄셈을 지원하는 모노이드)를 이용해 pairing heap을 구현하는 아이디어를 설명한 Haskell 포스트. 핵심 통찰은 '절댓값 대신 부모와의 차이를 저장하라'는 것으로, 이를 통해 힙 불변식을 타입 수준에서 강제하고 전체 가중치 수정을 O(1)로 만들 수 있음. 이 패턴을 Phases 어플리케이티브, 안정 정렬을 위한 Key monus, 모나딕 힙으로까지 확장함.
대용량 JSON을 전체 파싱 없이 원하는 값만 직접 읽을 수 있는 새 텍스트 포맷 RX가 공개됨. 92MB 배포 매니페스트 기준 조회 속도가 JSON 대비 23,000배 빠르고, 파일 크기도 5.1MB로 대폭 줄어드는 성능을 보여줌.
리눅스에서 유저스페이스-커널 드라이버-하드웨어 간 인터페이스가 어떻게 동작하는지를 /dev 파일시스템, MMIO, 물리 주소 매핑까지 단계별로 설명하는 글. 커널 드라이버의 최하위 레벨은 결국 임베디드 베어메탈 프로그래밍이라는 점을 UART 드라이버 코드로 보여줌.
Android 15의 guessFileNameRfc6266 함수가 서버에서 application/ogg로 보낸 .ogg 파일에 .ogx 확장자를 덧붙여 이중 확장자를 만드는 문제. Android 버그가 아니라 18년 전 설정된 서버 MIME 타입 구성 문제이며, Wikimedia 등 대형 사이트에서도 발생했음.
Anthropic이 Slack에서 직접 코딩 작업을 위임할 수 있는 Claude Code 통합을 베타 출시. @Claude 태그로 풀 워크플로우 자동화가 가능하며, AI 코딩 도구의 경쟁 기준이 모델 성능에서 통합 깊이로 이동하는 트렌드를 반영.
핀테크 Mercury가 50명 이상의 신규 엔지니어를 2주 만에 Haskell 실무 투입 수준으로 교육한 프로그램 LHbE를 공개. 교재·강의 없이 순수 연습문제 + 매일 1:1 멘토링으로 모나드 트랜스포머 스택까지 도달.
Common Lisp 안에 사는 정적 타입 함수형 언어 Coalton이 0.2에서 Haskell 스타일 커링을 버리고 고정 인자 함수로 전환. 키워드 인자, 다중 반환값, 컬렉션 리터럴, 짧은 람다, scoped 타입 변수, 실수 대수적 수(RealAlgebraic) 등 대규모 변경.
Lance는 Parquet(파일 포맷) + Iceberg(테이블 포맷) + 카탈로그 스펙을 하나로 통합한 차세대 데이터 포맷임. 랜덤 읽기 최적화, 데이터 복사 없는 ad-hoc 컬럼 추가, BTree/역색인/벡터 인덱스 내장 등 기존 스택의 한계를 해결함. AI 시대의 멀티모달 데이터 레이크 수요가 이런 기술의 등장 배경임.
이혼 소송에서 공동 계좌 내 별도 재산을 증명하는 포렌식 회계 작업을 자동화한 Exit Protocol. LIBR(최저 중간 잔액 규칙)을 상태 머신으로 구현하고, Spatial-Grid OCR로 은행 PDF를 처리하며, Daubert 기준 충족을 위해 AI를 의도적으로 배제한 결정론적 파이프라인임.
코딩 에이전트가 자기 작업을 검증할 수 없으면 제대로 작동하는 코드를 만들 수 없다는 주장. 역할이 프롬프트 엔지니어가 아니라 테스팅 하네스를 구축하는 QA 방향으로 이동하고 있으며, 재현성·진정성·조합성·프로그래밍 가능성을 갖춘 하네스가 에이전틱 프로그래밍의 핵심.
아마존이 AWS 클라우드 고객을 대상으로 한 비디오 코덱 특허 침해 소송 방어를 더 이상 하지 않기로 함. AWS Elemental MediaLive 등 서비스가 AV1, H.264, H.265 등을 지원하고 Netflix, Disney+ 등이 AWS 위에서 돌아가는 상황이라 영향이 큼.
Cuckoo Filter의 CUDA 구현체로, CPU 대비 조회 351배 빠른 성능. 블룸 필터와 달리 삭제를 지원하면서도 오탐률 0.046%를 달성.
Raymond Chen 블로그 댓글에서 서드파티 프로세스에 원격 스레드를 주입하는 식의 핵을 '쿼크'라 포장하는 관행에 대한 날카로운 비판과, ATM 리부트 루프 같은 실제 사고 사례를 통해 올바른 통합 경계의 중요성을 논함
Sandia 국립연구소에서 MLIR 위에 구축한 LAPIS 컴파일러 프레임워크 발표. Kokkos 방언으로 다양한 아키텍처 지원하며 희소 선형대수 연산을 GPU에서 효율적으로 최적화
Cloudflare Browser Rendering에 /crawl 엔드포인트가 오픈 베타로 추가됨. 시작 URL 하나로 전체 사이트를 크롤링하고 HTML, Markdown, JSON으로 반환하며, robots.txt를 준수하는 비동기 크롤링 API.
Zig 0.15.2로 SQLite 기반 HTTP 서비스를 몇 주간 개발하다 포기한 개발자의 경험담. Go 대비 2배 빠른 성능과 comptime의 강력함에 감탄했지만, 패키지 생태계 부족과 segfault, Docker 빌드 문제 등에 막혀 결국 중단함.
28초 걸리던 대시보드 쿼리를 Materialized View로 180ms로 줄이는 과정을 다룸. View/MV/Summary Table 비교, WITH NO DATA로 안전한 생성, 인덱스 설계, Full vs Concurrent refresh 전략, freshness contract 설정, cron/pg_cron/K8s CronJob 스케줄링, advisory lock으로 중복 refresh 방지, mv_refresh_log 테이블을 활용한 observability까지 운영 레벨의 전체 가이드임.
Andreas Rossberg의 1ML 타입 시스템을 컴파일러 제작자 관점에서 해설하는 시리즈 첫 편. System Fw 기반 구조, 의미론적 타입 체계, 구현 권장사항을 다룸
Google Highway C++ 라이브러리에서 영감을 받은 Go용 포터블 SIMD 추상화 라이브러리. 코드 한 벌로 AVX2, AVX-512, ARM NEON, 순수 Go 폴백까지 지원하며, ARM64 벌크 어셈블리 모드에서 GELU F32 기준 117배 성능 향상을 달성함.