ATMxsp01 Here's the way to the stars... https://atmxsp01.github.io/ 2026-09-19T00:00:00.000Z test https://atmxsp01.github.io/posts/test/ 2026-09-19T00:00:00.000Z 2026-09-19T00:00:00.000Z 这是我的第一篇手写博客， 使用 neovim + 自己定制的 blog 插件完成所有的操作。

test-pic1

]]> ATMxsp01 代码主题预览（临时页） https://atmxsp01.github.io/posts/code-theme-demo/ 2026-09-10T00:00:00.000Z 2026-09-10T00:00:00.000Z 临时页面：用于查看 Nord 代码主题在 Python / C++ / Rust / Bash / Lean4 下的实际渲染效果，看完即删。

⚠️ 这是一个临时页面，只为预览代码块主题（暗色 = Nord）。看完就会删除。

站点默认跟随系统明暗；想对比两套配色，点右上角的明暗切换按钮。

1. Python

from dataclasses import dataclass
from typing import Iterable

import torch


@dataclass(frozen=True)
class Sample:
    """一条训练样本。"""
    text: str
    label: int


def batchify(samples: Iterable[Sample], size: int = 32) -> list[list[Sample]]:
    batch: list[Sample] = []
    for item in samples:
        batch.append(item)
        if len(batch) == size:      # 满一批就吐出
            yield batch
            batch = []
    if batch:
        yield batch


if __name__ == "__main__":
    total = sum(1 for _ in batchify([Sample(f"x{i}", i % 2) for i in range(100)]))
    print(f"batches = {total}, cuda = {torch.cuda.is_available()}")

2. C++

#include <algorithm>
#include <iostream>
#include <queue>
#include <vector>

namespace graph {

template <typename T>
class BFS {
public:
    explicit BFS(const std::vector<std::vector<int>>& adj) : adj_(adj) {}

    std::vector<int> run(int src) const {
        std::vector<int> dist(adj_.size(), -1);
        std::queue<int> q;
        dist[src] = 0;
        q.push(src);
        while (!q.empty()) {
            const int u = q.front();
            q.pop();
            for (const int v : adj_[u]) {
                if (dist[v] == -1) {          // 未访问
                    dist[v] = dist[u] + 1;
                    q.push(v);
                }
            }
        }
        return dist;
    }

private:
    const std::vector<std::vector<int>>& adj_;
};

}  // namespace graph

int main() {
    const std::vector<std::vector<int>> adj{{1, 2}, {3}, {3}, {}};
    const auto dist = graph::BFS<int>(adj).run(0);
    for (std::size_t i = 0; i < dist.size(); ++i)
        std::cout << "dist[" << i << "] = " << dist[i] << '\n';
    return 0;
}

3. Rust

use std::collections::HashMap;
use std::hash::Hash;

#[derive(Debug, Default)]
pub struct LruCache<K, V> {
    map: HashMap<K, V>,
    capacity: usize,
    hits: u64,
}

impl<K: Eq + Hash + Clone, V: Clone> LruCache<K, V> {
    pub fn new(capacity: usize) -> Self {
        assert!(capacity > 0, "capacity must be positive");
        Self { map: HashMap::new(), capacity, hits: 0 }
    }

    pub fn get(&mut self, key: &K) -> Option<&V> {
        match self.map.get(key) {
            Some(value) => {
                self.hits += 1;
                Some(value)
            }
            None => None,
        }
    }

    pub fn insert(&mut self, key: K, value: V) -> Result<(), String> {
        if self.map.len() >= self.capacity && !self.map.contains_key(&key) {
            return Err(format!("cache full: {} entries", self.capacity));
        }
        self.map.insert(key, value);
        Ok(())
    }

    pub fn hit_rate(&self) -> f64 {
        if self.map.is_empty() { 0.0 } else { self.hits as f64 / self.map.len() as f64 }
    }
}

4. Bash

#!/usr/bin/env bash
set -euo pipefail

REPO="${1:-ATMxsp01/blog-content}"
BRANCH="${BRANCH:-main}"

echo "==> 同步 $REPO ($BRANCH)"
if ! git -C "$REPO" diff --quiet; then
    echo "工作树不干净，先提交" >&2
    exit 1
fi

for step in sync validate build; do
    printf '  -> %s ... ' "$step"
    pnpm "content:$step" >/dev/null 2>&1 && echo "ok" || { echo "failed"; exit 1; }
done

# 统计产物
find dist -name '*.html' | wc -l | xargs printf 'pages: %s\n'
echo "done in ${SECONDS}s"

5. Lean 4

import Mathlib.Data.Nat.Basic

namespace Demo

/-- 归纳定义的偶数谓词。 -/
inductive Even : Nat → Prop
  | zero : Even 0
  | add_two {n : Nat} : Even n → Even (n + 2)

theorem even_add (m n : Nat) (hm : Even m) (hn : Even n) : Even (m + n) := by
  induction hm with
  | zero => simpa using hn
  | add_two _ ih => simpa [Nat.add_assoc] using Even.add_two ih

def double (n : Nat) : Nat := n * 2

example (n : Nat) : double n = n + n := by
  simp [double, Nat.mul_two]   -- 一条 tactic 搞定

end Demo

6. 同一段代码的对比（无 title、无行号）

行号在 Expressive Code 里默认开启（plugin-line-numbers 的 showLineNumbers 默认值为 true），所以必须显式写 showLineNumbers=false 才是真的无行号。

def fib(n: int) -> int:
    a, b = 0, 1
    for _ in range(n):
        a, b = b, a + b
    return a

7. 字体四形态（ComicMathMono）

当前 mono 角色是 ComicMathMono 的 Regular / Bold / Italic / Bold Italic 四个真实字面； 粗斜体不再依赖浏览器合成。

<pre class="font-demo" style="font-weight: 400;">const total = items.reduce((a, b) => a + b, 0); // Regular</pre> <pre class="font-demo" style="font-weight: 700;">const total = items.reduce((a, b) => a + b, 0); // Bold</pre> <pre class="font-demo" style="font-style: italic;">const total = items.reduce((a, b) => a + b, 0); // Italic</pre> <pre class="font-demo" style="font-weight: 700; font-style: italic;">const total = items.reduce((a, b) => a + b, 0); // Bold Italic</pre>

形式 行内代码效果
Regular const total = items.reduce((a, b) => a + b, 0);
Bold const total = items.reduce((a, b) => a + b, 0);
Italic const total = items.reduce((a, b) => a + b, 0);
Bold Italic const total = items.reduce((a, b) => a + b, 0);

表格使用作者强调：Regular 400 / Bold 600 / Italic 400 italic / Bold Italic 600 italic； 主题会把 600 匹配到最近的 700 真实字面，四行宽度一致。

]]> ATMxsp01 Hello Shirone https://atmxsp01.github.io/posts/welcome/ 2026-09-10T00:00:00.000Z 2026-09-10T00:00:00.000Z 迁移到 Shirone 后的第一篇占位文章，可随时删除。 博客框架已从 Mizuki 迁移到 Shirone，这篇占位文用于验证写作流程与构建管线。

为什么迁移

Mizuki 上游已停止维护并迁移至 Shirone。与其继续在一个不再更新的框架上做定制，不如趁内容还少的时候把结构一次性做对。

这次迁移做了什么

  • 内容仓库重组为 Shirone 的目录模型（content/、data/、assets/、public/、config/）
  • 个性化设置从代码里的 src/config/*.ts 移到内容仓库的 config/*.yaml
  • 部署切到 GitHub Pages 的 artifact 路线

下一步

  • 写真正的文章（这篇只是占位）
  • 把侧边栏数据（技能、项目、时间线等）换成自己的

<!-- 闭环复测 2026-09-10T05:13:49Z -->

]]> ATMxsp01