https://blog.greenberg.science/posts/popl2026-tutorial/<meta http-equiv='refresh' content='0;url=https://blog.greenberg.science/posts/popl2026-tutorial/'>