https://blog.wybxc.cc/ 2000-01-01T00:00:00.000Z https://blog.wybxc.cc/posts/AI%E5%85%83%E7%81%AB%E5%A8%98%E7%AC%94%E8%AE%B0 2023-02-01T00:00:00.000Z https://blog.wybxc.cc/posts/CLion-%E4%B8%8E-Qt-Creator-%E5%8D%8F%E4%BD%9C%E9%85%8D%E7%BD%AE%E7%AC%94%E8%AE%B0 2022-05-09T00:00:00.000Z https://blog.wybxc.cc/posts/Delphi-%E5%A4%8D%E5%88%B6%E5%8A%A8%E6%80%81%E6%95%B0%E7%BB%84 2018-02-08T00:00:00.000Z https://blog.wybxc.cc/posts/Fate-%E4%B8%83%E6%97%A5%E5%9C%A3%E6%9D%AF%E6%88%98%E4%BA%89 2018-09-01T00:00:00.000Z https://blog.wybxc.cc/posts/Git-Remake 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/posts/GitHub-Action 2022-06-11T00:00:00.000Z https://blog.wybxc.cc/posts/Nitre%E8%AE%BE%E8%AE%A1%E6%96%87%E6%A1%A3 2022-05-01T00:00:00.000Z https://blog.wybxc.cc/posts/Python-%E5%8A%A8%E6%80%81%E5%AE%9E%E6%97%B6%E5%8F%AF%E8%A7%86%E5%8C%96%E5%9B%BE%E5%83%8F%E7%9A%84%E4%B8%80%E7%A7%8D%E5%A5%87%E6%80%AA%E5%AE%9E%E7%8E%B0 2020-04-15T00:00:00.000Z https://blog.wybxc.cc/posts/Ren'Py-%E6%97%A0%E4%B8%8A%E9%99%90%EF%BC%81 2021-06-17T00:00:00.000Z https://blog.wybxc.cc/posts/Runico%E8%AE%BE%E8%AE%A1%E6%96%87%E6%A1%A3 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/posts/Servo-%E7%A0%94%E7%A9%B6%E7%AC%94%E8%AE%B0%EF%BC%88%E4%B8%80%EF%BC%89 2023-05-08T00:00:00.000Z https://blog.wybxc.cc/posts/Steam-Deck-%E6%8A%98%E8%85%BE%E7%AC%94%E8%AE%B0 2025-09-11T00:00:00.000Z https://blog.wybxc.cc/posts/ 2004-01-01T00:00:00.000Z https://blog.wybxc.cc/posts/install-wsl 2023-06-13T00:00:00.000Z https://blog.wybxc.cc/posts/pretty-printer 2024-07-28T00:00:00.000Z https://blog.wybxc.cc/posts/rustc-codegen-c-1 2024-06-30T00:00:00.000Z https://blog.wybxc.cc/posts/%E4%B8%80%E4%B8%AA%E6%9C%89%E8%B6%A3%E7%9A%84%E6%A6%82%E7%8E%87%E8%AE%BA%E4%BD%AF%E8%B0%AC 2023-02-25T00:00:00.000Z https://blog.wybxc.cc/posts/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E4%BD%9C%E5%93%81%E9%89%B4%E8%B5%8F 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E7%AC%94%E8%AE%B0%EF%BC%9A%E5%8F%AF%E4%BF%A1%E5%BA%A6%E6%96%B9%E6%B3%95 2022-05-10T00:00:00.000Z https://blog.wybxc.cc/posts/%E4%BB%8E%E9%80%92%E5%BD%92%E5%88%B0%E9%80%92%E5%BD%92%EF%BC%9A%E6%89%8B%E5%B7%A5%E6%A0%88 2018-12-22T00:00:00.000Z https://blog.wybxc.cc/posts/%E4%BD%99%E5%AE%B4 2021-06-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%80%99%E9%B8%9F 2020-03-26T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%81%B6%E5%BE%97 2018-09-15T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%85%83%E6%95%B0%E5%AD%A6%EF%BC%9A%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91%E5%92%8C%E8%B0%93%E8%AF%8D%E9%80%BB%E8%BE%91 2022-05-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%85%B3%E4%BA%8EINFP 2021-02-03T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%85%B8%E8%AF%AD%E8%A8%80%E8%AE%BE%E8%AE%A1 2022-09-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%87%A0%E9%A6%96%E6%97%A7%E8%AF%97 2023-07-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%89%8D%E5%A4%95 2018-04-30T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%8D%83%E5%B9%B4%E4%B9%8B%E6%B5%B7 2023-04-22T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%A4%AA%E9%98%B3%E9%9B%A8%E8%BF%87%E5%90%8E 2023-07-08T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%A6%82%E6%9E%9C%E6%88%91%E5%B0%86%E6%B5%81%E6%94%BE 2024-12-25T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%AF%86%E7%A0%81%E5%AD%A6%E5%9F%BA%E7%A1%80%EF%BC%9A%E5%89%8D%E7%BD%AE%E7%9F%A5%E8%AF%86 2022-09-08T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%B9%B3%E6%91%8A%E5%88%86%E6%9E%90 2023-07-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%B9%BB%E8%82%A2 2022-12-06T00:00:00.000Z https://blog.wybxc.cc/posts/%E5%BC%80%E6%BA%90%E5%8D%8F%E8%AE%AE%E5%85%BC%E5%AE%B9%E6%80%A7%E6%9F%A5%E8%AF%A2 2023-03-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%80%8E%E6%A0%B7%E4%BC%98%E9%9B%85%E5%9C%B0%E5%88%A4%E6%96%AD%E4%B8%80%E4%B8%AA%E6%95%B0%E6%98%AF%E4%B8%8D%E6%98%AF%E8%B4%A8%E6%95%B0%EF%BC%9F 2020-03-17T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%88%91%E7%9A%84-Mac-%E8%A3%85%E6%9C%BA%E7%AC%94%E8%AE%B0 2025-04-17T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%88%91%E8%BA%AB%E5%B1%85%E5%AF%86%E6%9E%97 2023-10-06T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%89%A9%E5%B1%95%E6%AC%A7%E5%87%A0%E9%87%8C%E5%BE%97%E7%AE%97%E6%B3%95 2019-03-05T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%8A%BD%E8%B1%A1%E4%BA%BA%E7%9A%84%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0%EF%BC%9A%E6%9C%89%E9%99%90%E9%9B%86%E4%B8%8E%E6%97%A0%E9%99%90%E9%9B%86 2021-02-09T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%8A%BD%E8%B1%A1%E4%BA%BA%E7%9A%84%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0%EF%BC%9A%E9%99%AA%E9%9B%86%E4%B8%8E%E5%95%86%E7%BE%A4 2021-02-03T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%95%88%E7%94%A8%E7%90%86%E8%AE%BA%E4%B8%8E%E5%87%AF%E5%88%A9%E5%87%86%E5%88%99 2025-04-20T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%97%A5%E7%BB%8F%E7%AD%94%E7%96%91%EF%BC%9A%E6%B5%AE%E7%82%B9%E6%95%B0%E7%B2%BE%E5%BA%A6%E4%B9%8B%E8%B0%9C 2020-04-27T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%98%A5%E9%A9%B0 2025-02-14T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%9C%88%E5%A4%9C 2025-07-11T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%9D%A5%E5%92%8C%E6%80%A1%E5%A7%90%E8%81%8A%E8%81%8A%E5%A4%A9%E5%90%A7%EF%BC%81 2021-06-30T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%A2%A8%E9%9B%AA%E8%AE%B0 2025-01-30T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%AC%A7%E6%8B%89%E5%87%BD%E6%95%B0%E7%9A%84%E8%AE%A1%E7%AE%97%E5%BC%8F 2019-02-12T00:00:00.000Z https://blog.wybxc.cc/posts/%E6%B8%A1 2025-02-13T00:00:00.000Z https://blog.wybxc.cc/posts/%E7%94%A8-Python-%E6%9D%A5%E5%81%9A%E4%B8%80%E4%B8%AA%E8%81%8A%E5%A4%A9%E6%9C%BA%E5%99%A8%E4%BA%BA%E5%90%A7%EF%BC%81%EF%BC%88%E4%B8%80%EF%BC%89 2019-12-09T00:00:00.000Z https://blog.wybxc.cc/posts/%E7%94%A8-Python-%E6%9D%A5%E5%81%9A%E4%B8%80%E4%B8%AA%E8%81%8A%E5%A4%A9%E6%9C%BA%E5%99%A8%E4%BA%BA%E5%90%A7%EF%BC%81%EF%BC%88%E4%BA%8C%EF%BC%89 2020-02-05T00:00:00.000Z https://blog.wybxc.cc/posts/%E7%B2%BE%E5%87%86%E7%A9%BA%E9%99%8D%EF%BC%9F%E4%B8%8D%E5%AD%98%E5%9C%A8%E7%9A%84%EF%BC%81-%E2%80%94%E2%80%94%E8%A7%86%E9%A2%91%E7%BC%96%E7%A0%81%E7%9A%84%E4%B8%80%E4%BA%9B%E5%B0%8F%E7%9F%A5%E8%AF%86 2017-12-24T00:00:00.000Z https://blog.wybxc.cc/posts/%E8%B0%8E%E8%A8%80%E7%9A%84%E6%B8%B8%E6%88%8F 2018-05-06T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%80%92%E6%8E%A8%E6%95%B0%E5%88%97%E2%80%94%E2%80%94%E4%B8%8D%E5%8A%A8%E7%82%B9%E6%B3%95 2020-05-02T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%82%A3%E4%BA%9B%E6%83%B3%E5%81%9A%E8%BF%98%E6%B2%A1%E6%9D%A5%E5%BE%97%E5%8F%8A%E5%81%9A%E7%9A%84%E4%B8%9C%E8%A5%BF 2023-07-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%86%89%E5%90%8E%E5%81%B6%E4%BD%9C 2025-01-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%98%B3%E5%85%89%E7%9A%84%E6%B8%A9%E5%BA%A6 2020-09-01T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%9B%A8%E5%AE%AB%E6%97%B6%E9%9B%A8%EF%BC%88%E4%B8%80%EF%BC%89 2025-08-21T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%9B%A8%E5%AE%AB%E6%97%B6%E9%9B%A8%EF%BC%88%E4%B8%89%EF%BC%89 2025-08-21T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%9B%A8%E5%AE%AB%E6%97%B6%E9%9B%A8%EF%BC%88%E4%BA%8C%EF%BC%89 2025-08-21T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%9B%A8%E5%AE%AB%E6%97%B6%E9%9B%A8%EF%BC%88%E4%BA%94%EF%BC%89 2025-08-21T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%9B%A8%E5%AE%AB%E6%97%B6%E9%9B%A8%EF%BC%88%E5%85%AD%EF%BC%89 2025-08-21T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%9B%A8%E5%AE%AB%E6%97%B6%E9%9B%A8%EF%BC%88%E5%9B%9B%EF%BC%89 2025-08-21T00:00:00.000Z https://blog.wybxc.cc/posts/%E9%A3%8E%E9%93%83 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/AI%E7%BB%98%E7%94%BB%E4%BD%9C%E5%93%81%E9%89%B4%E8%B5%8F 2022-09-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/ChatGPT%E8%AF%95%E7%94%A8%E8%AE%B0%E5%BD%95 2022-12-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/Equational-based-semantics 2024-01-08T00:00:00.000Z https://blog.wybxc.cc/thoughts/GitHub%E7%94%A8%E6%88%B7%E9%A1%B5 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/HOL-Light-Proof-language 2024-01-31T00:00:00.000Z https://blog.wybxc.cc/thoughts/Imperative-Spec-%E7%9A%84%E4%B8%80%E4%BA%9B%E7%BB%86%E8%8A%82 2025-04-09T00:00:00.000Z https://blog.wybxc.cc/thoughts/Imperative-%E4%B8%8E-partial 2024-01-08T00:00:00.000Z https://blog.wybxc.cc/thoughts/Imperative-%E7%9A%84%E8%AF%AD%E6%B3%95%E9%99%90%E5%88%B6 2024-01-08T00:00:00.000Z https://blog.wybxc.cc/thoughts/Proof-by-Higher-order-unification 2025-04-09T00:00:00.000Z https://blog.wybxc.cc/thoughts/Tagged-union-%E7%9A%84%E8%AF%AD%E6%B3%95 2024-01-09T00:00:00.000Z https://blog.wybxc.cc/thoughts/Zettelkasten-%E6%96%B9%E6%B3%95 2024-01-08T00:00:00.000Z https://blog.wybxc.cc/thoughts/ 2003-01-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%B8%80%E4%BA%9B%E4%B8%8D%E7%9F%A5%E9%81%93%E5%A5%BD%E4%B8%8D%E5%A5%BD%E7%AC%91%E7%9A%84%E7%AC%91%E8%AF%9D 2022-12-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%B8%80%E4%BA%9B%E5%B0%8F%E8%AF%B4%E7%81%B5%E6%84%9F%E8%AE%B0%E5%BD%95 2024-01-19T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%B8%83%E6%9C%88%E6%97%A5%E5%AF%84 2022-09-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%B8%9C%E9%83%BD%E4%B9%8B%E6%A2%A6---%E5%A4%A7%E7%BA%B2 2024-10-25T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%B8%9C%E9%83%BD%E4%B9%8B%E6%A2%A6-%E6%95%85%E4%BA%8B%E8%83%8C%E6%99%AF 2024-01-19T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%B8%9C%E9%83%BD%E4%B9%8B%E6%A2%A6 2023-05-07T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%BB%8E-LCF-%E5%88%B0-HOL---totalness 2024-01-10T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E4%BD%A0%E5%A5%BD2023 2022-12-31T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%85%B3%E4%BA%8E%E2%80%9C%E5%9F%BA%E6%9C%AC%E7%B1%BB%E5%9E%8B%E2%80%9D 2022-05-25T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%88%86%E4%BA%AB%E4%B8%80%E5%BC%A0%E5%9B%BE%E7%89%87 2023-03-16T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%88%AB%E5%9C%A8%E8%BF%99%E9%87%8C%E5%8F%91%E7%99%AB 2022-09-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%9B%9B%E5%8F%A0%E5%8D%8A%E5%85%83%E7%81%AB%E5%A4%A7%E7%B3%BB---%E5%A4%A7%E7%BA%B2 2024-02-15T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%9B%BE%E6%A0%87%E8%AE%BE%E8%AE%A1 2022-05-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%A1%91%E6%96%99%E7%BA%AA%E5%85%83 2025-01-27T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%A5%B3%E7%94%9F%E8%AF%B4%E8%AF%9D%E5%83%8FXX%E7%9A%84%E6%AD%A3%E7%A1%AE%E6%96%B9%E5%BC%8F 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E5%BF%98%E5%BF%A7%E5%8C%97%E8%90%B1%E8%8D%89%E6%96%B0%E5%BD%A2%E8%B1%A1%E6%8A%AB%E9%9C%B2 2022-06-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%8A%80%E6%9C%AF%E9%83%A8%E8%AE%B2%E5%BA%A7%EF%BC%9A%E8%A7%86%E9%A2%91%E7%BC%96%E7%A0%81 2024-10-13T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%8A%9B%E4%B8%8B%E7%94%B5%E8%84%91%E4%B8%8A%E9%A3%9F%E5%A0%82%E5%8E%BB---%E5%A4%A7%E7%BA%B2 2024-03-27T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%96%B0%E7%BA%B8 2023-03-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%99%BA%E6%85%A7%E7%9A%84%E6%B5%8B%E8%AF%95%E8%87%AA%E5%8A%A8%E5%8C%96IDE 2022-12-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%9C%BA%E7%BF%BB%E7%94%9F%E8%8D%89 2022-05-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%9F%8F%E6%8B%89%E5%9B%BE%E8%AE%BA%E8%AF%97 2022-05-03T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%AF%94%E8%BE%83%E4%B8%8D%E5%90%8C-git-%E5%B7%A5%E4%BD%9C%E6%B5%81%E5%9C%A8%E6%80%A7%E8%B4%A8%E4%B8%8E%E8%A7%84%E6%A8%A1%E4%B8%8D%E5%90%8C%E7%9A%84%E5%BC%80%E6%BA%90%E9%A1%B9%E7%9B%AE%E4%B8%AD%E7%9A%84%E5%BA%94%E7%94%A8 2022-12-29T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E6%B8%85%E5%A4%8F%E6%B0%B8%E7%BB%88 2022-07-20T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E7%94%A8%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E8%AF%81%E6%98%8E%E5%8A%A0%E6%B3%95%E4%BA%A4%E6%8D%A2%E5%BE%8B 2024-04-18T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E7%99%BE%E5%90%88%E7%94%9F%E6%B6%AF%E4%B8%AA%E4%BA%BA%E5%96%9C%E5%A5%BD%E8%A1%A8 2023-03-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E7%A6%81%E5%BF%8C%E7%9A%84%E5%A4%8F%E4%B9%8B%E9%9B%AA-%E6%95%85%E4%BA%8B%E7%BA%BF 2024-02-03T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E7%A8%8B%E5%BA%8F%E9%AA%8C%E8%AF%81%EF%BC%9ALogic-for-Computable-Functions 2024-01-06T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E4%B8%8E%E9%9C%8D%E5%B0%94%E9%80%BB%E8%BE%91%E7%9A%84%E7%BB%93%E5%90%88%EF%BC%9A%E7%A8%8B%E5%BA%8F%E9%AA%8C%E8%AF%81%E7%9A%84%E7%90%86%E8%AE%BA%E4%B8%8E%E5%AE%9E%E8%B7%B5 2025-04-17T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E7%BC%96%E8%AF%91%E5%8E%9F%E7%90%86%E8%AF%BE%E7%A8%8B%E5%AE%9E%E8%B7%B5%E6%8A%A5%E5%91%8A 2024-01-20T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E8%99%9A%E6%98%8E%E5%AD%90%E5%88%AB%E4%BC%A0 2025-02-07T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E8%AE%A1%E7%BD%91-Lab-notes 2024-04-21T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E9%80%8F%E6%98%8E%E6%97%A5%E8%AE%B0%C2%B7%E5%BA%8F 2022-12-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E9%80%BB%E8%BE%91%E7%B3%BB%E7%BB%9F%E5%92%8C%E6%8C%87%E7%A7%B0%E8%AF%AD%E4%B9%89 2024-01-08T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E9%82%A3%E4%BA%9B%E6%88%91%E6%9C%AA%E5%AE%8C%E6%88%90%E7%9A%84%E9%A1%B9%E7%9B%AE 2023-03-01T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E9%93%83%E5%85%B0%E5%BC%80%E5%9C%A8%E7%AC%AC%E4%B8%83%E5%A4%9C 2025-01-28T00:00:00.000Z https://blog.wybxc.cc/thoughts/%E9%9A%8F%E6%9C%BA%E6%B5%8B%E8%AF%95%E6%A0%B7%E4%BE%8B%E7%94%9F%E6%88%90 2024-03-25T00:00:00.000Z