Dev.toSMT Solver와 BSD Quiver 모델을 통한 빌드 토폴로지 무결성 증명Dhall-to-Effect: Provably Safe Task Orchestration via Total Functional Configuration and Purely Functional RuntimesInfrastructureadvanced32 분 소요2026년 6월 2일
Dev.toDhall 기반 Generator 도입으로 Serverspec의 절차적 복잡성 제거 및 정적 타입 검증 구현Why I stopped writing Serverspec specs by handInfrastructureintermediate19 분 소요2026년 5월 6일