스페이스X가 드디어 상장 신청서를 냈다, S-1에 담긴 진짜 숫자들
## 20년을 기다린 IPO, 무엇이 공개됐나 일론 머스크의 스페이스X가 미국 증권거래위원회(SEC)에 S-1을 제출했어요. S-1이 뭐냐면, 미국에서 회사를 주식 시장에 상장할 때 반드시 내야 하는 "공식 신청서 겸 사업 설명서"예요. 이 서류 안...
함수형의 원조 Haskell, 2026년에도 살아있다 — Haskell Foundation 업데이트
요즘 프로그래밍 언어 시장은 정말 빠르게 움직이고 있어요. Rust가 시스템 프로그래밍을 흔들고, Go는 클라우드 네이티브의 표준이 됐고, TypeScript는 자바스크립트 생태계를 거의 다 흡수했죠. 이런 와중에 "그래서 Haskell은?" 하는 질...
도널드 크누스가 "S"라는 글자 하나에 18페이지를 바친 이유
타이포그래피, 그러니까 글자 디자인 이야기를 하다 보면 절대 빼놓을 수 없는 인물이 바로 도널드 크누스(Donald Knuth)예요. 컴퓨터 과학을 공부해본 분들은 "The Art of Computer Programming"이라는 전설적인 책의 저자로...
빅테크 해고의 시대, 테크 워커들이 '디맨드 협동조합'에 주목하는 이유
지난 몇 년간 실리콘밸리에서 들려온 소식 중 가장 충격적인 건 아무래도 대규모 해고 사태였어요. 메타, 구글, 아마존, 마이크로소프트까지 한때 "꿈의 직장"이라 불리던 회사들이 수만 명을 한꺼번에 정리해고하면서 "안정적인 테크 잡"이라는 신화가 무너졌...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
콜로라도주 연령 인증 법안, 오픈소스 프로젝트는 제외로 수정됐다
## 오픈소스 개발자에게도 영향을 줄 뻔한 법안 미국 콜로라도주에서 진행 중인 **SB051이라는 연령 인증 법안**이 최근 수정됐는데, **오픈소스 프로젝트를 적용 대상에서 제외하는 조항이 추가**됐어요. 한국에서 코드를 짜는 우리와 무슨 상관이냐...
맥OS '에어리얼' 동영상 배경화면을 리버스 엔지니어링한 오픈소스 프로젝트
## 그 멋진 배경화면, 어떻게 만들어진 걸까 맥북이나 애플TV를 쓰는 분이라면 한 번쯤 봤을 거예요. 화면에 뜨는 그 시네마틱한 항공 영상 배경화면 말이에요. 홍콩의 야경, 두바이의 사막, 그리고 우주에서 본 지구까지. 애플이 'Aerial(에어리...
Railway가 GCP에서 갑자기 계정 정지를 당했을 때 벌어진 일
## 클라우드를 빌려 쓴다는 것의 리스크 2026년 5월 19일, 인기 PaaS(Platform as a Service, 코드만 올리면 배포해주는 서비스)인 **Railway**가 자사 블로그에 충격적인 인시던트 리포트를 올렸어요. 자신들의 Go...
구글이 자사 AI 검색에 대한 조작 공격과 조용히 싸우고 있다
## AI 검색이 새로운 전쟁터가 됐어요 구글이 검색 결과 페이지 맨 위에 AI가 정리해주는 답변(AI Overviews, AI 개요)을 보여준 지도 이제 꽤 됐죠. 예전엔 "링크 10개를 보여주고 알아서 골라 가세요" 방식이었다면, 지금은 "제...
인터넷의 토대를 만든 숨겨진 프로그래머, 샬라 봄 이야기
## 우리가 몰랐던 인터넷의 어머니 인터넷이 어떻게 만들어졌는지 물어보면 보통 빈튼 서프(Vint Cerf)나 밥 칸(Bob Kahn) 같은 이름이 떠오르실 거예요. TCP/IP 프로토콜의 아버지들이라고 불리는 분들이죠. 그런데 사실 이 프로토콜...
asm.js와의 작별: 웹 어셈블리 시대의 마지막 다리가 걷히다
## asm.js가 뭐였길래, 왜 지금 작별 인사를 할까 Firefox를 만드는 모질라의 SpiderMonkey 팀이 자바스크립트 엔진에서 **asm.js 전용 최적화 경로를 걷어낸다**고 발표했어요. 이름이 낯선 분들도 있을 텐데, asm.js...
Qwen3.7-Max 공개 — 알리바바가 정조준한 '에이전트 프론티어'
## Qwen이 무엇이고, 왜 지금 주목해야 할까 알리바바의 Qwen 시리즈는 그동안 오픈웨이트 LLM 분야에서 가장 활발하게 모델을 내놓는 라인 중 하나였어요. Qwen2, Qwen2.5, Qwen3 시리즈로 이어지면서 베이스 모델, 코더, 매...
Flipper One 스펙 공개 — 해커의 멀티툴이 한 단계 더 강력해졌다
## Flipper One이 뭔지부터 혹시 **Flipper Zero**라는 작은 돌고래 모양 기기 보신 적 있으세요? 휴대용 펜타이프 도구인데, RFID 카드 읽고, 적외선 신호 흉내내고, 무선 신호 캡처하고, GPIO로 하드웨어 디버깅하는 일을 ...
"초당 N토큰"이 진짜로 얼마나 빠른 건지 직접 체감해 보자
## 토큰 속도, 숫자 너머의 체감 LLM API 문서나 모델 발표 글을 보면 "초당 50토큰", "초당 200토큰" 같은 표현이 자주 나와요. 이게 뭔지 어렴풋이 알긴 하는데, 막상 "그래서 사용자 입장에서 얼마나 빠른 거야?"라고 물으면 답하기가...
VSCode 확장 하나로 3,800개 저장소가 털렸다 — 'GlassWorm' 사건이 알려주는 공급망 보안의 현실
## 무슨 일이 일어났나 GitHub가 공식적으로 확인한 사건이에요. 악성 VSCode 확장 프로그램 하나를 통해 **약 3,800개 저장소가 침해당했다**고요. 이번 캠페인은 보안업계에서 'GlassWorm' 또는 유사한 이름으로 추적 중인데,...
OpenAI 모델이 60년 묵은 기하학 난제를 무너뜨렸다 — '추론하는 AI'가 수학에 가져온 충격
## AI가 수학자의 추측을 반증한 사건 수학에서 "추측(conjecture)"이라는 말은 흔히 나오는데요, 이게 뭐냐면 '아직 증명은 안 됐지만 아마도 참일 거야'라고 학계가 오랫동안 믿어온 명제예요. 수십 년, 길게는 수백 년씩 풀리지 않은 채로...
MiniMax M2.7, 실제 ML과 코딩 작업에서 써보니
## 또 새로운 모델? 이번엔 좀 달라요 중국 AI 스타트업 MiniMax가 M2.7이라는 새 모델을 API로 풀었는데요, 단순 벤치마크 점수 자랑이 아니라 실제 머신러닝과 코딩 워크플로우 세 가지에서 직접 돌려본 후기가 공유돼서 흥미로워요. 요...
RISC-V의 부동소수점 연산, 왜 이렇게 설계됐을까
## 부동소수점, 왜 또 이야기하나요? 요즘 RISC-V가 임베디드부터 서버까지 안 들어가는 데가 없는데요. ARM이나 x86에 익숙한 분들이 RISC-V를 들여다보면 가장 먼저 헷갈리는 부분 중 하나가 바로 부동소수점(Floating-Point...
kubectl cp 한 줄이 컨테이너 탈출의 문이 되는 이유
## 흔히 쓰는 명령어가 보안 구멍이라니 쿠버네티스를 다뤄본 분이라면 `kubectl cp` 명령어를 한 번쯤은 써봤을 거예요. 컨테이너 안에 있는 파일을 호스트로 꺼내거나, 반대로 호스트의 파일을 컨테이너 안으로 밀어 넣을 때 쓰는 편리한 명령...
스위스 클라우드 Infomaniak, 회사를 '재단'으로 바꾼다 - 데이터 주권이라는 승부수
## 회사 형태 자체를 바꾸는 결정 이번 Infomaniak의 발표는 좀 특이해요. 보통 IT 회사 뉴스라고 하면 새 제품 출시나 인수합병 얘기가 많은데, 이 회사는 **"법인 형태 자체를 재단(foundation)으로 전환한다"** 고 밝혔거든...
Gemini CLI 종료, Antigravity CLI로 통합: 구글의 AI 개발자 도구 재편
## 무슨 일이 벌어지고 있나 구글이 **Gemini CLI를 2026년 6월 18일자로 종료**하고, 새로운 **Antigravity CLI**로 통합한다고 공지했어요. Gemini CLI는 터미널에서 `gemini` 명령으로 구글의 거대 언어...
