Terminé de leer Gödel Escher Bach. Empecé con curiosidad por aprender y algo para decir en el tema. Ahora tengo mas preguntas que respuestas. Eso hacen las buenas obras.

Si ves Harry Potter de nuevo, te darás cuenta que el personaje principal es Hermione Granger, ella siempre tiene todos los planes, improvisaciones y jamas deja de tener la razón.

luis Tenía 14-15 años. Programé un troyano en Visual Basic 2006. Era un troyano reverso, corría un servido TCP que recibía conexiones de los clientes. Tenía keylogger, control de registros en Windows, ejecutar comandos y tomar screenshots. Básicamente implementé mi propio

El ser humano es un ser caótico, comete errores, desacierta, se deja llevar. El colapso cuántico deja entrever que hay algo de informal en el universo. Sin embargo, el humano logró formular el razonamiento, un método de pensamiento formal, regido por leyes inequívocas: la

Vivimos en una simulación, confirmado.

La teoría homotópica de tipos es un sistema formal que puede interpretarse desde la lógica, desde la teoría de conjuntos y es capaz de reproducir la teoría de números. Es lo que estamos estudiando en Interactive Theorem Provers en ECI. Aquí demuestro (parcialmente) la

Sabes que estas en zonas muy experimentales de la programación cuando tienes que descargar el source y compilarlo por ti mismo para usarlo.

La teoría homotópica de tipos, como yo la veo, es una forma de representar razonamiento donde la lógica es solo un caso particular. Introduce una jerarquía de igualdades, lo que le permite expresar diversas teorías matemáticas en un mismo lenguaje. Fascinante. Gracias

¿Que sucedería si hubiera un examen de residencias para informática? Me pregunto cuantos pasarían...

Javi López ⛩️ Es claro que la IA formará un papel importante como una capa más en el software, pero no reemplazará las demás del todo. Decirlo lo contrario es tener un error conceptual. El software trata de capas de abstracción. Una nueva capa permite operar objetos en nuevos niveles de

Hoy di un masterclass/taller de vibecoding para personas no técnicas. Estos son algunos comentarios que surgieron de los alumnos: - Nunca me imaginé que podría hacer esto - No puedo creer que esto sea posible. Hicieron su primer sitio web, una landing para sacar su producto.

Ayer probé las nuevas características de v0 y es increíble. Integra base de datos, frontend y backend. Sin escribir una sola línea de código. Le hable como si no supiera nada de programación y salió una app completa. - Describir en lenguaje natural - Probar funcionalmente

Si no usas IA, no puedes ser buen programador.

Eliminar la inflación no es un objetivo económico, es un objetivo moral y ético.

En el curso de vibecoding que estoy dando. Una de las consultas que surge con frecuencia es: ¿Esto va a escalar cuando tenga mil o un millón de usuarios? La respuesta es y será siempre la misma: Si tienes esa cantidad de usuarios y un modelo de negocio validado, tendrás el