-
Notifications
You must be signed in to change notification settings - Fork 0
/
sitemap.xml
1 lines (1 loc) · 36.2 KB
/
sitemap.xml
1
<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://blog.formalscience.com/moments/</loc><lastmod>2023-02-28T12:19:51+00:00</lastmod></url><url><loc>https://blog.formalscience.com/</loc><lastmod>2023-02-28T12:19:51+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E9%80%80%E7%83%A7_20/</loc><lastmod>2023-02-28T12:19:51+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%8F%91%E7%83%A7-2_19/</loc><lastmod>2023-02-27T21:41:21+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%BA%86%E7%A5%9D_18/</loc><lastmod>2023-02-27T11:55:04+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%8F%91%E7%83%A7_17/</loc><lastmod>2023-02-26T21:14:44+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%B0%8F%E8%9C%9C%E8%9C%82_15/</loc><lastmod>2023-02-26T12:22:51+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%88%91%E7%9C%8B%E4%BD%A0%E5%83%8F%E5%8C%96%E7%9F%B3%E4%B9%8B-swindon-%E6%8C%96%E5%8C%96%E7%9F%B3%E7%9C%9F%E5%AE%9E%E5%9C%B0%E7%82%B9_16/</loc><lastmod>2023-02-26T19:43:13+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%BC%A0%E6%95%A2%E5%90%83_14/</loc><lastmod>2023-02-25T17:22:53+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%94%80%E5%B2%A9%E5%BF%AB%E4%B9%90%E5%95%8A_13/</loc><lastmod>2023-02-25T13:17:38+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%91%BD%E4%BB%A4_11/</loc><lastmod>2023-02-23T13:46:42+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%B1%9F%E6%B9%96%E4%BC%A0%E9%97%BB_10/</loc><lastmod>2023-02-23T13:06:57+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E9%87%91%E6%98%9F%E6%9C%A8%E6%98%9F%E5%92%8C%E6%9C%88%E4%BA%AE_12/</loc><lastmod>2023-02-23T18:03:33+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%8F%8C%E6%98%9F%E4%BC%B4%E6%9C%88_9/</loc><lastmod>2023-02-22T19:01:02+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/rainbow-formal-dinner_8/</loc><lastmod>2023-02-21T19:29:43+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%B0%8F%E5%BF%83%E7%BF%BC%E7%BF%BC%E7%9A%84-pancake-day_7/</loc><lastmod>2023-02-21T17:26:47+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/digital-nomad_5/</loc><lastmod>2023-02-20T09:23:32+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%8A%AC%E6%9D%A0_6/</loc><lastmod>2023-02-20T14:22:25+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%85%8D%E7%A8%8E%E8%B4%A6%E6%88%B7_3/</loc><lastmod>2023-02-19T13:18:17+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%B4%A2%E5%AF%8C%E6%80%BB%E9%87%8F_4/</loc><lastmod>2023-02-19T22:04:16+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%97%A0%E5%8A%9B%E7%9A%84%E4%B8%80%E5%A4%A9_2/</loc><lastmod>2023-02-18T16:55:35+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%8F%AA%E8%A6%81%E4%BD%A0%E5%96%9D%E7%83%AD%E5%B7%A7%E5%85%8B%E5%8A%9B%E6%88%91%E4%BB%AC%E5%B0%B1%E6%98%AF%E5%A5%BD%E5%85%84%E5%BC%9F_0/</loc><lastmod>2023-02-17T13:32:16+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%9C%B4%E7%B4%A0%E4%B8%80%E9%A4%90_1/</loc><lastmod>2023-02-17T19:40:27+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/film-night_26/</loc><lastmod>2023-02-15T10:01:04+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%89%BA%E6%9C%AF_27/</loc><lastmod>2023-02-15T22:04:01+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/moment/</loc><lastmod>2023-02-13T23:02:04+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/</loc><lastmod>2023-02-13T23:02:04+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%87%AA%E5%B7%B1-p-%E7%AD%BE%E8%AF%81%E7%85%A7%E7%89%87_25/</loc><lastmod>2023-02-13T23:02:04+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%88%86%E8%AE%BA%E4%B8%8E%E8%A7%82%E5%BF%B5_24/</loc><lastmod>2023-02-13T09:41:38+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%88%91%E5%9C%A8%E6%98%A5%E5%A4%A9%E4%B9%9F%E6%83%B3%E5%8F%91%E8%8A%BD_23/</loc><lastmod>2023-02-12T09:58:24+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%98%9F%E8%88%B0_22/</loc><lastmod>2023-02-12T09:41:15+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/sad_20/</loc><lastmod>2023-02-11T23:10:31+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E4%B9%9F%E8%AE%B8%E5%BA%94%E8%AF%A5%E5%9B%9E%E5%BD%92%E7%94%9F%E6%B4%BB_21/</loc><lastmod>2023-02-11T23:14:12+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E9%9A%BE%E8%BF%87_19/</loc><lastmod>2023-02-11T22:54:40+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%98%A5_18/</loc><lastmod>2023-02-10T20:53:55+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%80%81%E9%BC%A0_17/</loc><lastmod>2023-02-10T17:48:23+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%AE%89%E5%85%A8%E6%84%9F_15/</loc><lastmod>2023-02-09T08:30:09+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E6%8A%95%E8%B5%84/</loc><lastmod>2023-02-09T08:35:46+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%8A%95%E8%B5%84%E8%A7%82_16/</loc><lastmod>2023-02-09T08:35:46+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E7%AE%80%E5%8D%95%E4%B8%80%E9%A4%90_14/</loc><lastmod>2023-02-09T08:28:14+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%98%A5%E5%A4%A9_13/</loc><lastmod>2023-02-05T16:25:38+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/moments_8/</loc><lastmod>2023-02-04T23:20:04+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%BD%A9%E8%99%B9%E6%88%BF%E5%AD%90_11/</loc><lastmod>2023-02-04T23:51:11+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%8B%BF%E7%8E%AB%E7%91%B0%E7%9A%84%E4%BA%BA_12/</loc><lastmod>2023-02-04T23:55:49+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%9D%A5%E5%88%B0%E6%98%9F%E5%B7%B4%E5%85%8B%E7%9A%84%E5%8E%9F%E5%9B%A0%E6%9C%89%E5%BE%88%E5%A4%9A_7/</loc><lastmod>2023-02-04T11:57:47+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E7%AE%80%E5%8D%95%E4%B8%80%E9%A4%90_9/</loc><lastmod>2023-02-04T23:29:34+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%8E%AB%E6%AF%94%E4%B9%8C%E6%96%AF%E7%81%AF_10/</loc><lastmod>2023-02-04T23:45:47+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E4%BA%8C%E6%89%8B%E7%8E%AB%E7%91%B0_6/</loc><lastmod>2023-02-03T23:39:24+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%91%94%E4%BA%86_5/</loc><lastmod>2023-02-03T22:04:24+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E6%9C%B4%E7%B4%A0%E4%B8%80%E9%A4%90_4/</loc><lastmod>2023-02-02T19:02:03+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E9%87%8D%E8%A6%81_3/</loc><lastmod>2023-02-02T09:01:01+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E4%BA%89%E8%AE%BA_2/</loc><lastmod>2023-02-01T10:21:22+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E5%B9%BF%E5%91%8A_1/</loc><lastmod>2023-02-01T00:15:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/moments/%E8%AE%BA%E5%8D%B7_0/</loc><lastmod>2023-01-29T00:15:50+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/11/01/2022-11-01_nc500_end/</loc><lastmod>2022-11-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/</loc><lastmod>2022-11-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/posts/</loc><lastmod>2022-11-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/road-trip/</loc><lastmod>2022-11-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/scotland/</loc><lastmod>2022-11-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E6%97%85%E8%A1%8C/</loc><lastmod>2022-11-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/10/27/2022-10-27_nc500/</loc><lastmod>2022-10-27T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/gke/</loc><lastmod>2022-09-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/ingress/</loc><lastmod>2022-09-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/k8s/</loc><lastmod>2022-09-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/09/15/2022-09-15_ingress-k8s/</loc><lastmod>2022-09-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/nginx/</loc><lastmod>2022-09-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E6%8A%80%E6%9C%AF%E8%AE%B0%E5%BD%95/</loc><lastmod>2022-09-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/oxford/</loc><lastmod>2022-08-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/08/22/2022-08-22_shadow_light/</loc><lastmod>2022-08-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E6%83%85%E6%84%9F/</loc><lastmod>2022-08-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E8%AF%97%E6%AD%8C/</loc><lastmod>2022-08-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/wechat-blogs/</loc><lastmod>2022-08-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E5%8F%B0%E6%B9%BE/</loc><lastmod>2022-08-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/wechat-blogs/rain/</loc><lastmod>2022-08-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E8%AF%BB%E4%B9%A6%E8%A7%82%E5%BD%B1/</loc><lastmod>2022-08-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E9%A9%AC%E6%9D%A5%E8%A5%BF%E4%BA%9A%E6%96%87%E5%AD%A6/</loc><lastmod>2022-08-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/07/28/2022-07-28_peaceful_uncles/</loc><lastmod>2022-07-28T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E7%94%9F%E6%B4%BB/</loc><lastmod>2022-07-28T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/07/06/2022-07-06_concert_mid_summer/</loc><lastmod>2022-07-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/06/14/2022-06-14_moon/</loc><lastmod>2022-06-14T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/06/13/2022-06-13_spring/</loc><lastmod>2022-06-13T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/06/06/2022-06-06_price_of_love/</loc><lastmod>2022-06-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/05/24/2022-05-24_untitled/</loc><lastmod>2022-05-24T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2022/05/01/2022-05-01_mayday_oxford/</loc><lastmod>2022-05-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%B8%AD%E5%AD%A6%E7%94%9F%E7%9A%84%E6%BC%94%E8%AE%B2/</loc><lastmod>2021-06-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/</loc><lastmod>2021-06-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E8%B1%86%E7%93%A3/</loc><lastmod>2021-06-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E8%B1%86%E7%93%A3/</loc><lastmod>2021-06-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%BD%A0%E5%A5%BD%E6%9D%8E%E7%84%95%E8%8B%B1/</loc><lastmod>2021-02-19T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E7%BC%98%E5%88%86/</loc><lastmod>2021-01-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%B2%A1%E6%9C%89%E5%BF%83%E5%8A%A8/</loc><lastmod>2020-10-25T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%88%91%E6%83%B3%E5%A4%9A%E8%B5%9A%E7%82%B9%E9%92%B1%E5%8F%AF%E8%B5%9A%E9%92%B1%E6%98%AF%E4%B8%BA%E4%BA%86%E4%BB%80%E4%B9%88/</loc><lastmod>2020-09-27T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%84%A4%E6%80%92/</loc><lastmod>2020-05-28T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2020/01/01/2020-01-01_2020-guidelines/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%96%B0%E7%9A%84%E4%B8%80%E5%B9%B4%E4%B8%8D%E4%BC%9A%E6%9B%B4%E5%A5%BD%E4%BD%86%E6%88%91%E6%83%B3%E8%AF%95%E8%AF%95/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E7%94%9F%E6%B4%BB/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E8%A7%84%E5%88%92/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E8%A7%84%E5%88%92/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/travel/</loc><lastmod>2019-08-24T14:27:13+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2019/09/24/2019-09-24-rent-in-edinburgh/</loc><lastmod>2019-08-24T14:27:13+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2019/02/17/2019-02-17_to_bangkok/</loc><lastmod>2019-02-17T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E8%AF%A5%E6%98%AF%E6%97%B6%E5%80%99%E4%BA%86/</loc><lastmod>2019-02-12T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%9C%A8%E9%98%BF%E5%8B%92%E6%B3%B0%E7%94%9F%E6%B4%BB%E7%9A%84%E4%B8%80%E5%B9%B4%E5%B9%BB%E6%83%B3%E6%96%87%E5%AD%A6/</loc><lastmod>2019-01-16T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%BF%A1%E4%BB%B0%E4%B9%8B%E8%B7%83-leap-of-faith/</loc><lastmod>2019-01-13T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%8E%A8%E6%88%BF%E4%B8%8E%E8%BF%9C%E6%96%B9/</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%B8%80%E4%B8%8D%E8%A6%81%E5%9C%A8%E9%9B%A8%E4%B8%AD%E8%B7%B3%E8%B7%83/</loc><lastmod>2018-12-27T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/12/26/2018-12-26-go-to-rust/</loc><lastmod>2018-12-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/golang/</loc><lastmod>2018-12-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/rust/</loc><lastmod>2018-12-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/tech-notes/</loc><lastmod>2018-12-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/12/13/2018-12-13-pip-install-package-offline/</loc><lastmod>2018-12-13T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/python/</loc><lastmod>2018-12-13T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E5%9B%9E%E5%BF%86%E4%B8%AD%E8%80%81%E5%8E%BB/</loc><lastmod>2018-12-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/12/06/2018-12-06-%E8%BF%98%E5%9C%A8%E4%B8%8B%E9%9B%A8/</loc><lastmod>2018-12-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/11/30/2018-11-30-escape-from-escape-analysis/</loc><lastmod>2018-11-30T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/programming-language/</loc><lastmod>2018-11-30T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/11/21/2018-11-21-golang-receiver-type/</loc><lastmod>2018-11-21T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/10/17/2018-10-17-%E4%BA%9A%E5%BA%87%E6%B8%B8%E8%AE%B0/</loc><lastmod>2018-10-17T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%A1%82%E8%8A%B1%E5%AD%A3/</loc><lastmod>2018-09-14T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/08/21/2018-08-21_golang_exception_handling/</loc><lastmod>2018-08-21T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%BC%80%E4%B8%8D%E5%BC%80%E5%BF%83%E7%9A%84%E4%BA%8B%E6%83%85/</loc><lastmod>2018-07-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%81%B0%E4%B8%8D%E6%81%B0%E5%BD%93%E7%9A%84%E6%AF%94%E5%96%BB/</loc><lastmod>2018-07-25T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%88%91%E6%83%B3/</loc><lastmod>2018-07-23T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/07/22/2018-07-22_commands/</loc><lastmod>2018-07-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E7%94%B5%E6%B1%A0%E4%BA%BA%E7%94%9F/</loc><lastmod>2018-07-09T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E6%84%9F%E6%82%9F/</loc><lastmod>2018-07-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/07/06/2018-07-06-battery-life/</loc><lastmod>2018-07-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/06/23/2018-06-23_update_vps_ubuntu_version/</loc><lastmod>2018-06-23T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/2016-%E5%A1%9E%E7%BD%95%E5%9D%9D%E8%A1%8C%E5%8A%A8/</loc><lastmod>2018-06-02T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/05/27/2018-05-27_2016_%E5%8D%81%E4%B8%80%E5%A1%9E%E7%BD%95%E5%9D%9D%E8%A1%8C%E5%8A%A8/</loc><lastmod>2018-05-02T19:43:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E5%B1%B1%E9%87%8E/</loc><lastmod>2018-05-02T19:43:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E8%83%BD%E6%94%B9%E5%8F%98%E7%9A%84%E4%BA%8B%E6%83%85%E5%92%8C%E4%B8%8D%E8%83%BD%E6%94%B9%E5%8F%98%E7%9A%84%E4%BA%8B%E6%83%85/</loc><lastmod>2018-05-13T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/05/12/2018-05-12_%E7%90%86%E8%A7%A3_c-_traits/</loc><lastmod>2018-05-02T19:43:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%9C%AA%E6%9D%A5%E7%9A%84%E8%B7%AF/</loc><lastmod>2018-05-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/c++-traits-%E7%89%B9%E6%80%A7%E4%BB%A5%E5%8F%8A%E4%B8%80%E7%AF%87%E5%B0%8F%E4%BD%9C%E6%96%87/</loc><lastmod>2018-05-02T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E7%9F%A5%E4%B9%8E%E5%9B%9E%E7%AD%94%E5%A6%82%E6%9E%9C%E8%BF%87%E5%87%A0%E5%B9%B4ai%E5%B0%B1%E4%B8%9A%E5%BD%A2%E5%8A%BF%E4%B8%8D%E5%A5%BD%E4%BA%86%E5%90%B4%E6%81%A9%E8%BE%BE%E7%AD%89%E4%BA%BA%E5%8F%8A%E7%9F%A5%E4%B9%8E%E5%8A%9D%E5%85%A5ai%E5%85%9A%E4%BC%9A%E4%B8%8D%E4%BC%9A%E8%A2%AB%E6%89%B9%E5%88%A4/</loc><lastmod>2018-04-01T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%AF%B9%E6%A4%8D%E7%89%A9%E7%9A%84%E5%96%9C%E7%88%B1/</loc><lastmod>2018-03-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%88%91%E5%92%8C%E7%88%B1%E5%9B%A0%E6%96%AF%E5%9D%A6/</loc><lastmod>2018-03-15T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%96%9C%E5%AE%B4%E8%A7%A3%E8%AF%BB%E7%9A%84%E5%BC%B9%E5%B9%95/</loc><lastmod>2018-03-05T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%A4%9C%E6%9D%A5%E5%BF%BD%E6%A2%A6%E5%B0%91%E5%B9%B4%E4%BA%8B%E4%BA%8C/</loc><lastmod>2018-03-03T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E9%98%B3%E5%85%89%E5%B0%91%E5%B9%B4/</loc><lastmod>2018-03-03T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E8%87%AA%E6%88%91%E4%BB%8B%E7%BB%8D/</loc><lastmod>2018-02-23T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/01/21/2018-01-21_how-does-monero-work-%E7%AC%94%E8%AE%B0/</loc><lastmod>2018-01-21T15:46:20+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/note/</loc><lastmod>2018-01-21T15:46:20+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/01/17/2018-01-17_%E4%B8%A4%E4%B8%AA%E7%8E%BB%E7%92%83%E7%90%83%E7%BD%91%E4%B8%8A%E6%B5%81%E4%BC%A0%E7%9A%84%E9%9D%A2%E8%AF%95%E9%A2%98/</loc><lastmod>2018-01-17T19:57:18+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E9%9D%A2%E8%AF%95%E9%A2%98/</loc><lastmod>2018-01-17T19:57:18+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/01/15/2018-01-15_golang-%E7%B3%BB%E7%BB%9F%E8%B0%83%E7%94%A8-syscall/</loc><lastmod>2018-01-15T20:59:11+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/01/14/2018-01-14_golang-%E4%B8%AD%E5%AD%A6%E5%88%B0%E7%9A%84%E6%96%B0%E4%B8%9C%E8%A5%BF/</loc><lastmod>2018-01-14T11:53:30+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/01/13/2018-01-13_%E4%BD%BF%E7%94%A8-nvidia-%E6%98%BE%E5%8D%A1%E5%8A%A0%E9%80%9F%E6%9C%BA%E5%99%A8%E5%AD%A6%E4%B9%A0%E7%AE%97%E6%B3%95%E7%9A%84%E4%B8%80%E4%BA%9B%E8%B5%84%E6%96%99/</loc><lastmod>2018-01-13T13:14:09+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2018/01/12/2018-01-12_%E4%B8%80%E4%BA%9B%E6%9C%89%E8%B6%A3%E7%9A%84%E9%A1%B9%E7%9B%AE_protocol_labs/</loc><lastmod>2018-01-12T21:37:21+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2017/11/11/2017-11-11-bar/</loc><lastmod>2017-11-19T11:41:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%B8%A4%E6%B1%9F%E5%88%B0%E5%8F%8C%E6%B5%81/</loc><lastmod>2017-08-19T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E7%94%9F%E6%B4%BB%E7%9A%84%E4%B8%80%E4%B8%AA%E8%8A%82%E7%82%B9/</loc><lastmod>2017-06-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%B0%8F%E5%AD%A6%E7%94%9F%E6%97%A5%E8%AE%B0%E4%B8%80%E5%88%99/</loc><lastmod>2017-03-22T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2017/01/24/2017-01-24_%E6%88%91%E4%B8%80%E7%94%9F%E7%9A%84%E6%95%85%E4%BA%8B/</loc><lastmod>2017-01-24T01:07:28+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2017/01/18/2017-01-18_ingress-passcode-%E8%87%AA%E5%8A%A8%E6%8F%90%E4%BA%A4/</loc><lastmod>2017-01-18T13:10:10+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2017/01/16/2017-01-16_%E5%A6%82%E4%BD%95%E6%9E%84%E5%BB%BA%E4%B8%80%E4%B8%AA_java_agent/</loc><lastmod>2017-01-16T18:58:28+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E7%9B%B8%E6%80%9D-%E5%A4%B4%E6%8C%89%E5%85%A5%E6%B0%B4%E9%87%8C/</loc><lastmod>2017-01-10T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2017/01/10/2017-01-10_%E7%9B%B8%E6%80%9D_-_%E5%A4%B4%E8%A2%AB%E6%8C%89%E5%85%A5%E6%B0%B4%E9%87%8C/</loc><lastmod>2017-01-10T00:07:33+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E8%AF%97%E6%AD%8C%E7%9A%84%E6%B5%B7%E6%B4%8B/</loc><lastmod>2017-01-10T00:07:33+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/09/16/2016-09-16_windows_%E6%8E%A8%E8%8D%90%E8%BD%AF%E4%BB%B6/</loc><lastmod>2016-09-16T10:56:11+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/08/25/2016-08-25_%E6%AC%B2%E8%BE%A9%E5%B7%B2%E5%BF%98%E8%A8%80/</loc><lastmod>2016-08-25T20:33:11+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/05/17/2016-05-17_%E5%AF%B9%E6%B1%9F%E8%8B%8F%E9%AB%98%E8%80%83%E5%87%8F%E5%B0%91%E6%8B%9B%E7%94%9F%E5%90%8D%E9%A2%9D%E7%9A%84%E4%B8%80%E7%82%B9%E7%9C%8B%E6%B3%95/</loc><lastmod>2016-05-17T11:03:22+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E8%A7%82%E7%82%B9/</loc><lastmod>2016-05-17T11:03:22+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/05/15/2016-05-15_%E4%B8%80%E7%82%B9%E5%B0%8F%E7%9A%84%E6%84%9F%E6%82%9F/</loc><lastmod>2016-05-15T11:16:50+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/02/03/2016-02-03_%E4%B8%BA%E4%BB%80%E4%B9%88_haskell_%E4%B8%AD_%E5%87%BD%E6%95%B0%E7%B1%BB%E5%9E%8B_%E4%B8%8D%E6%98%AF_show_%E7%B1%BB%E5%9E%8B%E7%B1%BB%E7%9A%84%E5%AE%9E%E4%BE%8B/</loc><lastmod>2016-02-03T10:01:41+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/02/03/2016-02-03_%E5%87%BD%E6%95%B0%E5%BC%8F%E8%AF%AD%E8%A8%80%E8%AF%BE%E7%A8%8B%E6%9C%9F%E6%9C%AB%E8%80%83%E8%AF%95%E5%88%A4%E5%8D%B7%E4%B8%AD%E9%81%87%E5%88%B0%E7%9A%84%E4%B8%80%E4%B8%AA%E9%97%AE%E9%A2%98/</loc><lastmod>2016-02-03T10:36:57+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/01/12/2016-01-12_%E5%80%9A%E7%9D%80%E7%9F%B3%E5%A4%B4%E6%99%92%E5%A4%AA%E9%98%B3/</loc><lastmod>2016-01-12T10:36:49+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2016/01/09/2016-01-09_%E9%97%9C%E6%96%BC_llvm_pass_%E7%9A%84%E4%B8%80%E4%BA%9B%E5%9F%BA%E6%9C%AC%E6%93%8D%E4%BD%9C/</loc><lastmod>2016-01-09T21:46:48+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/31/2015-12-31_%E5%B1%B1%E9%87%8E%E5%86%AC%E5%AD%A3%E9%87%8E%E8%90%A5%E7%81%B5%E5%B1%B1/</loc><lastmod>2016-01-04T10:32:07+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/19/2015-12-19_%E7%AC%AC%E4%B8%80%E6%AC%A1%E6%BB%91%E9%9B%AA/</loc><lastmod>2015-12-19T15:54:53+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/18/2015-12-18_%E5%81%B7%E5%81%B7/</loc><lastmod>2015-12-18T00:39:13+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/18/2015-12-18_%E8%BF%87%E5%8E%BB%E4%B8%8E%E6%9C%AA%E6%9D%A5/</loc><lastmod>2015-12-18T00:56:02+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/17/2015-12-17_%E4%B8%80%E7%82%B9%E6%9D%82%E6%80%9D/</loc><lastmod>2015-12-17T16:33:27+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/17/2015-12-17_%E6%97%B6%E5%85%89%E5%A6%82%E6%AD%8C%E4%BD%A0%E6%88%91%E6%9D%A5%E5%92%8C/</loc><lastmod>2015-12-17T16:42:01+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/17/2015-12-17_%E6%B8%B8%E4%BA%91/</loc><lastmod>2015-12-17T16:37:33+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/15/2015-12-15_%E6%94%80%E5%B2%A9%E8%A7%86%E9%A2%91%E6%95%99%E7%A8%8B%E6%94%B6%E9%9B%86/</loc><lastmod>2015-12-15T13:34:08+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/12/11/2015-12-11_thinkpad_t430_windowsubuntu_dual_boot/</loc><lastmod>2015-12-11T10:03:56+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/11/28/2015-11-28_%E6%88%B7%E5%A4%96%E6%8A%80%E8%83%BD%E5%A4%A7%E8%B5%9B%E4%B8%AA%E4%BA%BA%E6%84%9F%E6%83%B3/</loc><lastmod>2015-12-18T16:51:28+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/functional-programming/</loc><lastmod>2015-10-22T07:37:41+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/haskell/</loc><lastmod>2015-10-22T07:37:41+00:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/%E5%87%BD%E6%95%B0%E5%BC%8F%E8%AF%AD%E8%A8%80/</loc><lastmod>2015-10-22T07:37:41+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/10/22/2015-10-22_%E9%82%A3%E4%BA%9B%E5%85%B3%E4%BA%8E%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B%E5%92%8C%E5%87%BD%E6%95%B0%E5%BC%8F%E7%BC%96%E7%A8%8B%E8%AF%AD%E8%A8%80%E7%9A%84%E7%A5%9E%E8%AF%9D%E8%AF%91/</loc><lastmod>2015-10-22T07:37:41+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/09/12/2015-09-12_%E9%86%92%E7%8B%AE%E6%9D%AF/</loc><lastmod>2015-12-18T00:52:28+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/08/22/2015-08-22_%E5%A4%9C%E6%9D%A5%E5%BF%BD%E6%A2%A6%E5%B0%91%E5%B9%B4%E4%BA%8B%E4%B8%80/</loc><lastmod>2015-08-22T00:34:51+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/08/15/2015-08-15_%E6%83%85%E4%B9%A6/</loc><lastmod>2015-08-15T08:28:47+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/06/13/2015-06-13_%E8%85%90%E8%B4%A5%E9%87%8E%E8%90%A5%E6%80%BB%E7%BB%93_%E9%BB%91%E5%A4%9C%E9%87%8C%E5%BD%93%E9%AB%98%E6%AD%8C/</loc><lastmod>2015-06-14T07:05:23+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/05/15/2015-05-15_%E4%B8%BA%E8%87%AA%E5%B7%B1%E7%9A%84%E7%94%9F%E6%B4%BB%E5%BE%AE%E7%AC%91%E4%B8%80/</loc><lastmod>2015-05-15T01:02:46+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2015/05/09/2015-05-09_%E5%90%8E%E6%B2%B3%E6%8B%89%E7%BB%83/</loc><lastmod>2015-05-10T15:55:33+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/10/22/2014-10-22_%E6%B2%89%E5%85%A5%E6%B0%B4%E5%BA%95/</loc><lastmod>2014-10-22T11:25:15+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/07/02/2014-07-02_%E4%B8%8A%E5%8D%8A%E5%B9%B4%E7%9A%84%E5%87%BA%E8%A1%8C/</loc><lastmod>2014-07-02T12:38:27+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/06/30/2014-06-30_%E5%A4%8F%E6%97%A5%E7%9A%84%E9%A3%8E%E5%85%89%E4%B9%9F%E5%A6%82%E6%AD%A4%E6%98%8E%E5%AA%9A%E5%87%A4%E5%87%B0%E5%B2%AD-%E5%A4%A7%E8%A7%89%E5%AF%BA%E6%8B%89%E7%BB%83/</loc><lastmod>2014-06-30T11:19:49+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/06/05/2014-06-05_%E5%89%A7%E6%9C%AC%E9%94%99%E4%B9%B1%E7%9A%84%E5%A4%AA%E7%99%BD%E5%B1%B1%E4%B9%8B%E6%97%85_-_%E4%B8%8D%E6%98%AF%E5%90%8E%E8%AE%B0%E7%9A%84%E5%90%8E%E8%AE%B0/</loc><lastmod>2014-06-05T15:29:06+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/06/05/2014-06-05_%E5%89%A7%E6%9C%AC%E9%94%99%E4%B9%B1%E7%9A%84%E5%A4%AA%E7%99%BD%E5%B1%B1%E4%B9%8B%E6%97%854/</loc><lastmod>2014-06-05T13:51:46+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/05/27/2014-05-27_%E5%89%A7%E6%9C%AC%E9%94%99%E4%B9%B1%E7%9A%84%E5%A4%AA%E7%99%BD%E5%B1%B1%E4%B9%8B%E6%97%853/</loc><lastmod>2014-05-27T17:04:52+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/05/15/2014-05-15_%E5%89%A7%E6%9C%AC%E9%94%99%E4%B9%B1%E7%9A%84%E5%A4%AA%E7%99%BD%E5%B1%B1%E4%B9%8B%E6%97%852/</loc><lastmod>2014-05-15T01:12:01+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/05/06/2014-05-06_%E5%89%A7%E6%9C%AC%E9%94%99%E4%B9%B1%E7%9A%84%E5%A4%AA%E7%99%BD%E5%B1%B1%E4%B9%8B%E6%97%851/</loc><lastmod>2014-05-06T16:43:23+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2014/04/09/2014-04-09_%E8%B0%81%E4%B9%9F%E4%B8%8D%E8%A6%81%E9%84%99%E8%A7%86%E8%B0%81/</loc><lastmod>2014-04-09T00:11:33+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/11/25/2013-11-25_%E5%AE%8C%E7%BE%8E%E4%B8%BB%E4%B9%89%E5%80%BE%E5%90%91/</loc><lastmod>2013-11-25T04:39:41+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/09/10/2013-09-10_%E5%A6%82%E6%AD%A4%E6%84%A4%E6%80%92%E5%A6%82%E6%AD%A4%E7%9F%9B%E7%9B%BE/</loc><lastmod>2013-09-10T03:48:47+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/09/02/2013-09-02_%E4%B8%BA%E4%BB%80%E4%B9%88%E7%94%A8clojure%E4%BB%A5%E5%8F%8A%E4%B8%80%E7%82%B9%E6%84%9F%E6%82%9F/</loc><lastmod>2013-09-02T12:12:39+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/05/28/2013-05-28_%E5%BB%BA%E6%A8%A1%E8%AF%AD%E8%A8%80/</loc><lastmod>2013-05-28T16:40:19+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/04/12/2013-04-12_%E5%94%AF%E6%84%BF%E4%B8%8D%E5%A4%B1%E6%9C%AC%E5%BF%83/</loc><lastmod>2013-04-12T12:39:59+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/04/04/2013-04-04_%E8%AF%BB%E6%B0%91%E5%9B%BD%E9%82%A3%E4%BA%9B%E4%BA%BA-%E9%B2%81%E8%BF%85%E5%90%8C%E6%97%B6%E4%BB%A3%E4%BA%BA/</loc><lastmod>2013-04-04T08:43:52+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/03/27/2013-03-27_archlinux_install_notes/</loc><lastmod>2013-03-27T00:57:22+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2013/02/01/2013-02-01_%E6%88%91%E6%9E%9C%E7%84%B6%E8%BF%98%E6%98%AF%E5%96%9C%E6%AC%A2%E5%86%99%E6%97%A5%E8%AE%B0%E8%83%9C%E4%BA%8E%E5%86%99%E5%8D%9A%E5%AE%A2/</loc><lastmod>2013-02-01T10:20:44+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/11/13/2012-11-13_python%E4%BD%BF%E7%94%A8smtplib%E5%8F%91%E9%80%81%E9%82%AE%E4%BB%B6/</loc><lastmod>2012-11-13T10:50:48+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/11/12/2012-11-12_%E5%9F%BA%E4%BA%8Eopenshift%E6%90%AD%E5%BB%BAmediawiki/</loc><lastmod>2012-11-12T15:45:19+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/10/26/2012-10-26_%E5%AE%87%E5%AE%99%E5%B0%8F%E7%99%BE%E7%A7%91/</loc><lastmod>2012-10-26T15:07:02+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/%E5%AE%87%E5%AE%99%E5%B0%8F%E7%99%BE%E7%A7%91/</loc><lastmod>2012-10-26T15:07:02+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/08/23/2012-08-23_%E6%88%91%E7%9A%84mstc%E7%94%9F%E6%B6%AF-%E6%AD%A4%E7%94%9F%E8%8B%A5%E5%8F%AA%E5%A6%82%E5%88%9D%E8%A7%81/</loc><lastmod>2012-08-23T14:58:23+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/08/19/2012-08-19_spin%E5%B7%A5%E5%85%B7%E7%9A%84eclipse%E9%9B%86%E6%88%90/</loc><lastmod>2012-08-19T02:40:45+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/08/15/2012-08-15_%E5%A6%82%E6%9E%9C%E6%88%91%E6%8D%A2%E4%B8%80%E4%B8%AA%E5%9C%B0%E6%96%B9%E7%94%9F%E6%B4%BB/</loc><lastmod>2012-08-15T13:20:19+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/08/15/2012-08-15_%E7%BB%99%E6%88%91%E6%97%B6%E9%97%B4%E6%9D%A5%E5%86%99%E8%AF%97/</loc><lastmod>2012-08-15T12:45:28+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/07/10/2012-07-10_%E6%9C%80%E8%BF%91%E7%9C%8B%E7%9A%84%E4%B9%A6/</loc><lastmod>2012-07-10T09:55:29+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/06/28/2012-06-28_%E5%A6%82%E4%BD%95%E5%A2%9E%E5%8A%A0%E4%BA%BA%E4%BA%BA%E7%BD%91%E7%9A%84%E8%AE%BF%E9%97%AE%E9%87%8F/</loc><lastmod>2012-06-28T03:32:39+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/06/17/2012-06-17_eclipse%E5%AF%BC%E5%85%A5github%E5%BA%93/</loc><lastmod>2012-06-17T13:42:47+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/06/03/2012-06-03_%E5%A6%82%E4%BD%95%E7%BB%99wordpress%E5%8D%9A%E5%AE%A2%E6%8D%A2%E4%B8%80%E4%B8%AAfavicon%E5%9B%BE%E6%A0%87/</loc><lastmod>2012-06-03T16:56:18+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/04/20/2012-04-20_hello_world/</loc><lastmod>2012-04-20T18:56:18+00:00</lastmod></url><url><loc>https://blog.formalscience.com/2012/04/05/2012-04-05_%E5%88%9D%E8%AF%95%E5%A6%99%E5%B3%B0%E5%B1%B1/</loc><lastmod>2016-01-14T14:56:14+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%B8%83%E5%B9%B4%E4%B9%8B%E7%97%92/</loc><lastmod>2011-04-26T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%98%8E%E5%A4%A9%E6%B8%85%E5%8D%8E%E6%A0%A1%E5%BA%86/</loc><lastmod>2011-04-23T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E4%BA%BA%E5%9C%A8%E6%B8%85%E5%8D%8E/</loc><lastmod>2011-03-11T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E8%B5%B0%E9%A9%AC%E8%A7%82%E8%8A%B1%E7%81%AF/</loc><lastmod>2011-02-23T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E8%80%81%E5%AE%B6%E7%9A%84%E6%83%85%E6%99%AF/</loc><lastmod>2011-02-04T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%88%91%E4%B8%BA%E4%BB%80%E4%B9%88%E5%AF%B9%E4%B8%A4%E5%93%8D%E5%BF%83%E5%AD%98%E7%95%8F%E6%83%A7/</loc><lastmod>2011-02-02T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E8%BF%87%E5%B9%B4%E7%9A%84%E5%BF%83%E6%83%85/</loc><lastmod>2011-01-30T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%97%A5%E8%90%BD/</loc><lastmod>2011-01-21T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E6%98%A8%E5%A4%A9%E8%B7%91%E6%AD%A5%E8%B7%91%E4%BA%866/</loc><lastmod>2011-01-06T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%96%9C%E5%BC%80%E5%AD%A6%E7%9A%84%E5%AD%A3%E8%8A%82/</loc><lastmod>2009-08-30T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E5%87%8C%E6%99%A8%E7%9A%84%E5%9B%9B%E7%82%B9%E9%92%9F%E4%B8%8D%E4%BA%89%E6%B0%94%E7%9A%84%E4%BB%A3%E7%A0%81/</loc><lastmod>2009-08-17T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/douban/%E9%80%9D%E5%8E%BB%E7%9A%84%E9%9D%92%E6%98%A5/</loc><lastmod>2009-08-16T00:00:00+00:00</lastmod></url><url><loc>https://blog.formalscience.com/categories/about/</loc><lastmod>1989-02-28T16:00:00+08:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/prospection/</loc><lastmod>1989-02-28T16:00:00+08:00</lastmod></url><url><loc>https://blog.formalscience.com/tags/retrospection/</loc><lastmod>1989-02-28T16:00:00+08:00</lastmod></url><url><loc>https://blog.formalscience.com/about/</loc><lastmod>1989-02-28T16:00:00+08:00</lastmod></url></urlset>