Detail coming soon. For now, see my github page.