4가지 Invariant 선언을 통한 AI Agent 구성 요소 간 Silent Conflict 제거
"How to Stop AI Agent Skills, Hooks, and Cron Jobs from Silently Conflicting Over Where They Run and What Data They Trust"
Runtime Private Field 기반 Invariant 보호를 통한 데이터 무결성 확보
Class — Encapsulation
Go에서 과도한 nil 포인터 검사
불변 조건 설정을 통한 불필요한 nil 검사 제거 및 시스템 신뢰성 확보
Bin 구조 도입을 통한 메모리 할당 탐색 시간 O(n)에서 O(1)로 단축
Implementing Bins - Phase 7 Mini Malloc
다가오는 루프
Harness-level Loop 도입을 통한 AI 에이전트 자율성 확장과 설계 복잡도 트레이드오프
Reactive 탐지 한계를 극복하는 Invariant 기반 Deterministic 검증 구조
We Analyzed Every Cloud Security Tool Category. They All Have the Same Gap.
AI 레이어 도입을 통한 Schema Drift 해결 및 Type Ownership 일원화
What adding an AI layer taught me about type ownership
assert를 반드시 고쳐야 한다
Zig의 unreachable 기반 assert를 통한 런타임 안전성 확보 및 최적화 전략
Snapshot Isolation 한계 극복을 통한 Write Skew 방지와 Invariant 보장 설계
Read-Modify-Write isolation in NoSQL, part 2: When the invariant spans multiple aggregates.
Okyline 기반 Business Key 유일성 및 리스트 간 정합성 검증 설계
Validating lists in Okyline: uniqueness, order, and cross-element rules
코딩 에이전트 DESIGN.md란?
DESIGN.md 도입을 통한 코딩 에이전트의 아키텍처 무결성 확보 및 설계 의도 강제
Lean 4를 통한 ACID 모델 정형화를 통한 아키텍처 불변량(Invariant) 정의 체계 수립
When Lean Proved My Durability Definition Too Easily
1.23억 건의 시뮬레이션을 통한 Floating Point 오차 제거 및 RNG 모델 최적화
What 123 million simulated CS2 case openings taught me about modeling RNG
Narrative와 Structure 분리를 통한 LLM Agent 산출물 검증 자동화
I make LLM agents author in two formats. Here's what stopped breaking.
스키마 변경 비용 최소화를 위한 Invariant Rule 기반 데이터 모델링 전략
Modeling 1 enrollment = N seats: when a table name lies
Clojure 기반 실시간 Invariant 모니터링으로 1블록 내 DeFi Dust Leak 차단
Building an Autonomous Sentinel: Shielding Mantle DeFi from Rounding Errors with Clojure
Arithmetic Invariant 검증으로 LLM 추출 데이터의 신뢰성 100% 확보
Why ChatGPT will silently lie about your bank statement (and how to catch it)
Java식 관습을 제거한 Go 기반 DDD-Lite 구조로 도메인 모델 복잡도 최소화
DDD in Go Without the Bureaucracy: Aggregates, Not Abstractions
SC02:2026 기반 Smart Contract Business Logic 및 Invariant 검증 체계 구축
Business Logic Failures in Smart Contracts: SC02:2026 and Mathematical Verification
Panic-based Contract Design을 통한 Go 시스템 상태 오염 방지 및 버그 조기 발견
Design by Contract in Go: Panics, Preconditions, and checkContracts()