A public record of study notes, research, projects, explanations, and essays across disciplines.https://0archlinux0.github.io/enhttps://0archlinux0.github.io/posts/nationwide-ctf-ai-agent-automation-retrospective/https://0archlinux0.github.io/posts/nationwide-ctf-ai-agent-automation-retrospective/I ran an AI-agent pipeline in Japan's Ministry of Internal Affairs and Communications nationwide CTF. The official result was 26th place with 5,701 points. The bigger lesson was not model capability, but ownership, shared state, verification, and control-plane design.Mon, 05 Oct 2026 00:00:00 GMTSystemsAI Engineeringhttps://0archlinux0.github.io/posts/github-pages-actions-workflow/https://0archlinux0.github.io/posts/github-pages-actions-workflow/How a historical Jekyll site used GitHub Actions to validate every branch and pull request while reserving production publishing for changes merged to main.Fri, 02 Oct 2026 01:04:21 GMTGuideGitHub PagesGitHub ActionsJekyllCI/CDdeploymenthttps://0archlinux0.github.io/posts/fast-fourier-transform/https://0archlinux0.github.io/posts/fast-fourier-transform/A radix-2 FFT guide: DFT normalization, butterfly decomposition, polynomial convolution, and the limits of floating-point integer results.Sat, 14 May 2022 21:59:08 GMTMathAlgorithmFFTDFTCooley–TukeyPolynomial Multiplicationhttps://0archlinux0.github.io/posts/Bolzano-Weierstrass-theorem/https://0archlinux0.github.io/posts/Bolzano-Weierstrass-theorem/A proof that every bounded sequence in finite-dimensional Euclidean space has a convergent subsequence, with the compactness distinction.Sun, 24 Apr 2022 09:28:00 GMTMathAnalysisBolzano–Weierstrass theoremhttps://0archlinux0.github.io/posts/Monotone-Convergence-Theorem/https://0archlinux0.github.io/posts/Monotone-Convergence-Theorem/The monotone convergence theorem for real sequences, proved from the least-upper-bound property and illustrated with examples.Sun, 24 Apr 2022 09:28:00 GMTMathAnalysisMonotone Convergence Theoremhttps://0archlinux0.github.io/posts/Nested-Interval-Property/https://0archlinux0.github.io/posts/Nested-Interval-Property/The nested interval theorem: completeness gives a common point, while shrinking interval lengths make it unique.Sun, 24 Apr 2022 09:28:00 GMTMathAnalysisNested Interval Propertyhttps://0archlinux0.github.io/posts/Analysis-%ED%95%B4%EC%84%9D%ED%95%99(2)/https://0archlinux0.github.io/posts/Analysis-%ED%95%B4%EC%84%9D%ED%95%99(2)/A grouped reference to algebraic, metric, order, completeness, and limit concepts used across introductory analysis.Fri, 15 Apr 2022 16:39:00 GMTMathAnalysis수학해석학거리공간https://0archlinux0.github.io/posts/Analysis-%E8%A7%A3%E6%9E%90%E5%AD%A6-1/https://0archlinux0.github.io/posts/Analysis-%E8%A7%A3%E6%9E%90%E5%AD%A6-1/A compact, grouped reference to 19 foundational ideas in sets, algebraic structures, functions, and cardinality, with examples.Wed, 13 Apr 2022 08:28:00 GMTMathFoundationsSet TheoryFunctionsCardinalityAlgebrahttps://0archlinux0.github.io/posts/B%C3%A9zout's-identity-p1/https://0archlinux0.github.io/posts/B%C3%A9zout's-identity-p1/Why the gcd of two integers is an integer linear combination, with a least-positive-combination proof and the field-only polynomial analogue.Tue, 12 Apr 2022 09:28:00 GMTMathNumber TheoryBézout's identityProofhttps://0archlinux0.github.io/posts/Euclidean-Algorithm/https://0archlinux0.github.io/posts/Euclidean-Algorithm/A proof and worked trace of the Euclidean algorithm, including its nonnegative-input C++ implementation and logarithmic step count.Tue, 12 Apr 2022 09:28:00 GMTMathNumber TheoryEuclidean AlgorithmGreatest Common DivisorProofhttps://0archlinux0.github.io/posts/Flow-network/https://0archlinux0.github.io/posts/Flow-network/Learn feasible flows, residual forward and reverse arcs, augmenting paths, cut bounds, and when Ford–Fulkerson terminates.Tue, 12 Apr 2022 09:28:00 GMTGraph theoryFlow networkAlgorithmMax-flow min-cutFord–Fulkerson algorithmflow networkhttps://0archlinux0.github.io/posts/Floyd-Warshall-Algorithm/https://0archlinux0.github.io/posts/Floyd-Warshall-Algorithm/Derive Floyd–Warshall’s all-pairs recurrence, implement it safely in C++, and interpret unreachable pairs and negative cycles.Tue, 12 Apr 2022 09:28:00 GMTGraph theoryAlgorithmsAlgorithmFloyd-WarshallShortest pathhttps://0archlinux0.github.io/posts/Max-flow-min-cut-theorem/https://0archlinux0.github.io/posts/Max-flow-min-cut-theorem/A proof of the max-flow min-cut theorem using residual reachability, with a concrete flow-and-cut certificate.Tue, 12 Apr 2022 09:28:00 GMTGraph theoryFlow networkAlgorithmMax-flow min-cutflow networkhttps://0archlinux0.github.io/posts/Graph-theory-Strongly-Connected-Component/https://0archlinux0.github.io/posts/Graph-theory-Strongly-Connected-Component/Understand strongly connected components and Tarjan’s index, low-link, and active-stack invariants, with a worked graph and implementation.Fri, 26 Nov 2021 00:00:00 GMTRecordCodeGraph theoryAlgorithmStrongly connected componentsSCCTarjan's algorithmhttps://0archlinux0.github.io/posts/De-Moivre-s-formula/https://0archlinux0.github.io/posts/De-Moivre-s-formula/De Moivre's formula for positive, zero, and negative integer powers, proved with Euler's formula and illustrated by a cube calculation.Wed, 24 Nov 2021 12:29:00 GMTMathComplex Analysishttps://0archlinux0.github.io/posts/Sort-Radix-Sort/https://0archlinux0.github.io/posts/Sort-Radix-Sort/A stable least-significant-digit radix sort for nonnegative safe integers, with input validation, complexity, and edge-case behavior.Fri, 20 Aug 2021 23:53:00 GMTRecordCodeJavaScriptRadix sortSorting algorithm