Entonces pregunto si hay algo que compile python en menor tamaño o algo que lo traduzca y quede con un tamaño menor.
De hay lo de cython

El fallo principal es que al setear debes escribir el nombre de la variable sin el operador "%":

Aparte de eso no debes dejar ningún espacio antes ni después del operador "=", y la escritura del código en general sigue los malos hábitos de los que empiezan a programar en Batch, te suegiero que te acostumbres a escribir de la manera que te muestro a continuación porque de lo contrario te van a salir muchos errores a menudo:

@Echo OFF
 
:pregunta
SET /p "hola=Bucle Infinito?:"  
 
IF /I "%hola%" EQU "SI" (goto :pregunta)
 
Pause&Exit

Solo puedo decirte que a la larga te darás cuenta de que es todo lo contrario y que estás perdiendo el tiempo (sobretodo viniendo de Python),
Batch es práctico para tareas simples, muy simples, y sobre lo de las incontables maneras de... se quedan en un par de comandos internos útiles, el resto son aplicaciones (llamados comandos externos) que no forman parte del lenguaje y los puedes llamar desde cualquier otro lenguaje,
en resumen cualquier lenguaje es capaz de hacer lo mejor que se pueda llegar a programar en Batch, en la mitad de tiempo, y con las incontables mejoras que esto supone, sobretodo en velocidad de ejecución, Batch es MUY lento.
 
Saludos!

¿Que hay que no se haya inventado ya?

Algún WebSpider para alguna página en concreto no estaría nada mal... siempre me han gustado, este tipo de proyectos suelen estar infravalorados (o al menos eso pienso, depende que tipo de página sea quizás solo lo usen 4 gatos, si haces uno relacionado con Facebook quien sabe...) pero la verdad es que son muy útiles y ahorran mucho tiempo, aquí tienes un muy buen ejemplo en Python con GUI por el compañero @0x5d (aunque no es un código muy extenso, según lo que intuyo por la sintaxis y los keywords solo hace una única petición a la url y parsea el source de la respuesta):

http://foro.elhacker.net/scripting/codigopyqt4_iconfinder_jaavier_0x5d-t401819.0.html

PD: Python no es lo mio, que tengas suerte!

#-*- coding:utf-8 -*-
 
ip = raw_input("Ingrese la ip: ")
hexa = []
 
dividida = ip.split(".")
if len(dividida) == 4:
    for i in range(4):
        try:
            buff = int(dividida[i])
        except:
            print "Ip no númerica"
            exit()
        if buff <= 255:
            hexa.append(hex(buff)[2:])
        else:
            print "Ip fuera de rango"
            exit()
else:
    print "Ip invalida"
    exit()
 
print "ip:", ".".join(hexa)
 

Un poco feo el código pero bueno...

Saludos!

Facilito, que este fue muy largo xD

PD: Vuelvo en 30 min xP