ctx: Rust로 만든 에이전틱 개발 환경(ADE), 코딩 에이전트의 다음 단계일까?
## AI 코딩 도구, 이제 '자율 에이전트'로 진화하고 있어요 요즘 개발할 때 AI 도움 안 받는 분 계신가요? GitHub Copilot이 코드 자동완성을 대중화한 이후로, Cursor, Windsurf, Claude Code 같은 도구들이 ...
Makefile 하나로 개발 환경 세팅 끝내기: Home Maker 프로젝트
## 새 맥북을 받았을 때 가장 먼저 하는 일 개발자라면 누구나 공감하는 상황이 있어요. 새 노트북을 받거나 OS를 밀고 새로 깔았을 때, 그 끝없는 개발 환경 세팅 말이에요. Homebrew 설치하고, 터미널 설정하고, Git 설정하고, 각종 CL...
AI 시대, 프로그래밍의 시작점이 바뀌고 있다
## 우리가 알던 프로그래밍이 달라지고 있어요 "프로그래밍"이라고 하면 뭐가 떠오르시나요? 빈 에디터를 열고, 한 줄 한 줄 코드를 타이핑하는 모습? 그런데 최근 몇 년 사이에 이 풍경이 빠르게 바뀌고 있어요. AI 코딩 어시스턴트가 등장하면서,...
Pull Request, 이대로 괜찮을까? PR 워크플로우를 다시 생각하다
## PR, 우리 모두의 일상이 된 병목 개발자라면 매일같이 PR(Pull Request)을 만들고, 리뷰하고, 머지하잖아요. 근데 솔직히 말해서, PR 프로세스가 불편하다고 느낀 적 없으신가요? 코드를 다 짜고 PR을 올렸는데 리뷰어가 바빠서 ...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
리눅스 커널 리포트가 급증하고 있다 — 그 이면에는 무엇이 있을까
## 무슨 일이 일어나고 있나요? 리눅스 커널에 보고되는 버그 리포트, 특히 회귀(regression) 리포트와 CVE(보안 취약점 번호) 할당 건수가 눈에 띄게 증가하고 있어요. LWN에서 이 현상에 대한 분석 글이 올라왔는데요, 단순히 "버그가 ...
괴델의 불완전성 정리, 개발자가 알아야 할 '증명할 수 없는 진실'의 이야기
## 수학의 근본을 뒤흔든 발견 1931년, 스물다섯 살의 오스트리아 수학자 쿠르트 괴델이 수학계를 완전히 뒤집어놓는 논문을 발표했어요. 당시 수학자들은 "수학의 모든 참인 명제는 증명할 수 있다"고 믿고 있었거든요. 수학이라는 체계가 완벽하고 ...
Claude가 FreeBSD 커널 원격 코드 실행 취약점을 처음부터 끝까지 작성했다 — CVE-2026-4747 분석
## AI가 커널 수준 익스플로잇을 스스로 작성하는 시대 보안 분야에서 꽤 충격적인 사례가 공개됐어요. Anthropic의 AI 모델 Claude가 FreeBSD 커널의 원격 코드 실행(RCE) 취약점을 발견하고, 루트 셸(최고 관리자 권한의 명...
Haskell로 마트 장보기를 자동화한 개발자 — 리버스 엔지니어링으로 만든 CLI 쇼핑 도구
## 터미널에서 장을 본다고요? 개발자들 사이에서 "삽질의 끝판왕"이라고 불릴 만한 프로젝트가 하나 등장했어요. 독일의 대형 마트 체인인 **REWE**의 API를 리버스 엔지니어링해서, **터미널 명령어 한 줄로 장보기를 할 수 있는 CLI 도...
Claude Code, 어디까지 알고 쓰고 계신가요? 내부 구조를 한눈에 보여주는 비주얼 가이드
## 터미널 기반 AI 코딩, 제대로 이해하고 쓰자 요즘 AI 코딩 도구 하면 Cursor, GitHub Copilot 같은 이름이 먼저 떠오르죠. 그런데 Anthropic에서 만든 **Claude Code**라는 도구가 조금 다른 방향으로 주목...
Cerno — LLM의 추론 능력을 역이용한 새로운 CAPTCHA가 등장했어요
## CAPTCHA, 이제 사람이 아니라 AI를 걸러야 하는 시대 인터넷을 쓰다 보면 "로봇이 아닙니다"를 클릭하거나, 흐릿한 사진에서 신호등을 찾아 클릭하는 경험을 해보셨을 거예요. 이게 바로 CAPTCHA(캡차)인데요, 원래 목적은 봇과 사람...
구글, 안드로이드 개발자 본인 인증 전면 의무화 — 무엇이 달라지나요?
## 구글이 안드로이드 개발자 전원에게 본인 인증을 요구합니다 구글이 Google Play에 앱을 올리는 모든 개발자에게 본인 인증(Developer Verification)을 의무화한다고 발표했어요. 지금까지는 개발자 계정을 만들 때 이메일과 ...
AI 에이전트에게 안전한 '방'을 주는 법 — Coasts로 컨테이너 기반 에이전트 호스트 만들기
## AI 에이전트, 이제 격리된 환경에서 안전하게 돌리자 요즘 AI 에이전트를 실무에 도입하려는 팀이 부쩍 늘었는데요. 에이전트가 코드를 실행하거나, 파일을 읽고 쓰거나, 심지어 셸 명령어까지 날리는 상황이 되면 한 가지 큰 걱정이 생겨요. "...
수학 증명을 컴퓨터로 검증하는 시대, 이게 정말 좋은 걸까?
## 수학자들 사이에서 벌어지고 있는 조용한 논쟁 수학이라는 학문의 핵심은 "증명"이에요. 어떤 명제가 참이라는 걸 논리적으로 빈틈없이 보여주는 거죠. 수천 년 동안 수학자들은 종이와 펜으로, 그리고 동료 수학자들의 검토(피어 리뷰)를 통해 증명...
코드로 3D 모델링을? Python CAD 라이브러리 Build123d 살펴보기
## 마우스 대신 코드로 CAD를 3D 모델링이라고 하면 보통 SolidWorks, Fusion 360, FreeCAD 같은 GUI 프로그램에서 마우스로 클릭하고 드래그하는 걸 떠올리잖아요. 그런데 이걸 Python 코드로 할 수 있다면 어떨까요...
취약점 연구의 위기: AI 시대에 보안 연구자의 역할이 흔들리고 있다
## 보안 연구, 지금 전환점에 서 있어요 보안 업계에서 **취약점 연구(vulnerability research)**라고 하면, 소프트웨어에서 보안 구멍을 찾아내고 이를 보고하거나 패치하는 전문 분야를 말하는데요. 수십 년간 보안 생태계의 핵심 축...
Apple 단축어를 프로그래밍 언어로 만든다고? Cherri를 소개합니다
## iPhone 단축어, 코드로 짤 수 있다면? 아이폰이나 맥을 쓰는 분이라면 '단축어(Shortcuts)' 앱을 한 번쯤 써보셨을 거예요. 블록을 끌어다 놓으면서 자동화를 만드는 그 앱이요. 예를 들어 "아침에 알람 끄면 자동으로 오늘 날씨를...
Spring Boot 모듈 400개짜리 코드베이스에서 얻은 교훈들
## 모듈이 400개라니, 대체 어떻게 관리하는 걸까? 한국에서 Spring Boot는 사실상 백엔드 개발의 표준이라고 해도 과언이 아닌데요. 대부분의 프로젝트는 모듈 몇 개에서 시작해서, 잘해봤자 수십 개 수준에서 운영되곤 하죠. 그런데 한 엔지니...
Excalidraw로 블로그 다이어그램 깔끔하게 관리하는 법
## 기술 블로그 다이어그램, 매번 고민되지 않나요? 기술 블로그를 운영하다 보면 다이어그램이 꼭 필요한 순간이 와요. 아키텍처 구조를 설명하거나, 데이터 흐름을 보여주거나, 시스템 간 관계를 그려야 할 때 말이에요. 그런데 어떤 도구를 쓸지가 ...
AI 얼굴인식이 엉뚱한 사람을 범인으로 지목했다 — 미국에서 실제로 일어난 일
## 무슨 일이 있었나 미국 테네시주에 사는 앤절라 립스(Angela Lipps)라는 여성이 노스다코타주에서 일어난 범죄의 용의자로 체포됐어요. 문제는, 그녀가 그 범죄와 아무런 관련이 없었다는 거예요. 경찰이 AI 얼굴인식 기술을 사용해서 용의...
킨들을 나만의 개인 신문으로 만들어 봤습니다
## 매일 아침, 킨들에서 나만의 신문을 읽는다면? 요즘 뉴스를 읽는 방식이 정말 다양해졌는데요. RSS 리더, 뉴스레터, SNS 피드 등 선택지가 넘쳐나죠. 그런데 한 개발자가 조금 다른 접근을 했어요. 아마존 킨들을 자기만의 **개인 신문 단...
