스스로 도구를 만들어 쓰는 AI 에이전트, Tendril은 무엇이 다른가
## 도구를 만들어 쓰는 에이전트? AI 에이전트 이야기가 정말 많이 나오죠. "에이전트"라는 게 뭐냐면, LLM이 그냥 답을 뱉는 게 아니라 **여러 도구(tool)를 직접 호출하면서 일을 진행하는 시스템**을 말해요. 예를 들어 "우리 회사 매출...
"그냥 Lean 쓰면 안 돼요?"라는 질문에 Isabelle 진영이 내놓은 진지한 대답
## 정리 증명기 세계의 작은 논쟁 수학을 컴퓨터로 증명하는 정리 증명기(theorem prover)라는 분야가 있어요. 종이와 연필로 쓰던 수학 증명을 형식 언어로 옮겨 적으면, 컴퓨터가 한 줄 한 줄 검증해서 "이 증명에 빈틈이 없다"는 걸 보장...
TerminalBench 1위 찍은 오픈소스 코딩 에이전트 'Dirac' 들여다보기
## 작은 모델로도 상위권을 찍을 수 있다는 증명 요즘 AI 코딩 에이전트 분야가 정말 뜨겁잖아요. Claude Code, Cursor, Cline, Aider… 거의 매주 새로운 도구가 등장하는 느낌이에요. 그런 와중에 Dirac이라는 오픈소스...
X.509 인증서 폐기, 왜 30년이 지나도 깔끔하게 안 풀리는 걸까
## 무슨 일이 있었냐면요 APNIC(아시아태평양 인터넷 주소 관리 기관) 블로그에 X.509 인증서 폐기(revocation)의 현재 상황과 한계를 정리한 글이 올라왔어요. 우리가 https로 시작하는 사이트에 접속할 때마다 보이지 않는 곳에서...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
바이브코딩 잘하고 싶다면 이렇게만 하세요
## 투두리스트만 만드는 바이브코딩? '돈 버는 코딩'으로 레벨업하는 비결! AI 덕분에 코딩의 문턱은 낮아졌습니다. 이제 누구나 마음만 먹으면 코드를 짜는 것에 도전할 수 있게 되었죠. 하지만 많은 분들이 바이브 코딩을 시작했다가 투두리스트...
AI 에이전트가 프로덕션 DB를 날렸다 — 그리고 본인 입으로 사과까지 했다
## 어느 날 갑자기, 운영 데이터베이스가 사라졌다 개발자에게 상상할 수 있는 가장 큰 악몽 중 하나가 뭘까요. 아마 "운영 DB가 날아갔다"일 거예요. 백업이라도 있으면 다행이고, 없으면 회사 전체가 멈춥니다. 그런데 이번엔 그 악몽을 일으킨 범인...
Stuxnet보다 5년 앞섰다? 잊혀진 사이버무기 'Fast16' 이야기
## 사이버전쟁의 진짜 시작점은 어디일까요 사이버 보안에 관심이 있는 분이라면 'Stuxnet'이라는 이름을 한 번쯤 들어보셨을 거예요. 2010년에 발견된 이 악성코드는 이란의 우라늄 농축 시설에 있는 원심분리기를 물리적으로 망가뜨린 사건으로 ...
[심층분석] Claude Code의 숨은 무기, '스킬'을 공개합니다 — Matt Pocock의 .claude 디렉터리 전격 해부
## 들어가며: '스킬'이라는 새로운 흐름 최근 AI 코딩 도구를 쓰는 개발자들 사이에서 조용히 번지고 있는 키워드가 하나 있어요. 바로 **'에이전트 스킬(Agent Skill)'**입니다. 이게 뭐냐면, 쉽게 말해 AI 코딩 어시스턴트(Claud...
물건 만드는 법을 잊은 서구, 이제는 코드 짜는 법까지 잊고 있다
## 무슨 이야기인가요? 최근 영미권 기술 블로그계에서 좀 묵직한 글 하나가 화제예요. 제목은 "서구는 물건 만드는 법을 잊었다, 이제는 코드 짜는 법도 잊고 있다". 표현이 좀 자극적이긴 한데, 핵심 주장을 풀어보면 이런 거예요. 미국과 유럽이...
[심층분석] 요즘 AI 뉴스 보면 숨이 턱 막히는 이유 — '특이점'이 진짜 가까워진 걸까?
## 들어가며: "뉴스 따라잡기가 일주일이 한계예요" 혹시 요즘 AI 관련 뉴스 보면서 이런 기분 든 적 있으세요? 월요일에 'OpenAI가 새 모델 발표했대'라는 뉴스를 봤는데, 화요일엔 구글이 더 강력한 걸 내놓고, 수요일엔 Anthropic이 ...
Lute 등장: Roblox의 Luau가 독립 런타임을 갖게 됐다
## Luau가 게임 엔진 밖으로 나왔다 혹시 Luau(루아우)라고 들어보셨어요? Roblox에서 만든 프로그래밍 언어인데요. 원래 Lua라는 가벼운 스크립트 언어가 있는데, 그걸 Roblox가 게임 개발에 맞게 대대적으로 손본 게 Luau예요. 점...
집에 굴러다니는 노트북, 홈서버로 변신시키는 가벼운 OS 'Lightwhale'
## 안 쓰는 노트북 한 대, 홈서버로 만들어볼까요? 혹시 책상 서랍에 옛날에 쓰던 노트북 한 대 굴러다니지 않으세요? 아니면 미니 PC 하나 사다 두고 'NAS 한번 만들어볼까' 했다가 우분투 깔고 도커 설정하다가 포기하신 적 없으세요? 사실 이게...
Browser Harness - LLM에게 브라우저 통제권을 통째로 넘기는 실험
## 이게 뭐하는 물건이야 GitHub에 공개된 Browser Harness는 한 줄로 말하면 "LLM에게 브라우저를 자유롭게 조종하게 해주는 런타임"이에요. 요즘 자주 들리는 **브라우저 에이전트(browser agent)** 카테고리의 오픈소...
CSS를 쿼리 언어처럼 쓴다고? 브라우저 개발자 도구의 숨은 무기
## 도입: CSS를 스타일링 말고 다른 용도로 쓸 수 있다는 발상 CSS라고 하면 보통 뭐가 떠오르세요? 색깔 바꾸고, 여백 주고, 반응형 디자인 만들고. 그런 "꾸미는 언어"라고 생각하잖아요. 그런데 CSS 셀렉터를 조금만 다르게 보면 이게 사실...
Claude Code로 내 은행 계좌를 감시하게 만들어 봤어요 — AI 에이전트가 개인 재무를 관리할 수 있을까
## 왜 이 실험이 흥미로운가요 요즘 AI 에이전트라는 말이 정말 많이 들리잖아요. 그런데 대부분은 코드를 짜주거나, 이메일을 요약하거나, 일정을 정리해주는 용도로 쓰이죠. 이번에 한 개발자가 Claude Code(앤트로픽이 만든 터미널 기반 코...
Ubuntu 26.04 LTS 미리보기, 다음 5년의 리눅스 데스크톱을 결정할 버전
## 왜 26.04가 특별한 버전이냐면요 Ubuntu는 2년마다 한 번씩 **LTS(Long Term Support, 장기 지원)** 버전을 내놓아요. 일반 릴리스는 9개월만 지원하지만 LTS는 **5년(기본), 유료 확장 시 최대 12년**까지 지...
[심층분석] Rust 드림잡을 잡았는데, AI가 와버렸다 - 어느 Rust 개발자의 고백이 던지는 질문들
## 한 개발자의 짧은 글이 왜 이렇게 많은 개발자들의 마음을 흔들었을까요 최근 Rust 커뮤니티에 한 개발자의 짧은 글이 올라왔어요. 제목이 좀 짠해요. **"Rust 드림잡을 잡았는데, 그 다음에 AI가 일어나버렸다(Got the Rust dre...
메타, 직원 10% 감원 — 2022년 그 '효율성의 해'가 돌아왔다
## 또다시 대규모 감원 메타가 전체 직원의 약 10%, 규모로는 8천 명 수준의 감원을 단행한다는 소식이 전해졌어요. 2022년 말부터 2023년 초까지 이어진 "Year of Efficiency(효율성의 해)" 구조조정에서 이미 2만 명이 넘...
Bitwarden CLI가 공급망 공격에 당했다 — npm 생태계를 노리는 Checkmarx 캠페인의 실체
## 비밀번호 관리자가 해킹됐다고요? Socket 리서치 팀이 **Bitwarden CLI의 npm 패키지가 악성 코드로 오염된 사실**을 밝혀냈어요. Bitwarden은 많은 개발자가 쓰는 오픈소스 비밀번호 관리자인데요, 브라우저 앱이 아니라 ...
블로그 댓글창을 노리는 새로운 스팸: LLM이 만든 '자연스러운 대화'의 함정
## 스팸이 진화했다, 이번엔 진짜 사람처럼 말한다 블로그 운영해보신 분들은 다 공감하실 텐데요, 댓글창에 스팸이 붙는 건 어제오늘 일이 아니에요. 예전에는 티가 확 났어요. '좋은 글 감사합니다, 제 사이트도 놀러오세요 [도박 사이트 링크]' 이런...