Astra is claimed to find a recurrence for a roughly 12,000-fold code speedup · Digg