Сообщения в треде [Перевод] Хотите эффективнее программировать? Учитесь строить в уме пошаговые доказательства