数学
Various Algebra course notes の Number Rings: 進捗なし
開発
WASM のチュートリアル 進捗なし
rust-number-theory 進捗なし
Make macros hygienic by koba-e964 · Pull Request #2 · sile/trackable · GitHub PR 出し。マージ済み。
GitHub - frugalos/kanils at poc/without-futures 依存性を大幅に減らせると思ったので実験。
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination 作り出し。論理式の構文解析を書き。
Apply semver trick to v0.2 by koba-e964 · Pull Request #4 · sile/trackable · GitHub semver-trick 適用。
競プロ
進捗なし
チェス
chess.com tactics: 2214 -> 2084 (-30)
lichess rapid: 1812? (進捗無し)
lichess tactics: 2200 (進捗なし)
