SVG 새니타이징의 함정: Scratch 팀이 마주한 보안 지옥
## SVG가 그렇게 위험한 파일이라고요? 어린이 코딩 교육 플랫폼 "Scratch" 아시죠? MIT 미디어랩에서 만든 거고, 전 세계 수천만 명의 아이들이 블록 코딩으로 게임이랑 애니메이션을 만드는 곳이에요. 이 Scratch 팀의 한 개발자가 S...
Easyduino - KiCad에서 바로 갖다 쓰는 오픈소스 아두이노 보드 라이브러리
## 무슨 프로젝트인가요 Easyduino는 KiCad에서 바로 사용할 수 있는 오픈소스 PCB 개발 보드 모음이에요. KiCad가 뭐냐면, 회로도와 PCB(인쇄회로기판)를 설계할 때 쓰는 무료 EDA 소프트웨어거든요. 알티움(Altium)이나 ...
스스로 도구를 만들어 쓰는 AI 에이전트, Tendril은 무엇이 다른가
## 도구를 만들어 쓰는 에이전트? AI 에이전트 이야기가 정말 많이 나오죠. "에이전트"라는 게 뭐냐면, LLM이 그냥 답을 뱉는 게 아니라 **여러 도구(tool)를 직접 호출하면서 일을 진행하는 시스템**을 말해요. 예를 들어 "우리 회사 매출...
4달러 라즈베리파이 피코로 본격 오디오 DSP를 만든다 — 'DSPi' 프로젝트
## 작은 보드, 큰 사운드 라즈베리파이 피코, 다들 한 번쯤 만져본 적 있을 거예요. 4달러 정도의 작은 마이크로컨트롤러 보드인데 ARM Cortex-M0+ 듀얼 코어와 264KB 램이라는, 마이크로컨트롤러 치고는 꽤 풍성한 스펙을 가진 칩이에...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
"그냥 Lean 쓰면 안 돼요?"라는 질문에 Isabelle 진영이 내놓은 진지한 대답
## 정리 증명기 세계의 작은 논쟁 수학을 컴퓨터로 증명하는 정리 증명기(theorem prover)라는 분야가 있어요. 종이와 연필로 쓰던 수학 증명을 형식 언어로 옮겨 적으면, 컴퓨터가 한 줄 한 줄 검증해서 "이 증명에 빈틈이 없다"는 걸 보장...
TerminalBench 1위 찍은 오픈소스 코딩 에이전트 'Dirac' 들여다보기
## 작은 모델로도 상위권을 찍을 수 있다는 증명 요즘 AI 코딩 에이전트 분야가 정말 뜨겁잖아요. Claude Code, Cursor, Cline, Aider… 거의 매주 새로운 도구가 등장하는 느낌이에요. 그런 와중에 Dirac이라는 오픈소스...
pgBackRest 유지보수 종료 — PostgreSQL 백업 생태계의 큰 빈자리
## PostgreSQL 백업의 든든한 동반자가 멈춘다 PostgreSQL을 프로덕션에서 운영해본 분이라면 pgBackRest라는 이름을 한 번쯤 들어봤을 거예요. PostgreSQL 백업 도구 중에서 "진지한 프로덕션 환경에서 정말 믿고 쓸 수...
FreeBSD 디바이스 드라이버 책이 GitHub에 공개됐어요 — 커널 개발 입문하기 좋은 자료
## 무슨 일이 있었냐면요 오랫동안 운영체제 커널 쪽 공부를 해보고 싶었는데, 자료가 너무 흩어져 있어서 어디서부터 시작해야 할지 막막했던 분들 많으실 거예요. 이번에 GitHub에 공개된 `ebrandi/FDD-book` 저장소가 바로 그런 분...
TurboQuant를 처음부터 차근차근, LLM 양자화의 새로운 접근법
## LLM은 왜 자꾸 "가벼워져야" 할까 요즘 우리가 쓰는 대형 언어 모델(LLM)은 어마어마하게 크잖아요. 파라미터가 수백억, 수천억 개에 달하다 보니 GPU 메모리에 통째로 올리는 것도 쉽지 않아요. 그래서 등장한 게 "양자화(Quantizat...
사이드 프로젝트, 끝까지 완성 못해도 괜찮아요
## 누구나 한 번쯤 겪는 '버려둔 폴더' 개발자라면 깃허브나 로컬 어딘가에 미완성 프로젝트 폴더 한두 개쯤은 있을 거예요. 처음엔 "이거 진짜 대박 아이디어인데?" 하면서 신나게 시작했다가, 어느 순간 손이 안 가고 그냥 묵혀두게 된 그런 폴더...
AI에게 '망각'을 가르치다 — 생물학적 기억 감쇠를 적용한 메모리 시스템
## 사람처럼 잊어버리는 AI, 왜 필요할까요? 요즘 ChatGPT나 Claude 같은 AI에게 '내가 누구인지', '뭘 좋아하는지'를 기억시키려고 메모리(Memory) 기능을 쓰는 분들 많으실 거예요. 그런데 이 메모리, 한 가지 큰 문제가 있...
1986년 '유닉스 매직' 포스터, 한 줄씩 해부해 보니
## 마법사들이 그려진 그 전설의 포스터 오래된 유닉스 커뮤니티에 계셨거나 운영체제 수업을 들으셨다면, 한 번쯤 본 적 있을 거예요. **1986년 Bell Labs에서 만들어진 "Unix Magic" 포스터.** 마법사 옷을 입은 인물이 지팡이...
AI 시대의 새로운 라이선스 실험, '인간이 작성한 코드'만 인정하는 HSL
## AI가 코드를 쓰는 시대, 라이선스가 흔들리고 있어요 요즘 GitHub에 올라오는 코드 중에 사람이 직접 한 글자 한 글자 친 코드가 얼마나 될까요? 정확한 통계는 없지만, GitHub Copilot이나 Cursor, Claude Code ...
Common Lisp 위에 정적 타입을? Coalton과 새 IDE "Mine" 이야기
## Lisp가 다시 움직이고 있다 혹시 Common Lisp라는 언어 들어보셨나요? 1984년에 표준화된, **현존하는 가장 오래된 고수준 프로그래밍 언어 중 하나**예요. 괄호로 가득한 코드 모양 때문에 농담거리가 되곤 하지만, 매크로 시스템과 ...
GnuPG, 양자내성암호를 메인라인에 품다 — PGP 30년 만의 가장 큰 변화
## 무슨 일이 일어났나요 오랫동안 이메일 암호화와 코드 서명의 표준 도구였던 **GnuPG(GNU Privacy Guard)** 가 드디어 **포스트 양자 암호(Post-Quantum Cryptography, 이하 PQC)** 를 메인라인 코드에 ...
물건 만드는 법을 잊은 서구, 이제는 코드 짜는 법까지 잊고 있다
## 무슨 이야기인가요? 최근 영미권 기술 블로그계에서 좀 묵직한 글 하나가 화제예요. 제목은 "서구는 물건 만드는 법을 잊었다, 이제는 코드 짜는 법도 잊고 있다". 표현이 좀 자극적이긴 한데, 핵심 주장을 풀어보면 이런 거예요. 미국과 유럽이...
Datalog를 GPU에서 돌리면 어떻게 될까: 선언형 쿼리의 새로운 가능성
## Datalog가 뭐고, 왜 GPU에서 돌리는 게 흥미로운가 혹시 **Datalog**라는 언어 들어보셨어요? 이름은 좀 낯설지만, 사실 SQL의 사촌쯤 되는 선언형 쿼리 언어예요. 1980년대 데이터베이스 이론에서 출발했는데, 최근에 정적 분석...
PR에 코멘트 달고 승인하는 법: 코드 리뷰의 잊혀진 기본기
## 코드 리뷰가 어렵게 느껴지는 진짜 이유 주니어 시절에 가장 부담스러웠던 일이 뭐였나 떠올려 보면, 저는 단연 **코드 리뷰**였어요. 내가 짠 코드를 남이 본다는 것도 떨리지만, 남의 코드를 보고 "여기 고치세요"라고 코멘트 다는 건 더 어...
브라우저에서 바로 윈도우 원격 데스크톱? Go + WebAssembly로 만든 grdpwasm
## 도입: RDP를 브라우저에서 연다는 발상 원격 근무가 일상이 되면서 **RDP(Remote Desktop Protocol)**, 그러니까 윈도우의 원격 데스크톱 프로토콜을 쓸 일이 부쩍 늘었어요. 그런데 보통은 전용 클라이언트를 깔거나, 회...
Lisp에 정적 타입을? Coalton 전용 IDE 'Mine'이 보여주는 함수형의 새 흐름
## 도입: Lisp가 다시 움직이고 있어요 오랫동안 잠잠하던 Lisp 진영에서 흥미로운 프로젝트가 하나 나왔어요. 이름이 **Mine**, **Coalton**과 **Common Lisp**를 위한 IDE예요. "아니 Lisp 아직도 쓰는 사람 있...