Add language toggle button to mobile header for better translation discoverability

.gitattributes

@@ -0,0 +1,2 @@
+*.html linguist-documentation
+*.ipynb linguist-documentation

.github/workflows/blog.yml

@@ -0,0 +1,117 @@
+name: Page Builder by ALMO
+
+on:
+  push:
+    branches:
+      - main
+    paths:
+      - 'github/workflows/blog.yml'
+      - 'posts/**.md'
+      - 'config/**'
+      - 'assets/**'
+      - 'blog_builder/**'
+      - '.rebuild'
+
+
+permissions:
+  contents: write
+  pages: write
+  id-token: write
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Repository
+        uses: actions/checkout@v2
+
+      - name: Setup Git
+        run: |
+            cd ${{ github.workspace }}
+            git config --global user.email "actions@example.com"
+            git config --global user.name "GitHub Actions"
+
+      - name: Setup ALMO
+        run: |
+            git submodule update --init --recursive --remote 
+
+      - name: Compile almo.cpp
+        run: |
+          cd ./almo
+          bash ./scripts/setup.sh
+          g++ -std=c++23 ./build/almo.cpp -o ./build/almo
+
+      - name: Checkout Repository
+        uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+
+      - name: Get changed files
+        id: changed-files
+        uses: tj-actions/changed-files@v44
+        with:
+          files: 'posts/**.md'
+          json: true
+
+      - name: Output changed files
+        run:  echo "${{ steps.changed-files.outputs.all_changed_files }}" > changed_files.json
+
+      - name: Check need rebuild
+        id: check
+        uses: tj-actions/changed-files@v44
+        with:
+          files: |
+            .github/workflows/blog.yml
+            config/**
+            assets/**
+            blog_builder/**
+            .rebuild
+
+      - name: Output need rebuild
+        if:  ${{ steps.check.outputs.all_changed_files }} != ""
+        run: echo "REBUILD=true" >> $GITHUB_ENV
+
+      - name: Add required packages
+        run: |
+          python3 -m pip install beautifulsoup4 scikit-learn numpy tqdm requests
+
+      - name: Precompute TF-IDF vectors (if full rebuild needed)
+        if: env.REBUILD == 'true'
+        run: |
+          echo "Full rebuild detected, precomputing TF-IDF vectors..."
+          python3 blog_builder/precompute_vectors.py
+
+      - name: Generate HTML
+        env:
+          SKIP_WIP_ARTICLES: true
+        run: |
+          python3 blog_builder/build.py
+
+      - name: Update RSS
+        run: |
+          python3 blog_builder/rss.py
+
+      - name: Clean up
+        run: |
+          rm changed_files.json
+          rm tmp.json
+
+      - name: Check change
+        run: |
+          git diff-index --quiet HEAD || echo "CHANGE=true" >> $GITHUB_ENV
+
+      - name: Commit changes
+        run: |
+          git add .
+          git commit --allow-empty -m "Update blog"
+
+      - name: Push changes
+        uses: ad-m/github-push-action@master  
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          branch: main  

.gitignore

@@ -22,3 +22,20 @@ dist-ssr
 *.njsproj
 *.sln
 *.sw?
+run.sh
+archive
+posts/autodiff/note/diff-zoo/
+posts/autodiff/note/FiniteDifferences.jl/
+/_almo_output
+tmp.html
+public/cv/fontawesome.sty
+public/cv/main.aux
+public/cv/main.fdb_latexmk
+public/cv/main.fls
+.claude/settings.local.json
+*.pyc
+public/tfidf_cache.pkl
+*.pyc
+*.pkl
+/build
+posts/galois_connection_and_program_analysis/proof/\#galois_connection.v\#

.gitmodules

@@ -0,0 +1,6 @@
+[submodule "ALMO"]
+	path = ALMO
+	url = https://github.com/abap34/ALMO.git
+[submodule "almo"]
+	path = almo
+	url = https://github.com/abap34/almo.git

.nvmrc

@@ -0,0 +1 @@
+22

.rebuild

@@ -0,0 +1 @@
+

CONTRIBUTING.md

@@ -0,0 +1 @@
+ALL CONTRIBUTION IS WELCOME 😄

LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 Yuchi Yamaguchi
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

README.md

@@ -0,0 +1,33 @@
+# 寄稿したい方へ
+
+`./gen.sh {記事のid}.md` すると `posts/{記事のid}.md` , `posts/{記事のid}/` ができます.
+
+md ファイルは頭に
+
+```
+---
+title: 
+author: 
+date: 
+tag: 
+twitter_id: 
+github_id: 
+mail:
+ogp_url: 
+description: 
+url: 
+site_name: 
+twitter_site:
+---
+```
+
+みたいなのがあります。 url, site_name は触らなくても大丈夫です。
+
+あとは適切に設定してください。
+
+(`posts/{記事のid}/image.png` は `abap34.com/posts/{記事のid}/image.png` になるのでそこに画像を置いてサムネイルにするといいです)
+
+`posts/` 以下の md ファイルが main に push されると記事が publish されます。
+
+記事が書けたら main に PR を送ってください。
+