Javier Campos @javifields@qoto.org
- Webs y RRSS
- https://jcampos.es
Leo #librosjf, veo #cinejf y a veces hago #fotosjf y #viajesjf.
(Catedrático jubilado de Unizar, Universidad de Zaragoza)
Joined Jan 2020
Un grupo de colonos israelíes pega una paliza al codirector del documental 'No Other Land'
“Yellow Door: '90s Lo-fi Film Club” (2023), de Lee Hyuk-rae. Documental para cinéfilos (surcoreanos). En los 90, Bong Joon Ho y otros estudiantes de posgrado surcoreanos cinéfilos fundaron un club para analizar películas. Después, algunos se convirtieron en cineastas. #cinejf
https://www.filmaffinity.com/es/film320347.html
Vista la miniserie demora: “Adolescence” de Philip Barantini. Dejando aparte el prodigio formal de sus 4 episodios-plano secuencia, está bien que se menee el tema de la dejación de la paternidad responsable en relación con el acceso incontrolado a internet por menores #cinejf
https://www.filmaffinity.com/es/film541444.html
Doy fe 😆
#torrezno #CaféChicago #Zaragoza
El mejor torrezno del mundo se vuelve a cocinar en Zaragoza
Buena peli ahora mismo en La2: “El clan” (2015), de Pablo Trapero. #cinejf
https://www.filmaffinity.com/es/film790126.html
Premios a la Mejor película, Mejor director y Mejor actor de reparto (Mats Blomgren) en los Premios Guldbagge de la Academia de cine sueca.
Magnus von Horn es un director a seguir muy de cerca.
Aquí, una reseña:
https://www.elantepenultimomohicano.com/2016/09/critica-despues-de-esto-here-after.html
Sobre el mismo tema que la comentada miniserie reciente de Netflix, la peli sueca “Efterskalv” de Magnus von Horn (La chica de la aguja) se centra en la vuelta a casa de un adolescente tras 2 años de reclusión por un crimen que cometió y en el rechazo de su comunidad. #cinejf
https://www.filmaffinity.com/es/film513498.html
Uy, pues no. El arranque fue una semana antes (pero tardé una semana en hacer el selfie).
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 🙂↕️).
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:
https://www.elperiodico.com/es/ocio-y-cultura/20250320/critica-chica-aguja-cuento-hadas-115505687
“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 #cinejf
https://www.filmaffinity.com/es/film678742.html
La sociedad civil se organiza para defenderse.
Crece la resistencia contra las redadas en Los Ángeles - La Opinión.
https://laopinion.com/2025/03/22/crece-la-resistencia-contra-las-redadas-en-los-angeles/
Javier Campos
boosted
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 https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/ , 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)
- Webs y RRSS
- https://jcampos.es
Leo #librosjf, veo #cinejf y a veces hago #fotosjf y #viajesjf.
(Catedrático jubilado de Unizar, Universidad de Zaragoza)
Joined Jan 2020
