pgit: 리눅스 커널을 PostgreSQL에 통째로 가져오다
리눅스 커널의 방대한 히스토리(1.4백만 커밋, 38,000명 기여자)가 pgit을 통해 PostgreSQL로 옮겨졌어요! SQL로 커밋, 기여자, 파일 변동 등 다양한 분석이 가능해졌고, 데이터는 놀랍게도 2.7GB로 압축됩니다. 커널 개발의 숨은 이야기와 재미있는 통계도 가득!
pgit: 리눅스 커널을 PostgreSQL에 통째로 가져오다
리눅스 커널의 방대한 히스토리(1.4백만 커밋, 38,000명 기여자)가 pgit을 통해 PostgreSQL로 옮겨졌어요! SQL로 커밋, 기여자, 파일 변동 등 다양한 분석이 가능해졌고, 데이터는 놀랍게도 2.7GB로 압축됩니다. 커널 개발의 숨은 이야기와 재미있는 통계도 가득!
순수 SQL로 체스 구현하기 - DB Pro 블로그
SQL만으로 체스판을 웹에서 직접 구현하는 방법을 소개합니다. 자바스크립트 없이도 SELECT, UPDATE만으로 말 이동과 게임 재현이 가능해요! SQL의 색다른 활용법과 유명한 오페라 게임 재현까지, 흥미로운 내용이 가득합니다.
타임슬라이스 리저버 샘플링: 프로파일러를 위한 새로운(?) 알고리즘
이 글에서는 타임슬라이스 리저버 샘플링이라는 새로운 샘플링 기법을 소개합니다. 이 방법은 이벤트 스트림에서 시간적으로 고르게 분포된 샘플을 뽑아내어, 타임라인 시각화와 성능 분석에 큰 도움을 줍니다. 균등한 시간 분포가 궁금하다면 꼭 읽어보세요!
FlowG - 1.0 버전까지의 여정
FlowG가 드디어 MVP를 완성하며 1.0 버전을 향한 본격적인 여정에 돌입했습니다! 프론트엔드 리뉴얼, 복제 기능 개선, 카오스 테스트 등 다양한 변화가 예고되어 있어, 오픈소스 로그 관리에 관심 있다면 꼭 주목해보세요.
Hare 언어를 위한 선형 타입 제안
선형 타입은 자원을 한 번만 사용할 수 있게 하여 파일 등 중요한 리소스의 누수를 막아요. 참조와 포인터의 차이, 에러 처리와 수명 주석까지! Hare 언어의 안전한 자원 관리를 위한 흥미로운 개념을 알아보세요.
리뷰: AI의 장기 소프트웨어 작업 수행 능력 측정하기
AI의 장기 작업 처리 능력이 빠르게 발전하고 있어요! METR 연구팀은 '타임 호라이즌' 지표로 AI가 인간이 한 달 걸릴 소프트웨어 작업도 곧 절반 이상 성공할 수 있다고 전망합니다. 실제 업무와의 차이와 AI의 한계도 흥미롭게 다뤄집니다.
coreutils: 모든 명령어 한눈에 보기
coreutils는 리눅스에서 꼭 필요한 명령어 모음집이에요. 파일 복사, 권한 변경, 해시 계산 등 다양한 작업을 쉽게 할 수 있죠. 이 글을 보면 명령어별 특징과 활용법을 한 번에 익힐 수 있어요! 알아두면 실무에 바로 써먹을 수 있는 꿀팁도 가득합니다.
SQLite DB: 간단하고, 내장형이며, 신뢰할 수 있고, 빠르다 (2024)
SQLite는 별도의 서버 없이 애플리케이션 내부에서 동작하는 초간단 데이터베이스입니다. 빠른 성능과 높은 신뢰성을 자랑하며, 대부분의 서비스에 충분한 가용성을 제공합니다. 복잡한 시스템이 필요 없다면 SQLite의 심플함이 최고의 선택이 될 수 있어요!
CSS인가, 아니면 뻥인가?
이 게임은 CSS 속성 이름이 진짜인지 가짜인지 맞추는 퀴즈예요. 20라운드 동안 점점 어려워지며, CSS의 흥미로운 속성들과 가짜 속성들을 구분하는 재미가 있습니다. 당신의 CSS 감각을 시험해보세요!
OC3 2026 (오픈 컨피덴셜 컴퓨팅 컨퍼런스) 녹화 영상
컨피덴셜 컴퓨팅에 관심 있다면, OC3 2026 컨퍼런스 녹화 영상을 꼭 확인해보세요! Edgeless Systems가 주최하는 이 행사는 업계 전문가들이 한자리에 모여 최신 기술과 트렌드를 공유하는 특별한 자리입니다.
Lean 4 증명기에서 모든 것이 증명된 레드-블랙 트리
Lean 4로 구현된 레드-블랙 트리의 삽입 연산과 정렬성 증명에 도전한 경험을 소개합니다. 복잡한 증명 과정을 간소화할 수 있는 방법을 찾고 있다니, 수학적 증명에 관심 있다면 꼭 읽어보세요!
벤더 C++ 툴체인에서 놓치기 쉬운 경고에 주의하세요
벤더 전용 C++ 툴체인을 사용할 때, 최신 GCC나 Clang으로도 코드를 빌드해보세요! 벤더 툴체인은 중요한 경고를 놓칠 수 있어, 심각한 버그가 숨어 있을 수 있습니다. 암묵적 타입 변환 버그 사례도 함께 소개합니다.
아무도 원하지 않았던 키보드, TapType을 만들다: 나의 개발 이야기
접근성에 진심인 개발자가 시각장애인을 위한 안드로이드 키보드 TapType을 만든 경험을 공유합니다. 시각적 피드백 없이도 빠르고 직관적으로 입력할 수 있는 TapType의 개발 비화와, 업계의 무관심을 꼬집는 솔직한 이야기가 담겨 있어요!
DST는 사실 다형적으로 컴파일된 제네릭입니다
Rust의 DST(동적 크기 타입)는 사실 다형적 제네릭을 특별한 방식으로 컴파일한 것과 같습니다. 메타데이터와 Value Witness Table 개념이 흥미롭게 연결되어, Swift 등 다른 언어와의 차이도 알 수 있어요!
온라인 존재감을 최대한 직접 호스팅하기
20년 넘게 이메일 서버를 직접 운영한 저자가 웹사이트, 블로그, Mastodon, Bluesky 등 다양한 서비스를 집에서 직접 호스팅하는 방법을 소개합니다. 프라이버시와 데이터 통제에 관심 있다면, 직접 서버를 운영하는 경험담이 흥미로울 거예요!
자동으로 해지된 구독 서비스: 시스템 복잡성의 함정
스트리밍 서비스 구독이 예기치 않게 해지된 실제 경험을 통해 비동기 처리, 경쟁 조건, 그리고 시스템 설계의 어려움을 흥미롭게 풀어냅니다. 평소엔 보이지 않는 시스템의 복잡함과 개발자의 노력을 새롭게 느낄 수 있어요!
리눅스 전체 히스토리 복원하기
이 글에서는 리눅스 저장소의 태그를 정리하고, 특정 커밋에 맞춰 버전 태그를 재설정하는 스크립트의 구조를 소개합니다. 태그 관리와 환경 변수 정리 등, 리눅스 개발 히스토리를 복원하는 흥미로운 방법을 알아보세요!
BQN에서 SMT 솔버(cvc5, Bitwuzla, Z3) 사용하기
BQN 언어에서 SMT 솔버(cvc5, Bitwuzla, Z3)를 쉽게 연결해 논리식의 만족 가능성을 확인하고, 다양한 비트벡터와 부동소수점 연산을 활용할 수 있어요! 복잡한 수식도 간단하게 다뤄보고 싶다면 꼭 시도해보세요.
Claude가 FreeBSD 원격 커널 RCE 및 루트 셸을 작성했다 (CVE-2026-4747)
AI가 FreeBSD 커널 취약점을 이용해 원격에서 루트 권한 셸을 획득하는 최초의 사례가 등장! Claude는 단 8시간 만에 복잡한 ROP 체인과 셸코드 전달을 자동화해 보안 연구의 새로운 시대를 열었습니다. AI의 해킹 실력, 궁금하지 않나요?
내 홈 서버에 데드맨 스위치를 설치한 이유
데드맨 스위치로 집 서버의 디지털 유산을 안전하게 지키는 방법을 소개합니다. 오픈소스 툴 Aeterna로 중요한 정보와 비상 연락처를 자동 전달해, 만약의 상황에도 가족이 서버를 계속 사용할 수 있어요!