이 글에서는 Rust의 Vec::drain 메서드와 그 Drop 구현을 자세히 살펴보고, 소유권이 어떻게 미묘한 버그(메모리 관련 버그 등)를 방지하는지 보여줍니다. Vec::drain은 원본 벡터에 대한 가변 참조를 유지하고 원본 저장소만 읽고 쓰는 방식으로 성능을 최적화합니다. 중요한 점은 Drain 구조체의 Drop 구현으로, DropGuard를 사용하여 이터레이터가 중간에 삭제되더라도 남은 요소들을 안전하게 원본 벡터로 되돌림으로써 메모리 안전성을 보장하는 것입니다. 이 글에서는 Drain과 DropGuard 구현의 세부 사항을 철저히 설명하고, 제로 사이즈 타입이나 포인터 provenance와 같은 특수한 경우도 다룹니다.
11년 동안 GNU Make의 병렬 빌드에서는 재현하기 어려운 버그가 문제였습니다. 이에 따라 Makefile의 대상 실행 순서를 무작위로 섞는 새로운 `--shuffle` 모드가 개발되었습니다. 이를 통해 gcc, vim, ghc 등 30개 이상의 패키지에 숨겨져 있던 버그가 효과적으로 발견되었습니다. 이 모드는 GNU Make 4.4의 일부가 되었으며, `make --shuffle` 또는 환경 변수 `GNUMAKEFLAGS=--shuffle`을 사용하여 이용할 수 있습니다. 이 강력한 기능은 개발자가 병렬 빌드 문제를 식별하고 해결하는 데 도움이 되며, 소프트웨어 개발 도구의 지속적인 개선을 강조합니다.
Google Research는 NSDI 2024에서 새로운 로드 밸런서 PReQuaL(Probing to Reduce Queuing and Latency)을 발표했습니다. 기존 CPU 부하 분산과 달리 PReQuaL은 서버 대기 시간과 활성 요청을 적극적으로 탐색하여 서버를 선택함으로써 YouTube와 같은 시스템의 테일 레이턴시, 오류율, 리소스 소비를 크게 줄입니다. YouTube에서 1년 이상 운영되어 시스템 활용률을 크게 향상시켰습니다. 이 혁신적인 접근 방식은 기존의 상식에 도전하고 고성능 분산 시스템을 위한 새로운 패러다임을 제시합니다.
숙련된 소프트웨어 엔지니어는 가상 세계의 프로그래밍에 지쳐 현실 세계에서 무언가를 만들고 싶어했습니다. 그는 Bambu Lab X1C 3D 프린터를 구입하여 3D 프린팅 기술을 빠르게 습득했습니다. 그런 다음 Fusion 360 CAD 소프트웨어를 배우기 시작했고, 놀랍게도 그 제약 개념이 iOS의 UI 제약과 유사하며 매개변수 CAD 설계가 함수형 프로그래밍과 공통점이 많다는 것을 알게 되었습니다. 그의 첫 번째 프로젝트는 웹캠이 화면을 가리는 문제를 해결하기 위한 과도하게 설계된 웹캠 라이저였습니다. 이 프로젝트를 통해 그는 3D 프린팅과 CAD 설계의 즐거움을 경험할 뿐만 아니라 설계 단계에서 제조, 재료 등 세부 사항을 고려해야 할 필요성을 깊이 이해하게 되었습니다.
Adélie Linux가 1.0-BETA6 베타 버전을 출시했습니다. 32비트 및 64비트 ARM, POWER, x86 아키텍처를 지원하며 스마트폰, 게임 콘솔, 슈퍼컴퓨터 등을 포함합니다. 이번 릴리스에는 35개 이상의 새로운 패키지, GCC 13, LLVM 18, Rust 1.80, Linux 커널 6.6 LTS 업데이트, 향상된 GRUB 및 Wayland 지원 등이 포함됩니다. 많은 버그가 수정되었고 사용자 경험이 향상되었습니다. 몇 가지 알려진 문제점이 남아 있지만 Adélie 팀은 적극적으로 해결하고 있으며 버그 보고서와 피드백을 환영합니다.
Cyphernetes는 클라우드 네이티브 Kubernetes 클러스터 관리를 자동화하는 프로젝트입니다. 배포, 업그레이드, 관리 프로세스를 간소화하여 운영상의 복잡성을 크게 줄입니다. 트래픽 급증에 대응하기 위해 클러스터를 손쉽게 확장하고, 장애를 자동으로 복구하며, 서비스 안정성을 보장하는 것을 상상해 보세요. 모든 작업이 수동 개입 없이 이루어집니다. Cyphernetes는 숙련된 Kubernetes 클러스터 관리자 역할을 수행하여 애플리케이션을 연중무휴 보호하고 혁신에 집중할 수 있도록 합니다.
1999년에 탄생한 Dillo 웹 브라우저는 25년이라는 시간 동안 수많은 어려움을 극복하고 살아남았습니다. 개발 과정에서 여러 번 정체기를 겪었지만, 결코 포기하지 않았습니다. 초창기에는 Jorge Arellano Cid가 주도했으며, GTK와 FLTK라는 주요 단계를 거치면서 핵심 개발자도 바뀌고 프로젝트는 부침을 반복했습니다. 2024년 Rodrigo Arias Mallo가 프로젝트를 이어받아 커뮤니티의 도움을 받아 3.1.1 버전을 출시하면서 이 베테랑 브라우저는 다시 한번 주목받게 되었습니다. Dillo의 이야기는 오픈소스 정신을 구현하는 기술 유산과 혁신의 전설적인 이야기입니다.
Hyperbola GNU/Linux-libre는 커뮤니티 중심의 운영체제 프로젝트로, 완전히 자유롭고, 안정적이며, 안전하고, 간편하며, 가벼운 장기 지원 배포판을 제공하는 것을 목표로 합니다. Arch Linux의 패키지 관리 시스템과 Debian의 보안 패치를 활용하며, GNU 자유 시스템 배포 가이드라인을 준수합니다. i686 및 x86_64 아키텍처를 지원하며, BSD 기반 시스템인 HyperbolaBSD를 출시할 계획도 있습니다. 최근 소식으로는 32비트 시스템에 대한 지속적인 지원, Debian 12 이후 패치셋 사용 중단, 그리고 자유 소프트웨어 재단의 기계 학습 관련 성명에 대한 우려 표명 등이 있습니다.
개발자 Anvaka는 공개 데이터를 사용하여 40만 개 이상의 GitHub 프로젝트를 시각화한 대화형 지도를 만들었습니다. 이 프로젝트는 Jaccard 유사도를 사용하여 프로젝트 간의 관계를 계산하고 Leiden 알고리즘을 사용하여 클러스터링합니다. 결과적으로 GitHub 생태계를 시각적으로 멋지게 표현하여 사용자는 프로젝트를 검색하고 프로젝트 간의 연결을 탐색하여 그 복잡성과 풍부함을 알 수 있습니다.
Vercel은 로컬 Serverless 함수 개발 런타임인 ƒun을 출시했습니다. 개발자는 이를 통해 AWS Lambda 환경을 로컬에서 에뮬레이트할 수 있습니다. Node.js와 Python 등 다양한 런타임을 지원하여 클라우드에 배포하지 않고도 Serverless 함수의 신속한 테스트와 디버깅이 가능합니다. ƒun은 실제 Lambda 환경을 최대한 모방하려고 하지만, 프로세스 샌드박싱과 사용자 권한에 있어 중요한 차이점이 있습니다.
이 게시글에서는 WASM을 통해 Bevy 0.15에 웹 네이티브 API를 통합하여 웹 브라우저에서 이미지 드래그 앤 드롭 기능을 구현하는 방법을 보여줍니다. wasm-bindgen, gloo, bevy_channel_trigger를 사용하여 Rust에서 DOM 이벤트를 처리하고, 파일 데이터를 추출하여 Bevy 엔진으로 전달하여 이미지 로딩 및 렌더링을 수행합니다. 이 과정은 JavaScript 구현과 유사하지만 Rust의 기능을 활용하여 오류 처리 및 이벤트 리스너 메모리 누수 문제를 해결합니다. 결과적으로 드롭된 PNG 이미지를 로드하고 표시할 수 있는 Bevy 웹 애플리케이션을 만들 수 있습니다.
업무 방해의 영향에 대한 연구 논문에서 영감을 받은 프로그래머 Shae Erisson은 프로그래머가 집중된 '흐름' 상태에 있는지 여부를 나타내는 FlowLight라는 DIY 시스템을 만들었습니다. 이 시스템은 Emacs 에디터의 유휴 시간을 모니터링하고 프로그래머가 일정 시간 동안 조작하지 않으면 Adafruit MagTag 보드의 LED가 색상을 변경합니다(유휴 상태는 녹색, 바쁜 상태는 빨간색). Erisson은 CircuitPython으로 HTTP 서버도 만들어 LED 색상과 상태를 원격으로 제어할 수 있도록 했습니다. 유휴 시간 모니터링의 정확성과 시각적 매력 개선 등 개선의 여지가 있지만, 이 시스템은 프로그래머가 방해를 피하고 생산성을 향상시키는 데 효과적으로 도움이 됩니다.
이 프로젝트는 WASM 프로그램이 node:wasi의 preopens 디렉터리 제한을 우회하여 샌드박스 외부의 파일에 액세스하는 방법을 보여주는 개념 증명을 보여줍니다. 일반적으로 WASM 프로그램은 미리 열린 디렉터리에 대한 액세스로 제한됩니다. 그러나 정확한 시점에 심볼릭 링크를 사용하여 파일을 바꾸고 외부 프로세스를 실행하면 이 제한을 우회할 수 있습니다. 이것은 node:wasi의 실질적인 보안 취약점이 아니라 잠재적인 에지 케이스입니다. 이 프로젝트는 node:wasi가 악의적인 코드가 외부 파일에 액세스하는 것을 완전히 방지한다고 신뢰해서는 안 된다는 점을 강조합니다.
Anukari 개발자는 macOS에서 GPU 성능 최적화 과정에서 병목 현상을 경험했습니다. GPU 성능에 대한 시스템 제어가 제한적이기 때문에 Apple의 GPU 성능 조절 메커니즘은 Anukari의 사용 사례에서 성능이 저하되어 오디오 끊김 현상이 발생했습니다. 개발자는 해결책으로 GPU 스레드 그룹 워프를 불필요한 계산에 할당하여 시스템을 '속여' GPU 클럭 속도를 높이고 오디오 지연 시간을 크게 줄이며 성능을 향상시켰습니다. 조잡한 방법이었지만 이 방법은 macOS 성능 문제 해결에 효과적임이 입증되었습니다. 그러나 서로 다른 DAW(Ableton과 GarageBand) 간에 성능 향상이 크게 달라 추가 최적화가 필요합니다.
최근 대규모 언어 모델(LLM)의 코드 생성 능력 향상은 프로그래밍의 종말을 시사하는 논쟁을 불러일으켰습니다. 하지만 이 글에서는 그러한 낙관적인 견해에 반박합니다. 프로그램 합성의 계산 복잡도에 주목하여 올바른 코드를 생성하는 것이 PSPACE 완전 문제임을 보여줍니다. 즉, 중간 규모의 입력에도 지수 함수적인 시간이 걸릴 수 있다는 것입니다. LLM은 프로그래머를 지원하고 효율성을 높이는 도구가 될 수 있지만, 본질적인 한계 때문에 인간 프로그래머를 완전히 대체할 수는 없습니다. 프로그래밍의 핵심은 문제 해결과 시스템 설계이며, 인간의 창의성과 상상력을 필요로 합니다.
이 글에서는 맹목적인 낙관주의가 아닌, 몇 가지 강력한 아이디어의 통합으로서 "낙관적인 컴퓨팅" 개념을 탐구합니다. "부팅 후 바로 실행"(boot to kill), 로컬 퍼스트 원칙, 사용자 권한 부여 등이 그것입니다. 저자는 종속성 제한, 워크플로 간소화, "바로 작동하는" 매끄러운 경험 창출, 사용자에게 더 많은 제어 권한 부여를 통해 더 신뢰할 수 있고, 안전하며, 오래 지속되는 소프트웨어를 만들 수 있다고 주장합니다. 이 철학은 개별 사용자와 엔터프라이즈 소프트웨어 개발 모두에 적용되며, 궁극적으로 사용자의 개인 정보와 데이터 소유권을 존중하는 디지털 세상을 목표로 합니다.
본 기사에서는 Spark, DuckDB, Polars 세 가지 데이터 처리 엔진의 성능을 벤치마킹하여 10GB 및 100GB 데이터 세트에 대한 성능, 비용 및 개발 용이성을 비교합니다. 결과적으로 대규모 데이터 세트 및 ETL 작업의 경우 분산 컴퓨팅 기능과 성숙한 에코시스템을 갖춘 Spark가 여전히 우세한 것으로 나타났습니다. 반면 DuckDB와 Polars는 소규모 데이터 세트의 대화형 쿼리 및 데이터 탐색에서 뛰어난 성능을 보여줍니다. 저자는 특정 요구 사항에 맞게 엔진을 선택하고 Spark를 ETL에, DuckDB를 대화형 쿼리에, Polars를 틈새 시나리오에 사용하는 등 전략적인 조합 및 매칭을 권장합니다.
이 글에서는 저자가 어떤 라이브러리도 사용하지 않고 C++과 CUDA를 사용하여 LLM 추론 엔진을 처음부터 구축한 과정을 자세히 설명합니다. 이 과정을 통해 CUDA 커널부터 모델 아키텍처까지 LLM 추론의 전체 스택을 깊이 이해하고 다양한 최적화가 추론 속도에 어떻게 영향을 미치는지 배웠습니다. 목표는 일반적인 오픈소스 모델의 가중치를 로드하고 단일 CPU+GPU 서버에서 단일 배치 추론을 실행할 수 있는 프로그램을 만들고 토큰 처리량을 반복적으로 개선하여 llama.cpp를 능가하는 것이었습니다. CPU와 GPU 모두에서 최적화 단계, 멀티스레딩, 가중치 양자화, SIMD, 커널 융합, KV 캐시 양자화 등을 자세히 설명하고 병목 현상과 과제를 분석합니다. 최종적으로 로컬 LLM 추론에서 최첨단에 가까운 성능을 달성했습니다.
소프트웨어 개발에서 기존의 설계 문서와 점진적 개발 방식은 항상 효율적인 것은 아닙니다. 저자 Doug Turnbull은 임시 PR을 사용하여 프로토타입을 신속하게 구현하고, 팀으로부터 조기에 피드백을 받고, 설계를 개선한 다음, 배포 가능한 PR로 점진적으로 분할하는 "코딩 몰입" 방식을 제안합니다. 이 방법은 빠른 반복, 조기 문제 발견을 장려하며, 코드 자체를 최고의 문서로 간주합니다. 설계 문서는 특정 상황에서 여전히 가치가 있지만, 저자는 "보여주는 것보다 행하는 것"을 주장하며, 코드 프로토타입을 사용하여 신속한 검증과 반복을 통해 더욱 효율적인 소프트웨어 개발을 달성합니다.
이 글에서는 고성능 팀의 기반이 되는 트랜잭티브 메모리 시스템(TMS)을 살펴봅니다. 개인의 기억력이 아니라, 팀이 어떻게 구성원들의 지식과 기술을 효과적으로 공유하고 활용하는지에 대한 내용입니다. 팀의 기억에는 작업 기억, 장기 기억, 트랜잭티브 메모리 세 가지 유형이 있으며, TMS가 팀 성과를 향상시키는 방법에 초점을 맞춥니다. TMS는 협업 패턴과 개인의 전문 지식이라는 두 가지 요소로 구성됩니다. TMS를 구축함으로써 팀은 집단 지성을 발휘하고 구성원 변경의 영향을 극복합니다. 이 글에서는 Capability Comb, 팀 매뉴얼, 의도적인 연습 등의 방법을 제안하여 팀이 TMS를 신속하게 구축하고 개선하는 데 도움을 줍니다.
오랫동안 웹 컴포넌트의 서버 사이드 렌더링은 어렵다고 여겨져 왔습니다. 이 글에서는 Happy DOM을 효과적으로 사용하여 브라우저 환경을 에뮬레이트함으로써 기존 웹 컴포넌트의 서버 사이드 렌더링을 구현하는 방법을 보여줍니다. 두 가지 방법이 자세히 설명되어 있습니다. 하나는 `` 태그를 사용한 직접 렌더링이고, 다른 하나는 DOM을 에뮬레이트하여 컴포넌트 코드를 실행하고 HTML을 생성하는 방법입니다. 저자는 이러한 접근 방식의 장점으로 모든 웹 컴포넌트와의 호환성, JavaScript 오류 발생 시 강력한 내구성, 특정 프레임워크에 대한 의존성 회피 등을 강조합니다. 이를 통해 웹 컴포넌트의 서버 사이드 렌더링 문제가 해결되고, 유연하고 강력한 솔루션이 제공됩니다.
SVC16은 최대한의 단순함을 목표로 설계된 최소한의 16비트 가상 컴퓨터입니다. CPU 레지스터가 없고 모든 연산은 단일 메모리 청크 내에서 수행됩니다. 명령어 세트는 매우 간소화되어 사운드나 가변 화면 크기와 같은 고급 기능이 없습니다. 프로그래머는 직접 기계어 코드와 컴파일러를 작성하여 가장 단순한 도구로 놀라운 성과를 만들어내는 데 도전합니다. 이 프로젝트는 사용자가 만든 프로그램과 게임을 실행할 수 있는 에뮬레이터를 제공합니다. 저수준 컴퓨터 원리를 배우고 프로그래밍 기술을 연마할 수 있는 완벽한 프로젝트입니다.
Railgun Labs는 속도, 임베디드 가능성, 크로스 플랫폼 호환성, 보안으로 유명한 고성능 Unicode 알고리즘 라이브러리 Unicorn을 출시했습니다. Unicorn은 정규화, 대소문자 변환, 정렬, 분할 등 다수의 Unicode 알고리즘을 지원하며 UTF-8, UTF-16, UTF-32 인코딩에 대한 디코더, 인코더, 검증기를 제공합니다. 이 라이브러리는 완전히 사용자 정의가 가능하며 정확성과 신뢰성을 위해 광범위하게 테스트되었습니다. MISRA C:2012 표준을 준수하며 대부분 스레드 안전합니다.
Frederik Braun은 Home Assistant를 사용하여 스마트홈 원격 제어를 시도했지만 심각한 보안 취약점을 발견했습니다. Home Assistant는 사용자 이름/비밀번호 및 2단계 인증을 제공하지만, 임베디드 자격 증명이 포함된 URL을 처리할 수 없고 루트 경로에 배포해야 하므로 웹 서버 인증 또는 모호한 경로와 같은 추가 보안 계층을 추가할 수 없습니다. 따라서 Home Assistant의 보안은 내부 메커니즘에만 의존하며 보안 위험이 발생합니다. 저자는 Home Assistant 커뮤니티에 보안 구성의 유연성을 개선할 것을 촉구합니다.
약 2년간의 개발 끝에 XFCE 4.20이 공식 출시되었습니다! 이 버전은 Wayland 지원 준비에 중점을 두고 있으며, 현재 대부분의 구성 요소에 대한 실험적인 Wayland 지원을 제공합니다. 하지만 아직 초기 단계이므로, 고급 사용자에게 권장됩니다. XFCE 4.20에는 많은 새로운 기능, 버그 수정 및 개선 사항이 포함되어 있습니다. 구체적으로는 아이콘 크기 조정 개선, 성능이 향상된 아이콘 보기, 업그레이드된 Thunar 파일 관리자 등이 있습니다. 중요한 것은 Wayland 지원이 아직 완벽하지 않으며, 일부 구성 요소와 기능은 아직 이식되지 않았다는 점입니다.
이 블로그 게시글에서는 클래스를 사용하지 않고 Ruby로 간단한 객체 시스템을 구축하는 방법을 설명합니다. 저자는 익명 함수와 해시 테이블을 영리하게 사용하여 메서드 조회, 프로토타입 상속, 믹스인, 메타 프로그래밍과 같은 OOP의 핵심 개념을 구현합니다. 생성자 함수부터 시작하여 저자는 개인 변수와 공용 인터페이스를 시뮬레이션하는 방법을 보여주며, 클래스와 유사한 동작과 상속을 효과적으로 재현합니다. 명확한 코드 예시를 통해 독자는 객체 생성, 메서드 정의, 상속 및 믹스인 구현, 그리고 Ruby의 `attr_accessor`와 유사한 기본적인 메타 프로그래밍 기능 구축 방법을 배웁니다. 객체 시스템의 기본 원리를 이해하기 위한 실용적인 안내서입니다.
JP Camara의 RubyConf 2024에서 진행된 Ruby의 동시성에 대한 발표 영상이 YouTube에 공개되었습니다. 이 발표는 지난 1년간의 연구와 집필을 요약한 것으로, 애니메이션 슬라이드를 사용합니다. RubyVideo에서도 시청할 수 있습니다.
TeaVM 0.11.0이 출시되었습니다. 주요 기능은 새로운 WebAssembly 백엔드입니다. 이전 WebAssembly 백엔드는 기능적으로 작동했지만, 성능 향상이 미미하고 개발자 경험이 좋지 않아 널리 채택되지 않았습니다. 새로운 백엔드는 WebAssembly GC 제안을 활용하여 이러한 문제를 해결하고, 브라우저의 JS API와의 상호 작용을 개선하며, 바이너리 파일 크기를 줄입니다. 현재 JS 백엔드보다 기능이 다소 부족하지만, JSO(Java-to-JS 상호 작용 API)를 이미 지원하며, 다음 릴리스에서 동등한 기능을 목표로 합니다. 이 릴리스에는 BitSet 구현의 버그 수정과 파일 읽기, 터치 이벤트, Popover API, Navigator.sendBeacon 등 다양한 JS API 지원 추가도 포함되어 있습니다.
끝없는 회의와 긴 계획에 지치셨나요? 이 글에서는 고효율 소프트웨어 개발 방법을 소개합니다. 바로 코드 중심의 빠른 반복입니다. 저자는 완벽한 시나몬 롤을 만드는 비유를 사용하여 빠른 시행착오, 빈번한 테스트, 지속적인 개선을 통해 최적의 솔루션에 도달하는 개념을 설명합니다. 이 방법은 문서 작성 축소, 아이디어를 코드로 직접 표현하기, 모의 데이터와 핫 리로딩 도구를 사용하여 개발 속도를 높이기, 간결한 코드 스타일과 명명 규칙을 통해 코드 가독성을 향상시키는 것을 중시합니다. 저자는 프로젝트를 독립적으로 실행 가능한 파일로 분할하고, 재시작 시간을 최소화하고, 기본 언어 도구를 사용하여 디버깅하는 것을 제안합니다. 이 방법은 언뜻 "혼란스러운 실험실"처럼 보일 수 있지만, 프로젝트를 효율적으로 완료하고 기존 방법의 중복성과 비효율성을 피할 수 있습니다.
Vim은 단순한 텍스트 에디터가 아니라 컴퓨터와 상호 작용하는 언어입니다. 간결하고 효율적인 명령 구조는 기억하기 쉽고 컴퓨터가 해석하기에도 용이합니다. Vim 자체가 강력하지만, 핵심 강점은 거의 모든 주요 코드 에디터에 Vim 모드가 통합되어 있다는 점입니다. 이를 통해 개발자는 선호하는 에디터 인터페이스를 선택하면서 Vim의 효율적인 명령어 언어를 유지할 수 있습니다. 따라서 Vim 언어의 가장 완벽하고 일관된 구현인 NeoVim의 가치는 효율적인 편집 언어를 제공하는 데 있으며, 에디터 자체에만 있는 것이 아닙니다.