Lean 4를 통한 ACID 모델 정형화를 통한 아키텍처 불변량(Invariant) 정의 체계 수립
When Lean Proved My Durability Definition Too Easily
High-Throughput Sealevel vs Formal-Verified eUTXO 아키텍처 트레이드오프 분석
Solana vs Cardano: Real Tradeoffs for 2026 Builders
Property-Based Testing 기반 AI 생성 명세 검증으로 28개 주장 중 27개 정밀 검증 성공
A Truth Filter for AI Output: An Experiment with Property-Based Testing
AWS News Blog
Amazon S3가 20년 동안 저장 용량을 1PB에서 500조 객체 규모로 확장하면서 가격을 85% 인하하고 API 하위 호환성 100% 유지
Twenty years of Amazon S3 and building what’s next