관계 대수는 관계형 대수가 아닙니다
데이터베이스의 relational algebra와 논리학·수학의 relation algebra는 이름만 비슷할 뿐 서로 다른 체계입니다. 글은 두 대수의 기원과 표현력, Alloy·Prela 같은 컴퓨터과학의 활용 사례를 설명하고 혼동을 피하려고 relation algebra를 TAR라고 부르자고 제안합니다.
보안·인프라 · 최신기사
보안과 개인정보, 운영체제와 클라우드·데이터 인프라를 다룹니다.
AI 에이전트는 아무것도 결정하지 못하게 했습니다
Google Agentic Cinema hackathon용 Shot-Delivery Guardian은 영상 후반 작업의 마감 지연을 감지하고, AI의 자유 판단이 아닌 고정 규칙으로 미룰 작업을 고릅니다. 실환경 5회 테스트에서 3회 일치했고, 규칙 위반은 0건, 평균 응답 시간은 44초였습니다.
Grok 4.7 — 장시간 코딩과 안전성 개선을 내세운 새 모델
xAI가 코딩과 지식 작업을 겨냥한 Grok 4.7을 출시했습니다. 더 큰 기반 모델과 장시간 강화학습으로 긴 작업, 자기 검증, 문서·프레젠테이션 생성을 개선했으며 입력 100만 토큰당 2달러, 출력 6달러부터 제공합니다.
조부모는 손주 AI 이미지를 좋아하지만, 밀레니얼 부모는 싫어합니다
조부모 세대가 손주 사진을 생성형 AI에 넣어 기념 이미지와 영상을 만드는 일이 늘면서, 밀레니얼 부모와 프라이버시·동의 문제로 충돌하고 있습니다. 기사와 Reddit 토론은 아이 얼굴 데이터의 재사용, 허위 기억, 온라인 이미지 통제 상실을 함께 다룹니다.
교과서 리뷰: 병렬 프로그래밍은 어려운가요? 그렇다면 어떻게 대응해야 하나요?
Linux 커널 RCU를 만든 Paul E. McKenney의 무료 교재를 읽은 뒤, CPU 캐시와 컴파일러 최적화부터 메모리 모델과 락프리 프로그래밍까지 평가합니다. 리뷰어는 초반 다섯 장만 깊이 읽었지만 병렬 프로그래밍을 더 공부하고 싶게 만든 훌륭한 입문서라고 봅니다.
Ogre Battle 64 재컴파일 프로젝트, 99.05% 달성
N64 게임 Ogre Battle 64를 N64Recomp 툴체인으로 네이티브 PC 실행 파일로 옮기는 프로젝트입니다. 함수 재컴파일 기준 99.05%까지 진행됐고 현재 플레이와 모드 제작이 가능합니다. 원본 ROM은 포함하지 않으며 사용자가 직접 준비해야 합니다.
Amiga Unix, 다시 시작합니다
Commodore가 1990~92년에 Amiga용으로 내놓았던 System V Release 4, Amix를 커뮤니티가 다시 살리고 있습니다. 68040·68060과 Z3660 같은 가속기에서 부팅, 설치, 네트워크, 패키지 관리까지 구현하고 있으며, 일부 드라이버 개발에는 생성형 AI와 실기기 검증을 함께 사용합니다.
여러 코딩 에이전트가 이어 쓰는 장기 메모리 — ai-memory
ai-memory는 여러 AI 코딩 에이전트와 컴퓨터가 공유하는 장기 메모리 서버입니다. Git 기반 Markdown을 원본으로 삼고, lifecycle hook으로 작업을 자동 기록하며, 기본 설정에서는 LLM API 없이 검색과 에이전트 간 handoff를 제공합니다.
Show HN: Mini-AGI — 8GB VRAM에서 학습하는 동적 지속 학습 모델
mini-AGI는 8GB VRAM GPU 한 장에서 처음부터 학습하며, 디스크에 둔 전문가 가중치를 필요할 때만 VRAM으로 올리는 byte-level language model입니다. 전문가를 동적으로 추가·삭제하고 trunk 학습률을 낮춰 지속 학습 중 망각을 줄이는 실험을 제시하지만, 아직 toy-level이며 일반화 성능은 검증되지 않았습니다.
MVT — 모바일 기기 침해 흔적을 찾는 포렌식 도구 모음
MVT(Mobile Verification Toolkit)는 Android와 iOS 기기에서 포렌식 흔적을 수집·분석해 알려진 스파이웨어 캠페인의 침해 징후를 찾는 명령줄 도구입니다. 공개 IOC만으로 기기가 안전하다고 판단할 수 없으며, v3 병합으로 기존 출력 형식에 호환성 문제가 생길 수 있습니다.
ZuckOff — 방 안에 카메라가 있는지 알아채기
ZuckOff는 Bluetooth 신호를 감지해 Ray-Ban Meta, Oakley Meta, Snap Spectacles 같은 카메라 안경이 주변에 있는지 알려주는 앱입니다. 데이터는 휴대폰 밖으로 나가지 않지만, 신호 위조와 오탐 가능성이 커서 감지는 촬영의 증거가 아닙니다.
Linux 커널 취약점 4건에 공개 익스플로잇 등장 — 로컬 사용자가 root 권한으로 상승 가능
Linux 커널의 메모리 안전성 취약점 4건에 작동하는 익스플로잇 코드가 공개됐습니다. 패치는 배포됐지만 배포판별 적용 시점이 다르므로, 오래된 커널을 쓰는 시스템은 업데이트 여부를 확인해야 합니다.
양자 컴퓨터가 128비트 대칭키를 위협하지 않는 이유
양자 컴퓨터는 ECDH, RSA, ECDSA, EdDSA 같은 공개키 암호를 위협하지만 AES와 SHA 계열의 키 길이를 절반으로 낮추지는 않습니다. Grover 알고리즘의 병렬화 비용을 계산하면 AES-128 공격은 현실성이 매우 낮으며, NIST와 BSI도 기존 대칭키 길이를 유지하도록 권고합니다.
AI 환각이 미국과 중국의 전쟁을 일으킬 뻔했습니다
CNN에 따르면 미군 분석가가 챗봇의 잘못된 답변을 바탕으로 중국 선박이 핵무기 개발 물자를 운반한다는 정보 보고서를 작성했습니다. 미군이 선박을 강제 검색하려 병력과 항공기를 움직인 뒤 보고서 일부가 AI로 생성됐다는 사실을 확인하면서 작전이 중단됐습니다.
돈의 위계
돈은 모두 같은 방식으로 작동하지 않습니다. 글은 마을의 돌화폐에서 시작해 신용, 은행, 예금, 은행 간 결제, 청산소, 중앙은행 준비금으로 이어지는 구조를 설명합니다. 채무를 누가 받아들이고 결제하느냐에 따라 돈의 위계가 생깁니다.
Windows가 가짜 "Defender Antivirus가 꺼졌습니다" 경고를 표시합니다
Windows 11용 Microsoft Defender Antivirus 업데이트 이후, 실제 보호 기능은 정상인데도 바이러스 백신이 꺼졌다는 알림이 부팅 직후 반복해서 나타나는 문제가 보고됐습니다. Microsoft는 향후 Defender 업데이트에서 수정하겠다고 밝혔으며, 커뮤니티에서는 수정된 플랫폼 업데이트가 이미 배포됐다는 의견도 나왔습니다.
Sun이 잘못한 것
Sun의 실패 원인을 전략보다 사업 운영의 기본을 소홀히 한 데서 찾습니다. OpenSolaris를 쓰던 성장 기업이 Sun의 하드웨어를 사려 했지만 영업과 지원을 받지 못했고, Dell의 신속한 대응으로 거래를 성사한 사례를 통해 운영 실패가 기술적 성과를 무너뜨린 과정을 설명합니다.
AI 모델은 ‘자율적으로’ 해킹한 것이 아닙니다
최근 Gemini와 OpenAI, Anthropic 모델의 해킹 테스트가 ‘자율적 공격’으로 보도됐지만, 실제로는 제3자 보안 업체가 해킹 목표를 지정하고 안전장치를 제거한 평가였습니다. 글은 인터넷에 연결된 테스트 환경과 보도에서 빠진 조건을 짚으며, AI 에이전트의 자율성을 설명할 때 사람의 지시와 테스트 설계를 함께 밝혀야 한다고 주장합니다.
Anthropic, Amodei의 AI 개발 속도 늦추기 제안 실행 위해 Accenture를 첫 상주 평가자로 선정
Anthropic이 AI 모델의 안전 검증을 위해 Accenture의 AI 전문 조직 Faculty 직원을 회사 안에 상주시킵니다. 외부 평가자는 안전장치를 시험하고 모델을 레드팀으로 공격하며 사고를 보고하지만, 커뮤니티에서는 Accenture의 역량과 독립성을 두고 강한 반발이 나옵니다.
Termphin — 세션이 끊겨도 이어지는 SSH 클라이언트
Termphin은 연결이 끊겨도 원격 셸을 유지하는 SSH 클라이언트입니다. 서버에 작은 에이전트를 실행해 휴대폰 잠금, 신호 손실, 모바일 데이터 전환 뒤에도 같은 화면으로 돌아오게 하며 SFTP, 키, snippets, tunnels를 함께 제공합니다.