001 00:11 ▲ 128 · 댓글 33 형제 프린터, 텔넷으로 디버그 접근 발견 형제(Brother) MFC-L8900CDW 프린터의 펌웨어를 다운로드해 분석한 결과, T-Kernel이라는 TRON 계열 실시간 운영체제를 사용하고 있음을 확인했다. 하드웨어 · 시스템 · Getting debug access on a Brother printer over Telnet
Key Point 형제 프린터의 디버그 콘솔이 텔넷으로 간단하게 접근 가능하다는 것은 단순한 설정 명령어만으로 시스템의 깊숙한 부분에 접근할 수 있다는 뜻이므로, 프린터 보안과 개인정보 보호를 우려하는 사용자와 기업이 알아야 할 사항이다.
핵심 요약
형제(Brother) MFC-L8900CDW 프린터의 펌웨어를 다운로드해 분석한 결과, T-Kernel이라는 TRON 계열 실시간 운영체제를 사용하고 있음을 확인했다. 펌웨어는 32비트 ARM 소프트웨어로 작성되었으며, 데이터라이트 Reliance Nitro 3.0.6 파일시스템, FlashFX Tera 3.1 플래시 관리, Lua 5.2.3 스크립팅, OpenSSL, libpng 등을 포함하고 있다. 프린터는 800MHz 메인 프로세서, 133MHz 서브프로세서, 512MB 메모리를 탑재하고 있으며, 커널과 압축된 애플리케이션 코드, 웹/UI 자산이 별도 섹션으로 구성되어 있다. 전체 요약 8문장 읽기 → 002 03:11 ▲ 126 · 댓글 46 안드로이드 폰에서 iOS 16.5 전체 시스템 부팅 HackiOS는 안드로이드 폰의 하드웨어 위에서 iOS 16.5의 미수정 사용자 영역을 실행하는 오픈소스 XNU 커널(xnu-8796.121.2) 포팅 프로젝트다. 하드웨어 · 시스템 · Show HN: Run full iOS 16.5 firmware on Android Devices
Key Point 안드로이드 하드웨어에서 Apple의 XNU 커널과 완전한 iOS 사용자 영역을 실행하는 것이 가능함을 보여주는 포팅으로, 폐쇄된 생태계와 오픈소스의 경계를 넘나드는 기술적 성과다.
핵심 요약
HackiOS는 안드로이드 폰의 하드웨어 위에서 iOS 16.5의 미수정 사용자 영역을 실행하는 오픈소스 XNU 커널(xnu-8796.121.2) 포팅 프로젝트다. 독자 EFI 로더, Apple의 폐쇄 드라이버 대체물, UEFI 포트, Linux Wi-Fi 드라이버의 호환성 레이어로 가능하게 했다. POCO X5 Pro 5G(Snapdragon 778G)와 QEMU(aarch64) 두 환경에서 실행되며, 안드로이드로 부팅할 때 아무것도 플래시되지 않는다. 전체 요약 13문장 읽기 → 004 00:11 ▲ 164 · 댓글 41 리눅스 커널 보안 취약점 실수로 공개 메일링리스트에 노출 Trend Micro의 Zero Day Initiative가 실수로 리눅스 커널 보안 취약점 여러 건을 비공개 보안 메일링리스트가 아닌 공개 LKML(Linux Kernel Mailing List)에 게시했다. 보안 · Several Linux kernel vulnerabilities accidentally posted to public mailing list
Key Point CVSS 9.0대 고위험 리눅스 커널 취약점들이 공개 메일링리스트에 노출되면서 대규모 시스템에 영향을 줄 수 있는 보안 사고이다.
핵심 요약
Trend Micro의 Zero Day Initiative가 실수로 리눅스 커널 보안 취약점 여러 건을 비공개 보안 메일링리스트가 아닌 공개 LKML(Linux Kernel Mailing List)에 게시했다. 최고 CVSS 점수 9.0으로 평가된 취약점들이 포함되어 있으며, 일부는 아직 메인라인에 패치되지 않았지만 -next 브랜치에서 테스트 중이다. Greg Kroah-Hartman 리눅스 2인자가 각 보고서에 회신해 공개 메일링리스트 게시에 대해 문제를 삼았다. 전체 요약 9문장 읽기 → 005 00:11 ▲ 13 · 댓글 2 에지 기기용 LLM 커널 생성 벤치마크 공개 LLM이 서버 GPU용 커널을 생성하는 것은 이미 연구되었으나, 하드웨어가 이질적이고 소프트웨어 스택이 단편화된 에지 배포 환경에서 다양한 백엔드를 대상으로 한 커널 생성은 체계적으로 연구되지 않았다. AI · 머신러닝 · EdgeKernelBench: Unified LLM-Driven Kernel Generation for Edge Backends
Key Point 에지 디바이스 배포는 서버와 달리 하드웨어가 다양하고 제약이 크기 때문에, LLM으로 생성한 커널을 실제로 잘 동작하게 하려면 새로운 평가 방식과 최적화 전략이 필요하다는 점이 중요하다.
핵심 요약
LLM이 서버 GPU용 커널을 생성하는 것은 이미 연구되었으나, 하드웨어가 이질적이고 소프트웨어 스택이 단편화된 에지 배포 환경에서 다양한 백엔드를 대상으로 한 커널 생성은 체계적으로 연구되지 않았다. EdgeKernelBench는 통합 IR 배포 프레임워크와 에지 워크로드용 계층적 벤치마크를 결합하여, 재사용 가능한 계산·스케줄링·메모리 결정을 통합 IR로 캡처하고 컴파일러 인터페이스를 통해 각 백엔드에 연결한다. 벤치마크는 개별 연산자부터 컴팩트 모델 그래프까지 점진적으로 확대된 프로그램 범위를 포함하며, 대표적인 에지 애플리케이션 도메인을 아우른다. 전체 요약 6문장 읽기 → 006 18:11 ▲ 128 · 댓글 48 Linux 7.3 커널 공개, 사상 최대 규모 업데이트 리누스 토르발즈가 예정대로 Linux 7.3 커널을 공개했으며, 7.4 병합 윈도우는 그 다음날 열릴 예정이다. 인프라 · 데브옵스 · Linux 7.3 Released
Key Point 18,765개의 커밋과 3,021명의 기여자 중 첫 참여자가 27%인 점은 Linux 커뮤니티의 성장 규모를 보여주며, failfs와 fchroot() 같은 신규 기능들이 커널 기능 확장을 시사한다.
핵심 요약
리누스 토르발즈가 예정대로 Linux 7.3 커널을 공개했으며, 7.4 병합 윈도우는 그 다음날 열릴 예정이다. 이번 릴리스는 3,021명의 개발자로부터 18,765개의 비병합 커밋(non-merge commits)을 받아 사상 최대 규모이며, 이 중 807명은 커널 개발에 처음 참여하는 개발자였다. binfmt_misc 확장, 대규모 시스템 성능 개선을 목표로 한 그룹 스케줄링 작업, 모든 작업을 실패하게 하는 failfs 파일시스템 추가가 포함됐다. 전체 요약 5문장 읽기 → 007 18:11 ▲ 129 · 댓글 44 Lean, 검증된 증명 커널 네 개 추가 Lean v4.35.0부터 lake check 명령으로 개발 환경을 leanchecker(공식 커널)로 재검증할 수 있으며, 프로세스는 샌드박스에서 실행된다. AI · 머신러닝 · Lean now ships with verified kernels
Key Point Lean 증명 보조기의 핵심인 커널에 버그가 증명을 검증하지 못하는 치명적 문제를 여러 커널로 재검증해 해결하는 방식이 도입되었고, 특히 형식적으로 증명된 Lean 기반 커널의 등장으로 신뢰성이 크게 강화되는 시점이다.
핵심 요약
Lean v4.35.0부터 lake check 명령으로 개발 환경을 leanchecker(공식 커널)로 재검증할 수 있으며, 프로세스는 샌드박스에서 실행된다. nanoda, lean4lean, con-leche, con-ron 네 개의 추가 커널을 탑재했고, lake check --paranoid로 모든 커널로 증명을 재검증할 수 있다. con-leche는 Lean으로 작성되고 일관성이 증명된 첫 번째 커널이며, Claude(Fable과 Opus)가 구현하고 Joachim Breitner가 감독했다. 전체 요약 11문장 읽기 → 008 06:11 ▲ 107 · 댓글 85 리눅스 7.2 커널, 역사상 2번째로 바쁜 개발 사이클 리눅스 토발즈가 8월 17일 7.2 커널을 릴리스했으며, 거의 60만 줄의 코드가 추가되어 역사상 2번째로 바쁜 개발 사이클이 되었다. 오픈소스 · 도구 · Development statistics for the 7.2 kernel
Key Point LLM 지원 커밋이 급증하면서 커널 개발의 구조와 품질이 어떻게 변하고 있는지를 수량 데이터로 추적하는 중요한 기록이자, 이해 없이 패치가 통합되는 위험성을 드러낸다.
핵심 요약
리눅스 토발즈가 8월 17일 7.2 커널을 릴리스했으며, 거의 60만 줄의 코드가 추가되어 역사상 2번째로 바쁜 개발 사이클이 되었다. 7.2에는 2,652명의 개발자가 기여한 16,418개의 비병합 커밋이 포함되었으며, 이는 이전 기록인 7.1의 2,479명을 크게 초과했다. 상위 기여자는 우베 클라이네-쾨니히(1,510개 커밋), 로센 페네프(1,460개), 이안 로저스(1,380개)였고, 코드 라인 수로는 매튜 스튜어트(83만 5,878줄)와 호킹 장(62만 8,936줄)이 선두였다. 전체 요약 9문장 읽기 → 009 06:11 ▲ 102 · 댓글 28 PS5에서 언어모델 서버 구축, 집 전체 기기에서 사용 PS5LM은 탈옥한 PS5의 GPU에서 llama.cpp를 실행하여 GGUF 형식 언어모델을 로드하고 네트워크 기기들에 서빙하는 어플리케이션이다. 하드웨어 · 시스템 · Llama.cpp on a jailbroken PS5: run any GGUF model natively on the console
Key Point 탈옥 PS5를 개인 서버로 변환하여 클라우드 없이 로컬에서 언어모델을 운영할 수 있으며, TV 기반 관리 인터페이스와 기존 AI 도구와의 호환성이 실용성을 높인다.
핵심 요약
PS5LM은 탈옥한 PS5의 GPU에서 llama.cpp를 실행하여 GGUF 형식 언어모델을 로드하고 네트워크 기기들에 서빙하는 어플리케이션이다. 콘솔의 RDNA 2 GPU와 11.4GB 공유 메모리를 활용하며, llama.cpp가 지원하는 모든 아키텍처와 양자화 기법을 사용할 수 있다. OpenAI의 /v1/chat/completions와 Anthropic의 /v1/messages API를 구현하여 기존 클라이언트(Claude Code 포함)와 호환되며, 브라우저 채팅 인터페이스도 제공한다. 전체 요약 12문장 읽기 → 010 03:11 ▲ 109 · 댓글 28 37년 전 OpenBSD 커널 버그로 루트 권한 확보 OpenBSD의 공유 메모리 첨부 카운터가 부호 있는 16비트 short로 정의된 것을 악용한 취약점이 37년 전 원래 BSD 소스까지 거슬러 올라간다. 보안 · Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD
Key Point 37년된 버그로 최신 보안 기법들을 우회해 루트 권한을 획득하는 경로를 공개했으며, 이는 장기간 방치된 레거시 코드의 위험성과 커널 할당자 결정성이 얼마나 심각한 공격 표면인지를 보여준다.
핵심 요약
OpenBSD의 공유 메모리 첨부 카운터가 부호 있는 16비트 short로 정의된 것을 악용한 취약점이 37년 전 원래 BSD 소스까지 거슬러 올라간다. 프로세스를 반복해서 fork하여 카운터를 32,767을 넘도록 밀어서 음수로 wrap되게 하는 정수 오버플로우를 유발할 수 있다. 이를 통해 race condition으로 use-after-free 취약점을 트리거하고, 별도의 커널 out-of-bounds write와 조합하면 로컬 권한 상승이 가능하다. 전체 요약 12문장 읽기 → 012 21:11 ▲ 158 · 댓글 81 TP-Link 공유기 구매 후 커널 익스플로잇 작성하기 2023년 8월 구매한 TP-Link EAP770 Wi-Fi 7 공유기가 대용량 파일 다운로드 시 데이터를 손상시키는 문제가 발생했으며, SSH 연결의 MAC 에러와 큰 파일의 rsync 전송 실패로 나타났다. 하드웨어 · 시스템 · Wanted to download an ISO, ended up writing a kernel exploit
Key Point 자신의 공유기에서 발견한 하드웨어 버그를 해결하기 위해 커널 익스플로잇까지 작성해야 했던 이유와 제조사가 지원을 중단한 기기를 사용자가 직접 고칠 수 없도록 하는 구조적 문제를 드러낸다.
핵심 요약
2023년 8월 구매한 TP-Link EAP770 Wi-Fi 7 공유기가 대용량 파일 다운로드 시 데이터를 손상시키는 문제가 발생했으며, SSH 연결의 MAC 에러와 큰 파일의 rsync 전송 실패로 나타났다. 문제 재현을 위해 여러 프로토콜을 시도했고, WireGuard 터널 내에서만 작동한 후 나중에 HTTP/2와 TLS 레코드 에러로 재현되었으며, 패킷 분석 결과 1440바이트 TCP 세그먼트에 64바이트가 연속으로 손상되었다. 손상된 세그먼트는 유효한 TCP 체크섬을 가지고 있었으므로, 경로 어딘가에서 TCP 헤더가 재계산되었으며, 테스트 결과 여러 TCP 스트림이 동시 실행될 때 LAN-Wi-Fi 방향에서만 발생했다. 전체 요약 13문장 읽기 → 013 03:11 ▲ 11 · 댓글 2 LLM 매개변수 수정 없이 지식 이전하는 'UTT' 방법 제안 지식 증류(KD)는 강한 교사 모델의 지식을 약한 학생 모델로 옮기지만, 기존 방법은 학생 매개변수를 학습해야 하므로 특정 구조와 체크포인트에 종속되는 문제가 있다. AI · 머신러닝 · Universal Textual Teaching for LLMs
Key Point API 기반 또는 재학습이 비싼 LLM에도 적용 가능한 매개변수 무수정 지식 이전 방법으로, 해석 가능하고 재사용 가능한 형태의 교육 자료를 자동 생성할 수 있다는 점이 기존 증류 기법의 한계를 극복한다.
핵심 요약
지식 증류(KD)는 강한 교사 모델의 지식을 약한 학생 모델로 옮기지만, 기존 방법은 학생 매개변수를 학습해야 하므로 특정 구조와 체크포인트에 종속되는 문제가 있다. 연구팀은 매개변수 업데이트 없이 지식을 전달하는 'Universal Textual Teaching(UTT)'을 제안했으며, 교사와 학생의 차이를 자연어로 해석 가능한 'Primer'라는 재사용 가능한 형태로 증류한다. UTT는 먼저 쌍을 이룬 평가를 통해 대표적인 차이 사례들을 식별하고, 이후 다중 역할 상호작용으로 반복 업데이트한다: 학생이 과제를 시도하고, Prompter가 평가 피드백을 교수 지시문으로 변환하며, 교사가 대상화된 시연을 제공하고, Synthesizer가 검증된 교훈을 통합한다. 전체 요약 6문장 읽기 → 014 00:11 ▲ 17 · 댓글 2 GPU 커널 최적화 기술 이전 능력 측정하는 벤치마크 GPU 커널 최적화 에이전트가 배운 경험을 재사용할 수 있는지 측정하는 MetaKernelBench 벤치마크를 제안했다. AI · 머신러닝 · MetaKernelBench: Measuring GPU Kernel Knowledge Transfer Beyond Code
Key Point GPU 커널 최적화 에이전트의 학습 경험이 실제로 얼마나 전이 가능한지 체계적으로 측정하는 새로운 평가 기준을 제시하며, DSL 간 기술 이전의 한계를 드러낸다.
핵심 요약
GPU 커널 최적화 에이전트가 배운 경험을 재사용할 수 있는지 측정하는 MetaKernelBench 벤치마크를 제안했다. 벤치마크는 74개 문제로 구성되며, CuTe DSL과 TIRx 두 가지 DSL로 같은 문제를 다르게 표현하여 한 DSL에서 배운 기술이 다른 DSL에서 도움이 되는지 평가한다. 에이전트는 각 DSL 변형에 대해 독립적으로 시도한 후 배운 내용을 자연어 스킬로 정리하고, 이를 다른 DSL의 시도에 입력으로 제공한다. 전체 요약 6문장 읽기 → 015 00:11 당일 +258 KernelSU 기반 안드로이드 GPS 위조 프레임워크 공개 KernelSU와 LSPosed를 조합해 안드로이드 시스템 수준에서 GPS 위치, 무선 환경(Wi-Fi·기지국·블루투스), 위성 신호를 동시에 가짜로 제공하는 오픈소스 도구다. 보안 · HuangZhuoRui/LocationSpoofer · Kotlin
Key Point 국내외 위치 기반 서비스 보안 검증이나 기기 호환성 테스트 개발자, 그리고 Xposed 기반 깊이 있는 시스템 레벨 Hook 구현 방식에 관심 있는 안드로이드 보안 연구자들이 알아야 할 대규모 오픈소스 프로젝트다.
핵심 요약
KernelSU와 LSPosed를 조합해 안드로이드 시스템 수준에서 GPS 위치, 무선 환경(Wi-Fi·기지국·블루투스), 위성 신호를 동시에 가짜로 제공하는 오픈소스 도구다. 고도 풍제어를 무력화하기 위해 단순한 Mock Location 플래그 위조 대신 Wi-Fi 신호 지문, 기지국 셀 정보, GNSS 위성 분포, 전자나침반 데이터까지 일관성 있게 조작해 실제 위치처럼 보이게 한다. 위치 좌표에는 Ornstein-Uhlenbeck 확률 과정을 적용해 GPS 칩이 내는 자연스러운 노이즈(가우시안 드리프트)를 시뮬레이션하고, 보행 중에는 정규분포 횡방향 편차(±0.15m)를 더해 사람 발걸음의 자연스러움을 구현한다. 전체 요약 10문장 읽기 → 016 21:12 당일 +176 장문 코딩 세션을 수개월 지속하는 컨텍스트 압축 플러그인 billion-context는 TypeScript 기반 컨텍스트 압축 플러그인으로, 100K 크기의 작은 컨텍스트 윈도우에서 5배 적은 토큰으로 수개월 단위의 장문 세션(수십억 토큰)을 운영할 수 있게 한다. AI · 머신러닝 · ranxianglei/billion-context · TypeScript
Key Point 각 토큰당 과금하는 API 환경에서 컨텍스트 윈도우를 초과하면 세션이 저하되거나 끝나는데, 이 도구로 며칠~수개월 단위 장문 세션을 하나의 윈도우로 계속 실행할 수 있다.
핵심 요약
billion-context는 TypeScript 기반 컨텍스트 압축 플러그인으로, 100K 크기의 작은 컨텍스트 윈도우에서 5배 적은 토큰으로 수개월 단위의 장문 세션(수십억 토큰)을 운영할 수 있게 한다. 모든 AI 코딩 에이전트 클라이언트와 모델 API 사이에 위치하면서 acp-kernel 압축으로 스트림을 재작성해 모델이 직접 언제 무엇을 압축할지 결정한다. 컨텍스트 관리 도구 4가지를 주입한다: compress(메시지 범위를 상세 요약으로 압축), decompress(필요 시 복원), search_context(압축된 요약과 가시 메시지 검색), acp_status(컨텍스트 사용량 및 압축 가능 범위 조회). 전체 요약 10문장 읽기 → 017 21:11 ▲ 156 · 댓글 41 LineageOS 24.0 공개, Android 17 기반으로 빠르게 적용 LineageOS가 Android 17 기반 24.0 버전을 공개했으며, 6월 Android 17 공개 후 이전 세대의 대규모 리팩토링 대비 예상보다 빠르게 재구성을 완료했다. 인프라 · 데브옵스 · LineageOS 24.0
Key Point Linux 커널 4.4/4.9 기기 지원을 조건부로 축소하고 베어메탈 x86_64까지 지원하는 등 플랫폼의 복잡도를 줄이면서 개발자 경험은 개선한 구체적인 전략이 담겨 있다.
핵심 요약
LineageOS가 Android 17 기반 24.0 버전을 공개했으며, 6월 Android 17 공개 후 이전 세대의 대규모 리팩토링 대비 예상보다 빠르게 재구성을 완료했다. 2025년 8월부터 2026년 10월까지의 보안 패치가 18.1~24.0에 병합되었고, 레거시 브랜치(15.1, 16.0, 17.1)도 2025년 11월 보안 패치까지 적용되었다. Canvas 이미지 편집기, Catapult TV 런처, Etar 달력 등 주요 앱들이 Material Design 3로 업데이트되었으며, Updater는 A/B 파티션 기기에서 스트리밍 방식으로 설치해 설치 시간을 단축했다. 전체 요약 12문장 읽기 → 018 12:11 ▲ 114 · 댓글 45 AI로 뭉뚱그려졌던 '유니커널'이 다시 떠오르는 이유 유니커널은 응용프로그램 자체가 운영체제가 되는 방식으로, 개발자가 웹 서버·DNS·이메일 같은 기능을 모두 라이브러리로 직접 작성해야 하기 때문에 2015년경에는 개발 난도가 매우 높았다. AI · 머신러닝 · Unikernels were hard. key word: were
Key Point AI 모델의 학습 데이터가 유니커널, Nix 같은 '어려운' 개념들을 포함하면서 개발 난도가 낮아졌고, 동시에 보안상 새로운 선택지가 되는 구체적 경로를 제시한다.
핵심 요약
유니커널은 응용프로그램 자체가 운영체제가 되는 방식으로, 개발자가 웹 서버·DNS·이메일 같은 기능을 모두 라이브러리로 직접 작성해야 하기 때문에 2015년경에는 개발 난도가 매우 높았다. 그러나 AI 모델들이 관련 논문과 개념들을 학습 데이터에 포함했기 때문에, 이제는 프롬프트로 이들 개념을 생성시키는 것만으로 인지적 난도를 크게 낮출 수 있다. 현재 응용프로그램 위에 운영체제를 얹는 구조는 40년 전 다중 사용자 환경에서 나온 설계 부채로, 공격 표면이 크다는 보안 문제가 있으며 유니커널은 쉘·인터프리터가 없어 LLM이 다음 동작을 알지 못하게 해 준비 공격을 어렵게 만든다. 전체 요약 13문장 읽기 → 019 03:11 ▲ 101 · 댓글 26 Swift로 QEMU에서 베어메탈 커널 구현하기 Embedded Swift(OS와 표준 라이브러리가 없는 환경용 Swift 부분집합)를 사용해 QEMU 가상 머신에서 실행되는 최소 커널을 작성한 실험 프로젝트이다. 인프라 · 데브옵스 · A minimal kernel in Swift, running in QEMU
Key Point OS 없는 베어메탈 환경에서 고수준 언어로 커널을 작성할 수 있음을 보여주는 실험으로, Swift의 Embedded 서브셋이 시스템 레벨 프로그래밍에 적용 가능함을 입증한다.
핵심 요약
Embedded Swift(OS와 표준 라이브러리가 없는 환경용 Swift 부분집합)를 사용해 QEMU 가상 머신에서 실행되는 최소 커널을 작성한 실험 프로젝트이다. aarch64-none-none-elf 타겟(OS 없는 64비트 ARM)으로 컴파일하기 위해 toolset.json에서 experimental 기능 활성화, 표준 라이브러리 링킹 비활성화, 커스텀 링커 스크립트 사용 등을 설정했다. CPU가 원시 상태에서 시작되므로 boot.S 어셈블리 파일에서 _start 심볼 정의, 스택 설정, Swift 진입점 호출, 보조 코어 대기 처리를 수행한다. 전체 요약 8문장 읽기 → 020 18:30 ▲ 115 · 댓글 53 11개 정사각형 최적 배치 증명, AI 보조로 완성 Lean 형식 검증을 통해 11개 정사각형의 최적 배치 문제에 대한 완전한 증명을 완성했다. AI · 머신러닝 · AI-assisted proof of optimal packing for 11 squares
Key Point 최적화 문제의 엄밀한 증명에 AI 보조 도구와 형식 검증이 어떻게 결합되는지 보여주는 사례로, 수학적 추측을 기계 검증 가능한 형태로 변환하는 최신 방법론을 시연한다.
핵심 요약
Lean 형식 검증을 통해 11개 정사각형의 최적 배치 문제에 대한 완전한 증명을 완성했다. 7,920개 지역 Lean 모듈을 EvolvingPrograms 검증 시스템으로 검증했으며 모든 감사에서 오류가 0건이다. 최적 한 변의 길이는 T = (6u+4)/(1+2u-u²) 형태이며, u는 방정식 5u⁸-10u⁷-2u⁶+14u⁵+12u⁴-6u³+2u²+2u-1=0의 (9/25, 37/100) 범위 내 유일한 근이다. 전체 요약 8문장 읽기 → 021 06:11 ▲ 124 · 댓글 50 FTL, 클라우드용 새로운 운영체제 공개 FTL은 라이브러리처럼 구축할 수 있는 사용자공간 운영체제로, 개발자가 애플리케이션을 작성하듯 OS 기능을 추가·디버그·업그레이드할 수 있다. 인프라 · 데브옵스 · FTL: A new operating system for clouds
Key Point 마이크로커널과 모놀리식 커널의 장점을 결합한 새로운 OS 아키텍처로, 기존 컨테이너 기술의 보안 한계를 VM 수준으로 끌어올리면서 개발 편의성과 성능을 동시에 확보하는 방식이기 때문에 클라우드 인프라 구축 방식에 영향을 미칠 수 있다.
핵심 요약
FTL은 라이브러리처럼 구축할 수 있는 사용자공간 운영체제로, 개발자가 애플리케이션을 작성하듯 OS 기능을 추가·디버그·업그레이드할 수 있다. FTL 커널은 경량 하드웨어 기반 격리(사용자 모드)를 통해 기존 모놀리식 커널보다 컨테이너를 더 잘 격리하며, 베어메탈 머신 없이 VM 수준의 보안을 제공한다. Linux 바이너리와 호환되어 이 웹사이트를 서빙하는 Rust 기반 HTTP 서버처럼 Linux 애플리케이션을 실행할 수 있으며, POSIX 추상화 없이 Unikernel 같은 특화된 애플리케이션도 지원한다. 전체 요약 7문장 읽기 → 022 12:11 ▲ 141 · 댓글 78 데비안, 리눅스 커널 1000개 이상 취약점 일괄 수정 데비안이 리눅스 커널 보안 업데이트 DSA-6528-1을 발표했다. 보안 · Several vulnerabilities have been discovered in the Linux kernel
Key Point Linux 기반 시스템을 운영하는 모든 개발자와 관리자에게 즉시 커널 업데이트가 필요한 광범위한 취약점이 발견되었다.
핵심 요약
데비안이 리눅스 커널 보안 업데이트 DSA-6528-1을 발표했다. 권한 상승, 서비스 거부, 정보 유출로 이어질 수 있는 1000개 이상의 CVE(공통 취약점 및 노출)를 수정했다. stable 배포판(trixie)에서 이 문제들을 버전 6.12.111-1로 해결했다. 전체 요약 5문장 읽기 → 023 22:26 ▲ 115 · 댓글 18 Rust SIMD 라이브러리 'Fearless SIMD' v1.0 공개 Rust에서 SIMD 프로그래밍을 안전하게 만드는 라이브러리 Fearless SIMD v1.0이 출시됐으며, 8년의 개발 과정을 거쳤다. 오픈소스 · 도구 · Fearless SIMD v1.0
Key Point Rust의 SIMD 프로그래밍은 보안과 성능 사이의 균형이 중요한데, Fearless SIMD가 unsafe 코드 제거와 zero-cost 추상화를 동시에 달성한 것이 생태계에 미치는 실질적 영향을 알 수 있다.
핵심 요약
Rust에서 SIMD 프로그래밍을 안전하게 만드는 라이브러리 Fearless SIMD v1.0이 출시됐으며, 8년의 개발 과정을 거쳤다. 성능상 문제를 해결하기 위해 플랫폼 간 동일한 결과를 보장하는 precise 변형과 엣지 케이스를 무시하는 fast 변형을 모두 제공한다. 하드웨어 네이티브 벡터 크기로 코드를 표현할 수 있어 모든 플랫폼에서 하드웨어를 최대로 활용할 수 있다. 전체 요약 9문장 읽기 → 024 22:26 ▲ 110 · 댓글 33 병렬 프로그래밍 교과서, CPU 캐시의 현실을 마주하다 Paul E. McKenney의 무료 온라인 교과서 《Is Parallel Programming Hard, And, If So, What Can You Do About It?》에 대한 서평이다. 인프라 · 데브옵스 · Book review: Is parallel programming hard, and, if so, what can you do about it?
Key Point 동시성 프로그래밍을 이론만 아는 개발자라면, CPU 캐시와 컴파일러 최적화가 실제 코드에 미치는 영향을 이 리뷰로 확인할 수 있다.
핵심 요약
Paul E. McKenney의 무료 온라인 교과서 《Is Parallel Programming Hard, And, If So, What Can You Do About It?》에 대한 서평이다. 저자는 TLA⁺와 분산 시스템 전공자였으나 Fil Pizlo와의 대화를 통해 lock-free 동시성 프로그래밍에 대해 거의 모른다는 깨달음을 얻었다. 교과서는 PDF 3가지 형식(이중 열, 좌우 여백 있음/없음)으로 제공되며, 내부 링크가 많아 터치스크린 사용 시 의도치 않은 클릭이 빈번한 문제가 있다. 전체 요약 8문장 읽기 → 025 22:29 ▲ 115 · 댓글 47 KVM 게스트에서 NVIDIA GPU에 직접 접근하는 Virtio-nvgpu NVIDIA GPU에 KVM 게스트 내부에서 드라이버 수준으로 직접 접근하는 virtio-nvgpu 프로젝트로, 게스트 성능이 베어메탈의 98~100% 수준을 유지한다. 인프라 · 데브옵스 · Virtio-nvgpu: Near-native Nvidia GPU access inside a KVM guest
Key Point KVM 게스트 내 GPU 접근을 드라이버 수준에서 구현해 기존 방식(Venus)보다 VM 바운더리 크로싱을 ~100배 줄이면서도 베어메탈 성능의 98% 이상을 유지할 수 있는 기술적 가능성을 보여준다.
핵심 요약
NVIDIA GPU에 KVM 게스트 내부에서 드라이버 수준으로 직접 접근하는 virtio-nvgpu 프로젝트로, 게스트 성능이 베어메탈의 98~100% 수준을 유지한다. 기존 virtio-gpu + Venus는 Vulkan/OpenGL 호출을 프레임당 2,000회 이상 직렬화하여 1~3ms의 지연을 발생시키지만, virtio-nvgpu는 ioctl 수준에서만 포워딩하여 프레임당 5~20회 VM 바운더리 크로싱만 필요하다. 게스트가 NVIDIA의 실제 사용자 드라이버를 변경 없이 실행하고 로컬에서 GPU 커맨드 버퍼를 생성하므로, NVENC 인코딩과 CUDA 제로카피 상호운용이 가능하다. 전체 요약 13문장 읽기 →