Заметки
Исследовательские заметки, инженерные уроки и идеи в работе.
Короткие технические тексты о надёжности ML, отладке вычислений, переносимости между GPU, программной инженерии и практических решениях за исследовательскими системами.
Сами статьи написаны на английском.
1 мая 2026 г.
What I Want This Blog to Become
Academic papers are necessarily compressed. They describe the method, the evaluation, and the result, but they often leave out the messy middle: why a test design changed, why o...
Читать заметку → 8 июля 2025 г.Automatically Detecting Numerical Instability in ML via Soft Assertions
In our FSE 2025 paper, we introduce Soft Assertions — a new approach to detect and trigger these hidden bugs automatically.
Читать заметку → 7 июля 2025 г.Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs
Our SC24-W workshop paper presents a systematic method to detect and analyze these cross-vendor numerical differences.
Читать заметку →