https://example.com/ 2026-01-09T10:00:00+08:00 https://example.com/categories/ 2026-01-09T10:00:00+08:00 https://example.com/tags/clash/ 2026-01-09T10:00:00+08:00 https://example.com/tags/mihomo/ 2026-01-09T10:00:00+08:00 https://example.com/tags/nginx/ 2026-01-09T10:00:00+08:00 https://example.com/posts/snippet/nginx-config/ 2026-01-09T10:00:00+08:00 https://example.com/posts/ 2026-01-09T10:00:00+08:00 https://example.com/posts/snippet/ 2026-01-09T10:00:00+08:00 https://example.com/categories/snippet/ 2026-01-09T10:00:00+08:00 https://example.com/tags/ 2026-01-09T10:00:00+08:00 https://example.com/posts/snippet/clash-config/ 2026-01-09T10:00:00+08:00 https://example.com/tags/nftables/ 2025-12-22T16:00:00+08:00 https://example.com/posts/snippet/nftables-config/ 2025-12-22T16:00:00+08:00 https://example.com/tags/bash/ 2026-01-09T10:00:00+08:00 https://example.com/tags/openssl/ 2026-01-09T10:00:00+08:00 https://example.com/posts/snippet/issue-cert/ 2026-01-09T10:00:00+08:00 https://example.com/tags/c%23/ 2025-05-16T17:30:00+08:00 https://example.com/tags/f%23/ 2025-05-16T17:30:00+08:00 https://example.com/tags/generic/ 2025-05-16T17:30:00+08:00 https://example.com/tags/java/ 2025-05-16T17:30:00+08:00 https://example.com/posts/language/ 2025-05-16T17:30:00+08:00 https://example.com/categories/language/ 2025-05-16T17:30:00+08:00 https://example.com/tags/python/ 2025-05-16T17:30:00+08:00 https://example.com/tags/scala/ 2025-05-16T17:30:00+08:00 https://example.com/tags/tbd/ 2025-05-16T17:30:00+08:00 https://example.com/posts/language/generic/ 2025-05-16T17:30:00+08:00 https://example.com/tags/markdown/ 2025-05-12T16:30:00+08:00 https://example.com/posts/snippet/markdown-snippets/ 2025-05-12T16:30:00+08:00 https://example.com/posts/language/java-updates/ 2025-05-11T09:00:00+08:00 https://example.com/about/ 2025-05-01T00:00:00+08:00 https://example.com/archives/ 2025-05-01T00:00:00+08:00 https://example.com/search/ 2025-05-01T00:00:00+08:00 https://example.com/tags/iptables/ 2025-12-08T10:00:00+08:00 https://example.com/posts/snippet/iptables-command/ 2025-12-08T10:00:00+08:00 https://example.com/links/ 2025-05-06T16:30:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-2/2.limit-and-colimit/ 2020-09-03T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ 2025-05-06T15:25:00+08:00 https://example.com/categories/category-theory/ 2025-05-06T15:25:00+08:00 https://example.com/tags/category-theory/ 2025-05-06T15:25:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/ 2025-05-06T15:25:00+08:00 https://example.com/tags/category-theory-for-programmers/ 2025-05-06T15:25:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-2/ 2020-09-03T00:00:00+08:00 https://example.com/posts/mathematics/ 2025-05-06T15:25:00+08:00 https://example.com/categories/translation-of-category-theory-for-programmers/ 2020-09-03T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-2/1.category-theory-and-declarative-programming/ 2020-08-30T00:00:00+08:00 https://example.com/tags/code-style/ 2020-08-10T21:20:00+08:00 https://example.com/posts/language/scala/ 2020-08-10T21:20:00+08:00 https://example.com/posts/language/scala/scala-style/ 2020-08-10T21:20:00+08:00 https://example.com/posts/platform/spark/ 2021-04-29T20:30:00+08:00 https://example.com/posts/platform/ 2021-04-29T20:30:00+08:00 https://example.com/categories/spark/ 2021-04-29T20:30:00+08:00 https://example.com/tags/spark/ 2021-04-29T20:30:00+08:00 https://example.com/tags/spark-notes/ 2021-04-29T20:30:00+08:00 https://example.com/posts/platform/spark/spark-notes/ 2021-04-29T20:30:00+08:00 https://example.com/tags/haskell/ 2020-05-28T00:00:00+08:00 https://example.com/tags/higher-kinded-type/ 2020-05-28T00:00:00+08:00 https://example.com/posts/language/higher-kinded-type/ 2020-05-28T00:00:00+08:00 https://example.com/categories/category-theory-notes/ 2025-05-06T15:25:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/ctfp-notes-1/ 2025-05-06T15:25:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/10.natural-transformations/ 2020-04-04T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/ 2020-04-04T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/9.function-type/ 2020-04-01T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/8.functoriality/ 2020-03-26T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/7.functors/ 2020-03-21T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/6.simple-algebraic-data-type/ 2020-03-20T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/5.products-and-coproducts/ 2020-03-19T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/4.kleisli-categories/ 2020-03-18T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/3.categories-great-and-small/ 2020-03-17T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/intro/ 2025-05-06T15:25:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/2.types-and-functions/ 2020-03-11T00:00:00+08:00 https://example.com/posts/mathematics/category-theory/ctfp/part-1/1.category-the-essence-of-composition/ 2020-03-10T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/1-environment-prepare/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/2-scala-intro/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/3-spark-intro/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/4-real-dev-tips/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/5-exam/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/6-answer/ 2020-03-09T00:00:00+08:00 https://example.com/categories/spark-development-tutorial/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/ 2020-03-09T00:00:00+08:00 https://example.com/posts/platform/spark/spark-dev-tutorial/0-intro/ 2020-03-09T00:00:00+08:00 https://example.com/posts/language/fsharp/ 2017-10-16T00:00:00+08:00 https://example.com/posts/language/fsharp/fsharp-note-2/ 2017-10-16T00:00:00+08:00 https://example.com/tags/cron-exporession/ 2017-09-14T00:00:00+08:00 https://example.com/tags/java-library/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/ 2017-09-14T00:00:00+08:00 https://example.com/tags/quartz/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/ 2017-09-14T00:00:00+08:00 https://example.com/categories/quartz-tutorial/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/10.advanced-features/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/11.miscellaneous-features/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/8.job-store/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/9.configuration-resourceusage-schedulerfactory/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/cron-expression/ 2017-09-14T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/5.cron-trigger/ 2017-09-13T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/6.triggerlistener-joblistener/ 2017-09-13T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/7.schedulerlistener/ 2017-09-13T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/4.simple-trigger/ 2017-09-09T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/3.trigger/ 2017-09-04T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/2.job-and-job-detail/ 2017-09-03T00:00:00+08:00 https://example.com/posts/library/quartz-tutorial/1.using-quartz/ 2017-08-28T00:00:00+08:00 https://example.com/posts/language/learn-powershell-3/ 2017-08-14T00:00:00+08:00 https://example.com/tags/powershell/ 2017-08-14T00:00:00+08:00 https://example.com/tags/css/ 2017-07-29T00:00:00+08:00 https://example.com/posts/language/css-selector/ 2017-07-29T00:00:00+08:00 https://example.com/posts/language/fsharp/fsharp-note-1/ 2017-07-23T00:00:00+08:00 https://example.com/posts/paradigm/functional/ 2016-11-07T00:00:00+08:00 https://example.com/tags/functional-programming/ 2016-11-07T00:00:00+08:00 https://example.com/posts/paradigm/ 2016-11-07T00:00:00+08:00 https://example.com/tags/quick-sort/ 2016-11-07T00:00:00+08:00 https://example.com/posts/paradigm/functional/quicksort-in-csharp-java-fsharp/ 2016-11-07T00:00:00+08:00 https://example.com/posts/framework/ https://example.com/posts/paradigm/objec-oriented/