급습 20년 후에도 살아있는 파이러트 베이, 분산 시스템이 검열을 이긴 사례
## 잠깐, 이게 왜 개발자 주제예요? **파이러트 베이(The Pirate Bay)**는 2003년에 스웨덴에서 시작된 토렌트 인덱싱 사이트예요. 영화·음악·게임 같은 콘텐츠를 BitTorrent 프로토콜로 공유할 수 있게 매개해주는 역할을 하...
GitHub이 오픈소스를 망치고 있다는 도발적 주장, 어디까지 진실일까
## "GitHub은 소프트웨어에 대한 범죄다" 제목부터 좀 세죠? 한 개발자가 블로그에 올린 글인데, 요약하면 이래요. **"우리가 당연하게 쓰는 GitHub이 사실은 오픈소스 생태계와 소프트웨어 개발 문화를 망치고 있다"**는 도발적인 주장이에요...
구글 직원이 '검색어'에 10억 베팅? 예측시장 내부자거래 사건이 던지는 질문
## 무슨 일이 있었냐면요 구글 직원 한 명이 **약 100만 달러(우리 돈 13억 원 안팎)** 규모의 거액을 어떤 "검색어"의 향방에 베팅했다가 내부자거래 혐의로 기소됐어요. 베팅을 한 곳은 일반 주식시장이 아니라 **폴리마켓(Polymark...
내 도메인을 진짜 '내 것'으로 만들 수 있을까: 자기주권 PKI는 어디까지 왔나
## HTTPS 자물쇠 뒤에 숨겨진 권력 구조 웹사이트 주소창 옆에 있는 자물쇠 아이콘, 다들 한 번쯤 보셨을 거예요. 이게 HTTPS, 즉 통신이 암호화됐다는 표시인데요. 그런데 이 자물쇠가 "진짜 그 사이트가 맞다"는 걸 어떻게 증명하는지 생...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
스페인이 예측 시장 폴리마켓·칼시를 차단했어요, 도박이냐 정보 시장이냐
## 예측 시장에 내려진 제동 스페인 정부가 폴리마켓(Polymarket)과 칼시(Kalshi)라는 두 예측 시장 서비스를 자국 내에서 차단했어요. 이유는 단순해요. 도박업 라이선스가 없다는 거예요. 스페인 도박 규제 당국(DGOJ)은 두 서비스가 ...
팩토리얼을 빠르게 계산하는 알고리즘들 — n!의 수학적 미학
## 팩토리얼, 그 단순해 보이는 문제 팩토리얼이라고 하면 다들 학교에서 배운 그거 떠올리실 거예요. **n! = n × (n-1) × (n-2) × ... × 2 × 1**. 5! = 120, 10! = 3,628,800. 코딩 입문서의 재귀 함수...
프리넷, 탈중앙화 앱 플랫폼이 다시 돌아왔어요
## "탈중앙화 인터넷"이라는 오래된 꿈 프리넷(Freenet)이라는 이름을 들으면 두 가지가 떠오를 수 있어요. 하나는 2000년에 시작된 익명 P2P 네트워크로서의 프리넷이고, 다른 하나는 이번에 새로 등장한 "탈중앙화 앱 플랫폼"으로서의 프리넷...
함수형의 원조 Haskell, 2026년에도 살아있다 — Haskell Foundation 업데이트
요즘 프로그래밍 언어 시장은 정말 빠르게 움직이고 있어요. Rust가 시스템 프로그래밍을 흔들고, Go는 클라우드 네이티브의 표준이 됐고, TypeScript는 자바스크립트 생태계를 거의 다 흡수했죠. 이런 와중에 "그래서 Haskell은?" 하는 질...
Radicle - GitHub 없이 Git을 굴리는 P2P 코드 포지의 정체
## GitHub가 멈추면 우리 개발은 어떻게 되죠? GitHub가 다운된 날을 떠올려보세요. CI는 안 돌고, PR은 못 올리고, 이슈도 못 다는 그 답답함. 우리가 매일 쓰는 "Git"은 분산 버전 관리 시스템이라고 배웠는데, 정작 협업의 중...
Haskell 대신 여전히 Lisp/Scheme을 선택하는 이유
## 함수형 언어, 두 개의 길 함수형 프로그래밍에 관심을 갖다 보면 결국 두 산 앞에 서게 돼요. 한쪽은 **Haskell**이에요. 정적 타입, 게으른 평가, 모나드. "수학처럼 코드를 짠다"는 평을 받는 언어죠. 다른 한쪽은 **Lisp/Sch...
Rust도 잡지 못하는 버그들 — 컴파일러를 믿어도 안심할 수 없는 이유
## Rust = 안전, 정말 그게 끝일까 Rust를 한 번이라도 써본 분이라면 "메모리 안전성"이라는 말을 귀에 못이 박히게 들어보셨을 거예요. 널 포인터 역참조도 없고, 데이터 레이스도 컴파일 타임에 잡아주고, use-after-free도 원천 ...
[심층분석] 직접 만들어보면서 배우는 게 진짜다: 'Build Your Own X'가 50만 별을 받은 이유
## 들어가며: 왜 우리는 "직접 만들어보기"에 끌리는가 혹시 이런 경험 해보셨어요? React를 몇 년째 쓰고 있는데, 막상 "가상 DOM이 어떻게 동작해요?"라는 질문을 받으면 머릿속이 하얘지는 그런 순간이요. 또는 매일 `git commit...
Rust 코드의 '진짜 올바름'을 증명한다 — Verus 프로젝트 들여다보기
## 테스트로는 부족한 순간이 있어요 우리가 보통 코드가 맞는지 확인할 때 쓰는 방법은 테스트예요. 유닛 테스트, 통합 테스트, 프로퍼티 테스트까지 잘 깔아두면 대부분 버그를 잡을 수 있죠. 그런데 가끔은 이걸로 부족한 영역이 있어요. 예를 들어 운...
유클리드보다 빠른 GCD? 비트 연산으로 풀어내는 이진 GCD 알고리즘
## 왜 다시 GCD 이야기를 하냐면요 최대공약수(GCD) 구하는 알고리즘, 다들 유클리드 알고리즘 쓰실 거예요. 코딩 테스트 단골이고, 학교에서도 제일 먼저 배우죠. 그런데 이게 사실 최선이 아니라는 걸 아시나요? 현대 CPU 환경에서는 유클리드보...
마이클 라빈 별세: 무작위 알고리즘과 암호학의 거장이 남긴 것
## 컴퓨터 과학의 한 시대가 저물다 튜링상 수상자이자 현대 이론 컴퓨터 과학의 뼈대를 세운 **마이클 라빈(Michael O. Rabin) 교수가 세상을 떠났습니다**. 1931년 독일에서 태어나 이스라엘에서 자란 그는, 스승 알론조 처치의 지...
antirez가 말하는 'AI 사이버보안은 작업증명이 아니다'의 진짜 의미
## 무슨 일이 있었냐면요 Redis를 만든 살바토레 산필리포(antirez)가 블로그에 **'AI cybersecurity is not proof of work'**라는 글을 올렸어요. 제목이 살짝 아리송한데, 쉽게 말하면 이래요. 요즘 AI 업계...
사이버 보안이 '작업 증명'처럼 변하고 있다 — 보안도 결국 비용 싸움인가
## 보안이 "작업 증명"이 됐다고? 혹시 비트코인의 작업 증명(Proof of Work)이라는 개념을 들어보셨나요? 이게 뭐냐면, 블록체인에서 새로운 블록을 추가하려면 엄청난 양의 컴퓨팅 자원을 써서 수학 문제를 풀어야 하는 방식이에요. 핵심은...
Lean으로 '증명 완료'된 프로그램에서 버그가 나왔다 — 형식 검증의 함정
## 수학적으로 증명했는데 버그라니? "형식 검증(formal verification)으로 프로그램이 올바르다고 증명했습니다" — 이 말을 들으면 뭔가 완벽하고 철벽 같은 느낌이 들잖아요. 수학적 증명이니까 틀릴 수가 없을 것 같고요. 그런데 한...
Lean 4: '완벽하게 만들어갈 수 있는' 프로그래밍 언어라는 개념
## 프로그래밍 언어가 '완벽해질 수 있다'는 건 무슨 뜻일까요? 보통 프로그래밍 언어를 고를 때 "이 언어가 빠른가?", "생태계가 좋은가?" 같은 걸 따지잖아요. 그런데 여기 조금 다른 질문을 던지는 언어가 있어요. "내 코드가 정말로 맞다는 걸...
Rust에서 데드락을 원천 차단하는 Surelock — 뮤텍스의 고질적 문제를 해결할 수 있을까?
## 데드락, 멀티스레드 프로그래밍의 오래된 악몽 멀티스레드 프로그래밍을 해본 분이라면 "데드락(deadlock)"이라는 단어만 들어도 머리가 아플 거예요. 데드락이 뭐냐면, 두 개 이상의 스레드가 서로가 가진 자원을 기다리면서 영원히 멈춰버리는...
