Vladimir Pavkin, profile picture

Vladimir Pavkin

Sort by
Leveraging spire for complex time allocation logic
Recursive implicit proofs with Shapeless HLists
"How about no grep and zabbix?". ELK based alerts and metrics.