Lean 4의 타입 시스템으로 소켓 프로그래밍 실수를 컴파일 타임에 잡는 방법
## 소켓 프로그래밍, 순서 틀리면 바로 크래시 네트워크 프로그래밍을 해본 분이라면 소켓(socket) API의 까다로움을 아실 거예요. `socket()` → `bind()` → `listen()` → `accept()` 이 순서를 정확히 지켜...
컴파일러를 직접 만들어보는 여정 — 'A Compiler Writing Journey' 프로젝트
## 컴파일러, 왜 직접 만들어봐야 할까 우리가 매일 쓰는 프로그래밍 언어 — C, Java, Python, Go — 이것들이 실행되려면 반드시 거쳐야 하는 과정이 있어요. 바로 컴파일(compile)이에요. 컴파일이 뭐냐면, 사람이 읽을 수 있...
[심층분석] 엠 대시(—) 하나에 AI 딱지? — 'AI가 쓴 글' 감별의 함정과 창작의 미래
## 책을 펼쳤더니 엠 대시가 보였다, 그래서 분노했다 최근 영어권 독서 커뮤니티에서 한 독자의 분노 섞인 리뷰가 뜨거운 논쟁을 불러일으켰어요. 내용은 이래요. 어떤 책을 읽다가 **엠 대시(em dash, —)**가 빈번하게 등장하는 걸 발견하...
AI 이야기, 솔직히 좀 지겹지 않나요?
## 모든 대화가 AI로 수렴하는 시대 요즘 개발자 커뮤니티 어디를 가든, 컨퍼런스에 가든, 심지어 회사 점심 시간에도 화제는 하나예요. AI. 새로운 LLM이 나왔다, 코파일럿이 어떻다, AGI가 언제 온다… 한 개발자가 블로그에 솔직하게 적었...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
GitHub 또 다운 — 우리가 GitHub 장애에서 배워야 할 것들
## 무슨 일이 있었나요 GitHub에 또 장애가 발생했어요. GitHub Status 페이지에 인시던트가 올라왔고, 많은 개발자들이 push, pull은 물론이고 GitHub Actions 같은 CI/CD 파이프라인까지 멈추는 상황을 겪었어요....
AI 코딩 에이전트에게 '눈'을 달아주는 도구, ProofShot
## AI가 코드를 짜는 시대, 근데 UI는 누가 확인하죠? 요즘 Cursor, Copilot, Claude Code 같은 AI 코딩 에이전트를 쓰시는 분들 많으시죠. 코드를 자동으로 생성해주니까 정말 편한데, 한 가지 근본적인 문제가 있어요. ...
Gemini의 네이티브 비디오 임베딩을 활용한 1초 이내 영상 검색, SentrySearch
## 영상 속 장면을 텍스트로 찾는 시대 영상 콘텐츠가 넘쳐나는 시대에 가장 불편한 것 중 하나가 뭘까요? 바로 "그 장면이 어디 있었더라?"를 찾는 거예요. CCTV 영상에서 특정 상황을 찾거나, 긴 강의 영상에서 원하는 부분을 찾으려면 사람이...
WireGuard에 FIPS 140-3 인증 암호화를 입힌 WolfGuard, 공공·금융 VPN의 새 선택지
## VPN의 대세 WireGuard, 하지만 규제 환경에선 쓸 수 없었던 이유 VPN 프로토콜 중에서 WireGuard는 빠르고 코드가 간결해서 개발자들 사이에서 사실상 표준처럼 자리 잡았어요. OpenVPN이나 IPsec 같은 기존 프로토콜에 비...
32GB 맥에서 1조 파라미터 모델을 돌린다고? — NVMe 텐서 스트리밍의 마법
## 무슨 일이 있었나요? AI 모델을 로컬에서 돌려보신 적 있으시죠? 요즘 Llama나 Mistral 같은 오픈소스 모델을 내 컴퓨터에서 실행하는 게 꽤 흔해졌는데요, 여기엔 항상 큰 벽이 하나 있었어요. 바로 메모리예요. 모델이 클수록 더 많...
[심층분석] 소프트웨어 개발자 채용 공고, 2025년 중반 이후 15% 증가 — AI 시대에도 개발자는 필요하다
## 들어가며: "개발자 시대는 끝났다"는 말, 정말이었을까? 2023년부터 2025년 초까지, 개발자 커뮤니티에서 가장 많이 들었던 말이 있어요. "AI가 코딩을 대체한다", "개발자 채용이 얼어붙었다", "테크 버블이 꺼졌다." 실제로 그 기간 ...
LLM 추론 비용을 확 줄이는 Memory Sparse Attention(MSA), 어떻게 동작할까
## LLM의 고질적 문제, 긴 컨텍스트 처리 비용 요즘 LLM(대규모 언어 모델)을 써보면 컨텍스트 윈도우가 점점 길어지고 있죠. GPT-4o는 128K 토큰, Claude는 200K 토큰까지 지원하고, Gemini는 백만 토큰을 넘기기도 해요...
미사일 방어 문제가 NP-완전이라고? 컴퓨터 과학이 국방 문제를 만났을 때
## 미사일을 막는 것도 알고리즘 문제다 미사일 방어 시스템이라고 하면 보통 군사 기술이나 물리학을 떠올리잖아요. 그런데 이걸 순수하게 컴퓨터 과학의 관점에서 바라본 흥미로운 분석이 나왔어요. 결론부터 말하면, "날아오는 미사일들을 최적으로 요격하는...
Homebrew가 느려서 답답했다면, Nanobrew를 한번 살펴보세요
## macOS 패키지 관리의 고질적인 문제, 느린 속도 macOS에서 개발하시는 분들이라면 Homebrew를 안 쓰는 분이 거의 없을 거예요. `brew install`로 거의 모든 개발 도구를 설치할 수 있으니까요. 그런데 Homebrew에는 오...
AI 앱은 다 어디로 간 걸까? — 모델은 넘치는데 킬러 앱은 없는 이유
## GPT부터 Claude까지, 모델은 쏟아지는데 Answer.AI에서 흥미로운 질문을 던졌어요. "AI 앱은 다 어디 있는 거야?" 라는 질문인데요. 생각해보면 정말 그래요. GPT-4, Claude, Gemini, Llama 등 모델은 계속...
LiteLLM 패키지가 공급망 공격에 뚫렸습니다 — 내 프로젝트는 괜찮을까?
## 무슨 일이 있었나요? LLM(대규모 언어 모델) 프록시 도구로 많이 쓰이는 Python 패키지 **LiteLLM**이 공급망 공격(supply-chain attack)에 노출된 사실이 확인됐어요. 공급망 공격이 뭐냐면, 우리가 평소에 `pi...
[심층분석] AI 트레이더 군단이 회의를 한다? TradingAgents가 보여주는 멀티에이전트 금융 트레이딩의 현재
## 진짜 트레이딩 회사처럼 AI를 조직한다면? 요즘 AI 업계에서 가장 뜨거운 키워드 중 하나가 바로 **멀티에이전트(Multi-Agent)** 시스템이에요. 하나의 거대한 AI가 모든 걸 다 하는 게 아니라, 여러 AI가 각자 전문 분야를 맡...
웹 프레임워크 벤치마크의 대명사, TechEmpower가 문을 닫는다
## TechEmpower Framework Benchmarks, 안녕 웹 프레임워크를 고를 때 "이 프레임워크가 얼마나 빠르지?"라는 질문에 답해주던 대표적인 프로젝트가 있었어요. 바로 **TechEmpower Framework Benchmar...
개인 키 하나 털려서 230억 원이 찍혀 나왔다 — Resolv 해킹 사건 분석
## 무슨 일이 있었나요? DeFi(탈중앙화 금융) 프로토콜인 Resolv에서 약 2300만 달러(한화 약 300억 원)가 탈취되는 해킹 사건이 발생했어요. 해킹의 원인은 놀랍도록 단순했는데요, 프로토콜을 관리하는 **개인 키(Private Ke...
Winamp 감성 그대로, 터미널에서 음악을 듣는 CLIamp
## 그 시절 Winamp를 기억하시나요? 2000년대 초반 컴퓨터를 쓰셨던 분이라면 Winamp를 기억하실 거예요. 그 특유의 스킨, 이퀄라이저, 그리고 "Winamp, it really whips the llama's ass!"라는 시작 사운...
TI-89 공학용 계산기에서 3D 레이캐스팅 엔진을 돌려버린 프로젝트
## 계산기에서 둠(DOOM)을 돌린다고요? "이 기기에서 둠이 돌아가나요?"라는 밈이 개발자 커뮤니티에서 오래된 농담이잖아요. 그런데 진짜로 1990년대 후반에 나온 TI-89 공학용 계산기에서 **높이맵(Height Map) 기반 3D 레이캐...
