/posts/%E5%A6%82%E4%BD%95%E5%8C%BA%E5%88%86%E8%AF%97%E8%AF%8D%E4%B8%AD%E7%9A%84%E5%B9%B3%E4%BB%84%E5%A3%B0/ 2023-12-10T04:14:56+00:00 /posts/%E7%A6%85%E5%AE%97%E5%85%AC%E6%A1%88-%E5%85%AD%E7%A5%96%E8%A1%A3%E9%92%B5/ 2023-12-10T04:14:56+00:00 /posts/%E6%B8%B8%E6%88%8F%E5%BC%95%E6%93%8E%E6%9E%B6%E6%9E%84%E5%88%86%E5%B1%82/ 2023-12-10T04:14:56+00:00 /posts/Referring-to-Visual-Aids/ 2023-12-10T04:14:56+00:00 /posts/Using-Effective-Visual-Aids-in-Presentation/ 2023-07-12T19:30:23+01:00 /posts/%E5%85%B3%E4%BA%8E-%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4/ 2026-03-22T08:27:39+00:00 /posts/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4-%E6%91%98%E5%BD%95-%E4%B8%87%E5%8E%86%E7%AF%87/ 2023-12-10T04:14:56+00:00 /posts/Academic-Writing-Checklist/ 2023-12-10T04:14:56+00:00 /posts/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4-%E6%91%98%E5%BD%95-%E7%94%B3%E6%97%B6%E8%A1%8C%E7%AF%87/ 2023-12-10T04:14:56+00:00 /posts/%E7%9A%AE%E5%9B%8A-%E6%91%98%E5%BD%95/ 2023-12-10T04:14:56+00:00 /posts/Overview-of-Academic-Essay/ 2024-04-05T00:22:21+01:00 /posts/Academic-Essay-Introductions/ 2023-12-10T04:14:56+00:00 /posts/Academic-Essay-Paragraphs/ 2024-02-21T21:06:29+00:00 /posts/Find-Reliable-Sources-for-Academic-Essay/ 2023-12-10T04:14:56+00:00 /posts/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4-%E6%91%98%E5%BD%95-%E6%B5%B7%E7%91%9E%E7%AF%87/ 2023-12-10T04:14:56+00:00 /posts/Academic-Integrity/ 2023-12-10T04:14:56+00:00 /posts/How-To-Cite-Sources/ 2023-12-16T23:10:37+00:00 /posts/Academic-Essay-Conclusions/ 2023-12-10T04:14:56+00:00 /posts/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4-%E6%91%98%E5%BD%95-%E6%88%9A%E7%BB%A7%E5%85%89%E7%AF%87/ 2023-12-10T04:14:56+00:00 /posts/Sorting-Algorithms/ 2026-03-22T08:27:39+00:00 /posts/Array/ 2023-09-04T13:46:00+01:00 /posts/Linked-List/ 2023-09-05T12:45:00+01:00 /posts/Linked-List2/ 2023-09-06T14:45:00+01:00 /posts/Stack-and-Queues/ 2023-09-07T16:45:00+01:00 /posts/Recursive/ 2024-04-27T23:37:14+01:00 /posts/High-Performance-Sorting/ 2024-04-27T23:37:14+01:00 /posts/Binary-Search/ 2024-08-03T22:42:13+01:00 /posts/Skip-List/ 2023-09-11T13:00:00+01:00 /posts/Hash-Table/ 2023-09-12T13:00:00+01:00 /posts/Create-Hash-Table/ 2023-09-13T13:00:00+01:00 /posts/Hash-Table-And-List/ 2024-06-30T22:57:55+01:00 /posts/Binary-Tree/ 2024-06-07T16:49:05+01:00 /posts/Binary-Search-Tree/ 2023-09-16T13:00:00+01:00 /posts/Red-Black-Tree/ 2023-09-17T13:00:00+01:00 /posts/Graph/ 2023-09-18T13:00:00+01:00 /posts/First-Search/ 2024-06-07T18:16:51+01:00 /posts/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4-%E6%91%98%E5%BD%95-%E6%9D%8E%E8%B4%BD%E7%AF%87/ 2023-12-10T04:14:56+00:00 /posts/What-is-Software-Engineering/ 2023-12-10T04:14:56+00:00 /posts/Computer-Science-Terminology-in-English-and-Chinese/ 2024-04-27T23:37:14+01:00 /posts/Introduction-to-Project-Management/ 2023-12-10T04:14:56+00:00 /posts/Automated-Software-Verification/ 2024-03-16T22:45:32+00:00 /posts/Introduction-To-Agile-Project-Management/ 2023-12-10T04:14:56+00:00 /posts/Transition-Systems/ 2024-03-16T22:41:40+00:00 /posts/Linear-Temporal-Logic/ 2024-10-06T11:14:46+01:00 /posts/Software-Modelling-and-Design/ 2023-12-10T04:14:56+00:00 /posts/What-is-Clean-Code/ 2024-03-16T22:41:40+00:00 /posts/Excerpts-from-Clean-Code/ 2024-02-22T20:41:39+00:00 /posts/Clean-Code-Meaningful-Names/ 2024-03-16T22:41:40+00:00 /posts/B%C3%BCchi-Automaton/ 2024-03-16T22:41:40+00:00 /posts/Unified-Modelling-Language-(UML)/ 2023-12-10T04:14:56+00:00 /posts/Use-Case-Diagrams-in-UML/ 2023-12-10T04:14:56+00:00 /posts/Class-Diagrams-in-UML/ 2023-12-10T04:14:56+00:00 /posts/Clean-Code-Functions/ 2023-12-10T04:14:56+00:00 /posts/Clean-Code-Comments/ 2023-12-10T04:14:56+00:00 /posts/The-Project-Management-Process-Groups/ 2023-12-10T04:14:56+00:00 /posts/Initiating-Projects/ 2023-12-10T04:14:56+00:00 /posts/State-Machine-Diagrams-in-UML/ 2023-12-10T04:14:56+00:00 /posts/Sequence-Diagram-in-UML/ 2023-12-10T04:14:56+00:00 /posts/Activity-Diagrams-in-UML/ 2023-12-10T04:14:56+00:00 /posts/Planning-Projects-Scope/ 2023-12-10T04:14:56+00:00 /posts/Planning-Projects-Schedule/ 2023-12-10T04:14:56+00:00 /posts/Clean-Code-Formatting/ 2023-12-10T04:14:56+00:00 /posts/Java-Version-History/ 2023-12-10T04:14:56+00:00 /posts/Java-Platform/ 2024-01-26T20:58:14+00:00 /posts/Explicit-State-Model-Checking/ 2024-07-06T20:02:19+01:00 /posts/Architectural-Design/ 2023-12-10T04:14:56+00:00 /posts/Clean-Code-Structure/ 2024-01-31T19:24:55+00:00 /posts/Planning-Projects-Cost/ 2023-12-10T04:14:56+00:00 /posts/JVM/ 2023-12-10T04:14:56+00:00 /posts/Clean-Code-Error/ 2024-01-27T00:32:30+00:00 /posts/How-Java-Run/ 2023-12-10T04:14:56+00:00 /posts/Design-Patterns/ 2023-12-10T04:14:56+00:00 /posts/Data-Modelling/ 2023-12-10T04:14:56+00:00 /posts/Symbolic-Model-Checking/ 2024-10-05T13:47:01+01:00 /posts/Binary-Decision-Diagrams/ 2023-12-10T04:14:56+00:00 /posts/Memory-Management-in-JVM/ 2023-12-10T04:14:56+00:00 /posts/Security-By-Design/ 2023-12-10T04:14:56+00:00 /posts/Planning-Projects-Quality/ 2023-12-10T04:14:56+00:00 /posts/Planning-Projects-Resource/ 2023-12-10T04:14:56+00:00 /posts/Planning-Projects-Communication/ 2023-12-10T04:14:56+00:00 /posts/Planning-Projects-Risk/ 2023-12-10T04:14:56+00:00 /posts/Clean-Code-Boundaries/ 2023-12-10T04:14:56+00:00 /posts/NuSMV-Model-Checker/ 2023-12-10T04:14:56+00:00 /posts/Some-Interesting-in-Java/ 2024-02-20T19:37:51+00:00 /posts/Basic-Knowledge-In-Java/ 2024-07-05T22:17:44+01:00 /posts/JIT-in-Java/ 2024-01-26T20:58:14+00:00 /posts/Introduction-to-Formal-Methods/ 2024-01-02T20:13:00+00:00 /posts/Introduction-to-Event-B/ 2023-12-10T04:14:56+00:00 /posts/Relations-and-Functions-in-Event-B/ 2024-01-02T20:13:00+00:00 /posts/SAT-Solvers/ 2023-12-10T04:14:56+00:00 /posts/Collections-in-Java/ 2024-04-12T03:42:19+01:00 /posts/Clean-Code-Unit-Tests/ 2023-12-10T04:14:56+00:00 /posts/Bounded-Model-Checking/ 2024-04-09T21:21:04+01:00 /posts/Deductive-Verification/ 2024-01-20T01:07:24+00:00 /posts/OOP/ 2024-06-08T20:46:50+01:00 /posts/Extension-Refinement-in-Event-B/ 2023-12-10T04:14:56+00:00 /posts/SOLID/ 2024-09-18T17:29:49+01:00 /posts/SRP/ 2024-09-18T17:29:49+01:00 /posts/OCP/ 2024-09-18T17:29:49+01:00 /posts/LSP/ 2024-09-18T17:29:49+01:00 /posts/ISP/ 2024-09-18T17:29:49+01:00 /posts/Handling-Proofs-in-Event-B/ 2024-01-02T20:13:00+00:00 /posts/Lists-and-Collections-in-Event-B/ 2024-01-02T20:13:00+00:00 /posts/DIP/ 2024-09-18T17:29:49+01:00 /posts/Composition/ 2024-09-18T17:29:49+01:00 /posts/What-is-Refactoring/ 2024-02-02T20:36:04+00:00 /posts/Refactoring-Principles/ 2023-12-21T18:24:00+00:00 /posts/Refactoring-Limitations/ 2023-12-21T20:30:00+00:00 /posts/Bad-Smells-in-Code/ 2023-12-28T23:26:49+00:00 /posts/Software-Testing/ 2024-01-20T19:47:42+00:00 /posts/Threat-Modeling/ 2024-01-20T18:01:00+00:00 /posts/TDD/ 2024-01-25T20:56:55+00:00 /posts/JDK-Command/ 2024-01-25T20:30:00+00:00 /posts/GC/ 2024-01-26T20:00:00+00:00 /posts/Null/ 2024-01-26T23:09:00+00:00 /posts/OOP-POP-FOP-AOP/ 2024-01-27T22:35:27+00:00 /posts/Clean-Code-Classes/ 2024-02-02T20:36:04+00:00 /posts/Clean-Code-Systems/ 2024-02-18T01:36:05+00:00 /posts/Clean-Code-Emergency/ 2024-02-18T17:56:46+00:00 /posts/Database-Introduction/ 2024-02-18T16:14:00+00:00 /posts/Database-Index/ 2024-02-18T18:22:00+00:00 /posts/Reverse-Engineering/ 2024-02-19T11:37:00+00:00 /posts/Clean-Code-Concurrency/ 2024-02-21T17:45:23+00:00 /posts/Java-Mutilthreading/ 2024-02-21T19:53:00+00:00 /posts/Java-Thread-Pool/ 2024-02-22T20:34:00+00:00 /posts/Java-Locks/ 2024-02-22T19:16:00+00:00 /posts/Big-Refactoring/ 2024-02-25T18:29:00+00:00 /posts/Getter-Setter/ 2024-04-05T00:22:21+01:00 /posts/TVP/ 2024-03-03T19:26:00+00:00 /posts/Buffer-Overflow/ 2024-03-07T21:00:00+00:00 /posts/Singleton-Pattern/ 2024-09-18T17:29:49+01:00 /posts/Relational-Algebra/ 2024-04-09T21:21:04+01:00 /posts/Query-Processing/ 2024-04-09T21:21:04+01:00 /posts/Cost-Estimation/ 2024-04-09T21:21:04+01:00 /posts/Query-Optimisation/ 2024-10-06T11:14:46+01:00 /posts/Execution-Models/ 2024-04-14T22:35:08+01:00 /posts/Algorithms-DB/ 2024-04-14T22:38:31+01:00 /posts/Red-Black-Tree-2/ 2024-05-03T22:46:00+01:00 /posts/B+_Trees/ 2026-03-22T08:27:39+00:00 /posts/String-Matching-Algorithms/ 2024-06-08T19:54:00+01:00 /posts/String-Matching-Algorithms2/ 2024-06-09T19:23:00+01:00 /posts/Greedy-Algorithms/ 2024-06-11T23:24:28+01:00 /posts/Divide-and-Conquer/ 2024-06-18T23:52:30+01:00 /posts/Backtracking/ 2024-06-30T22:57:55+01:00 /posts/Dynamic-Programming/ 2024-06-20T00:33:02+01:00 /posts/Comparative-Analysis/ 2024-10-06T11:14:46+01:00 /posts/Bit-Map/ 2024-06-30T22:57:55+01:00 /posts/Software-Architecture/ 2024-06-30T20:19:00+01:00 /posts/Architecture-Principle/ 2024-07-01T23:05:26+01:00 /posts/Read-Write-Separation/ 2024-07-02T21:06:00+01:00 /posts/Sharding-Partitioning/ 2024-10-04T00:05:15+01:00 /posts/Cache-Architecture/ 2024-07-05T20:55:00+01:00 /posts/Load-Balancing/ 2024-08-20T20:06:16+01:00 /posts/CAP/ 2024-10-06T11:14:46+01:00 /posts/Design-Principles/ 2024-09-18T16:36:00+01:00 /posts/Visitor-Pattern/ 2026-03-22T08:27:39+00:00 /posts/SOA-Microservices/ 2024-10-07T12:12:00+01:00 /posts/Best-Microservices/ 2024-10-11T14:07:14+01:00 /posts/Claude-Code-The-AI-Powered-Coding-Assistant/ 2026-03-22T12:30:00+00:00 /posts/Harness-Engineering-Lessons-from-OpenAIs-Agent-First-Development/ 2026-03-22T17:02:02+00:00 /posts/Harness-Engineering-OpenAI%E7%9A%84%E6%99%BA%E8%83%BD%E4%BD%93%E4%BC%98%E5%85%88%E5%BC%80%E5%8F%91%E5%AE%9E%E9%AA%8C/ 2026-03-22T17:11:40+00:00 /posts/Harness-Engineering/ 2026-03-30T04:51:00+01:00 /posts/Introduction-to-Classical-Music/ 2026-04-02T18:39:07+01:00 /categories/ 2026-04-02T18:39:35+01:00 /tags/ 2026-04-02T18:39:35+01:00 /archives/ 2026-04-02T18:39:35+01:00 /gallery/ 2026-04-02T18:39:35+01:00 /about/ 2026-04-02T18:39:35+01:00 /gallery/Bangkok.html /gallery/Bergen.html /gallery/Brockenhurst.html /gallery/Cambridge.html /gallery/Chengdu.html /gallery/Chongqing.html /gallery/Eastbourne.html /gallery/Edinburgh.html /gallery/Fuji.html /gallery/Glasgow.html /gallery/Guanshan.html /gallery/Helsinki.html /gallery/Kyoto.html /gallery/London.html /gallery/MountHua.html /gallery/Nara.html /gallery/Osaka.html /gallery/Oslo.html /gallery/Paris.html /gallery/Phuket.html /gallery/Qingdao.html /gallery/Shanghai.html /gallery/Southampton.html /gallery/Tampere.html /gallery/Tokyo.html /gallery/Voss.html /gallery/Weymouth.html /gallery/Xi'an.html /gallery/Xi'an2.html /gallery/Yuncheng.html /gallery/cat.html / /tags/%E8%AF%97%E8%AF%8D/ /tags/buddhism/ /tags/%E7%A6%85/ /tags/presentation/ /tags/literature/ /tags/history/ /tags/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4/ /tags/academic-writing/ /tags/%E7%9A%AE%E5%9B%8A/ /tags/computer-science/ /tags/algorithm/ /tags/data-structure/ /tags/software-engineering/ /tags/terminology/ /tags/project-management/ /tags/software-verification/ /tags/model-checking/ /tags/agile/ /tags/transition-systems/ /tags/ltl/ /tags/software-modelling-and-design/ /tags/clean-code/ /tags/code/ /tags/b%C3%BCchi-automaton/ /tags/uml/ /tags/oop/ /tags/process-groups/ /tags/wbs/ /tags/aon/ /tags/java/ /tags/jvm/ /tags/architecture/ /tags/design-patterns/ /tags/database/ /tags/bdds/ /tags/software-security/ /tags/event-b/ /tags/set-theory/ /tags/solid/ /tags/design-principles/ /tags/refactoring/ /tags/microservices/ /tags/generated-by-ai/ /tags/claude-code/ /tags/ai-assistant/ /tags/anthropic/ /tags/development-workflow/ /tags/openai/ /tags/codex/ /tags/ai-agents/ /tags/software-development/ /tags/agent-first/ /tags/ai%E6%99%BA%E8%83%BD%E4%BD%93/ /tags/%E8%BD%AF%E4%BB%B6%E5%BC%80%E5%8F%91/ /tags/%E6%99%BA%E8%83%BD%E4%BD%93%E4%BC%98%E5%85%88/ /tags/harness-engineering/ /tags/ai%E4%BB%A3%E7%90%86/ /tags/%E4%BB%A3%E7%A0%81%E7%94%9F%E6%88%90/ /tags/%E5%B7%A5%E7%A8%8B%E5%AE%9E%E8%B7%B5/ /tags/%E5%8F%A4%E5%85%B8%E9%9F%B3%E4%B9%90/ /tags/%E9%9F%B3%E4%B9%90%E5%8E%86%E5%8F%B2/ /tags/%E9%9F%B3%E4%B9%90%E6%AC%A3%E8%B5%8F/ /tags/%E5%B7%B4%E6%B4%9B%E5%85%8B/ /tags/%E5%8F%A4%E5%85%B8%E4%B8%BB%E4%B9%89/ /tags/%E6%B5%AA%E6%BC%AB%E4%B8%BB%E4%B9%89/ /categories/learning-note/ /categories/poem/ /categories/personal-essay/ /categories/zen/ /categories/game-engine/ /categories/presentation/ /categories/literature/ /categories/article-excerpt/ /categories/%E4%B8%87%E5%8E%86%E5%8D%81%E4%BA%94%E5%B9%B4/ /categories/academic-writing/ /categories/%E7%9A%AE%E5%9B%8A/ /categories/cs-learning-note/ /categories/algorithm/ /categories/data-structure/ /categories/other/ /categories/software-project-management/ /categories/automated-software-verification/ /categories/software-modelling-and-design/ /categories/clean-code/ /categories/software/ /categories/java/ /categories/software-security-and-safety/ /categories/oop/ /categories/refactoring/ /categories/database/ /categories/architecture/ /categories/ai-agents/ /categories/development-tools/ /categories/software-engineering/ /categories/ai%E6%99%BA%E8%83%BD%E4%BD%93/ /categories/%E8%BD%AF%E4%BB%B6%E5%B7%A5%E7%A8%8B/ /categories/ai%E5%B7%A5%E7%A8%8B/ /categories/%E5%BC%80%E5%8F%91%E5%AE%9E%E8%B7%B5/ /categories/%E9%9F%B3%E4%B9%90%E8%89%BA%E6%9C%AF/ /categories/%E9%9F%B3%E4%B9%90%E5%8E%86%E5%8F%B2/ /page2/ /page3/ /page4/ /page5/ /page6/ /page7/ /page8/ /page9/ /page10/ /page11/ /page12/ /page13/ /page14/ /page15/ /page16/ /page17/