https://hermesmarc.github.io/news/2022-05-2-iris-workshop/ 2022-05-02T00:00:00+00:00 https://hermesmarc.github.io/news/2022-08-03-FSCD/ 2022-08-03T00:00:00+00:00 https://hermesmarc.github.io/news/2022-08-04-FSCD-award/ 2022-08-03T00:00:00+00:00 https://hermesmarc.github.io/news/2022-11-07-proof/ 2022-11-07T00:00:00+00:00 https://hermesmarc.github.io/news/2023-01-17-POPL/ 2023-01-17T00:00:00+00:00 https://hermesmarc.github.io/news/2023-05-22-iris-workshop/ 2023-05-22T00:00:00+00:00 https://hermesmarc.github.io/news/2023-06-26-OPLSS/ 2023-06-26T00:00:00+00:00 https://hermesmarc.github.io/news/2024-05-22-ITP2024-paper/ 2024-05-22T00:00:00+00:00 https://hermesmarc.github.io/news/2024-09-02-ITP2024-paper-available/ 2024-05-22T00:00:00+00:00 https://hermesmarc.github.io/news/2024-12-1-mlp-start/ 2024-12-01T00:00:00+00:00 https://hermesmarc.github.io/blog/2022/function-cycling/ 2022-07-22T00:00:00+00:00 https://hermesmarc.github.io/blog/2023/co-leibniz/ 2023-11-19T00:00:00+00:00 https://hermesmarc.github.io/blog/2023/contradictions/ 2023-12-02T00:00:00+00:00 https://hermesmarc.github.io/blog/2024/computing-bezout-coefficients/ 2024-06-11T00:00:00+00:00 https://hermesmarc.github.io/projects/1_project/ 2025-12-08T10:28:35+00:00 https://hermesmarc.github.io/projects/2_project/ 2025-12-08T10:28:35+00:00 https://hermesmarc.github.io/projects/3_project/ 2025-12-08T10:28:35+00:00 https://hermesmarc.github.io/projects/4_project/ 2025-12-08T10:28:35+00:00 https://hermesmarc.github.io/projects/5_project/ 2025-12-08T10:28:35+00:00 https://hermesmarc.github.io/projects/6_project/ 2025-12-08T10:28:35+00:00 https://hermesmarc.github.io/ https://hermesmarc.github.io/cv/ https://hermesmarc.github.io/_pages/dropdown/ https://hermesmarc.github.io/news/ https://hermesmarc.github.io/people/ https://hermesmarc.github.io/projects/ https://hermesmarc.github.io/publications/ https://hermesmarc.github.io/repositories/ https://hermesmarc.github.io/teaching/ https://hermesmarc.github.io/blog/tag/puzzle/ https://hermesmarc.github.io/blog/tag/logic/ https://hermesmarc.github.io/blog/tag/heyting/ https://hermesmarc.github.io/blog/tag/math/ https://hermesmarc.github.io/blog/tag/arithmetic/ https://hermesmarc.github.io/blog/tag/algorithm/ https://hermesmarc.github.io/blog/2022/ https://hermesmarc.github.io/blog/2023/ https://hermesmarc.github.io/blog/2024/ https://hermesmarc.github.io/blog/ https://hermesmarc.github.io/lighthouse_results/desktop/alshedivat_github_io_al_folio_.html 2025-12-08T10:28:10+00:00 https://hermesmarc.github.io/lighthouse_results/mobile/alshedivat_github_io_al_folio_.html 2025-12-08T10:28:10+00:00