코드플래시 AIStartMap
엔지니어링 팀을 위한 AI 코드 성능 최적화 엔진으로 자동화된 에이전트를 통해 지속적인 성능 엔지니어링 및 인프라 비용 절감이 가능합니다.
에프* F*
증명 지향 프로그래밍 언어, 종속성 유형 + SMT 자동 검증, OCaml/C/Rust로 코드 추출, 2026년 AI 증명 도우미 도입
