https://marcusm117.github.io/teachings/formal-verification/ 2026-10-29T05:07:15+00:00 https://marcusm117.github.io/teachings/generative-models-for-code/ 2026-10-29T05:07:15+00:00 https://marcusm117.github.io/teachings/programming-languages-and-translators/ 2026-10-29T05:07:15+00:00 https://marcusm117.github.io/ https://marcusm117.github.io/news/ https://marcusm117.github.io/projects/ https://marcusm117.github.io/publications/ https://marcusm117.github.io/teaching/ https://marcusm117.github.io/blog/ https://marcusm117.github.io/google5b561018b1b6ea82.html 2026-10-29T05:06:36+00:00