https://ionathan.ch/2017/10/28/bunsenlabs-on-virtualbox-on-windows-10-on-a-laptop.html 2024-06-22T16:32:50+00:00 https://ionathan.ch/2017/10/30/from-mercurial-to-git.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2017/11/04/making-swagger-play-nice-with-protobuf.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2017/12/04/advent-of-code-2017-day-3.html 2024-06-21T04:10:15+00:00 https://ionathan.ch/2017/12/25/advent-of-code-2017-day-23.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2018/04/15/thulium-part-1-ssh-and-web-server.html 2025-08-07T12:11:05+00:00 https://ionathan.ch/2018/04/19/thulium-part-2-nextcloud-and-gitea.html 2024-06-22T16:32:50+00:00 https://ionathan.ch/2018/04/26/thulium-part-3-ghost-backups-and-a-summary.html 2024-06-22T16:32:50+00:00 https://ionathan.ch/2018/06/10/bridges-of-vancouver.html 2024-06-21T04:10:15+00:00 https://ionathan.ch/2018/08/22/designing-sharevitalsigns-for-ios.html 2024-06-21T04:10:15+00:00 https://ionathan.ch/2019/06/12/ramblings-on-the-coq-kernel.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2019/07/09/thulium-a-one-year-retrospective.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2020/04/13/interesting-problems.html 2024-03-12T01:30:35+00:00 https://ionathan.ch/2020/12/28/thulium-failure.html 2024-06-22T16:32:50+00:00 https://ionathan.ch/2021/05/15/coq-tips.html 2025-08-09T01:26:43+00:00 https://ionathan.ch/2021/05/19/latex-in-jekyll.html 2024-06-21T04:10:15+00:00 https://ionathan.ch/2021/05/25/notes-on-equality.html 2024-05-02T15:16:44+00:00 https://ionathan.ch/2021/08/04/sized-types.html 2024-06-21T04:10:15+00:00 https://ionathan.ch/2021/08/26/using-sized-types.html 2024-06-21T04:10:15+00:00 https://ionathan.ch/2021/10/25/screen-replacement.html 2025-08-07T12:11:05+00:00 https://ionathan.ch/2021/11/24/inconsistencies.html 2024-06-20T21:33:19+00:00 https://ionathan.ch/2021/12/27/cedille.html 2025-08-09T01:26:43+00:00 https://ionathan.ch/2022/01/15/untyped-eta.html 2024-06-20T21:33:19+00:00 https://ionathan.ch/2022/04/03/notes-on-w-types.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2022/04/07/dentistry-symbols.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2022/04/09/angzarr.html 2025-12-31T03:08:08+00:00 https://ionathan.ch/2022/05/22/jekyll-pages.html 2024-03-08T16:01:47+00:00 https://ionathan.ch/2022/07/19/thulium-is-four.html 2025-08-07T12:11:05+00:00 https://ionathan.ch/2022/09/18/philly-ice-cream.html 2025-06-09T02:31:08+00:00 https://ionathan.ch/2022/10/15/arch-package-managers.html 2026-02-25T13:49:24+00:00 https://ionathan.ch/2022/12/28/shrooms.html 2024-03-13T02:54:47+00:00 https://ionathan.ch/2023/01/20/GIF.html 2024-06-20T21:45:39+00:00 https://ionathan.ch/2023/02/26/french.html 2024-03-13T01:38:18+00:00 https://ionathan.ch/2023/03/20/philly-shops.html 2024-03-21T13:00:46+00:00 https://ionathan.ch/2023/03/25/bopomofo.html 2025-07-31T14:20:56+00:00 https://ionathan.ch/2023/06/06/angarr.html 2023-06-17T18:02:41+00:00 https://ionathan.ch/2023/06/06/angzarr.html 2024-08-10T15:12:00+00:00 https://ionathan.ch/2023/07/18/mathml.html 2025-08-09T01:26:43+00:00 https://ionathan.ch/2023/07/24/MFL.html 2025-11-23T22:00:12+00:00 https://ionathan.ch/2023/08/07/lossless-image.html 2024-03-12T01:30:35+00:00 https://ionathan.ch/2023/10/09/guarded-types.html 2024-06-20T21:33:19+00:00 https://ionathan.ch/2023/12/03/stratt.html 2024-06-21T03:35:42+00:00 https://ionathan.ch/2024/01/27/angzarr.html 2024-08-10T15:12:00+00:00 https://ionathan.ch/2024/02/04/respooled-film.html 2025-12-23T19:00:17+00:00 https://ionathan.ch/2024/02/23/ECIC-inconsistent.html 2025-07-31T14:20:56+00:00 https://ionathan.ch/2024/04/14/philly-coffee.html 2025-10-25T22:28:15+00:00 https://ionathan.ch/2024/05/29/impredicativity.html 2024-07-18T18:33:20+00:00 https://ionathan.ch/2024/08/07/angzarr.html 2024-08-10T15:12:00+00:00 https://ionathan.ch/2024/09/27/strict-positivity.html 2024-09-27T18:57:49+00:00 https://ionathan.ch/2025/07/30/zhuyin.html 2025-08-09T01:44:51+00:00 https://ionathan.ch/2025/08/02/htmlday.html 2025-08-08T13:25:09+00:00 https://ionathan.ch/2025/08/03/restaurant-graveyard.html 2026-03-19T23:48:35+00:00 https://ionathan.ch/2025/08/28/seven-years-of-thulium.html 2026-03-29T13:47:50+00:00 https://ionathan.ch/2025/09/11/code-fonts.html 2026-02-10T23:20:27+00:00 https://ionathan.ch/2025/09/28/antihistamines.html 2026-01-16T05:11:32+00:00 https://ionathan.ch/2025/11/06/strict-let.html 2025-11-08T00:31:57+00:00 https://ionathan.ch/2025/11/18/HOAS.html 2025-11-18T21:37:34+00:00 https://ionathan.ch/2026/01/02/heated-rivalry-soundtrack.html 2026-02-27T20:23:46+00:00 https://ionathan.ch/2026/02/16/angzarr.html 2026-03-11T13:10:35+00:00 https://ionathan.ch/2026/03/12/ephemera.html 2026-04-01T21:44:17+00:00 https://ionathan.ch/2026/03/18/LLMs.html 2026-03-20T14:06:02+00:00 https://ionathan.ch/category/computer-touching.html 2026-02-14T15:53:54+00:00 https://ionathan.ch/category/ 2025-01-19T18:11:07+00:00 https://ionathan.ch/blog/ 2026-02-14T15:53:54+00:00 https://ionathan.ch/ 2026-02-22T19:20:17+00:00 https://ionathan.ch/cv/ 2026-03-18T21:44:43+00:00 https://ionathan.ch/links/ 2026-04-03T14:59:12+00:00 https://ionathan.ch/category/miscellany.html 2026-02-14T15:53:54+00:00 https://ionathan.ch/category/outside.html 2026-02-14T15:53:54+00:00 https://ionathan.ch/tags.html 2019-07-08T04:08:49+00:00 https://ionathan.ch/category/type-theory.html 2026-02-14T15:53:54+00:00 https://ionathan.ch/category/unicode.html 2026-02-14T15:53:54+00:00 https://ionathan.ch/blog/page2/ 2026-02-14T15:53:54+00:00 https://ionathan.ch/blog/page3/ 2026-02-14T15:53:54+00:00 https://ionathan.ch/blog/page4/ 2026-02-14T15:53:54+00:00 https://ionathan.ch/blog/page5/ 2026-02-14T15:53:54+00:00 https://ionathan.ch/blog/page6/ 2026-02-14T15:53:54+00:00 https://ionathan.ch/assets/agda/Berardi.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/agda/Coind.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/agda/Hurkens.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/agda/HurkensLower.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/agda/Ordinals.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/agda/Positivity.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/coq/Ordinals.html 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/bfcul.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/bsc-proposal.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/bsc-summary.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/bsc-thesis.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/cbpv-sn.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/ccnf.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/cgs-m-proposal.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/pstc-cpp2020.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/pstc-popl2021.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/rqual.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/src2022-abstract.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/stratt-cpp.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/stratt-esop.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/pdfs/stratt-fscd.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/cbpv-ccnf.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/internalizing-extensions.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/lean-pl.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/mutual-induction.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/paradoxes.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/silence-of-the-vowels.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/sized-dependent-types.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/sized-types-syntactic-model.pdf 2026-04-03T14:59:29+00:00 https://ionathan.ch/assets/slides/stratt.pdf 2026-04-03T14:59:29+00:00