CHICKEN Scheme 관리자가 말하는 Scheme 구현과 CHICKEN 6
CHICKEN Scheme 관리자 Peter Bex가 CHICKEN 6의 UTF-8 처리와 출시 지연을 부른 힙 손상 버그, Scheme 생태계의 표준화 문제를 설명합니다. 컴파일러 최적화 구상과 PostgreSQL을 선호하는 이유, REPL 개발 경험도 함께 다룹니다.
보안과 개인정보, 운영체제와 클라우드·데이터 인프라를 다룹니다.
CHICKEN Scheme 관리자 Peter Bex가 CHICKEN 6의 UTF-8 처리와 출시 지연을 부른 힙 손상 버그, Scheme 생태계의 표준화 문제를 설명합니다. 컴파일러 최적화 구상과 PostgreSQL을 선호하는 이유, REPL 개발 경험도 함께 다룹니다.
웹 앱 프로젝트 문의로 위장한 공격자가 Dropbox에 공유한 자료의 .git/hooks 폴더에 악성 post-checkout 훅을 심었습니다. 훅은 Vercel 앱에서 운영체제별 바이너리를 내려받아 실행한 뒤 삭제하도록 구성됐으며, 작성자는 Git 작업 흐름에 섞인 공격을 경계하라고 당부합니다.
OpenAI가 기밀 정보를 외부 AI 안전 단체에 공유했다는 이유로 안전 연구자 3명과 결별했다고 보도됐습니다. 회사는 정책 위반을 이유로 들었지만, 내부 안전 경고를 둘러싼 논란과 기업의 자율 규제 한계가 함께 쟁점으로 떠올랐습니다.
코딩 에이전트가 아이디어를 소프트웨어로 바꾸는 과정을 줄이면서, 결과물을 만드는 능력과 원리를 이해하는 능력이 분리되고 있습니다. 글쓴이는 에이전트가 웹의 행위자 수를 크게 늘릴 미래를 전망하며, 실행 전 검증과 사후 확인을 담당하는 자율성 통제 계층이 필요하다고 주장합니다.
Google이 제품과 기술, Google Cloud를 위한 Agent Skills 저장소를 공개했습니다. npx로 필요한 스킬을 골라 설치하며, Claude Code·Codex·Antigravity CLI용 플러그인도 제공합니다.
Zig 0.17.0은 5개월 동안 206명의 기여자가 만든 925개 커밋을 담은 릴리스입니다. 빌드 시스템을 재구성하고 Build Server Protocol을 도입했으며, x86_64 Linux 프로젝트에서 증분 컴파일을 활용할 수 있도록 ELF 링커를 개선했습니다.
플로리다주 세인트루시 카운티가 계약을 끝내고 Flock 카메라를 철거하던 중 승인된 수보다 14대 많은 카메라를 발견했습니다. 보안관실이 3대를 자기 소유라고 밝혔지만 나머지 11대는 아직 소유자가 확인되지 않았습니다.
NaiveAI가 코딩과 AI 연구개발을 겨냥한 오픈 가중치 모델 Naive-N0.5-Flash를 공개했습니다. 309B MoE 모델에 희소 어텐션 구조를 적용해 100만 토큰 문맥을 지원하며, 모델 가중치와 추론 코드는 MIT 라이선스로 배포합니다.
AI 모델 15개가 모의 해킹 대상의 현실성을 알아채는지, 알아챈 뒤 사람에게 알리는지 측정한 Kaggle 벤치마크입니다. 첫 실험의 프롬프트 결함을 고쳐 다시 시험하자, 실제 회사가 대상일 때 30%가 접속을 시도했고 명시적인 현실 확인 지침을 넣자 접속 시도가 사라졌습니다.
Effect는 TypeScript 애플리케이션에서 타입 오류 처리, 의존성 주입, 구조적 동시성, 스케줄링, 추적, 스키마 검증을 다루는 라이브러리입니다. 4.x는 최소 3년 지원을 보장하는 LTS 버전이며, 런타임별 플랫폼·SQL·AI 통합 패키지도 함께 제공합니다.
M4 Mac mini에서 Linux를 부팅하는 과정에서 마주친 하드웨어 제약과 CPU 오류를 설명합니다. 특히 WFI 명령이 CPU 레지스터를 지우는 문제를 우회하는 방법이 Linux와 m1n1에 반영돼, M4 계열 기기에서 모든 코어를 켜고 부팅하는 길이 열렸습니다.
미 연방법원이 유타주의 VPN 차단·연령 확인 법안 SB 73 일부 조항에 예비 금지명령을 내렸습니다. VPN 사용자의 실제 위치를 완벽하게 판별하라는 요구는 현재 기술로 불가능하며, 유타주 밖의 이용자와 사업자에게도 부담을 준다는 판단입니다.
Rust Const Generics 프로젝트 그룹이 제네릭 매개변수를 포함한 상수 인자를 지원하는 GCA 기능군의 설계와 사용법을 소개합니다. 기존 제약을 풀지만 모든 기능은 아직 실험 단계이며, 안정화 제안까지 시간이 더 필요합니다.
Janus는 llama.cpp를 백엔드로 삼아 GGUF 모델을 로컬에서 실행하고 OpenAI 호환 API를 제공하는 Go 프로그램입니다. Vulkan GPU 추론과 CPU 대체 실행을 지원하며, 모델 교체와 스트리밍 응답도 지원합니다.
중고 Ryzen 7 5800X3D를 장착한 사용자가 전 소유자의 부정행위 기록 때문에 Riot 게임에서 차단됐다고 주장합니다. Riot의 Vanguard와 TPM 기반 하드웨어 식별 방식이 논란이 됐으며, Reddit에서는 오탐 구제 절차와 TPM 지문을 둘러싼 기술적 논쟁이 이어졌습니다.
Caveman은 코딩 에이전트의 답변 문장을 짧게 만드는 스킬과 로그·도구 결과를 압축하는 로컬 프록시를 제공합니다. 저장소가 제시한 벤치마크에서는 스킬만 썼을 때 출력 토큰이 8.5% 줄었고, 프록시 테스트에서는 입력 토큰이 33.2% 감소했지만 작업별 결과 차이와 측정 한계도 함께 공개합니다.
미국 우정청(USPS)이 워싱턴 D.C. 일대 배송 차량 약 100대에 전방 카메라를 달아 도로와 기반 시설을 촬영하는 시범 사업을 추진합니다. 번호판 자동 인식 기능은 쓰지 않는다고 밝혔지만, 영상의 보관 기간과 접근 주체, 처리 방식은 공개되지 않아 데이터 관리와 사생활 보호 문제가 남아 있습니다.
OpenAI는 모델의 숨겨진 추론을 빼내 다른 모델을 학습시키려는 조직적 시도를 차단했다고 밝혔습니다. 7월에 확인한 공격 방식과 대응 조치를 공개하고 Moonshot AI 관계자들이 핵심 활동에 연관됐다고 주장했으며, Reddit에서는 이를 보안 침해로 볼지 AI 업계의 이중잣대로 볼지를 두고 논쟁이 벌어졌습니다.
Context Language Models(CL M)는 문맥을 파일로 다루고 모델이 직접 수정하게 합니다. 여러 벤치마크에서 기존 문맥 관리 방식보다 정확도나 점수를 높이면서 연산량을 줄였고, 강화학습과 캐시 재사용으로 성능을 더 개선했습니다.
미국 시장 차량 21대와 제조사 앱 30개를 조사해 차량과 앱이 제조사·외부 서버로 보내는 데이터 흐름을 살폈습니다. Wi-Fi 패킷 목적지를 기록하고, 일부 전기차는 패러데이 차폐 환경에서 통신 경로 변화를 시험했습니다. 연구진은 차량 데이터 공유를 지속해서 측정하고 감시할 필요가 있다고 말합니다.