LLM 시대에 다시 떠오르는 형식 검증 도구, TLA+ 입문
## TLA+가 뭔가요, 그리고 왜 지금? TLA+(티엘에이 플러스)라는 도구를 들어보셨나요? 들어보지 못했다면 자연스러운 일이에요. 분산 시스템을 설계하는 사람들 사이에서나 알려진 "형식 명세 언어(formal specification langua...
Photoshop이 그리워요? GIMP 3를 Photoshop처럼 만들어주는 PhotoGIMP
## GIMP를 켤 때마다 어색했던 분들에게 반가운 소식 디자인 작업하시는 분들, 혹은 가끔 이미지 편집해야 하는 개발자분들 사이에 흔한 풍경이 있죠. "오, GIMP 무료니까 한번 써볼까?" 하고 설치했다가, UI가 너무 낯설어서 30분 만에 ...
사이버보안 기관 CISA 관리자가 GitHub에 AWS GovCloud 키를 노출한 사건
## 사이버보안 잡으라고 만든 곳에서 사고가 났어요 혹시 CISA라는 기관 들어보셨나요? 미국 국토안보부 산하에 있는 사이버보안 및 인프라보안국(Cybersecurity and Infrastructure Security Agency)이라는 곳이거...
그림 그리는 사람을 위한 무료 3D 포즈 도구, setpose.com 사용기
## 사람 몸을 그리는 게 어려운 이유 그림을 좀 그려보신 분이라면 공감하실 텐데요, 사람 몸의 비율과 관절을 자연스럽게 그리는 건 정말 어려워요. 특히 일러스트나 만화처럼 다양한 액션 포즈가 필요할 때는 더더욱 그래요. 그래서 옛날부터 화가들은...
테크 뉴스를 읽는 당신,
직접 만들어볼 준비 되셨나요?
17가지 수익 모델 실습 · 144+ 강의 · 자동화 소스코드 제공
딸기 한 알에서 만나는 가우시안 스플랫, 3D 그래픽의 미래가 바뀌고 있다
## 웹 브라우저에서 진짜 같은 딸기를 만났어요 어떤 분이 딸기 한 알을 가우시안 스플랫(Gaussian Splat)으로 만들어 웹에 올려놓은 데모가 돌아다니고 있어요. 마우스로 빙글빙글 돌려보면 표면의 반짝거림, 씨앗의 작은 굴곡, 빛이 닿을 ...
애플 인텔리전스로 진화한 접근성 기능, 기술이 사람을 향할 때
## 애플이 또 한 번 "접근성"이라는 카드를 꺼냈어요 매년 5월이 되면 애플은 "세계 접근성 인식의 날(Global Accessibility Awareness Day)"을 앞두고 새로운 접근성 기능을 발표해요. 일종의 전통인데요, 올해 발표는 ...
OpenBSD 7.9 출시, '가장 안전한 OS'는 어떻게 진화하고 있을까
## OpenBSD가 또 한 번 새 옷을 갈아입었어요 혹시 OpenBSD라는 이름을 들어보셨나요? 리눅스나 우분투, macOS는 익숙해도 OpenBSD는 좀 낯설 수 있는데요. 이게 뭐냐면, 유닉스 계열 운영체제 중에서도 "보안과 코드 정확성"을...
Rust 라이브러리를 Haskell에서 그대로 쓰는 법 - Hsrs 바인딩 생성기
## Rust와 Haskell 사이의 다리를 놓다 요즘 시스템 프로그래밍 쪽에서 Rust가 워낙 강세잖아요. 메모리 안전성과 성능을 동시에 잡았다는 평가를 받으면서 새 라이브러리들이 계속 Rust로 쓰여지고 있죠. 그런데 함수형 프로그래밍을 좋아...
이미 압축된 ZIP을 더 작게? ZIP Shrinker가 보여준 빈틈
## "ZIP은 이미 최대로 압축된 거 아닌가요?" 혹시 파일을 ZIP으로 압축해서 메일로 보내본 적 있죠? 우리는 보통 ZIP을 만들면 "이제 최대한 작아진 거야"라고 생각해요. 그런데 에반 한(Evan Hahn)이라는 개발자가 재미있는 도구를 공...
지구 10배 크기의 마인크래프트 세계를 통째로 백업한 사람들
## 1조 블록의 디지털 고고학 혹시 마인크래프트의 "2B2T" 서버를 들어보셨나요? "2 Builders 2 Tools"의 약자인데, 마인크래프트 세계에서 가장 오래되고 가장 무법지대인 서버로 유명해요. 2010년에 시작돼서 지금까지 한 번도 ...
'넷스케이프 타임'이 지금도 실리콘밸리를 지배하는 이유
## 30년 전 브라우저 전쟁에서 시작된 속도 강박 혹시 "넷스케이프 타임(Netscape Time)"이라는 말을 들어보셨나요? 90년대 중반, 넷스케이프라는 회사가 인터넷 브라우저 시장을 휩쓸던 시절에 생겨난 표현인데요. 보통 회사들이 한 제품...
또 터진 npm 공급망 공격, 'Mini Shai-Hulud'가 314개 패키지를 감염시킨 방법
## 또 npm이 뚫렸습니다 자바스크립트 생태계를 쓰는 분이라면 한 번쯤 들어봤을 거예요. npm 저장소에서 또 대규모 공급망 공격이 터졌습니다. 이번에 발견된 공격은 'Mini Shai-Hulud'라는 이름이 붙었는데요. 무려 **314개의 n...
Cursor의 새 모델 Composer 2.5, 속도와 정확도를 둘 다 잡았다는데
## Cursor가 또 자체 모델을 내놨다 AI 코딩 도구 시장에서 가장 핫한 플레이어 중 하나인 Cursor가 **Composer 2.5**를 공개했습니다. Composer는 Cursor가 자체적으로 만든 코딩 전용 AI 모델이에요. 지난번 1...
Click Click Click: 2016년의 웹 실험이 지금도 섬뜩한 이유
## 이게 뭐길래 다시 회자될까요 `clickclickclick.click`라는 사이트가 있어요. 2016년에 네덜란드 스튜디오 두 곳(Studio Moniker와 VPRO Medialab)이 만든 웹 실험인데, 페이지를 열면 "버튼을 클릭하세요...
컴퓨터 보안의 양심, Peter G. Neumann이 남기고 간 것들
## 한 시대가 끝났어요 컴퓨터 과학계에서 정말 오랫동안 "보안과 안전"의 양심으로 불려온 분이 있었어요. **Peter G. Neumann**. SRI International의 컴퓨터 과학자였고, 1985년부터 무려 40년 가까이 ACM 학회지의...
안드로이드 폰을 햄 라디오로 만든다고요? kv4p HT 프로젝트의 매력
## 이게 뭐냐면요 혹시 "햄 라디오(아마추어 무선)"라는 말 들어보셨나요? 인터넷이 없던 시절부터 전 세계 사람들이 무선 주파수로 서로 교신하던, 일종의 "하드웨어판 인터넷 그 이전 세계"예요. 지금도 전 세계 수백만 명의 햄 운영자(자격증을 가진...
내 도메인이 GitHub Pages에서 악용됐어요: 방치된 CNAME이 부르는 보안 사고
## 도대체 무슨 일이 벌어진 걸까요 Meertens라는 개발자가 자기 블로그에 올린 사연인데, 읽고 나면 등골이 좀 서늘해져요. 어느 날 보니까 자기 도메인의 서브도메인 하나가 전혀 모르는 사람의 GitHub Pages 사이트로 연결돼서 피싱이...
FPGA로 계산기를 처음부터 만들어보기: 디지털 회로의 즐거움을 다시 발견하기
## 왜 굳이 FPGA로 계산기를? 계산기는 우리 모두가 쓰는 가장 익숙한 도구 중 하나죠. 스마트폰에도 들어 있고, 컴퓨터에도 기본 앱으로 있고, 심지어 100원짜리 동전보다 싼 칩 하나로도 만들 수 있어요. 그런데 굳이 FPGA로 계산기를 처...
[심층분석] "농담이 아니라 진짜 너무 잘 만들었다" — AI 생성 영상이 진짜와 구분 안 되는 시대가 왔습니다
## 들어가며: "이거 진짜야?"가 일상이 된 2026년 요즘 SNS에서 영상을 볼 때마다 잠깐 멈칫하게 되지 않나요? 분명 어딘가 어색해 보이는데, 자세히 봐도 어디가 이상한지 딱 집어내기가 어려워진 거예요. 화제가 된 한 짧은 영상에 달린 반응 ...
최근 6개월 LLM 흐름을 5분 안에 따라잡기: Simon Willison의 정리 노트
## 잠깐 한눈 팔면 따라잡기 힘든 LLM 세계 LLM 분야는 정말 정신없이 빠르게 굴러가요. 한 주만 트위터를 안 봐도 새로운 모델이 두세 개 나오고, 한 달 쉬면 업계 지형도가 통째로 바뀌어 있거든요. 그래서 LLM 관련 글을 꾸준히 써온 S...
