LLM으로 정형 검증하기: seL4 커널과의 만남
수학과 컴퓨터의 접점에서 오늘 Hacker News에서 LLM을 활용한 seL4 커널 정형 검증에 관한 논문을 보게…
0 Comments
Karukh에 남긴 한 문장 – 오늘을 단단히 사는 연습
어떤 도시는 내 안의 속도를 그대로 비춰준다. Karukh에 도착한 첫날, 나는 생각보다 많이 지쳐 있었다.…
0 Comments
Kandahār의 바람이 지나간 자리 – 불안과 친해지기
어떤 도시는 내 안의 속도를 그대로 비춰준다. Kandahār에 도착한 첫날, 나는 생각보다 많이 지쳐 있었다.…
0 Comments
Kafir Qala에서 만난 질문 하나 – 나는 무엇을 붙잡고 있나
어떤 도시는 내 안의 속도를 그대로 비춰준다. Kafir Qala에 도착한 첫날, 나는 생각보다 많이 지쳐…
0 Comments
Kabul의 소음 속 고요 – 마음의 균형을 찾는 법
어떤 도시는 내 안의 속도를 그대로 비춰준다. Kabul에 도착한 첫날, 나는 생각보다 많이 지쳐 있었다.…
0 Comments
Algolia HN Search – Hacker News 17년 역사를 검색하다
2007년부터 지금까지. Hacker News에 올라온 모든 글, 모든 댓글을 검색할 수 있다. 무료로. hn.algolia.com. 개발자라면…
0 Comments
AWS 요금 폭탄 – 클라우드 비용 관리의 함정들
월말에 AWS 청구서를 열어보고 심장이 멎을 뻔한 적이 있다. 테스트용으로 띄워둔 EC2 인스턴스 하나가 한…
0 Comments
Microsoft AI 책임자의 18개월 경고, 진지하게 받아들여야 할까
"18개월 안에 대부분의 화이트칼라 업무가 AI로 대체될 것이다." Microsoft AI 부문 책임자의 발언이다. 충격적이지만, 진지하게…
0 Comments
가드레일 코딩 – AI와 함께 일하는 새로운 방식
Cursor한테 "이 프로젝트 리팩토링해줘"라고 했다가 node_modules 폴더를 통째로 날린 적 있다. 진심이다. AI 코딩 도구가…
0 Comments
AI 시대의 개발 방법론, 뭐가 달라져야 하나
TDD, 애자일, CI/CD. 지난 20년간 개발 방법론의 키워드들이다. 그런데 AI 에이전트가 코드를 짜는 시대에, 이…
0 Comments
월 1.5달러로 맥북에서 AI 에이전트 돌리기
클라우드 API 비용 청구서를 보며 한숨 쉬던 시절이 있었다. GPT-4 API로 간단한 자동화 스크립트 돌렸다가…
0 Comments
잘랄라바드의 오후, 빛과 그림자 사이
잘랄라바드(Jalālābād). 파키스탄 국경에서 불과 80킬로미터. 따뜻한 기후로 "아프가니스탄의 겨울 수도"라 불리는 곳이다. 야자수와 감귤나무가 거리를…
0 Comments
AlphaFold 4라 불리는 IsoDDE, 그리고 과학의 폐쇄성에 대하여
6억 달러. Isomorphic Labs가 첫 외부 투자에서 확보한 금액이다. DeepMind에서 스핀오프한 이 회사가 최근 공개한…
0 Comments
자발 오스 사라지, 산이 가르쳐준 것들
자발 오스 사라지(Jabal-os-Saraj). "산의 입구"라는 뜻을 가진 이 도시는 판지시르 계곡으로 향하는 관문이다. 힌두쿠시의 설산이…
0 Comments
이맘 사히브, 경계를 넘어선 곳에서
이맘 사히브(Imām Şāḩib). 타지키스탄 국경에 맞닿은 이 도시는 경계라는 개념에 대해 생각하게 만들었다. 우리는 늘…
0 Comments
다하나예 고리에서 만난 시간의 무게
다하나예 고리(Dahanah-ye-Ghōrī). 고르 지방의 초입에 자리한 이 마을은 힌두쿠시 산맥의 장엄한 풍경을 품고 있었다. 마흔이…
0 Comments
아즈라의 고요한 아침, 나를 마주하다
아프가니스탄의 작은 마을 후쿠마티 아즈라(Ḩukūmatī-Azrah). 이름조차 낯선 이 땅에 발을 디딘 순간, 시간이 멈춘 것…
0 Comments
Bluesky를 경계하라: 탈중앙화 SNS의 달콤한 환상과 현실
트위터가 X가 되고, 사람들이 대안을 찾아 떠났다. Threads로, Mastodon으로, 그리고 Bluesky로. "탈중앙화된 SNS"라는 약속이 달콤했다.…
0 Comments
Claws의 등장: AI 에이전트 위에 또 하나의 레이어가 쌓이다
LLM이 나왔을 때 사람들은 말했다. "프로그래밍의 종말이다." 그 위에 에이전트가 나왔을 때 또 말했다. "이제…
0 Comments
나는 매직을 싫어한다: 프레임워크의 블랙박스에 대한 불편함
@Autowired 하나 붙이면 의존성이 주입된다. 어떻게? 몰라도 된다. 프레임워크가 알아서 해준다. 이것이 매직이다. 그리고 나는…
0 Comments
천년을 버티는 데이터: 마이크로소프트의 유리 저장 기술
하드디스크의 수명은 5년, SSD도 10년이면 불안하다. 클라우드에 올려둔 데이터도 결국은 어딘가의 물리적 저장소에 있다. 그…
0 Comments
SDLC는 죽었다: 애자일 너머의 개발 프로세스를 찾아서
요구사항 분석, 설계, 개발, 테스트, 배포, 유지보수. 학교에서 배운 소프트웨어 개발 수명 주기(SDLC)다. 깔끔하게 정리된…
0 Comments
AI 콘텐츠 차단기의 등장: 인터넷은 다시 읽을 만해질까
구글 검색 결과가 이상해졌다. 클릭해서 들어가면 뻔한 내용의 글이 끝없이 반복된다. 핵심은 없고, 키워드만 나열되어…
0 Comments
Post-Mortem 문화: 장애를 성장의 기회로 만드는 법
서버가 터지면 심장도 같이 터진다. 새벽 3시에 알람이 울리고, 슬랙에 빨간 경고가 도배되고, 고객 문의가…
0 Comments
퍼마컴퓨팅: 100년 뒤에도 작동하는 소프트웨어를 꿈꾸며
지금 만드는 코드가 10년 뒤에도 돌아갈까? 솔직히 말하면, 1년 뒤도 장담 못 한다. npm 패키지…
0 Comments
888KB에 담긴 인공지능: 마이크로컨트롤러의 새로운 가능성
ESP32 칩 하나에 AI 어시스턴트를 넣는다니. 20년 전 임베디드 개발을 처음 배울 때 썼던 8비트…
0 Comments