더 많은 언어가 배워야 할 OxCaml의 무할당 함수 검사
이 글은 Jane Street의 OxCaml이 제공하는 [@zero_alloc] 속성을 소개하며, 특정 함수와 그 호출 트리 전체에서 힙 할당이 발생하면 컴파일을 실패시키는 방식을 설명합니다. 런타임 프로파일링 대신 컴파일 단계에서 성능 회귀를 차단할 수 있다는 점에서, 저지연 시스템이나 금융·인프라 코드를 다루는 한국 개발자에게 특히 의미가 큽니다.
GeekNews
이 글은 Jane Street의 OxCaml이 제공하는 [@zero_alloc] 속성을 소개하며, 특정 함수와 그 호출 트리 전체에서 힙 할당이 발생하면 컴파일을 실패시키는 방식을 설명합니다. 런타임 프로파일링 대신 컴파일 단계에서 성능 회귀를 차단할 수 있다는 점에서, 저지연 시스템이나 금융·인프라 코드를 다루는 한국 개발자에게 특히 의미가 큽니다.
GeekNews

Foldkit은 Effect 기반에 Elm식 아키텍처를 접목한 TypeScript 프론트엔드 프레임워크로, 단일 immutable state와 명시적 effect 처리 모델을 전면에 내세웁니다. 라우팅·상태·폼 등 기본기를 한 시스템으로 묶어 ‘정확성 중심’ 개발 경험을 제공하는 게 포인트예요. 대규모 프론트엔드에서 상태 복잡도와 사이드이펙트 관리가 늘 고민인 한국 개발자들에게 실험해볼 만한 새 선택지입니다.
GeekNews
Rimlog은 ‘코드보다 명세를 커밋한다’는 접근으로, 3개의 자연어 spec 파일에서 PWA 앱과 서버를 생성하는 EstreUX 기반 데모입니다. 작성자는 유지보수 LoC를 60~82% 줄였다고 주장하며, 오프라인 동작·브라우저 로컬 저장·자체 호스팅 AI 백엔드까지 공개했습니다. 한국어 중심 설명이 포함돼 있어, AI 코딩 시대의 명세 기반 개발 방식을 실험해보려는 국내 개발자에게 특히 흥미로운 사례입니다.
GeekNews

LinkedIn 채용 제안과 GitHub 과제를 위장해 숙련된 개발자까지 감염시킨 악성 take-home 테스트 사례를 분석한 글입니다. 겉보기엔 평범한 React/Web3 과제였지만 JavaScript 기반 악성 행위가 숨겨져 있었고, 개발자 신뢰 체인 자체가 공격면이 될 수 있다는 점을 보여줘 한국 개발팀의 채용 보안·공급망 보안 대응에 시사점이 큽니다.
GeekNews

Google이 연령 인증용 영지식 증명(ZKP) 라이브러리를 오픈소스로 공개했습니다. EU eIDAS 규제와 EUDI Wallet 도입 흐름에 맞춰, ‘18세 이상’ 같은 사실만 증명하고 다른 개인정보는 드러내지 않는 구조를 개발자들이 직접 구현할 수 있게 된 만큼, 한국의 핀테크·인증·공공 디지털 ID 분야에도 참고할 만한 사례입니다.
GeekNews
Elm 팀이 'Road to Elm 1.0'의 일환으로 빌드 속도 개선 내용을 공개했습니다. 언어 생태계 규모는 크지 않지만, 컴파일 성능과 개발 경험 개선은 실제 사용자 생산성에 바로 연결되는 변화입니다. 함수형 프런트엔드나 컴파일러 설계에 관심 있는 한국 개발자라면 작은 언어가 1.0을 준비하는 방식 자체가 참고할 만합니다.
Hacker News Best
브라우저에서 텍스트 편집기를 직접 만들며 <canvas>, contenteditable, <textarea> 각각의 장단점을 비교한 글입니다. 렌더링 자유도와 네이티브 편집 기능 사이의 현실적인 트레이드오프를 짚어줘서, 에디터·노트 앱·코드 편집기 같은 웹 UI를 만드는 한국 개발자에게 꽤 실용적인 참고자료가 됩니다.
GeekNews

Cobalt는 Kobo e-reader에서 앱을 실행할 수 있게 해주는 오픈소스 플랫폼으로, 런처·서명된 앱스토어·Rust SDK·샌드박스 런타임을 함께 제공합니다. USB로 한 번 설치한 뒤에는 Wi‑Fi로 앱 설치·업데이트·삭제가 가능하고, 각 앱은 비권한 프로세스로 돌아가며 재부팅하면 순정 리더로 복귀합니다. 임베디드·Rust·전자잉크 UI에 관심 있는 한국 개발자에게는 꽤 매력적인 사이드 프로젝트이자 플랫폼 해킹 사례입니다.
Hacker News Best
Rust 1.98.0이 안정 버전으로 공개되며 algebraic_* 부동소수점 연산, 버퍼 기반 정수 포맷팅, ManuallyDrop<Box<_>> 동작 보장 같은 변경이 들어갔습니다. 대형 프레임워크급 변화는 아니지만 성능 최적화와 저수준 메모리 처리에 영향을 주는 내용이라, 시스템 소프트웨어를 만드는 한국 Rust 개발자라면 체크할 만합니다.
GeekNews

GitHub는 Dependabot이 이제 새 버전이 나오자마자 바로 PR을 올리지 않고 일정 시간 기다리는 ‘cooldown’ 방식을 도입한 이유를 설명했습니다. 문제 있는 릴리스나 급한 재배포를 피해서 노이즈를 줄이는 변화라, 한국 개발팀에도 CI 안정성과 패치 운영 정책을 다시 설계할 만한 실질적인 힌트를 줍니다.
GitHub Blog

Box2D/Box3D 관련 글로, 3D convex hull 충돌 감지에서 SAT의 edge-edge 조합이 기하급수적으로 커지는 문제를 SIMD로 줄이는 접근을 설명합니다. 게임 엔진, 물리 시뮬레이션, 고성능 C++ 최적화에 관심 있는 한국 개발자라면 ‘어디가 진짜 병목인지’와 이를 데이터 병렬로 푸는 방식을 배울 수 있는 좋은 사례입니다.
GeekNews
Android 네트워크 스택에서 악성 앱이 VPN 터널 바깥으로 트래픽을 보내 실제 IP를 노출할 수 있는 취약점이 발견됐습니다. 권한 없이도 악용될 수 있고, 심지어 'VPN 없는 연결 차단' 설정을 켜도 발생한다는 점이 중요해서, 모바일 보안·MDM·프라이버시 제품을 다루는 국내 개발자와 보안팀이라면 꼭 체크할 이슈입니다.
GeekNews
telepty는 Claude Code, Codex, Gemini CLI 같은 AI 에이전트 세션을 로컬·원격 머신 across Tailscale에서 spawn, attach, inject 할 수 있게 해주는 ‘세션 컨트롤 플레인’입니다. 여러 대의 머신에 흩어진 에이전트를 SSH 없이 제어하는 구조라서, 멀티에이전트 개발 자동화를 실험 중인 국내 팀이라면 바로 흥미를 가질 만한 툴입니다.
GeekNews
react-native-pure-chart 2.0.0은 SVG나 Skia, 네이티브 모듈 없이 React Native의 View·Text만으로 라인/바/파이 차트를 그리는 라이브러리입니다. Expo Go, react-native-web, Fabric 기반 RN 0.76+까지 노리는 설계라서 설치 복잡도를 크게 줄여주며, 차트 의존성 때문에 빌드가 꼬였던 팀에 특히 매력적입니다.
GeekNews
GNU Emacs에 8개월간 개발된 Canvas 기능이 병합되면서, Emacs 32부터는 이미지 데이터를 문자열이 아닌 픽셀 버퍼로 직접 다룰 수 있게 됩니다. Emacs Lisp와 동적 모듈 양쪽에서 더 효율적인 이미지 처리와 렌더링 확장이 가능해져, 에디터 해킹과 툴 개발을 하는 한국 개발자에게 꽤 반가운 업데이트입니다.
GeekNews

Keychron이 게이밍 마우스용 오픈소스 펌웨어 ZGM을 공개했고, 2027년 1분기 G6 HE 하이브리드 마그네틱 스위치 마우스에 적용할 계획입니다. 저지연, 센서·버튼·스크롤휠·조명 모듈화, 유무선 및 다양한 MCU 지원을 내세워 QMK의 마우스 버전을 노리는데, 국내 하드웨어/펌웨어 개발자에게는 폐쇄형 게이밍 기기 생태계를 흔들 수 있는 흥미로운 신호입니다.
GeekNews
이 글은 C++에서 float를 int로 캐스팅할 때, 잘린 값이 대상 정수 범위에 안 들어가면 정의되지 않은 동작(UB)이 된다는 점을 짚습니다. 특히 `static_cast<int>`나 `gsl::narrow`도 안전하지 않을 수 있고, x86과 AArch64에서 결과가 다를 수 있으므로 범위 체크를 먼저 하거나 `-fsanitize=float-cast-overflow` 같은 UBSan 검사로 잡아야 한다는 점이 실무적으로 중요합니다.
GeekNews
SimpleEnglish는 LLM이 기술 문서를 ASD-STE100 간소화 기술 영어 규칙에 맞춰 쓰도록 강제하는 Agent Skill로, Claude Code·Cursor·Copilot·Codex·Gemini CLI 등 다양한 에이전트 환경에서 바로 설치해 쓸 수 있습니다. 측정 결과 STE 위반이 단어 100개당 72.9% 줄고 문장 길이도 짧아졌다고 제시해, 글로벌 문서 품질을 신경 써야 하는 한국 개발팀에게는 AI 문서 ‘슬롭’을 줄이는 실전 도구로 볼 만합니다.
GeekNews
LiteDeck은 서버에 에이전트나 vscode-server를 깔지 않고, 기존 SSH 포트 하나만으로 파일 편집, 모니터링, systemd·Docker 관리, Claude/Codex 연동까지 처리하는 경량 도구입니다. 운영 서버에 추가 포트를 열기 어렵거나 에이전트 설치가 부담스러운 한국 인프라 팀에게 특히 현실적인 워크플로 대안이 될 수 있습니다.
GeekNews
지원 종료된 Forgejo v13 인스턴스가 CVE-2026-60004로 뚫려 약 24시간 동안 암호화폐 채굴기에 악용된 홈랩 침해 사례입니다. 공격자는 공개 가입 후 diffpatch 엔드포인트를 3초 만에 연속 호출해 악성 Git 훅을 실행했고, 작성자는 복구 후 v16 업그레이드와 공개 가입 비활성화 조치를 했습니다. ‘패치 누락 + 잘못된 설정’이 얼마나 빠르게 사고로 이어지는지 보여줘, 자체 Git 서비스나 홈서버를 운영하는 한국 엔지니어에게 실질적인 교훈이 큽니다.
GeekNews
uv에 올라온 이 PR은 기존 휠 단위 캐시를 넘어 파일 단위 BLAKE3 해시 기반 중복 제거를 도입해, 로컬 테스트 기준 캐시 공간을 약 545.2MiB, 대략 10% 절감했습니다. 대가로 콜드 인스톨은 4% 미만 느려지고 웜 인스톨 영향은 거의 없다고 합니다. Python 의존성이 많은 한국 개발팀이라면 CI·개발환경 디스크 사용량을 줄일 수 있는, 작지만 꽤 실용적인 개선입니다.
Hacker News Best
Postgres에서 `timestamptz AT TIME ZONE 'UTC'`를 쓰면 단순히 UTC로 바뀌는 게 아니라, 시간대 정보가 없는 `timestamp`로 타입이 바뀐다는 점을 짚습니다. 특히 월 단위 연산처럼 시간대 영향을 받는 계산에서 미묘한 버그를 만들 수 있어, 백엔드·데이터 엔지니어가 꼭 알아둘 만한 실전형 내용입니다.
GeekNews
Copperhead는 KiCad 설계 파일과 이를 설명하는 문서를 따로 관리하면서 생기는 불일치를 줄이기 위해, 둘을 함께 수정하는 오픈소스 AI 엔지니어링 플랫폼입니다. 자연어 요구사항부터 제조 산출물·펌웨어·개발 계획까지 8단계 파이프라인을 제시해 하드웨어 개발 자동화 가능성을 보여준 점이 특히 중요합니다.
GeekNews

가짜 CAPTCHA로 사용자가 직접 PowerShell이나 macOS 터미널 명령을 붙여넣게 만드는 ClickFix 공격이 PC와 Mac 전반으로 급속히 확산 중입니다. 예전처럼 코드서명된 설치 파일이나 복잡한 유포 인프라 없이도, 정상 사이트 하나만 뚫리면 감염이 가능해져 공격 비용은 낮아지고 피해 범위는 넓어졌습니다. 한국 기업 보안팀과 IT 운영자 입장에서는 ‘사용자 실행 유도형’ 사회공학 공격 대응 교육과 브라우저·엔드포인트 탐지가 더 중요해졌다는 뜻입니다.
Ars Technica
이 글은 프론트엔드 상태 관리의 네 가지 고질적 문제—공유 범위, 상태 수명, 파생 상태 공유, 기능 단위 응집—를 Bunja라는 접근으로 풀어봅니다. React 기반 상태 관리가 복잡해진 팀이라면 단순 문법 소개가 아니라 설계 관점에서 상태를 다시 나누는 힌트를 얻을 수 있어, 국내 프론트엔드 실무자에게 꽤 유용한 내용입니다.
GeekNews
지난 두 달간 Rust 컴파일러의 평균 wall-time이 4.57% 줄었고, 629개 벤치마크 중 555개가 개선됐습니다. LLVM 23 업그레이드, Clippy의 PGO 적용, 새 borrow checker(Polonius Alpha)와 trait solver의 성능 튜닝까지 포함돼 있어, Rust를 쓰는 팀이라면 빌드 시간과 툴체인 변화를 함께 체크할 만한 업데이트입니다.
Hacker News Best
Rust 컴파일러 팀이 최근 두 달간 평균 컴파일 시간을 4.57% 줄였고, 629개 측정 중 555개에서 개선을 확인했습니다. PGO를 Clippy에 적용해 최대 18% 실행 시간을 줄이고 LLVM 23 업그레이드로 평균 1.2%를 더 단축한 내용이라, Rust를 쓰는 한국 개발자에게는 빌드 시간과 도구 성능이 실제로 얼마나 개선되는지 보여주는 반가운 소식입니다.
GeekNews
ZK-JPEG은 원본 이미지를 공개하지 않고도 JPEG 압축이나 일부 편집이 올바르게 이뤄졌다는 사실을 증명하는 암호학적 도구입니다. 카메라 서명만으로는 흐림 처리·가림·손실 압축 이후 진위를 유지하기 어려웠는데, 이 접근은 프라이버시를 지키면서도 이미지 무결성을 검증할 수 있어 보안·미디어·디지털 포렌식 분야의 한국 개발자들에게 흥미로운 방향을 보여줍니다.
GeekNews
이 글은 Facebook이 수천만 줄 PHP 코드베이스에 타입 검사를 도입하면서, 전체 재검사 대신 변경분과 영향 범위만 다시 처리하는 증분 처리 전략을 어떻게 발전시켰는지 설명합니다. 초기 Hack 방식의 복잡한 의존성·캐시 관리 한계를 넘어, Skip으로 더 일반화된 증분 계산 모델을 다룬 점이 핵심입니다. 대규모 모노레포나 정적 분석 도구를 운영하는 한국 개발조직이라면 빌드·린트·타입체크 성능 개선 아이디어를 얻기 좋습니다.
GeekNews
개인 도메인으로 이메일을 ‘받는 것’보다 ‘안정적으로 보내는 것’이 훨씬 어렵다는 점을 실제 설정 경험 중심으로 풀어낸 글입니다. Cloudflare Email Routing, Apple Mail 연동, 인증 설정, 스팸 필터, 발신 평판 관리 같은 현실적인 이슈가 핵심입니다. 사이드 프로젝트나 1인 개발자로 자체 도메인 메일을 운영하려는 한국 개발자에게 바로 도움 되는 실무형 콘텐츠입니다.
GeekNews