엔지니어링 철학: 바버라 리스코프, 계약이 곧 타입이다
바버라 리스코프는 데이터 추상화를 프로그래밍의 기본 단위로 만들었습니다. 타입은 그것이 지키는 계약이며, 하위 타입은 상위 타입이 한 모든 약속을 지켜야 합니다.
Engineering & Craft디자인, 개발, AI 인프라, 제품 구축에 대한 생각.
바버라 리스코프는 데이터 추상화를 프로그래밍의 기본 단위로 만들었습니다. 타입은 그것이 지키는 계약이며, 하위 타입은 상위 타입이 한 모든 약속을 지켜야 합니다.
Engineering & Craft도널드 커누스는 프로그래밍을 사람이 읽도록 쓰는 예술로 다룹니다. 잘라내기 전에 먼저 측정하고, 결정적인 3%만 최적화하며, 장인 정신으로 정확성을 증명하세요.
Engineering & Craft에츠허르 데이크스트라는 단순함을 정확성의 전제 조건으로 여겼고 증명을 테스트보다 우월하게 보았습니다. 우아함은 선택 사항이 아니라 학문 그 자체였습니다.
Engineering & CraftAndrej Karpathy는 신경망을 Software 2.0로 다시 정의했습니다. 손으로 작성하는 것이 아니라 데이터로 컴파일되는 스택으로 말이죠. 그리고 한 세대에게 그것을 바닥부터 만드는 법을 가르쳤습니다.
Engineering & CraftJohn Carmack은 성능을 도덕의 문제로 다룹니다. 빠르고 단순한 핵심만 남기고, 문제를 근본까지 이해하고, 출시하고, 그 과정을 공개하라는 것입니다.
Engineering & Craft리누스 토르발스는 좋은 취향을 특수한 경우가 사라지는 코드라고 정의합니다 -- Linux 커널과 git, 그리고 "코드를 보여달라"는 말 뒤에 자리한 엔지니어링 신념입니다.
Engineering & CraftRuby를 만든 마츠모토 유키히로는 기계가 아니라 프로그래머의 행복을 위해 언어를 설계했습니다. 최소 놀람의 원칙 — 코드는 사람을 놀라게 해서는 안 됩니다.
Engineering & Craftjqwik 1.10.0은 Maven 출력에 파괴적인 프롬프트 인젝션 문자열을 내보냅니다. ANSI 이스케이프는 이 문자열을 사람 눈에는 숨깁니다. 유지관리자는 이를 의도적으로 추가했어요.
AI & TechnologyMLflow 3.9.0의 Assistant는 CORS 검사 없이 로컬 AI 에이전트를 /ajax-api에 노출했어요. 어떤 웹페이지든 Claude Code를 장악할 수 있었어요. 이 버그는 MLflow보다 오래된 문제예요.
AI & TechnologyAI 에이전트 모니터링은 실패 이후가 아니라 실행 중 결정적 오류를 잡아야 합니다. 실행 중 개입은 추적 기록, 정책, 알림을 안전한 일시 중지로 바꿉니다.
AI & TechnologyAI 에이전트 스킬은 통과율이 그대로여도 행동을 바꿀 수 있어요. 신뢰하기 전에 행동 감사로 실행 기록, 선언된 기능, 부작용을 비교해야 해요.
AI & TechnologyAI 에이전트 소유권은 모든 자율 행동을 중지하고, 검토하고, 책임질 수 있는 계정, 실행 회차, 권한 범위, 운영자와 연결합니다.
AI & Technology기술 글쓰기: Introl
대규모 언어 모델을 로컬에서 실행하기 위한 종합 하드웨어 권장 사항 및 비용 분석.
다양한 AI 워크로드를 위한 NVIDIA 최신 데이터센터 가속기 비교 GPU 선택 가이드.
Google의 TPU v1부터 TPU v5까지의 Tensor Processing Unit 발전에 대한 심층 기술 분석.
컨테이너화된 환경에서 GPU 클러스터의 리소스 공유 전략.
Ray 프레임워크를 사용한 분산 AI 컴퓨팅 구축 및 관리 가이드.
오픈소스 LLM 경제학 및 DeepSeek의 경쟁 포지셔닝 분석.
미래 데이터센터 전력 요구 사항 및 NVIDIA의 차세대 GPU 로드맵.
차세대 AI 인프라에 전력을 공급하는 소형 모듈식 원자로 솔루션.
DeepSeek의 Multi-Head Compression 아키텍처 혁신에 대한 기술 분석.