2026-03-03

Daily Note — 2026-03-03 (вторник)

Даниил в самолёте VKO→IST (14:00-18:10 MSK). Попросил работать автономно.
Два Claude Code сеанса (контекст переполнился → продолжение).

Главная задача дня. Дедлайн ЖВММФ: 15 марта.

T1: добавлены доказательства следствий (SGD+WD, ISTA)
T2: полный BCH proof (3 части: формула M_S → сходимость → BCH) + Remark о bias O(h²)
T3: 3-шаговое доказательство (коммутативность [A_f,A_R]=0 → M_LT → спектральный анализ)
T4: 3 части (ρ_S < ρ_LT → Δ_h формула → экономия итераций) + rem:nonlinear
T5: Strang-ISTA определение + lem:contract (нерасширяемость prox) + 5-шаговый Ляпунов + cor:sc
Добавлено: \bibitem{BauschkeCombettes2011}, fix Unicode μ→\mu
Компиляция: 13 стр, 853KB, 0 errors (было 11 стр/786 строк → 13 стр/1034 строки)
Файлы синхронизированы: Strategy/phd/ ↔ phd/article2/
Backup: vak_article2_draft_backup_20260303.tex

Создано 10 Todoist задач: тесты Л9-Л18 с точными датами публикации (среда после лекции)
Расписание: Strategy/content/hse26/test_publication_schedule.md

Heavy tails ✅ — animation.mp4 (25s, 279KB) + post.md
Quantized LLM ✅ — animation.mp4 (25s, 327KB) + post.md (~1800 символов)
Optimal Transport ✅ — animation.mp4 (25s, 334KB) + post.md
GPU Benchmarking ✅ — animation.mp4 (25s, 477KB) + post.md (с code snippets)
Peano curve ✅ — animation.mp4 (25s, 929KB, Hilbert curve iterations) + post.md

HJ-Prox splitting (arXiv:2601.22370, янв 2026)
Metric learning for splitting convergence (IEEE, 2024)
Adaptive decentralized 3-operator splitting (arXiv:2602.17545, фев 2026)
→ Strategy/phd/vak_article2_new_refs.md

Ревью @fminxyz черновиков: KV-cache → архив, Loss landscape → архив. Показан Optimizer evolution (ждёт вердикт)
Правило: без явного ок Даниила ничего не публиковать
Даниил хочет сделать пост про задачу коммивояжёра (TSP) + генетический алгоритм на интересной карте (не абстрактные точки)
@fminxyz: текущие генерённые посты = backup/архив, приоритет → новый контент с участием Даниила