Google DeepMind presentó AlphaProof Code, un sistema en el que expertos deciden qué probar y decenas de agentes de IA escriben las pruebas en Lean. Con él demostró propiedades clave de libsignal, el código que cifra los chats de Signal, directamente sobre el programa compilado. No encontró fallas nuevas; qué cubre y qué queda fuera.Google DeepMind presentó AlphaProof Code, un sistema en el que expertos deciden qué probar y decenas de agentes de IA escriben las pruebas en Lean.…
TSMC, el mayor fabricante de chips por encargo del mundo, reportó ingresos de NT$586,890 millones en octubre de 2026: 14.7 % más que en septiembre, 59.7 % más que un año antes y el mes más alto que ha reportado. De enero a octubre lleva 43.3 % más que en 2025. Qué dicen las cifras,…TSMC, el mayor fabricante de chips por encargo del mundo, reportó ingresos de NT$586,890 millones en octubre de 2026: 14.7 % más que en septiembre,…
Anthropic presentó ante la SEC la segunda enmienda de su S-1 con un rango de $70 a $78 USD por acción y 825 millones de acciones clase A, bajo la clave ANT en el Nasdaq. Google, Nvidia, AMD, Broadcom, Micron, Microsoft y TSMC comprarán además $26,000 millones de USD en acciones sin voto. Cuánto recaudaría,…Anthropic presentó ante la SEC la segunda enmienda de su S-1 con un rango de $70 a $78 USD por acción y 825 millones de…
Elon Musk dijo en la conferencia de Baron Capital que SpaceX espera lanzar las primeras computadoras Starmind, codiseñadas con Nvidia sobre el Vera Rubin NVL72, en el tercer trimestre de 2027, con volumen significativo en 2028 y muy grande en 2029. Qué es Starmind, qué está confirmado, qué es solo promesa y qué tiene que…Elon Musk dijo en la conferencia de Baron Capital que SpaceX espera lanzar las primeras computadoras Starmind, codiseñadas con Nvidia sobre el Vera Rubin NVL72,…
La ingeniería inversa es averiguar cómo funciona algo a partir del producto terminado, sin planos ni código fuente. Te explicamos para qué sirve, sus niveles y herramientas, lo probamos con un programa nuestro que esconde una clave y repasamos qué permiten las leyes de Estados Unidos, la Unión Europea y México.La ingeniería inversa es averiguar cómo funciona algo a partir del producto terminado, sin planos ni código fuente. Te explicamos para qué sirve, sus niveles…
Tesla y SpaceX levantan Terafab en Texas: una fab de investigación en Giga Texas, en Austin, y la planta principal en el antiguo embalse de Gibbons Creek, en el condado de Grimes, con una primera fase de $16,800 millones de dólares. Musk promete un chip de prueba a mediados de 2027 y producción en volumen…Tesla y SpaceX levantan Terafab en Texas: una fab de investigación en Giga Texas, en Austin, y la planta principal en el antiguo embalse de…
decodigo.com
Código que funciona, explicado paso a paso
Ejemplos de Java, Python, Go, Rust y otros lenguajes que puedes copiar y adaptar, además de noticias de tecnología: espacio, robótica e inteligencia artificial.
El 9 de septiembre de 1947, el equipo del ordenador Harvard Mark II encontró una polilla atrapada en un relé y la pegó en su cuaderno con una nota: «primer caso real de bug encontrado».
El consejo de Nvidia abrió una investigación independiente tras los reportes de que Jensen Huang fue blanco de la inteligencia china a través de Alice…
Alguien usó las credenciales de una cuenta de sistema de Amadeus, el proveedor de reservaciones de cientos de aerolíneas, y consultó datos de reservaciones de…
Una migración de 2025 dejó accesible desde internet un sistema interno de DigiCert. Cualquiera podía crearse una cuenta y, por una falla de autorización, una…
ESP-Mosaico es el kit de Espressif pensado para que lo programe un agente de IA: una unidad con el nuevo ESP32-S31, pantalla táctil cuadrada y…
Tómate un descanso
Juegos clásicos hechos en JavaScript
Bloques
Pulsa «Jugar» para empezar
Puntos0
Líneas0
Nivel1
Récord0
Siguiente
Flechas: mover y girar · espacio: soltar · P: pausa
Serpiente
Pulsa «Jugar» para empezar
Puntos0
Largo3
Nivel1
Récord0
Flechas o WASD para girar · P pausa
2048
Puntos0
Mayor0
Récord0
Pulsa «Jugar» para empezar
Flechas o WASD: junta fichas iguales
Cursos y guías
Para leer en orden, no para consultar
Aprende Python
10 lecciones
Entornos virtuales desde el primer día, tipos, colecciones, comprensiones, funciones, dataclasses, excepciones y pathlib, hasta un paquete instalable con pruebas.
Del primer programa —que en Java 25 ocupa tres líneas— a un proyecto con paquetes, pruebas y un jar: records, interfaces selladas, colecciones, excepciones y streams.
Propiedad, préstamos y tiempos de vida explicados desde cero, con el compilador como profesor. Cada ejemplo se compiló antes de publicarlo, incluidos los que no compilan.
Del primer programa a los módulos y las pruebas: tipos y conversiones, closures, copias que no copian, this, promesas y el bucle de eventos. Con esquemas y todo ejecutado con Node.js 24.
Para quien ya sabe JavaScript: qué revisa el compilador, uniones y estrechamiento, genéricos, tipos avanzados y un proyecto real migrado paso a paso. Con el mensaje real de tsc en cada error.
Desde el primer SELECT hasta JOIN, subconsultas, índices medidos y funciones de ventana, con una base de ejemplo y un editor en el navegador. Cada consulta, ejecutada de verdad.
Desde cero con .NET 10: dotnet run con un solo archivo, tipos y null, colecciones, clases y records, LINQ, async y un proyecto con pruebas. Con el mensaje real del compilador en cada error.
Desde cero con PHP 8.5: tipos y strict_types, arrays, clases y enums, Composer y pruebas, formularios, sesiones y bases de datos, y un proyecto. Con la seguridad en cada lección.
Desde cero con C23 y GCC 15: tipos y desbordamientos, punteros, struct y memoria dinámica, archivos y make, y un proyecto con pruebas. Con los sanitizadores y la seguridad en cada lección.
Desde cero con C++23 y GCC 15: contenedores y algoritmos, clases y RAII, punteros inteligentes y movimiento, plantillas y un proyecto con CMake. Con los sanitizadores y la seguridad en cada lección.
Desde cero con Bash 5.3: variables y comillas, condiciones y bucles, tuberías, grep, sed y awk, scripts robustos y un proyecto con pruebas. Con ShellCheck y la seguridad en cada lección.
Desde cero, sin saber programar: tu primera página, enlaces e imágenes, formularios, selectores, el modelo de caja, Flexbox, Grid y diseño responsivo. Con el resultado en vivo bajo cada ejemplo.
Desde cero con Kotlin 2.4: hola mundo, null safety, colecciones y lambdas, data classes y sealed, funciones de extensión, corrutinas y un proyecto con Gradle y pruebas. Con el mensaje real del compilador en cada error.
Desbordamientos de búfer, uso tras liberar, enteros, cadenas de formato y más: el patrón que hay que evitar, cómo lo detectan los sanitizadores y la forma segura.
Iteradores invalidados, uso tras liberar o mover, referencias colgantes, enteros y carreras de datos: el patrón que hay que evitar, cómo lo detectan los sanitizadores y la forma segura.
Variables sin comillas, eval, archivos temporales, rm -rf con rutas vacías y secretos a la vista: el patrón que hay que evitar, lo que avisa ShellCheck y la forma segura.
Un test de 24 preguntas de opción múltiple sobre el curso de PHP de decodigo.com, con la nota, los aciertos por lección y la explicación de cada respuesta.
Un test de 24 preguntas de opción múltiple sobre el curso de C de decodigo.com, con la nota, los aciertos por lección y la explicación de cada respuesta.
Un test de 24 preguntas de opción múltiple sobre el curso de C++ de decodigo.com, con la nota, los aciertos por lección y la explicación de cada respuesta.
Un test de 24 preguntas de opción múltiple sobre el curso de Bash de decodigo.com, con la nota, los aciertos por lección y la explicación de cada respuesta.
