https://www.gaeblog.com/2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/about2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/admin2026-03-18T22:07:35Zweekly0.8https://www.gaeblog.com/archives2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page102026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page112026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page122026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page132026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page142026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page22026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page32026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page42026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page62026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page52026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page72026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page82026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/page92026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20172026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20182026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20192026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20212026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20232026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20242026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20252026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/archives/20262026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/algorithm2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/category-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/cloud-computing2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/compiler2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/cooking2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/distributed-system2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/game-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/garbage-collection2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/interpreter2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/jekyll2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/operating-system2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/profiler2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/programming-language-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/programming-languages2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/proof-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/random2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/software-defined-networking2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/statistics2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/type-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/virtual-machine2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/categories/virtualization2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/algorithm2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/aws2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/blog2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/books2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/category-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/cms2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/compiler2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/container2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/cookie2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/distributed-system2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/file-system2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/game-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/garbage-collection2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/gil2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/iaas2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/interpreter2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/iterm2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/jekyll2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/logic2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/math2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/memory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/mosh2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/netlify2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/paas2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/philosophy2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/profiler2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/programming-languages2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/proof-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/quantum2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/sdn2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/slides2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/statistics2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/syscall2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/thread2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/tmux2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/type-theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/virtual-machine2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/virtualization2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E4%B8%89%E6%96%87%E9%B1%BC2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E5%8F%91%E9%85%B52026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E7%89%9B%E8%82%892026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E7%8C%AA%E8%82%892026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E7%94%9C%E7%82%B92026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E7%B1%B3%E9%A5%AD2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E7%B3%95%E7%82%B92026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E7%BE%8A%E8%82%892026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E8%99%BE2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E8%B5%AB%E7%82%8E2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E9%85%B1%E6%B1%812026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E9%A5%AE%E6%96%992026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/tags/%E9%B8%A1%E8%82%892026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/algorithm/2017/06/08/Introduction-to-Algorithm2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/algorithm/2017/06/09/Fibonacci-Heap2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/algorithm/2017/06/10/Basic-Quantum-Computing2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/algorithm/2017/06/11/Cache-Oblivious-Algorithms2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/algorithm/2017/06/20/Bit-Hacks2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/category%20theory/2018/02/24/Introduction-to-Category-Theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cloud%20computing/2017/06/08/AWS-Introduction2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cloud%20computing/2017/06/08/Some-Slides-about-Containers2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cloud%20computing/2017/06/08/Some-Slides-about-PaaS2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cloud%20computing/2018/07/06/In-Searching-Counter-Examples-for-Ramsey-Number2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/compiler/2017/06/08/Dynamic-Compilation2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/01/13/oven-baked-st-louis-spare-ribs2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/01/13/risotto%E5%81%B7%E6%87%92%E7%89%882026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/01/13/roasted-prime-ribs2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/01/13/%E8%84%86%E7%9A%AE%E7%83%A7%E8%82%892026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/01/16/gumbo-without-okra2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/02/27/%E5%B7%B4%E6%96%AF%E5%85%8B%E8%9B%8B%E7%B3%952026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/02/27/%E7%83%A4%E5%8F%89%E7%83%A72026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/03/13/roast-beef-brisket2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2023/09/15/cr%C3%A8me-br%C3%BBl%C3%A9e2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/02/19/%E8%91%B1%E8%92%9C%E9%85%B12026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/02/20/citrus%E6%9E%9C%E6%B1%812026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/02/20/parsley%E9%A6%99%E8%8F%9C%E9%85%B12026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/02/20/%E7%94%9C%E6%A4%92%E6%B4%8B%E8%91%B1%E9%85%B12026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/02/20/%E8%B6%8A%E5%8D%97style%E8%92%9C%E9%85%B12026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/07/19/avocado-smoothie2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/12/27/%E7%84%A6%E7%B3%96%E7%82%BC%E5%A5%B62026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2024/12/31/%E6%BD%AE%E6%B1%95%E8%82%89%E4%B8%B82026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/01/05/%E8%90%9D%E5%8D%9C-%E8%8A%8B%E5%A4%B4%E7%B3%952026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/01/05/%E9%B8%A1%E8%82%9D%E9%85%B1p%C3%A2t%C3%A92026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/07/04/bolognese2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/07/06/%E7%A9%BA%E6%B0%94%E7%82%B8%E9%94%85%E7%83%A7%E8%82%892026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/07/06/%E7%BE%8A%E8%82%89%E6%89%8B%E6%8A%93%E9%A5%AD2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/07/06/%E8%83%A1%E6%A4%92%E7%8C%AA%E8%82%9A%E9%B8%A12026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/08/24/%E4%B8%89%E6%96%87%E9%B1%BC%E7%B3%96-candied-salmon2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/08/24/%E4%B9%B3%E9%85%B8%E8%8F%8C%E8%85%8C%E8%8F%9C2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/08/24/%E7%94%9F%E8%85%8C%E4%B8%89%E6%96%87%E9%B1%BCgravlax-lox2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/08/24/%E8%91%A1%E5%9B%BD%E9%B8%A12026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/04/20/%E6%BD%AE%E6%B1%95%E7%89%9B%E8%82%89%E4%B8%B8%E6%94%B9%E8%89%AF%E7%89%882026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2025/09/02/butter-cookie-%E8%93%9D%E7%BD%90%E6%9B%B2%E5%A5%87%E7%89%882026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/cooking/2026/03/18/%E5%B9%BF%E5%BC%8F%E4%BA%91%E5%90%9E2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/distributed%20system/2019/07/24/Streaming-Systems2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/game%20theory/2017/08/26/Combinatorial-Game-Theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/game%20theory/2017/09/10/Matrix-Game-Theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/distributed%20system/2019/08/15/Data-Encoding-and-Transmission2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/distributed%20system/2019/08/15/Data-Models-Querys-and-Storage2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/garbage%20collection/2017/11/18/Garbage-Collection2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/interpreter/2017/06/08/Interpreter-Optimization2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/jekyll/2019/01/20/Jekyll-Search-Solutions2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/interpreter/2018/06/28/Python-Global-Interpreter-Lock2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/jekyll/2023/01/08/website-infrastructure-updates2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/Condition-Variables2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/File-System2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/Introduction-to-Threads2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/Kthreads2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/Memory-Management2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/Race-Conditions2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/Semaphore2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/08/System-Calls2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/2017/06/26/Signals2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/profiler/2017/06/08/Program-Profiling2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/2018/02/17/Basic-Programming-Language-Theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/2018/02/17/Sum-and-Product-Types2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/2018/02/24/Equational-Reasoning2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/random/2017/06/08/first-post2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/random/2017/06/09/%E8%B5%AB%E7%82%8E%E5%89%8D%E5%9B%9B%E7%AB%A0%E6%84%9F%E6%83%B32026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/random/2017/10/09/Remote-Shell-Session-Setup2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/random/2021/03/09/Some-Personal-Updates2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/random/2023/01/03/Some-Recent-Updates2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/statistics/2017/06/26/Markov-Chains2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2018/02/19/Type-Theory-Foundations2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2018/02/20/Basic-Computational-Type-Theory2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2018/09/09/Polymorphic-Functional-Programming2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2018/09/30/Logical-Equivalence-for-Polymorphic-Types2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/proof%20theory/2018/02/18/Computational-Interpretation2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/proof%20theory/2018/02/18/Judgements-and-Propositions2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/proof%20theory/2018/02/18/Sequent-Calculus2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2019/01/18/Recursive-Programs2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2019/01/20/Recursive-Types2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2019/01/21/imperative-programming2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20language%20theory/type%20theory/2019/01/22/Cost-Semantics2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/programming%20languages/virtual%20machine/2017/06/08/Programming-Language-Virtual-Machine2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/software-defined%20networking/cloud%20computing/2017/06/08/SDN-Introduction2026-03-18T22:11:40Zweekly0.8https://www.gaeblog.com/operating%20system/virtualization/cloud%20computing/2017/06/08/Operating-System-Virtualization2026-03-18T22:11:40Zweekly0.8