4달러 라즈베리파이 피코로 본격 오디오 DSP를 만든다 — 'DSPi' 프로젝트
## 작은 보드, 큰 사운드 라즈베리파이 피코, 다들 한 번쯤 만져본 적 있을 거예요. 4달러 정도의 작은 마이크로컨트롤러 보드인데 ARM Cortex-M0+ 듀얼 코어와 264KB 램이라는, 마이크로컨트롤러 치고는 꽤 풍성한 스펙을 가진 칩이에...
"그냥 Lean 쓰면 안 돼요?"라는 질문에 Isabelle 진영이 내놓은 진지한 대답
## 정리 증명기 세계의 작은 논쟁 수학을 컴퓨터로 증명하는 정리 증명기(theorem prover)라는 분야가 있어요. 종이와 연필로 쓰던 수학 증명을 형식 언어로 옮겨 적으면, 컴퓨터가 한 줄 한 줄 검증해서 "이 증명에 빈틈이 없다"는 걸 보장...
Mercor에서 4만 명의 음성 4TB가 새어나갔다 — AI 데이터 공급망의 그늘
## 바꿀 수 없는 것이 새어나간 사건 Mercor라는 이름이 AI 업계에서 빠르게 떠오르고 있어요. 모델 훈련에 필요한 사람-라벨링 데이터, 평가 데이터, 음성 데이터를 컨트랙터를 통해 공급하는 회사인데, 최근 4만 명에 달하는 컨트랙터들의 음...
TerminalBench 1위 찍은 오픈소스 코딩 에이전트 'Dirac' 들여다보기
## 작은 모델로도 상위권을 찍을 수 있다는 증명 요즘 AI 코딩 에이전트 분야가 정말 뜨겁잖아요. Claude Code, Cursor, Cline, Aider… 거의 매주 새로운 도구가 등장하는 느낌이에요. 그런 와중에 Dirac이라는 오픈소스...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
사이드 프로젝트, 끝까지 완성 못해도 괜찮아요
## 누구나 한 번쯤 겪는 '버려둔 폴더' 개발자라면 깃허브나 로컬 어딘가에 미완성 프로젝트 폴더 한두 개쯤은 있을 거예요. 처음엔 "이거 진짜 대박 아이디어인데?" 하면서 신나게 시작했다가, 어느 순간 손이 안 가고 그냥 묵혀두게 된 그런 폴더...
ESP32-S3의 두 번째 코어에서 베어메탈 Rust를 — ESP-IDF와 공존시키는 법
## 듀얼 코어 MCU의 숨겨진 절반을 깨우다 IoT나 임베디드 개발을 해보신 분이라면 **ESP32**라는 칩 이름을 한 번쯤 들어보셨을 거예요. Espressif라는 중국 회사에서 만든 와이파이/블루투스 내장 마이크로컨트롤러인데, 가격은 몇천 원...
멀티플레이어 브라우저를 만들며 배운 것들 — 협업 도구의 진짜 어려움
## 브라우저를 같이 쓴다는 게 무슨 말이죠? 구글 독스에서 다른 사람 커서가 움직이는 거 보신 적 있죠? 같은 문서에 여러 명이 동시에 들어가서 글을 쓰고, 누가 어디에 있는지 실시간으로 보이는 그 경험이요. 요즘은 이 개념이 문서를 넘어 **...
AI에게 '망각'을 가르치다 — 생물학적 기억 감쇠를 적용한 메모리 시스템
## 사람처럼 잊어버리는 AI, 왜 필요할까요? 요즘 ChatGPT나 Claude 같은 AI에게 '내가 누구인지', '뭘 좋아하는지'를 기억시키려고 메모리(Memory) 기능을 쓰는 분들 많으실 거예요. 그런데 이 메모리, 한 가지 큰 문제가 있...
1986년 '유닉스 매직' 포스터, 한 줄씩 해부해 보니
## 마법사들이 그려진 그 전설의 포스터 오래된 유닉스 커뮤니티에 계셨거나 운영체제 수업을 들으셨다면, 한 번쯤 본 적 있을 거예요. **1986년 Bell Labs에서 만들어진 "Unix Magic" 포스터.** 마법사 옷을 입은 인물이 지팡이...
구글이 'AI 칩'으로 승부수를 던졌다 - 클라우드 만년 3등 탈출 가능할까
## 갑자기 분위기가 바뀌었어요 클라우드 시장 얘기를 할 때 보통은 AWS와 Microsoft Azure 두 회사를 먼저 떠올리잖아요. 구글 클라우드(GCP)는 항상 "3등" 자리에 머물러 있었거든요. 그런데 요즘 분위기가 묘하게 바뀌고 있어요. 구...
클라우드에 맡긴 디지털 인생, 어느 날 갑자기 사라진다면
## 사진 한 장도 내 컴퓨터엔 없는 시대 생각해 보면 우리가 만들어내는 거의 모든 데이터가 지금 클라우드 어딘가에 있어요. 결혼식 사진, 아이의 첫걸음마 영상, 10년 치 이메일, 가계부 스프레드시트, 회사 업무 문서, 심지어 비밀번호 매니저까...
AI 에이전트가 프로덕션 DB를 날렸다 — 그리고 본인 입으로 사과까지 했다
## 어느 날 갑자기, 운영 데이터베이스가 사라졌다 개발자에게 상상할 수 있는 가장 큰 악몽 중 하나가 뭘까요. 아마 "운영 DB가 날아갔다"일 거예요. 백업이라도 있으면 다행이고, 없으면 회사 전체가 멈춥니다. 그런데 이번엔 그 악몽을 일으킨 범인...
AI는 당신의 사고를 대체하는 게 아니라 끌어올려야 한다
## 'AI에게 시키면 끝' 시대, 정말 괜찮을까요? 요즘 개발자라면 누구나 한 번쯤 이런 경험 해보셨을 거예요. 막히는 코드가 있어서 ChatGPT나 Claude한테 물어보면 척척 답을 내주잖아요. 그래서 그냥 복붙해서 쓰고, 동작하면 다음 작...
GoDaddy가 신원 확인 없이 도메인을 통째로 넘겨준 사건, 우리는 무엇을 배워야 할까
## 도메인 하나 잃으면 사업이 멈춰요 웹 서비스를 운영해본 분이라면 도메인이 얼마나 중요한지 아실 거예요. 도메인은 단순한 주소가 아니라, 사실상 회사의 디지털 신분증이거든요. 이메일도 그 도메인으로 받고, 결제 시스템도 그 도메인 기준으로 인...
AI 시대의 새로운 라이선스 실험, '인간이 작성한 코드'만 인정하는 HSL
## AI가 코드를 쓰는 시대, 라이선스가 흔들리고 있어요 요즘 GitHub에 올라오는 코드 중에 사람이 직접 한 글자 한 글자 친 코드가 얼마나 될까요? 정확한 통계는 없지만, GitHub Copilot이나 Cursor, Claude Code ...
코드로 보는 1980년 전설의 게임, '비저블 조커(Visible Zorker)'가 공개됐어요
## Zork가 뭐예요, 왜 중요해요 게임 좀 오래 해본 분이라면 'Zork'라는 이름을 들어보셨을지도 몰라요. 1980년에 Infocom이라는 회사가 만든 텍스트 어드벤처 게임인데, 화면에 그래픽이 하나도 없고 모든 게 글자로만 진행돼요. '집...
테트리스를 수학적으로 정복하기, 컴퓨터는 어떻게 게임을 '치트'하는가
## 익숙한 게임, 낯선 깊이 누구나 어릴 적 한 번쯤 테트리스를 해봤을 거예요. 떨어지는 블록을 빈틈없이 쌓아 한 줄을 채우면 사라지는 그 단순한 게임 말이에요. 그런데 이 단순한 게임이 사실 수학자와 컴퓨터 과학자들 사이에서 오랫동안 진지한 ...
OpenAI가 SWE-bench Verified를 버린 이유 - AI 코딩 평가의 한계가 드러나다
## 벤치마크가 "포화"되면 생기는 일 OpenAI가 자사 블로그에 흥미로운 글을 올렸어요. 한동안 AI 코딩 능력의 표준 척도로 쓰이던 **SWE-bench Verified**라는 벤치마크를, 더 이상 자기들 모델 평가의 주요 지표로 쓰지 않겠다는...
if문 지옥에서 벗어나는 길 - Statecharts로 복잡한 상태를 다스리기
## 코드가 if문 덩어리가 되는 이유 버튼 하나 만들었을 뿐인데 코드가 점점 누더기가 되는 경험, 다들 한 번쯤 있으시죠. "로딩 중이면서 비활성화", "에러 났는데 재시도 가능한 상태", "로그인은 됐는데 약관 동의는 안 한 상태"... 이런 조...
EU의 '청소년 보호' 정책, 사실은 디지털 신분증 강제 도입의 트로이 목마인가
## 좋은 명분 뒤에 숨은 진짜 의도? 유럽연합(EU)이 최근 추진하고 있는 "연령 확인(Age Verification)" 정책을 두고 한 유럽 활동가가 강한 비판을 담은 분석 글을 내놨어요. 표면적으로는 "청소년을 유해 콘텐츠로부터 보호하자"는...
