Task: Text to Code
Input (English): Show names of technicians and the number of machines they are assigned to repair.
Output (English): SELECT T2.Name ,  COUNT(*) FROM repair_assignment AS T1 JOIN technician AS T2 ON T1.technician_ID  =  T2.technician_ID GROUP BY T2.Name