폰 노이만의 전설
수학자 폴 핼모스가 존 폰 노이만의 생애와 수학·물리학·게임 이론·컴퓨터 분야 업적을 회고합니다. 전설적인 계산 속도보다 공리적 방법으로 문제의 구조를 파악하고 기초에서 응용까지 연결한 능력이 그의 지속적인 영향력을 만들었다고 설명합니다.
최신 글
Micro Center에서 RTX 5090 구매 시 수출 금지 서류 작성 요구
Micro Center가 RTX 5090이 포함된 PC를 판매하면서 구매자 신분증과 수출 금지 확인서를 요구했다는 보도가 나왔습니다. 구매자는 미국 내 개인 또는 사업용으로만 GPU를 쓰겠다고 확인해야 하며, Reddit에서는 밀수 억제 효과와 신원 정보 수집을 놓고 의견이 갈렸습니다.
BMW 정비 매뉴얼을 쓸 수 없어 친구를 위한 대안을 만들었습니다
BMW E90 325i를 직접 정비하는 친구를 위해 모바일 정비 참고 사이트와 AI 질의 기능을 만들었습니다. 저작권이 있는 정비 매뉴얼 대신 출처와 검증 주의사항을 공개하고, 지식 베이스 전체를 모델에 제공해 검색 증강 생성(RAG) 없이 답변하도록 구성했습니다.
표적 공격을 받았습니다 — Git post-checkout 훅으로 자격 증명 탈취 시도
웹 앱 프로젝트 문의로 위장한 공격자가 Dropbox에 공유한 자료의 .git/hooks 폴더에 악성 post-checkout 훅을 심었습니다. 훅은 Vercel 앱에서 운영체제별 바이너리를 내려받아 실행한 뒤 삭제하도록 구성됐으며, 작성자는 Git 작업 흐름에 섞인 공격을 경계하라고 당부합니다.
ChatGPT에서 웹사이트와 앱 만들기
ChatGPT Sites는 대화로 웹사이트·앱·게임을 만들고 ChatGPT 안에서 게시하는 기능입니다. 접근 권한, 로그인과 저장 공간, 연결 도구, 사용자 도메인을 설정할 수 있어 빠른 프로토타입 제작과 공유를 간소화합니다.
llama.cpp에 추가된 의사결정 모델
llama.cpp가 텍스트를 생성하는 대신 주어진 선택지의 확률을 한 번의 추론으로 계산하는 의사결정 모델을 지원합니다. 새 `/v1/systemone` API는 분류, 점수 산정, 예·아니요 판단과 이미지 입력을 처리하며, 모델별 속도와 신뢰도를 활용해 라우팅이나 검토 작업을 구성할 수 있습니다.
Tweak 업데이트: 끝나지 않는 ‘마지막 수정’ 문제 다루기
Tweak에 프로젝트별 수정 요청 한도를 설정하고 사용량을 클라이언트에게 보여주는 카운터 기능이 추가됐습니다. 요청 경계를 미리 공유해 수정 작업이 계획보다 늘어나는 문제를 줄이려는 기능입니다.
조회수는 조회수를 잴 뿐입니다
9년간 DEV에 글을 쓴 저자가 팔로워와 조회수의 불일치를 계기로 글의 성과를 다시 살핍니다. 조회수는 페이지가 열린 횟수일 뿐이며, 글의 품질·독자 적합성·유통과 독자에게 생긴 변화를 나눠 평가해야 한다고 설명합니다.
에이전트 코딩의 네 가지 폐해
글쓴이는 에이전트 코딩의 부작용을 코드의 슬롭화, 엔지니어와 코드의 거리, 기술 퇴화, 팀 내 소통 약화로 나눠 설명합니다. 생산성만 좇으면 장인정신과 호기심, 동료 관계를 잃을 수 있다고 지적하지만 뚜렷한 해법은 제시하지 않습니다.
FLUX 3 Image — 경계 상자로 이미지 구도를 지정하고 편집합니다
Black Forest Labs의 이미지 생성·편집 모델 FLUX 3 Image는 경계 상자와 요소별 설명으로 이미지 구도를 지정합니다. 상자마다 요소를 다시 설명하거나 옮겨 편집할 수 있고, 건드리지 않은 영역은 그대로 유지한다고 소개합니다.
“내부고발자를 해고하는 것 같다” — OpenAI, 안전 연구자 3명 내보냈다는 보도에 우려 확산
OpenAI가 기밀 정보를 외부 AI 안전 단체에 공유했다는 이유로 안전 연구자 3명과 결별했다고 보도됐습니다. 회사는 정책 위반을 이유로 들었지만, 내부 안전 경고를 둘러싼 논란과 기업의 자율 규제 한계가 함께 쟁점으로 떠올랐습니다.
‘실행 전에 물어보라’는 수요를 찾았지만, 반대 사례가 나왔습니다
StareBrain 개발자는 음성 비서가 확인 없이 행동해 불만이라는 사례를 찾았지만, 오히려 Siri의 확인 절차를 끄려는 사용자를 발견했습니다. 확인을 원하는 수요가 일상적인 행동보다 되돌리기 어려운 작업에 집중되는지, 또는 검색에서 드러나지 않는 문제인지를 더 살펴보려 합니다.
웹 4가 아닙니다. 우리는 이미 훨씬 더 앞서 있습니다
코딩 에이전트가 아이디어를 소프트웨어로 바꾸는 과정을 줄이면서, 결과물을 만드는 능력과 원리를 이해하는 능력이 분리되고 있습니다. 글쓴이는 에이전트가 웹의 행위자 수를 크게 늘릴 미래를 전망하며, 실행 전 검증과 사후 확인을 담당하는 자율성 통제 계층이 필요하다고 주장합니다.
google/skills — Google 제품과 기술을 위한 에이전트 스킬
Google이 제품과 기술, Google Cloud를 위한 Agent Skills 저장소를 공개했습니다. npx로 필요한 스킬을 골라 설치하며, Claude Code·Codex·Antigravity CLI용 플러그인도 제공합니다.
Zig 0.17.0 출시 — 빌드 시스템 재구성과 증분 컴파일 개선
Zig 0.17.0은 5개월 동안 206명의 기여자가 만든 925개 커밋을 담은 릴리스입니다. 빌드 시스템을 재구성하고 Build Server Protocol을 도입했으며, x86_64 Linux 프로젝트에서 증분 컴파일을 활용할 수 있도록 ELF 링커를 개선했습니다.
Apple Pass Designer 베타 공개 — Wallet 패스를 만들고 미리보기
Apple이 Apple Wallet용 패스를 디자인하고 미리볼 수 있는 macOS 앱 Pass Designer 베타를 공개했습니다. 실시간 미리보기는 iOS·watchOS와 같은 렌더링을 사용하며, 탑승권·이벤트 티켓의 구조화된 정보와 구형 패스 형식도 지원합니다.
플로리다 카운티, 승인하지 않은 Flock 카메라 14대 발견…11대는 소유자 미확인
플로리다주 세인트루시 카운티가 계약을 끝내고 Flock 카메라를 철거하던 중 승인된 수보다 14대 많은 카메라를 발견했습니다. 보안관실이 3대를 자기 소유라고 밝혔지만 나머지 11대는 아직 소유자가 확인되지 않았습니다.
Naive-N0.5-Flash — 100만 토큰 문맥을 지원하는 오픈 가중치 MoE 모델
NaiveAI가 코딩과 AI 연구개발을 겨냥한 오픈 가중치 모델 Naive-N0.5-Flash를 공개했습니다. 309B MoE 모델에 희소 어텐션 구조를 적용해 100만 토큰 문맥을 지원하며, 모델 가중치와 추론 코드는 MIT 라이선스로 배포합니다.
AI 비서 4종에 구매자 질문 24개를 했지만 앱은 한 번도 언급되지 않았습니다
강아지 배변 훈련 앱 운영자가 AI 비서 4종에 질문 24개를 던졌지만 앱과 경쟁 앱 모두 언급되지 않았습니다. 정보성 질문에서는 제품 추천보다 권위 있는 정보 사이트 인용이 두드러졌고, 작성자는 반복 측정으로 콘텐츠 변경 효과를 확인하려 합니다.
AI 모델 15개에 해킹 대상이 실제 회사라는 증거를 줬더니, 알아챈 답변의 73%가 알리지 않았습니다
AI 모델 15개가 모의 해킹 대상의 현실성을 알아채는지, 알아챈 뒤 사람에게 알리는지 측정한 Kaggle 벤치마크입니다. 첫 실험의 프롬프트 결함을 고쳐 다시 시험하자, 실제 회사가 대상일 때 30%가 접속을 시도했고 명시적인 현실 확인 지침을 넣자 접속 시도가 사라졌습니다.