Refinement E-Graph — 등식 대신 정제 관계를 내장한 E-Graph
컴파일러 최적화에는 양방향 등식보다 추상적인 프로그램을 더 구체적인 프로그램으로 좁혀 가는 정제(refinement) 규칙이 자주 등장합니다. 글은 E-Graph에 반사적·추이적인 부등식 관계를 내장하고, 함수 인자의 분산성(variance)에 맞춰 정제 폐쇄, E-matching, 추출을 확장한 프로토타입을 설명합니다.
최신 글
덴마크 개인정보 유출, 880만 명의 등록 정보 노출
덴마크 중앙인구등록부(CPR)의 합법적인 조회 권한을 악용해 약 880만 명의 이름, 주소, CPR 번호 등에 무단 접근한 사건이 확인됐습니다. 이름·주소 보호를 신청한 사람의 해당 정보는 유출 범위에 포함되지 않았으며, 당국은 기업의 접근을 차단하고 경위를 조사하고 있습니다.
습지와 토종 정원으로 데이터센터를 자연에 섞으려는 Microsoft — 20년 가스발전 계약에 ‘돼지에 립스틱’ 비판
Microsoft는 미국과 독일의 데이터센터 부지 20여 곳에 습지 복원과 토종 식물 정원을 조성하고 있습니다. 하지만 데이터센터 확장으로 배출량이 늘고 가스발전 계약까지 추진되면서, 조경 개선이 환경 부담을 상쇄하는지 논란이 이어집니다.
Redis는 키가 사라졌다고 답하지만 메모리는 22초 뒤에 돌아옵니다
Redis 키는 TTL이 끝나면 조회할 수 없지만, 메모리에서 즉시 제거되지는 않습니다. 만료 시점을 5백만 개 키에 맞춘 실험에서 유휴 서버는 메모리를 회수하는 데 22.8초가 걸렸고, 만료 시각을 분산하면 이 지연과 쓰기 실패 위험을 줄일 수 있습니다.
Smooth Recorder — 멈추면 편집까지 끝난 듯한 Mac 화면 녹화
Smooth Recorder는 클릭 위치에 자동으로 줌을 맞추고 커서를 부드럽게 보정하는 macOS 화면 녹화 앱입니다. 자막 생성과 스크린샷 꾸미기도 지원하며, 자막·OCR·민감 정보 가림 처리는 Mac에서 로컬로 진행한다고 소개합니다.
클로드가 그러는데요
글쓴이는 논의에서 “Claude가 그러는데요”라고 내세우면 상대의 전문성을 신뢰하지 않는다는 신호가 되고, AI 답변을 검증 없이 받아들이면 불필요하게 복잡한 설계를 낳는다고 비판합니다. 댓글에서는 과잉 설계가 LLM 이전부터 이어진 문제라는 반론과, AI 대신 직접 자료를 찾아 검증하자는 의견이 나옵니다.
cp의 재귀 복사 옵션, -r과 -R은 어떻게 다를까요?
GNU coreutils에서는 현재 cp의 -r과 -R이 같지만, 예전 GNU 버전과 일부 BSD 계열에서는 동작이 다릅니다. POSIX가 표준으로 지정한 옵션은 -R이므로 여러 유닉스 계열에서 스크립트를 쓴다면 -R이 더 이식성 높은 선택입니다.
MS-DOS용 8바이트 인트로 ‘8-pinski’
Héll Mood가 MS-DOS용 8바이트 데모를 공개했습니다. 8086 명령어의 겹치는 해석과 텍스트 비디오 메모리, PC 스피커를 이용해 화면 효과와 소리를 만듭니다.
jialinyyzz/humanizer — 로컬에서 글을 다듬는 12B 모델
Humanizer는 영어와 중국어로 작성한 AI 초안을 사람 글처럼 다시 쓰는 12B 모델입니다. GGUF 양자화 파일과 데스크톱 앱, 명령줄 사용법을 제공하며, 자체 평가에서는 영어 문장 420개 중 376개가 사실 오류 없음으로 판정됐습니다. 수치·날짜·이름을 바꿀 수 있고, AI 판별 결과도 보장하지 않는다고 밝힙니다.
아들이 좋아하는 말랑이를 브라우저에서 만들었습니다
Squishy Lab은 누르면 움푹 들어가고 천천히 원래 모양으로 돌아오는 디지털 말랑이 놀이터입니다. 120Hz XPBD 연체 시뮬레이션과 자연어 기반 재질 설정을 결합했으며, 브라우저에서 실행하고 PNG로 내보낼 수 있습니다.
CoreSpeed — 에이전트의 앱·메모리·도구를 한곳에 연결하는 MCP
CoreSpeed는 앱 연결, 메모리, 도구를 Claude Code·Codex·Cursor 같은 MCP 에이전트에 제공하는 서비스입니다. 앱 자격 증명을 에이전트에 직접 넘기지 않고 활동 로그, 예산, 승인 절차를 관리하는 기능을 내세웁니다.
Go 컴파일러를 손봐 IPv4를 IPv6로 효율적으로 매핑하기
Go의 netip.Addr에는 IPv4 주소를 IPv4-mapped IPv6 주소로 바꾸는 To6() 메서드가 없습니다. 글쓴이는 권장되는 AddrFrom16(ip.As16()) 방식이 네이티브 구현보다 약 8배 느린 이유를 분석하고, 컴파일러 최적화로 성능 차이를 없애는 방법과 그 과정의 부작용을 설명합니다.
Infidel에서 발견한 메모리 손상 버그
텍스트 어드벤처 Infidel의 ZIL 코드에서 선택적 인수의 기본값으로 전역 변수를 지정한 부분이 컴파일 오류를 일으킵니다. 사막에 물건을 여러 개 버리면 메모리 주소 30번대부터 덮어쓰고, 결국 문자열 압축용 약어 데이터까지 손상됩니다.
빨강과 초록이 탁해지는 문제: Total Draw의 색 혼합 개선
Total Draw 개발자가 빨강과 초록을 섞을 때 경계가 어둡고 탁해지는 문제를 OKLab 색 공간으로 개선했습니다. 색을 섞는 방식에 따라 결과의 밝기와 붓질 느낌이 달라지는 이유를 설명하고, 연산 비용과 문서 호환성 때문에 레이어 혼합은 기존 방식으로 남긴 배경도 소개합니다.
GLM-5.3 공개 — 사후 학습으로 코딩·장기 작업 성능 개선
Z.ai가 공개한 GLM-5.3은 GLM-5.2와 같은 기반 모델을 사용하고 사후 학습으로 성능을 높였습니다. 자체 코딩 벤치마크에서 50% 향상됐으며, 취약점 탐지와 익스플로잇 벤치마크에서도 개선됐습니다. SGLang, vLLM, Transformers 등으로 배포할 수 있습니다.
AIS를 켜면 공격받고 끄면 보험이 무효가 됩니다 — Sanity로 만든 해상 규정 충돌 판정기
Sanity Challenge 제출작 NAVI-SANCTION은 해상 조약, 군사 권고, 보험 약관을 구조화해 AIS 운용 규정의 충돌을 판정하는 데모입니다. Sanity Content Lake와 GROQ로 관련 문서를 조회하고, 조건이 겹치면 생명 보호 조항을 근거로 한 대응 경로와 감사 기록을 만듭니다.
SSH와 nginx로 직접 운영하는 HTTP 터널
OpenSSH의 원격 포트 포워딩과 nginx를 조합해 로컬 웹 서비스를 공개하는 자체 호스팅 터널을 구현합니다. nginx의 secure_link로 만료 시간이 있는 접근 토큰을 검사하고, 셸 스크립트가 OpenSSH가 할당한 포트와 공유 URL을 찾아 출력합니다.
메타데이터를 일찍 내보내 Rust 빌드·검사를 최대 두 배 빠르게
Rust 프로토타입 Headstart는 크레이트의 함수 본문 검사가 끝나기 전에 인터페이스 메타데이터를 내보내 의존 크레이트의 작업을 앞당깁니다. 16코어에서 실제 프로젝트 13개의 빌드와 검사를 측정해 cargo check는 최대 54%, cargo build는 최대 42% 빨라졌으며, 개선 폭은 남는 코어 수와 의존 관계에 따라 달라집니다.
CISA, Fortinet FortiMail 취약점을 알려진 악용 취약점 목록에 추가
CISA가 CVSS 9.8점인 FortiMail 취약점 CVE-2026-104286을 실제 공격에 악용된 취약점 목록에 추가했습니다. 인증 없이 임의 파일을 쓸 수 있으며, Fortinet은 영향을 받는 버전의 업그레이드와 임시 완화 조치를 안내했습니다.
Gift Hunter: 받는 사람의 취향에 맞는 선물을 찾는 AI 에이전트
Gift Hunter는 받는 사람의 관심사와 개인적인 단서, 예산, 선물 목적을 바탕으로 선물 아이디어 8가지를 제안하고, 그중 3가지에 해당하는 Google Shopping 상품을 검색합니다. Gemma로 구조화된 추천을 만들고 SerpApi 검색 결과를 가격과 관심사에 따라 걸러 실제 상품 목록과 연결합니다.