Show newer

Uy, pues no. El arranque fue una semana antes (pero tardé una semana en hacer el selfie).

Show thread

Primera prueba de los Kylietech 12X42 (Prismas BAK-4 y Lentes FMC) con el móvil (Galaxy s24) desde casa, sin usar trípode (se nota un poco el tembleque 🙂‍↕️).

@the__heruman@masto.es A mí me pilló con un PC muy viejo en casa y conectado con una wifi de poca fiabilidad, así que tuve que hacerlo desde el salón con el (mini)portátil directamente conectado al router. Y menos mal que tenía en casa un iPad con lápiz, que me hizo un estupendo papel de pizarra. En fin, dadas las circunstancias quedé muy satisfecho del resultado. Lo de las cámaras de ell@s… es verdad, pero yo no tenía pantalla suficiente en el portátil para verles 😅

Hoy hace 5 años tuvimos que improvisar para dar clase desde casa, por primera vez, utilizando videoconferencia y pizarra electrónica. En la foto, clase de Algoritmia Básica (2020-03-23), resolviendo algún problema de Programación Dinámica. El momento fue tan crítico que me vestí para la ocasión 😆

Mejor música y diseño de producción en los Premios del Cine Europeo
Mejor dirección,actriz,fotografía y dirección artística en el Festival de Sevilla de cine europeo
Nominada a mejor película intern en los Oscar y los Globos de Oro y a mejor película en Cannes
Una reseña:
elperiodico.com/es/ocio-y-cult

Show thread

“Pigen med nålen” de Magnus von Horn. Duro y frío drama de post-Gran Guerra en Copenhague basado en hecho reales. Diferencia de opiniones en los críticos.¿Simple deseo de provocar o una gran fábula sobre la fatalidad? Todavía no sé qué decir; la digestión llevará días
filmaffinity.com/es/film678742

La sociedad civil se organiza para defenderse.

Crece la resistencia contra las redadas en Los Ángeles - La Opinión.

laopinion.com/2025/03/22/crece

Los glaciares del mundo pierden tres piscinas olímpicas por segundo.
Glaciar Perito Moreno, 2014
Buen finde.

Even in the realm of pure mathematics, where the notion of inerrancy is the most developed (and nowadays even able to be automatically verified by formal proof assistants), it is still true that mathematics *as practiced by mathematicians* still contains important components of accuracy-based thinking rather than inerrancy-based thinking. In line with the "three stages of mathematical development" I discussed in terrytao.wordpress.com/career- , while it is vitally important to be able to use the inerrant mechanism of formal (or semi-formal) mathematical proof to verify one's arguments, in order to actually *locate* these proofs it is far faster and more efficient to adopt looser, but still reasonably accurate, heuristic models in order to get an early sense of the feasibility or infeasibility of different ways to attack the problem, and to glimpse what the potential outcome of a complex calculation might be. Nowadays one even can employ completely non-rigorous techniques such as numerical simulations or machine learning to map out the landscape of intermediate results (which may be true or false, and whose proof or disproof may be routine, difficult, or hopeless) in order to select the most promising strategy (or to select a more tractable problem to study first). (3/3)

Show thread

Torre mudéjar de la Iglesia de Santa María Magdalena, Zaragoza.
Visita de San Pepe con la @eina.unizar.es 🎉🎊

@the__heruman@masto.es me suena que el ChatGPT de pago tiene un plugin de Wolfram, no lo he probado pero imagino que debe funcionar mejor para esos temas

Editorial en Nature:

Trump 2.0: an assault on science anywhere is an assault on science everywhere.
US President Donald Trump is taking a wrecking ball to science and to international institutions. The global research community must take a stand against these attacks.

nature.com/articles/d41586-025

@the__heruman@masto.es arghhhh no había mirado la de España 🤯

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.