نوٹس
تحقیقی نوٹس، انجینئرنگ کے سبق اور زیرِ غور خیالات۔
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 جولائی، 2025Automatically 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 جولائی، 2025Testing 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.
نوٹ پڑھیں ←