To curate is to care—for the art, for the artists, and for the audience.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
艺术不是关于答案,而是关于问题。