Javier Rodriguez

Sevillano, Ingeniero en Telecomunicaciones, Seguridad Informática.

[Daniel S. Levi 🇦🇷 @danielslevi]

Entre el hackeo de Github y el breach de Azure y M365 con EntraID tenemos una nochecita movida.

[David Orenes @david_lrl]

Se me ha escapado una lágrima con este vídeo de la extenista Nadja Manjon, donde conversa con su ‘yo’ de hace 12 años y le cuenta que no ha ganado Wimbledon y que nunca llegó a todo lo que había soñado.

“Te darás cuenta que sirves para mucho más que para ser tenista” 😢

[EL MUNDO @elmundoes]

Cuatro estudiantes aplican la física cuántica y ponen en jaque las reglas de la partida clásica de mus: "Es abrir la caja de Pandora" https://t.co/SfFlUiv6b0

[Pedro Otamendi @PedroOtamendi]

El Pedro Sánchez del pasado:

“Todo aquel compañero que tenga que comparecer en un juicio, ante un tribunal, tendrá que dimitir. El PSOE está por encima de eso”.

Hoy se la pela que su mujer vaya a ir a juicio por cuatro delitos.

[Josemari Silva (Chema) @Chema0206]

Fan. #SSantaSevilla26

[𝕷𝖆 𝕮𝖊𝖗𝖊𝖗í𝖆 @ElCodal]

Resumen del Lunes Santo:

- Policía Nacional y Local, boicotean Sevilla.

- Viva el Polígono San Pablo.

- Más fuego.

- AM Redención no tiene pellizco, ni na.

- Incienso de Santa Marta.

- Vera Cruz.

- Mitin anual de Las Aguas.

- Cuadrillon de Alfonso Morillo, sí otra vez.

[Consejo HH y CC Sevilla @ElConsejoSev]

El #LunesSanto termina con 42 minutos de retraso en la #Campana, con el siguiente reparto:

@hdad_sanpablo: +1
@Hdad_Redencion: -5 (-4)
@hdadstagenoveva: +4 (0)
@hdadsantamarta: +10 (+10)
@HdadSanGonzalo: +29 (+39)
@VeraCruzSev: -4 (+35)
@LasPenas_: 0 (+35)
@hdadlasaguas: +3 (+38)
@Hdad_Museo: +4 (+42)

#InfoOficial #SSantaSevilla26

[DirectoryRanger @DirectoryRanger]

Microsoft Entra Agent ID: A Practical Guide to Blueprints and Agent Identities
https://t.co/eYlIUUQEOs

[DirectoryRanger @DirectoryRanger]

Microsoft Defender for Office 365
Part 1 Introduction: Beyond The Basics https://t.co/72lfsPDOuQ
Part 2 Deployment & Configuration Guide https://t.co/a7XAeETv6h
Part 3 Email Authentication Deep Dive https://t.co/Dawgro79CF
Part 4: Anti-Spam & Anti-Malware https://t.co/BhvxGrfI7C

[Marcela Pallero 💚 @Marce_I_P]

El código de Derecho de Ciberseguridad Español tiene 1372 páginas.
No es que sean todas regulaciones específicas es por la cantidad de áreas en las que interviene la Ciberseguridad.
Cuantas páginas tiene el Código de Derecho de la Ciberseguridad de tu país? No hay o peor, solo ¿entienden como ciberseguridad sólo la tipificación de delitos? 🙄
https://t.co/VeHEQpWq2L

[Alpargata @Alpargata_Negra]

Quiso echar al bolardo... No era de su confianza...

[Pasión en Sevilla @pasionensevilla]

#LoMásLeídoPS |🟣 Historia de una foto: la claridad sobre el Cristo de la Humildad y Paciencia
https://t.co/IbquGfW7ib

[Las Cigarreras @lascigarreras]

Domingo de Pasión, inolvidable en Los Terceros…

#SSantaSevilla26

[Carnavalinense @carnavalinense]

Nuevos instrumentos de Moi en el Falla en Sevilla

[Rafael Burgal @rafaburgal]

Ya tenemos los nominados a los XII Premios Holoturia. El mejor momento de todos los años 🤣 Felicidades a los agraciados.

[Carlos Santana @DotCSV]

🔴 ¡HITO de VERIFICACIÓN EN MATEMÁTICAS!

El equipo de Math Inc. cuyo objetivo es "solucionar las matemáticas" con IA, han anunciado que han completado la autoformalización de dos teoremas asociados al trabajo por la que la matemática Maryna Viazovska recibió la medalla Fields: empacado óptimo de esferas en 8 y 24 dimensiones.

Aquí formalizar los teoremas no significa que la IA los haya resuelto per se, sino que se ha encargado de generar automáticamente una prueba formal.

Originalmente este era un proyecto de formalización que se inició en 2024 y que conlleva un trabajo arduo, lento y artesanal para ir demostrando paso a paso que los teoremas se cumplen usando Lean como lenguaje.

Desde Noviembre 2025 el equipo de Math. Inc se involucró en el proyecto y en sólo 5 días Gauss terminó de verificar el teorema para 8 dimensiones (algo que hubiera llevado 6 meses de trabajo), y posteriormente en 2 semanas se encargó de autoformalizar el teorema para 24 dimensiones, usando sólo el paper como input.

Es decir, usando Gauss en 3 semanas se ha realizado un trabajo que normalmente hubiera llevado años!!

En el proceso de formalización la IA también ha depurado y completado pasos intermedios, sellando grietas de la prueba original. Automáticamente!

El impacto de este hito es que se está demostrando que la IA sí puede usarse para autoformalización a escalas no vistas previamente. Esto trae un cambio de paradigma en las matemáticas donde las máquinas van a ayudar a comprobar, verificar, indexar e incluso reutilizar todo este conocimiento.

Hasta hace nada formalizar era carísimo en tiempo humano, pero si el coste baja radicalmente esto podría hacer posible la existencia de un "internet de teoremas" donde el conocimiento ya no sea una colección de papers con pruebas escritas sino un grafo de conocimiento compilado donde incluso se pueda componer nuevos resultados automáticamente (algo ideal incluso para que futuras IAs trabajen en buscar nuevo conocimiento).

La IA continúa avanzando con pie firme a la automatización de la búsqueda de conocimiento 🫡

[Beatriz - Profesora de narrativa @BeatrizPB0]

Nah, premio al mejor edit de #aknightofthesevenkingdoms
Lloro, te lo juro, qué belleza.

[elllamadorcsr @elllamadorcsr]

El sol y la Buena Muerte @HdadHiniesta
📷 Jaime Rodríguez @jaimerfz

[Adam @Adamaestr0_]

De pago v. Gratis