iiinova — where your digital self keeps evolving

This is the way. Y ojalá que todas las cabezas visibles a la izquierda del PSOE vayan pasado por todos los platós, que tenemos mucha exposición a dirigentes de (ultra)derecha y muy poca a dirigentes de izquierdas...

100 1

A mí la filosofía del plan Bolonia siempre me ha gustado. El gran problema es que se ha implementado a coste cero, y eso era una receta segura para el desastre... como así ha sido.

100 1

Ains, otra vez en 8’30” el kilómetro… A ver, no quiero ir mucho más rápido (lo mío es el trote, no la carrera) pero sí querría volver a bajar de 8’ ✊

000 0

Un argumento ridículo porque son ellos los más centralistas-madrileños y los que más reniegan del valenciano, nuestra lengua autóctona, pero así y todo les funciona genial… Conozco mucha gente que es de izquierdas pero siempre vota PP porque los otros (Compromis, PSOE) “odian a valencia” 🙄

000 0

Germán Vidal @the-heruman.eurosky.social · 3h

He visto un tío con calcetines con la senyera (la bandera de València) y he pensado “mira, un votante de PPvox”. Y es que igual que a nivel nacional PPvox se ha apropiado de la bandera de España, aquí en València se han apropiado de nuestra bandera, acusando al resto de partidos de “catalanistas”.

100 1

De un tiempo a esta parte me llegan cada vez más experiencias (muy cercanas) sobre ataques homófobos, insultos en la calle por una chorrada, racismo rampante, etc. Me pregunto si la causa son las RRSS (que ha hecho que muchos dejen de tener filtro), el auge de la ultraderecha o ambas cosas…

011 1

Reposted by Germán Vidal

Anthropic {bot} @anthropicai.xmirror.bot · 12h

New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).

anthropic.com

LLMs are making formal software verification feasible at a much larger scale

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

2211 21

Ojalá esto ayude (junto con la caída en bolsa de estos días) a que bajen el precio de RAMs, SSDs, portátiles, etc, que han pegado un subidón en los últimos años...

110 1

There's still plenty of research on them, and they remain highly relevant in many applications. But the rapid progress of LLMs is overshadowing almost every other area of AI. I wouldn't be surprised if, in a few years, "AI" becomes synonymous with LLMs (or whatever they evolve into) 🙈

100 1

Si lo del aumento de +1.5 °C asociado al cambio climático era una media, creo que estoy en el lado malo de la gráfica: en València no bajamos de +3 °C o +4 °C 🙈 Buenos días 🖖🏼

100 1

LLMs are making formal software verification feasible at a much larger scale

En otros campos (el mío), la revolución es ahora: técnicas formales consideradas durante años inútiles porque su aplicación práctica era imposible, empiezan a ser factibles... "LLMs are making formal software verification feasible at a much larger scale" www.anthropic.com/research/for...

anthropic.com

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

041 4

Germán Vidal @the-heruman.eurosky.social · 14h

En algunos campos de investigación en informática, la mayor potencia de cálculo de los ordenadores permitió que ideas teóricas (guardadas en un cajón durante años) se pudieran llevar por fin a la práctica. Es el caso de las redes neuronales, por ejemplo.

240 4

Microsoft, the root of all evil 😅

Germán Vidal @the-heruman.eurosky.social · 18h

No estoy de acuerdo con el argumentario, pero los datos son los que son. Hay varios análisis por ahí que van provincia por provincia. Nada es 100% seguro, pero desviaciones de 2 o 3 puntos son muy raras. Otro tema es que a uno le de igual el tema y vote sin mirar esas cosas. También es una opción.

Germán Vidal @the-heruman.eurosky.social · 18h

Hoy ya hablaban que de un millón para arriba 🙈

100 1

Reposted by Germán Vidal

VRAIN-UPV @vrainupv.bsky.social · 19h

🔐 El catedrático de Informática de la @upv.es e investigador de VRAIN, Santiago Escobar, explica en este reportaje de la revista Kiwa España Magazine cómo las grandes compañías agroalimentarias van a tener que asumir las obligaciones de la directiva NIS2. #ciberseguridad

011 1

Germán Vidal @the-heruman.eurosky.social · 19h

Uff, no puedo estar de acuerdo. El punto 4 anima a tirar el voto porque contribuye al 3% nacional (a costa de que la izquierda pierda diputados). Y el punto 6 por lo que sea solo habla del PSOE como alternativa. ¿Y Frente Amplio? ¿EH Bildu? ¿BNG? ¿Chunta Aragonesista? ¿Ara Més? shorturl.at/mrX69

democrata.es

El mapa de las izquierdas: así queda el puzle de alianzas para las elecciones del 29N

Consulta el mapa interactivo elaborado por DEMÓCRATA de alianzas en la izquierda para el 29N: los pactos de Frente Amplio y Podemos y las candidaturas al Congreso, comunidad a comunidad

120 2

Germán Vidal @the-heruman.eurosky.social · 19h

A ver, a mí me encantaría que lo dejaran así (no me gusta el fútbol, pero aún me gustan menos las obras, y vivo bastante cerca) pero ¿quién podía esperar que tras construir el nuevo estadio iban a dejar el viejo en pie con lo que valdrá ese terreno para construir?

120 2

Germán Vidal @the-heruman.eurosky.social · 21h

Máximas de 25-30 ºC a mediodía. Tiempo de playa en noviembre 😱😱😱

210 2

Germán Vidal @the-heruman.eurosky.social · 22/10/2026

Mensajito (poco) oculto: ya os podéis ir olvidando de las ayudas a los vehículos eléctricos 🙈

131 3

Germán Vidal @the-heruman.eurosky.social · 22/10/2026

La especialidad de mi perro es mirarme con expresión entre acusadora y de pena cada vez que salgo 5 minutos de casa (y se queda solo) 😅

330 3

Reposted by Germán Vidal

Laura Morán @veneciana1981.bsky.social · 21/10/2026

Porque la divulgación no se ace sola, ai que acerla... ¿Me ayudáis, por favor? (Os dejo enlace del cuestionario en el siguiente bluit) Gracias 🤗

209272 92

Reposted by Germán Vidal

Débora Domingo-Calabuig @deboradomingocalabuig.com · 21/10/2026

No se les ocurre una buena.

001 1

Reposted by Germán Vidal

Iván @ivant.eurosky.social · 21/10/2026

A ver si lo que están mal son los salarios y no las pensiones.

59358 93

Germán Vidal @the-heruman.eurosky.social · 21/10/2026

Tal cual. Y lo peor es el motivo: probablemente los "asesores personales", ese invento, cobran en función del dinero que traen a la sucursal. Si el dinero se va, igual se quedan casi sin sueldo... De ahí su empeño (y que nos sepa mal a los clientes).

Germán Vidal @the-heruman.eurosky.social · 21/10/2026

Han pasado solo 20 días. Que fuerte, como se recuperan las cañas!!