Verilog 코드를 팩토리오 회로로 변환하는 컴파일러, RISC-V CPU까지 돌린다
## 게임 안에서 CPU를 만든다고? 팩토리오(Factorio)라는 게임을 아시나요? 공장을 짓고 자동화 라인을 설계하는 게임인데요, 이 게임 안에는 '조합 회로(Combinators)'라는 논리 회로 시스템이 있어요. 신호를 보내고 받고, 조건...
Undroidwish: Tcl/Tk를 단일 실행 파일 하나로 어디서든 돌리는 프로젝트
## Tcl/Tk, 아직도 살아있어요? 프로그래밍을 하다 보면 Tcl/Tk라는 이름을 한 번쯤 마주치게 돼요. Python에서 간단한 GUI를 만들 때 쓰는 tkinter 있잖아요, 그 tkinter의 기반이 되는 게 바로 Tk이고, Tk를 만든 프...
인간 + AI + 증명 보조기, 세 힘을 합쳐 크누스의 난제에 도전하다
## 크누스가 던진 수학 문제, AI와 함께 풀다 컴퓨터 과학의 아버지라 불리는 도널드 크누스(Donald Knuth) 교수를 아시나요? "The Art of Computer Programming"이라는 전설적인 책을 쓴 분인데요. 크누스 교수가 제...
AI 코딩 에이전트, 장밋빛 환상 뒤에 숨은 불편한 진실들
## 모두가 말하지 않는 이야기 Copilot, Cursor, Claude Code… 요즘 AI 코딩 에이전트 없이 개발하는 사람이 오히려 드문 것 같은 분위기죠. "생산성 10배"라는 말이 여기저기서 들려오고, 실제로 보일러플레이트 코드를 뚝딱 만...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
마이크로소프트 내부에서도 "윈도우 11 필수 MS 계정, 없애자" 목소리가 나온다
## 윈도우 11 설치할 때 MS 계정, 꼭 만들어야 하나요? 윈도우 11을 새로 설치해본 분이라면 한 번쯤 겪어봤을 거예요. 초기 설정 과정에서 마이크로소프트 계정으로 로그인하라는 화면이 뜨는데, 로컬 계정으로 쓰고 싶어도 공식적으로는 빠져나갈...
브라더 프린터에 Let's Encrypt 인증서를 자동 설치해봤습니다
## 프린터한테 HTTPS를 달아준다고? 회사나 집에서 네트워크 프린터를 쓰다 보면 웹 관리 페이지에 접속할 일이 있잖아요. IP 주소를 브라우저에 치면 프린터 설정 화면이 뜨는 그거요. 그런데 이 관리 페이지가 보통 HTTP로 되어있거나, 자체 서...
Claude Code, 이제 웹에서 스케줄 작업까지 돌린다 — 크론잡의 새로운 대안?
## 무슨 일이 있었나요? Anthropic이 Claude Code의 웹 버전에 **스케줄 태스크(Scheduled Tasks)** 기능을 추가했어요. 쉽게 말하면, 브라우저에서 Claude Code를 사용하면서 "매일 오전 9시에 이 작업 실행해줘...
월 7달러 VPS에 AI 에이전트를 올리고, IRC로 대화하게 만들었습니다
## 요즘 AI 에이전트, 꼭 비싸야 할까? 요즘 AI 에이전트 하면 떠오르는 이미지가 있잖아요. 클라우드 인프라에 GPU 인스턴스 붙이고, 웹소켓으로 실시간 통신하고, 프론트엔드까지 깔끔하게 만들어서 배포하는 그런 그림이요. 그런데 한 개발자가 완...
EU 의회, '채팅 통제법' 최종 부결 — 종단간 암호화를 지켜낸 역사적 투표
## 무슨 일이 있었나요? 유럽연합(EU) 의회가 이른바 **'채팅 통제(Chat Control)'**로 불리던 법안을 최종 부결시켰어요. 이 법안은 원래 아동 성착취물(CSAM)을 탐지하겠다는 목적으로 제안됐는데요, 핵심 내용이 뭐였냐면 **메신저...
RAG 시스템을 처음부터 구축한 개발자의 성공과 실패 — 실전에서 배운 것들
## RAG를 직접 만들어본 개발자의 솔직한 후기 요즘 LLM(대규모 언어 모델)을 활용한 서비스를 만들려면 거의 필수적으로 마주치는 개념이 하나 있어요. 바로 RAG(Retrieval-Augmented Generation)인데요. RAG가 뭐냐면,...
AI 코딩 에이전트를 쿠버네티스 위에서 돌린다고? Optio로 티켓에서 PR까지 자동화하기
## 코딩 에이전트, 이제 로컬이 아니라 클러스터에서 돌리는 시대 요즘 AI 코딩 에이전트 얘기 정말 많이 나오죠. Claude Code, Cursor, Copilot Workspace 같은 도구들이 개발자의 일상에 빠르게 스며들고 있는데요. 그...
FreeCAD 1.1 출시 — 오픈소스 3D CAD의 새로운 이정표
## 오픈소스 CAD가 진짜 쓸 만해지고 있어요 3D 모델링이나 CAD 하면 보통 SolidWorks, Fusion 360, AutoCAD 같은 상용 소프트웨어를 떠올리잖아요. 라이선스 비용이 만만치 않죠. 개인 프로젝트나 소규모 팀에서 쓰기엔 ...
Swift로 코딩 에이전트를 밑바닥부터 만들어보기
## AI 코딩 에이전트, 직접 만들어보면 어떨까? 요즘 Claude Code, GitHub Copilot, Cursor 같은 AI 코딩 에이전트가 개발자 워크플로우에 빠르게 자리잡고 있는데요, 이런 도구들을 매일 쓰다 보면 한 번쯤 궁금해지잖아...
Lean 4의 타입 시스템으로 소켓 프로그래밍 실수를 컴파일 타임에 잡는 방법
## 소켓 프로그래밍, 순서 틀리면 바로 크래시 네트워크 프로그래밍을 해본 분이라면 소켓(socket) API의 까다로움을 아실 거예요. `socket()` → `bind()` → `listen()` → `accept()` 이 순서를 정확히 지켜...
AI 코딩 에이전트에게 '눈'을 달아주는 도구, ProofShot
## AI가 코드를 짜는 시대, 근데 UI는 누가 확인하죠? 요즘 Cursor, Copilot, Claude Code 같은 AI 코딩 에이전트를 쓰시는 분들 많으시죠. 코드를 자동으로 생성해주니까 정말 편한데, 한 가지 근본적인 문제가 있어요. ...
이메일 HTML 코딩 지옥에서 벗어나기—Email.md로 마크다운만 쓰면 끝
## 이메일 HTML, 왜 이렇게 힘든 걸까 웹 개발을 해본 분이라면 한 번쯤은 이메일 템플릿을 만들어본 적 있을 거예요. 그리고 그 경험이 얼마나 고통스러웠는지도 기억하실 거예요. 일반적인 웹 페이지에서는 Flexbox, Grid, 최신 CSS를 ...
AI가 만든 UI를 AI가 직접 눈으로 확인한다 — ProofShot 살펴보기
## AI 코딩 에이전트의 맹점: "보이는 것"을 모른다 요즘 Cursor, Copilot, Claude 같은 AI 코딩 에이전트 쓰시는 분들 많으시죠? 코드 자동 생성은 정말 빨라졌는데, 한 가지 아쉬운 점이 있어요. AI가 프론트엔드 코드를 ...
Claude Code 치트시트 — 터미널 기반 AI 코딩의 핵심 명령어 총정리
## Claude Code, 제대로 쓰고 계신가요? Anthropic의 **Claude Code**는 터미널에서 직접 동작하는 AI 코딩 에이전트입니다. VS Code나 Cursor 같은 GUI 기반 도구와 달리, 셸 환경에서 자연어로 지시하면 파일...
Claude Code로 생산성을 높이는 실전 워크플로우: 시니어 개발자의 사용법
## 터미널 기반 AI 코딩, 어떻게 쓰면 효과적일까 Claude Code는 Anthropic이 만든 터미널 기반 AI 코딩 에이전트입니다. VS Code의 Copilot이나 Cursor 같은 IDE 통합 도구와 달리, 터미널에서 직접 실행되며 ...
LocalStack, GitHub 저장소를 아카이브하고 계정 필수 정책으로 전환 — 오픈소스의 경계는 어디인가
## 무슨 일이 일어났나 AWS 서비스를 로컬 환경에서 에뮬레이션해주는 도구로 널리 사용되던 LocalStack이 자사 GitHub 저장소를 아카이브(archive) 처리했습니다. 아카이브된 저장소는 더 이상 이슈나 PR을 받지 않고, 사실상 읽...
