기술
toulmin — 계약을 계산하는 규칙 엔진
규칙 엔진은 60년간 검증 대상을 사실(fact)로 취급했다. toulmin은 주장(claim)으로 취급한다. 툴민의 논증 모델을 Go 규칙 엔진으로 구현했다.
filefunc — 파일 하나에 개념 하나
AI 코드 에이전트의 탐색 단위는 파일이다. 파일 하나에 개념 하나를 강제하는 Go 코드 구조 컨벤션이자 CLI 도구.
Feature Chain — operationId 하나로 풀스택을 추적한다
기능 하나를 수정하려면 어떤 파일들을 건드려야 하는가? Feature Chain은 operationId 하나를 입력하면 API 스펙부터 DB 스키마, 인가 정책, 테스트 시나리오까지 전체 범위를 자동으로 추출한다.
whyso — git blame이 보여주지 않는 것
git blame은 누가, 언제, 뭘 바꿨는지 보여준다. whyso는 왜 바꿨는지를 보여준다. Claude Code 세션 데이터에서 파일별 변경 히스토리를 자동 추출하는 도구.
기후변화 해결법이 우주에 있다고요? 네, 진짜요.
태양과 지구 사이에 차양막을 설치해 기후를 되돌리는 방법. 다이슨 거울 공장에서 코팅만 빼면 나오고, 추진제 없이 스스로 날아가고, 치우면 원상복귀. 계산이 맞는 이야기.
SSaC — Service Sequences as Code
서비스 함수 내부의 비즈니스 흐름을 선언적 블록(sequence)으로 분해하는 언어 독립적 개념. 10개 고정 타입으로 what만 선언하면 코드젠이 how를 채운다.
AI 사고법: 제1원리로 전제를 부수는 5단계
AI에게 답을 구하지 말라. 전제를 검증하고 부수고 재조립하는 5단계 사고법. 두 실전 사례로 본 제1원리 AI 활용.
버려지는 열로 요리한다고? 폐열 회수형 히트펌프 조리기기의 가능성과 현실
기존 조리기기의 에너지 낭비를 혁신적으로 줄이는 폐열 회수형 고온 히트펌프 기술, 어디까지 왔고 어떻게 보완할 수 있을까?
사막 모래로 댐을 짓고, 30년 뒤 그 댐이 숲이 된다
사막에 널린 쓸모없는 모래를 바이오 접착제로 뭉쳐 물탱크를 만들고, 수명이 다하면 비옥한 토양으로 돌아가는 오아시스 펠릿 기술을 제안한다.
화재 없는 배터리로 버린 전기를 비료와 난방으로 바꾸는 법
태양광 출력 제어로 버려지는 전기를 화재 없는 에디슨 배터리로 저장하고, 수소에서 비료와 요소수까지 자급하는 에너지-농업 융합 모델.