This is funny, just a couple of days ago I saw some in my hometown of Oviedo, northern Spain and had to google what there were.

No sé qué es peor: que Renfe (empresa estatal) dé su información en la red social de Musk, o que Adif (empresa estatal) refiera a ella para más información sobre un corte de línea

Real Oviedo in first division 24 years later!

Thanks to our wonderful organization team and to the over 800 participants (including the affiliated events) that helped making Eurocrypt 2025 a success!

And now I'll go to sleep for a year or two...

Don't go over time!! Or do!

Boys will be boys

The old Aarhus guard at Eurocrypt rump session @proofnerd.bsky.social @cryptocarsten.bsky.social

If the formula is supposed to be f(x)=max (ceil(x/2), 10) why is f(90)=46 and f(46)=24? (Third and fifth entries). It should be 45 and 23 respectively...

I also got plenty of blue skies this week in Aarhus!; but well, remembering the Danish winter experience for one day was good. I'll have to escape the brutal Madrid sun again this summer...