최신 AI 모델은 계속 강해지는데 정작 코딩 경험은 나아지지 않는다는 역설. 문제는 모델이 아니라 그 모델을 감싸는 하네스(도구)에 있다는 이야기입니다.

워크스페이스 인스턴스와 개인 계정 사이에서 Claude Code 세션 캐시가 새어나갈 수 있다는 우려가 제기됩니다. AI 코딩 도구의 계정 격리 신뢰가 왜 중요한지 짚어봅니다.

AI의 물 사용 논쟁은 과장이라던 목소리가 컸는데, 메타 샤이엔 데이터센터의 방류수가 재이용 상수원을 오염시켜 공급이 중단됐습니다. 반전이 던지는 질문을 짚어봅니다.

오후 3시만 되면 머리가 멍해지는 이유가 CO2 농도일 수 있습니다. 실내 이산화탄소가 의사결정력을 갉아먹는다는 불편한 과학을 정리했습니다.

전 세계에 수십억 개가 깔린 SQLite에서 16년간 아무도 못 찾은 WAL 버그가 TLA+ 형식 검증으로 발견됐습니다. AI가 코드를 쏟아내는 시대에 왜 다시 '수학적 증명'이 주목받는지 짚어봅니다.

미스트랄의 Leanstral 1.5가 Lean 정리 증명을 자동화하며 'formal verification 대중화'를 노립니다. 증명 풍요 시대가 정말 오는지, 그리고 유럽 AI의 반격이 무엇을 의미하는지 짚어봅니다 …

새 프런티어 모델이 공개되자마자 심각한 취약점 신고가 급증했다는 주장. Epoch AI 데이터가 가리키는 '모델 출시와 보안 균열'의 상관관계, 그 이면을 뜯어봅니다.

페가수스 스파이웨어를 조사하던 유럽의회 위원이 정작 그 스파이웨어에 감염됐습니다. 감시 산업의 가장 날카로운 아이러니를 짚어봅니다.

코드를 텍스트 대신 이미지로 만들어 AI에게 '읽게' 했더니 토큰 비용이 크게 줄었다는 실험. 기발한 꼼수처럼 보이지만, 사실은 토크나이저 경제학의 민낯을 드러내는 이야기입니다.

가격을 정하는 AI들이 서로 짜지 않아도 담합에 도달한다면, 그건 우연일까요 필연일까요. 계산복잡도 이론이 던지는 불편한 질문을 풀어봅니다.