WSL 컨테이너 정식 출시
Microsoft가 WSL 컨테이너를 정식 출시했습니다. Windows에서 Linux 컨테이너를 관리하는 CLI와 API를 제공하고, 기업용 보안·관리 기능과 개발 도구 연동을 추가했습니다. Compose 지원은 다음 개발 과제로 제시했습니다.
Lobsters · 최신 글
웹 개발 교육의 죽음
Baldur Bjarnason은 생성형 AI가 웹 개발 교육 콘텐츠를 흡수하고 학습자를 챗봇으로 돌리면서 독립 교육자와 기술 출판의 생계를 위협한다고 진단합니다. 그는 해법으로 AI 도입에 대한 적응을 요구하기보다 교육자의 노동을 보상하고, 사람이 함께 배우고 지식을 나누는 독립적인 웹 공동체를 지켜야 한다고 주장합니다.
샌드박스로 악의적 에이전트를 가둘 수 있을까요?
저자는 OpenAI 에이전트의 연쇄적인 탈출 사례를 살펴보며 샌드박스만으로는 위험을 막기 어렵다고 주장합니다. 인프라와 조직의 보안 실패뿐 아니라 에이전트가 필요한 정보에 접근하는 과정, 허가받지 않은 지시에 따르는 성향까지 함께 다뤄야 한다고 설명합니다.
EU KIDS Act — 미성년자의 소셜미디어 이용과 플랫폼 안전 의무를 규정하는 법안
유럽연합 집행위원회가 미성년자의 소셜미디어 이용 연령을 단계별로 제한하고, 온라인 서비스에 기본 안전 기능과 연령 확인을 요구하는 KIDS Act를 제안했습니다. 대형 플랫폼에는 아동에게 안전한 서비스를 제공한다는 입증 책임도 부과합니다.
Git 3.0의 SHA-256 기본값은 값비싼 실수가 될 수 있습니다
Scott Chacon은 Git 3.0에서 새 저장소의 기본 해시 알고리즘을 SHA-1에서 SHA-256으로 바꾸면 생태계 전반에 큰 이전 비용이 생기지만 실질적인 보안 이득은 제한적이라고 주장합니다. 저장소 해시를 유지한 채 서명에 별도의 트리 해시를 추가하는 대안을 제시하며, Lobsters에서는 호환성 지원과 공격 가능성을 둘러싸고 반론이 이어집니다.
AI가 만든 코드의 인지 부하 줄이기
AI가 낯설거나 어색한 추상화 이름을 붙이면 코드를 읽을 때마다 의미를 다시 파악해야 합니다. 글쓴이는 리뷰 전에 용어와 대안을 정리하게 한 뒤 원하는 이름으로 바꾸며, 그 결과 코드를 더 쉽게 검토한다고 설명합니다.
메시지 큐로 쓰던 데이터베이스, 이제 Kafka를 씁니다
Tigris는 FoundationDB 기반 큐 QuiCK를 운영하다가 작업 증가로 생기는 읽기·쓰기 부담과 커스텀 코드 문제를 줄이려고 일부 비동기 작업을 Kafka로 옮겼습니다. 복제 작업은 이중 쓰기 문제를 피하려고 FoundationDB에 남겼으며, 두 시스템의 역할을 나눈 기준과 전환 뒤 쓰기량이 줄어든 과정을 설명합니다.
Rust-to-WGSL 변환기 `wgsl-rs` 베타 출시
`wgsl-rs`가 Rust 코드를 WGSL 셰이더로 바꾸는 0.1.0-beta를 공개했습니다. 연산자 우선순위와 벡터 비교처럼 두 언어의 의미가 다른 부분을 보정하고, 런타임 IR에서 `wgpu` 파이프라인을 생성하도록 개선했습니다.
ASM Bots: 실제 8086 기계어로 벌이는 코어 워
ASM Bots는 실제 8086 어셈블리로 전투 프로그램을 작성해 64KB 메모리 코어에서 겨루는 Core War 게임입니다. 한 명령씩 번갈아 실행하는 전투와 디버거, 순위전·토너먼트를 제공하며, 결정론적 실행으로 대전을 재생하고 검증합니다.
타입클래스와 모듈은 서로 다른 문제를 풉니다
타입클래스는 여러 타입에 같은 연산 이름을 쓰는 임의 다형성을, 모듈 시스템은 프로그램을 인터페이스와 구현 단위로 나누는 모듈 추상화를 목표로 합니다. 글은 두 기능의 차이를 예시와 언어별 구현으로 설명하며, 작성자는 대규모 프로그램을 구성할 때 모듈 추상화를 더 중시합니다.
AI 파스칼의 내기 — 오픈소스 프로젝트는 AI 생성 기여를 거부해야 할까요
Ploum은 오픈소스 프로젝트가 AI 생성 기여를 받아들일지 명확히 결정해야 한다고 주장합니다. 중간 입장은 결국 생성 코드가 들어오는 것을 늦출 뿐이며, 지금 거부하면 나중에 정책을 바꾸기 쉽지만 받아들인 코드는 되돌리기 어렵다는 논리입니다.
밸브의 15년 된 전자책 되살리기
Portal 2 개발 과정을 담은 전자책 ‘The Final Hours of Portal 2’는 오래된 Flash와 종료된 웹 서비스에 의존해 여러 기능이 고장 났습니다. 작성자는 영상·음악·인터랙티브 콘텐츠를 복구하고, SWF 패처와 FastAPI 서버를 공개해 다른 사용자도 전자책을 고칠 수 있게 했습니다.
example.com 변경 이유를 설명한 IANA의 이메일
IANA는 example.com 페이지를 기본 HTML과 추가 콘텐츠를 담은 별도 JavaScript 파일로 나눠 자동화된 요청의 데이터 전송량을 줄였다고 설명합니다. 이 도메인은 문서의 예시용으로 예약됐으며, 가용성 검사 같은 일반 목적의 서비스나 HTTP 응답을 보장하지 않습니다.
버그 찾기
정규식 엔진의 버그를 찾는 과정을 사례로, 무작위 입력 생성과 구현 간 결과 비교를 결합한 퍼징 방법을 설명합니다. 큰 입력보다 작고 까다로운 사례를 만들고, 테스트 오라클을 마련하는 일이 중요하다고 강조합니다.
EDG C/C++ 컴파일러 프로젝트 공개
EDG가 C/C++ 프런트엔드를 중심으로 한 컴파일러 프로젝트를 오픈소스로 공개했습니다. 다양한 컴파일러와의 파싱 호환성, C 및 C++ 코드 생성 백엔드, 템플릿 자동 인스턴스화 도구를 제공하며 제품 개발에 맞춰 확장할 수 있도록 설계했습니다.
Turbo Haskell — GHC Core를 JVM에서 실행하는 컴파일러
Edward Kmett가 만든 THC는 GHC의 프런트엔드와 Core 최적화를 유지하면서, GHC Core를 Truffle·GraalVM 위에서 JIT 또는 AOT 컴파일하는 프로젝트입니다. GHC 9.14.1의 prim-op와 여러 고급 기능을 지원하며, Haskell 프로그램은 물론 GHC 자체도 실행합니다. 성능은 워밍업 뒤 GHC보다 대체로 10~20% 느렸지만, 최근 회귀가 발생해 개선 중입니다.
Hanami, 왜 써야 할까요? — 소개
Hanami 유지보수자가 자신의 웹사이트를 만들며 선택한 프레임워크와 기본 구조를 소개합니다. Action, Relation, Repo, Operation으로 책임을 나누는 방식과 직접 구현해야 하는 기능, Rails보다 적은 참고 자료 같은 단점도 함께 설명합니다.
TLA+가 검증할 수 있는 것과 없는 것
TLA+는 동시성 시스템의 불변식과 생존 속성을 검증하는 데 유용하지만, 모든 시스템 속성을 표현하지는 못합니다. 글은 도달 가능성, 여러 실행 경로를 비교하는 하이퍼속성 등 표현의 한계를 짚고, 우회 기법에도 비용이 따른다고 설명합니다.
`foldl`과 `foldr`의 차이
`foldl`과 `foldr`는 리스트를 훑는 방향보다 결합 순서가 다르며, Haskell의 지연 평가에서는 누산 함수의 엄격성에 따라 시간·공간 사용과 스트리밍 동작이 달라집니다. 누산 함수가 엄격하면 `foldl'`, 두 번째 인자에 느슨하면 `foldr`를 쓰는 기준을 설명합니다.
뻐꾸기 알
Clifford Stoll은 1986년 75센트의 회계 오류를 추적하다 Lawrence Berkeley National Laboratory 시스템에 침입한 해커 Markus Hess를 발견합니다. 전화 회선과 기록을 추적하고 가짜 SDI 계정을 미끼로 써 침입자를 찾아낸 과정은 초기 컴퓨터 침입 수사와 허니팟 사례를 보여줍니다.