pixiv inside

みなさんこんにちは！ピクシブで唯一のテスト専任エンジニアの @shimashima です。 2月20日に、kubernetesや形式手法で有名な チェシャ猫 さんを講師として招いて、形式手法の一つであるAlloyのハンズオンを開催しました。 ピクシブ株式会社様にてモデル検査器 Alloy の入門ハンズオン開催中！ しかも今までにないハッシュ…