Lean 4의 타입 시스템으로 소켓 프로그래밍 실수를 컴파일 타임에 잡는 방법
## 소켓 프로그래밍, 순서 틀리면 바로 크래시 네트워크 프로그래밍을 해본 분이라면 소켓(socket) API의 까다로움을 아실 거예요. `socket()` → `bind()` → `listen()` → `accept()` 이 순서를 정확히 지켜...
트랜스포머는 사실 베이지안 네트워크였다? — AI 모델의 수학적 본질을 파헤치는 새 연구
## 트랜스포머, 우리가 아는 것과 모르는 것 요즘 AI 하면 트랜스포머(Transformer) 아키텍처를 빼놓을 수가 없죠. GPT, Claude, Gemini 같은 대규모 언어 모델(LLM)이 전부 트랜스포머 기반이고, 이미지 생성 모델이나 ...
컴파일러를 직접 만들어보는 여정 — 'A Compiler Writing Journey' 프로젝트
## 컴파일러, 왜 직접 만들어봐야 할까 우리가 매일 쓰는 프로그래밍 언어 — C, Java, Python, Go — 이것들이 실행되려면 반드시 거쳐야 하는 과정이 있어요. 바로 컴파일(compile)이에요. 컴파일이 뭐냐면, 사람이 읽을 수 있...
데이터센터가 교류(AC)를 버리고 직류(DC)로 갈아타고 있는 이유
## 에디슨의 복수? 130년 만에 뒤집히는 전력 패러다임 전기의 역사를 잠깐 떠올려 볼게요. 19세기 말, 토머스 에디슨은 직류(DC)를, 니콜라 테슬라와 웨스팅하우스는 교류(AC)를 밀었어요. 결과는 AC의 압승이었죠. 교류는 변압기로 전압을...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
AI 이야기, 솔직히 좀 지겹지 않나요?
## 모든 대화가 AI로 수렴하는 시대 요즘 개발자 커뮤니티 어디를 가든, 컨퍼런스에 가든, 심지어 회사 점심 시간에도 화제는 하나예요. AI. 새로운 LLM이 나왔다, 코파일럿이 어떻다, AGI가 언제 온다… 한 개발자가 블로그에 솔직하게 적었...
OpenAI의 AI 영상 생성 서비스 Sora, 공식 종료를 선언하다
## Sora가 문을 닫았어요 OpenAI의 AI 영상 생성 서비스 Sora가 공식적으로 서비스 종료를 알렸어요. Sora 공식 계정에서 직접 작별 인사를 전한 건데요, AI 영상 생성 분야에서 가장 큰 기대를 모았던 서비스가 막을 내리는 만큼 많은...
ARM이 직접 만드는 CPU 'AGI', 스펙과 SKU가 공개됐어요
## ARM이 설계만 하던 시대는 끝났다 ARM이라고 하면 보통 '칩 설계도를 만들어서 다른 회사에 파는 곳'으로 알고 계실 거예요. 퀄컴 스냅드래곤, 애플 M 시리즈, 삼성 엑시노스 — 이 칩들 안에 들어가는 CPU 코어의 원본 설계를 ARM이...
에픽게임즈, 1,000명 넘게 해고 — 게임 업계 겨울이 계속되고 있다
## 포트나이트의 에픽게임즈가 대규모 구조조정에 나서다 에픽게임즈(Epic Games)가 1,000명 이상의 직원을 해고한다고 발표했어요. 에픽게임즈라고 하면 포트나이트를 떠올리는 분이 많을 텐데, 사실 이 회사는 게임만 만드는 곳이 아니에요. 언리...
GitHub 또 다운 — 우리가 GitHub 장애에서 배워야 할 것들
## 무슨 일이 있었나요 GitHub에 또 장애가 발생했어요. GitHub Status 페이지에 인시던트가 올라왔고, 많은 개발자들이 push, pull은 물론이고 GitHub Actions 같은 CI/CD 파이프라인까지 멈추는 상황을 겪었어요....
터미널 앱을 그대로 브라우저에서 돌린다 — Gridland라는 새로운 접근법
## 터미널과 브라우저, 두 세계를 하나로 개발자라면 터미널 기반 애플리케이션의 매력을 알 거예요. 가볍고, 빠르고, 키보드만으로 모든 걸 제어할 수 있잖아요. 하지만 터미널 앱에는 늘 아쉬운 점이 하나 있었어요. 다른 사람에게 보여주거나 공유하기가...
OpenAI, AI 영상 생성 서비스 Sora 공식 종료 — 디즈니도 파트너십 철회
## 무슨 일이 있었나요? OpenAI가 자사의 AI 영상 생성 서비스인 Sora를 공식적으로 종료한다고 발표했어요. 그리고 이 소식과 함께, Sora를 활용한 콘텐츠 제작 파트너십을 논의하던 디즈니도 해당 딜에서 빠지겠다고 밝혔는데요. AI 영...
Wine 11이 커널 수준에서 Windows 게임 실행 방식을 완전히 바꿨어요
## 리눅스에서 Windows 게임을 돌리는 게 이렇게 빨라졌다고? Linux에서 Windows 프로그램을 실행할 수 있게 해주는 호환성 레이어, Wine이 버전 11을 발표하면서 **커널 수준에서의 대대적인 재작성**과 함께 눈에 띄는 성능 향...
Video.js를 16년 만에 되찾아 88% 더 가볍게 다시 만든 이야기
## 16년 된 오픈소스 프로젝트의 귀환 웹에서 비디오 플레이어를 다뤄본 적 있다면 Video.js라는 이름을 한 번쯤 들어봤을 거예요. 2010년에 처음 나온 이 라이브러리는 HTML5 비디오가 아직 불안정하던 시절부터 웹 비디오 재생의 표준 ...
해충 방제 SaaS를 만들려고 직접 기술자로 취업한 개발자 이야기
## 도메인을 이해하려면 직접 뛰어들어야 한다 소프트웨어를 만들 때 가장 어려운 부분이 뭘까요? 코딩? 아키텍처? 사실 많은 경우, **"이 업계가 실제로 어떻게 돌아가는지 이해하는 것"**이 가장 큰 벽이에요. 특히 버티컬 SaaS(특정 산업에...
AI 코딩 에이전트에게 '눈'을 달아주는 도구, ProofShot
## AI가 코드를 짜는 시대, 근데 UI는 누가 확인하죠? 요즘 Cursor, Copilot, Claude Code 같은 AI 코딩 에이전트를 쓰시는 분들 많으시죠. 코드를 자동으로 생성해주니까 정말 편한데, 한 가지 근본적인 문제가 있어요. ...
컴퓨터 과학의 거인, 토니 호어가 남긴 것들
## "10억 달러짜리 실수"를 만든 사람 프로그래밍을 하다 보면 한 번쯤은 NullPointerException이나 null reference 에러를 만나본 적 있을 거예요. 변수에 값이 없는데 그걸 쓰려고 해서 프로그램이 터지는 그 오류 말이에요...
결정론적 테스팅의 끝판왕 Antithesis, 헤겔 변증법으로 버그를 찾는다
## 소프트웨어 테스팅, 철학을 만나다 소프트웨어를 만들면서 가장 골치 아픈 게 뭘까요? 아마 "재현이 안 되는 버그"일 거예요. 분명 프로덕션에서 터졌는데, 로컬에서는 아무리 해봐도 안 나오는 그런 버그요. Antithesis라는 회사가 바로 ...
이메일 HTML 코딩 지옥에서 벗어나기—Email.md로 마크다운만 쓰면 끝
## 이메일 HTML, 왜 이렇게 힘든 걸까 웹 개발을 해본 분이라면 한 번쯤은 이메일 템플릿을 만들어본 적 있을 거예요. 그리고 그 경험이 얼마나 고통스러웠는지도 기억하실 거예요. 일반적인 웹 페이지에서는 Flexbox, Grid, 최신 CSS를 ...
Arm이 직접 CPU를 만든다 — AGI 아키텍처의 등장과 그 의미
## Arm이 설계만 하던 시대는 끝났다 Arm이라고 하면, 보통 "칩을 직접 만들지 않고 설계도(IP)를 파는 회사"로 알고 계실 거예요. 퀄컴 스냅드래곤, 애플 M 시리즈, 삼성 엑시노스 등 우리가 매일 쓰는 칩들이 전부 Arm의 설계를 라이...
이용약관 없는 서비스가 가능할까? — No Terms No Conditions 프로젝트가 던지는 질문
## 이용약관, 사실 아무도 안 읽잖아요 새로운 앱을 깔거나 웹 서비스에 가입할 때, "이용약관에 동의합니다" 체크박스를 한 번이라도 꼼꼼히 읽어본 적 있으세요? 솔직히 대부분 그냥 체크하고 넘어가잖아요. 그런데 그 약관 안에는 "우리가 당신의 데이...
