Una charla del 2016.
Te explico lo importante de esa charla de George Hotz (GeoHot), pero sin humo ni exageraciones, para que realmente lo entiendas.
Hotz no está presumiendo porque sĂ. Te está dando contexto:
👉 Traducción real: El tipo es muy bueno encontrando bugs y rompiendo sistemas complejos.
Pero lo interesante no es eso, sino cĂłmo piensa.
Critica herramientas como GDB porque:
👉 Problema clave:
El debugging actual es como ver una pelĂcula… pero sin poder rebobinar bien.
Su propuesta:
👉 Tratar la ejecución de un programa como si fuera un historial tipo Git
Ejemplo:
Entonces podés:
Normal debugging:
ejecutar → parar → repetir → repetir → repetir
Timeless debugging:
ejecutar UNA VEZ → explorar TODO
QIRA
Qué hace:
Guarda TODO lo que pasĂł en el programa
Te deja moverte libremente en el tiempo
Muestra:
TenĂa un programa tipo “adivinar nĂşmero”:
Probó 123 → incorrecto
En QIRA vio:
0x500ConvirtiĂł:
0x500 = 1280
1280 → ✔️ correcto👉 Lo importante: no tuvo que ejecutar mil veces el programa
Porque reduce brutalmente el tiempo:
“Si ejecutás el binario 10 veces menos que otros, ganás”
En hacking eso = ventaja enorme.
Dice algo muy interesante:
👉 El problema no es solo técnico… es de interfaz (UI)
Hay herramientas poderosas (ej: análisis simbólico), pero:
👉 Traducción:
Muchas cosas ya existen… pero nadie las hizo usables.
Dice algo fuerte:
“La seguridad es una batalla perdida”
Por qué:
Ejemplo:
👉 La verdadera soluciĂłn serĂa:
Después vende su startup:
comma.ai
Idea:
Esto resume todo:
No todo lo que dice es 100% correcto:
👉 Pero lo dice para provocar y hacerte pensar.
La charla NO es sobre hacking en sĂ.
Es sobre esto:
👉 Cambiar la forma de pensar herramientas
De:
A:
Si querés, en el siguiente mensaje te puedo explicar:
👉 cómo implementar algo tipo “timeless debugging” en Python 👉 o cómo esto se conecta con reverse engineering real (IDA, Ghidra, etc.)
TenĂ©s razĂłn en que algo quedĂł desalineado, pero en este mensaje no hay preguntas explĂcitas (solo pediste explicaciĂłn de la charla). Lo más probable es que estĂ©s refiriĂ©ndote a preguntas que hiciste antes en la conversaciĂłn y querĂ©s que las conecte con esto.
Voy a cubrir las preguntas implĂcitas que seguro te quedaron sin responder de esta charla, asĂ no perdemos tiempo:
No es solo “ir para atrás”.
Es esto:
👉 Registrar todas las instrucciones ejecutadas + cambios de memoria + registros
Eso genera un trace completo del programa.
Entonces podés:
đź’ˇ Esto es parecido a:
rr debugger (Mozilla)No es que sea inĂştil.
Lo que critica es el modelo:
👉 Problema: no tenés historial completo
👉 QIRA:
Es un bug clásico:
free(ptr);
free(ptr); // error
👉 Consecuencia:
Hotz dice que usó eso para: 👉 escapar del sandbox de Adobe Reader
Un sandbox es:
👉 un entorno aislado con pocos permisos
Ejemplo:
Adobe Reader abre PDF pero:
👉 Hotz: rompe el sandbox → pasa de proceso limitado a privilegiado
Ejemplo tĂpico:
👉 Resultado: control total del sistema
Es:
👉 encontrar la causa real del bug
No solo:
Sino:
👉 QIRA hace esto fácil porque podés retroceder.
No es el nĂşmero.
Es esto:
👉 Está mostrando cómo:
Eso es reverse engineering asistido por tiempo
Su idea:
👉 Su solución:
Esto es MUY importante:
👉 muchas técnicas avanzadas ya existen:
Pero:
👉 Entonces:
el cuello de botella no es la teorĂa, es cĂłmo lo ves
MuchĂsima.
Vos estás viendo:
👉 Esto es lo mismo pero en software:
| Electricidad | Software |
|---|---|
| medir tensiĂłn | ver registros |
| seguir cable | seguir datos |
| encontrar falla | root cause |
👉 QIRA serĂa como: tener grabada toda la instalaciĂłn elĂ©ctrica en el tiempo
La charla no es sobre hacking.
Es sobre esto:
👉 “Si cambiás la herramienta, cambiás completamente lo que podés hacer”
Decime cuál de estas querĂas que responda y no respondĂ:
AsĂ voy directo a lo que te faltĂł sin darte vueltas.
Tenés razón, esa parte quedó afuera y es interesante porque muestra cómo piensa George Hotz más allá del hacking.
Hotz critica el modelo de Uber en autos autĂłnomos con una idea simple pero muy potente:
Plantea esto:
Entonces:
👉 Tenés que seguir teniendo a alguien sentado en el auto TODO el tiempo
Hotz dice:
Eso no ahorra plata
Porque:
Hoy Uber paga conductores
En ese escenario → sigue pagando conductores
Solo que ahora:
👉 Resultado: el costo laboral no desaparece
Imaginá esto:
👉 Igual tenés que pagarle el 100% del tiempo
Uber solo gana si elimina completamente al conductor
O sea:
No hay punto medio rentable.
No lo dice explĂcito, pero se deduce:
👉 Solo tiene sentido si:
Hotz dice que Tesla tiene mejor enfoque porque:
👉 Entonces: no necesitan eliminarlo para que tenga sentido económico
Hotz no está hablando solo de autos.
Está diciendo:
👉 Un sistema que automatiza “casi todo” puede no servir de nada
Porque:
Tiene razĂłn en parte, pero simplifica:
Hoy Uber sĂ investiga autonomĂa porque:
Pero:
👉 en el corto plazo: lo que dice Hotz es bastante lógico