https://tonyzhangnd.github.io/2018/01/Consensus-TLA-Spec.html 2018-01-18T00:00:00-05:00 https://tonyzhangnd.github.io/2025/08/AI-for-verification.html 2025-08-31T00:00:00-04:00 https://tonyzhangnd.github.io/2025/10/AI-is-a-compiler.html 2025-10-27T00:00:00-04:00 https://tonyzhangnd.github.io/2026/01/Verina-benchmark.html 2026-01-22T00:00:00-05:00 https://tonyzhangnd.github.io/archived-posts/2017-06-20-My%20Summer%20Internship%20and%20Writing%20My%20First%20Django%20App https://tonyzhangnd.github.io/archived-posts/2017-07-05-Mitosis%20Image%20Processing%201 https://tonyzhangnd.github.io/archived-posts/2017-07-28-Mitosis%20Image%20Processing%202 https://tonyzhangnd.github.io/archived-posts/2017-12-25-Website%20Blocker https://tonyzhangnd.github.io/archived-posts/2018-06-27-Integrating%20Jekyll%20and%20Travis%20CI https://tonyzhangnd.github.io/archived-posts/2019-09-26-GoOvid https://tonyzhangnd.github.io/about/ https://tonyzhangnd.github.io/blog/ https://tonyzhangnd.github.io/ https://tonyzhangnd.github.io/photography/ https://tonyzhangnd.github.io/assets/documents/cv-simplified.pdf 2025-08-23T17:41:26-04:00 https://tonyzhangnd.github.io/assets/documents/performal_pldi23.pdf 2025-08-23T17:24:58-04:00