Show HN : déduction automatique d'un noyau FlashAttention à partir d'environ 25 lignes de SQL

Une démo du dépôt xarray-sql exprime l'attention causale en SQL, avec Q, K et V sous forme de tables (token, feature, valeur), sur plusieurs moteurs et avec son gradient. Le plan naïf stocke les N×N scores. L'optimiseur einfold, qui réécrit des plans SQL en algorithmes sur tableaux, retrouve le plan FlashAttention sans règle spécifique : sa règle fusionne toute moyenne pondérée par softmax.